Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7292 Publications
2013 | Misc | LibreCat-ID: 28215
@book{Gausemeier_2013, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013}, volume={318}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen}, year={2013}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28453
@inbook{Biermann_Gausemeier_Hess_K{\_Petersen_Wagner_2013, series={Functionally Graded Materials in Industrial Mass Production}, title={Foundations for Considering the Robustness within the CRC TRR 30}, volume={2}, booktitle={Functionally Graded Materials in Industrial Mass Production | Volume 2}, publisher={Verlag Wissenschaftliche Scripten}, author={Biermann, Dirk and Gausemeier, J{\"u}rgen and Hess, Stefan and K{\, Daniel and Petersen, Marcus and Wagner, T}, editor={Heim, Hans-Peter and Biermann, Dirk and Homberg, Werner}, year={2013}, pages={357–366}, collection={Functionally Graded Materials in Industrial Mass Production} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
@inbook{Biermann_Gausemeier_Hess_Petersen_Wagner_2013, series={Functionally Graded Materials in Industrial Mass Production}, title={Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties}, volume={2}, booktitle={Functionally Graded Materials in Industrial Mass Production | Volume 2}, publisher={Verlag Wissenschaftliche Scripten}, author={Biermann, Dirk and Gausemeier, J{\"u}rgen and Hess, Stefan and Petersen, Marcus and Wagner, T}, editor={Heim, Hans-Peter and Biermann, Dirk and Homberg, Werner}, year={2013}, pages={341–356}, collection={Functionally Graded Materials in Industrial Mass Production} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28457
@inbook{Biermann_ Gausemeier_ Hess_Petersen_Wagner_2013, series={Functionally Graded Materials in Industrial Mass Production}, title={Planning Methods for Manufacturing Functionally Graded Components – Challenges and Solutions}, volume={Fundamentals}, booktitle={Functionally Graded Materials in Industrial Mass Production | Fundamentals}, publisher={Verlag Wissenschaftliche Scripten}, author={Biermann, Dirk and Gausemeier, J{\"u}rgen and Hess, Stefan and Petersen, Marcus and Wagner, T}, editor={Homberg, Werner and Biermann, Dirk and Heim, Hans-Peter}, year={2013}, pages={145–154}, collection={Functionally Graded Materials in Industrial Mass Production} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 28458
@inbook{Iwanek_Kaiser_Dumitrescu_Ny{\ss}en_2013, series={Tag des Systems Engineering}, title={Fachdisziplin{\"u}bergreifende Systemmodellierung mechatronischer Systeme mit SysML und CONSENS}, booktitle={Tag des Systems Engineerings}, publisher={Carl Hanser Verlag}, author={Iwanek, Peter and Kaiser, Lydia and Dumitrescu, Roman and Ny{\ss}en, Alexander}, editor={Maurer, Maik and Schulze, Sven-Olaf}, year={2013}, pages={337–346}, collection={Tag des Systems Engineering} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
@article{Petersen_Gausemeier_2013, series={IFIP Advances in Information and Communication Technology}, title={A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components}, publisher={Springer Cham Heidelberg New York Dordrecht London}, author={Petersen, Marcus and Gausemeier, J{\"u}rgen}, editor={Kovács, George L and Kochan , Detlef}, year={2013}, pages={413–422}, collection={IFIP Advances in Information and Communication Technology} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28517
@article{Rudtsch_Gausemeier_Petersen_2013, series={ASIM-Fachtagung Simulation in Produktion und Logistik}, title={Multikriterielle Entscheidungsunterst{\"u}tzung f{\"u}r die Synthese von Herstellprozessen zur Fertigung funktional gradierter Bauteile}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rudtsch, Vinzent and Gausemeier, J{\"u}rgen and Petersen, Marcus}, editor={Dangelmaier, Wilhelm and Laroque, Christoph and Klaas, Alexander}, year={2013}, pages={469–480}, collection={ASIM-Fachtagung Simulation in Produktion und Logistik} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28521
@article{Petersen_Rudtsch_Gausemeier_2013, series={International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)}, title={Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components}, publisher={Springer Cham Heidelberg New York Dordrecht London}, author={Petersen, Marcus and Rudtsch, Vinzent and Gausemeier, J{\"u}rgen}, editor={Z{\"a}h, Michael}, year={2013}, pages={377–382}, collection={International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV)} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28545
@inproceedings{Schmuedderich_Tr{\"a}chtler_Br{\"o}kelmann_Gausemeier_2013, title={Procedural Model for the Virtual Commissioining on the Basis of Model-based Design}, publisher={Springer-Verlag}, author={Schmuedderich, Tanja and Tr{\"a}chtler, Ansgar and Br{\"o}kelmann, Jan and Gausemeier, J{\"u}rgen}, year={2013}, pages={23–32} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
@inproceedings{Dorociak_Gaukstern_Gausemeier_Iwanek_Va{\ss}holz_2013, title={A Methodology for the Improvement of Dependability of Self-Optimizing Systems}, DOI={0.1007/s11740-012-0425-3}, publisher={Springer-Verlag Berlin Heidelberg}, author={Dorociak, Rafal and Gaukstern, Tobias and Gausemeier, J{\"u}rgen and Iwanek, Peter and Va{\ss}holz, Mareen}, year={2013} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25782
@inproceedings{Dangelmaier_Laroque_Klaas_2013, place={Paderborn}, series={Publication series of the Heinz Nixdorf Institute, Paderborn}, title={Simulation in Production and Logistics 2013}, volume={316}, booktitle={Proceedings 15th ASIM Conference Simulation in Production and Logistics}, publisher={Heinz Nixdorf Institute}, author={Dangelmaier, Wilhelm and Laroque, Christoph and Klaas, Alexander}, year={2013}, collection={Publication series of the Heinz Nixdorf Institute, Paderborn} }
LibreCat
2013 | Journal Article | LibreCat-ID: 26130
@article{Schiller_Schmid_2013, title={Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter}, DOI={10.1002/cite.201200114}, journal={Chemie Ingenieur Technik}, author={Schiller, Sascha and Schmid, Hans-Joachim}, year={2013}, pages={1324–1328} }
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 26522
@book{Barkhofen_2013, place={Marburg}, title={Microwave Measurements on n-Disk Systems and Investigation of Branching in correlated Potentials and turbulent Flows}, DOI={10.17192/Z2013.0457}, publisher={Philipps-Universität Marburg}, author={Barkhofen, Sonja}, year={2013} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 2979
@inbook{Blömer_Günther_Liske_2013, place={Berlin, Heidelberg}, title={Improved Side Channel Attacks on Pairing Based Cryptography}, DOI={10.1007/978-3-642-40026-1_10}, booktitle={Constructive Side-Channel Analysis and Secure Design}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Günther, Peter and Liske, Gennadij}, year={2013}, pages={154–168} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
@inproceedings{Böhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title={Practical Signatures from Standard Assumptions}, DOI={10.1007/978-3-642-38348-9_28}, booktitle={Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}, author={Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}, year={2013}, pages={461--485} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={10.1007/978-3-642-38592-6_13}, booktitle={Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={10.1007/978-3-319-03077-7_21}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={10.1007/978-3-642-39718-9_11}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
@article{Libuda_Alexy_Kersting_2013, title={Time trends in dietary fat intake in a sample of German children and adolescents between 2000 and 2010: not quantity, but quality is the issue}, DOI={10.1017/s0007114513002031}, journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and Kersting, Mathilde}, year={2013}, pages={141–150} }
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
@book{Kaufmann_2013, place={Berlin}, title={Adapting Hardware Systems by Means of Multi-Objective Evolution}, publisher={Logos Verlag Berlin GmbH}, author={Kaufmann, Paul}, year={2013} }
LibreCat