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.
7272 Publications
2013 | Book Chapter | LibreCat-ID: 28453
Biermann D, Gausemeier J, Hess S, K{\ D, Petersen M, Wagner T. Foundations for Considering the Robustness within the CRC TRR 30. In: Heim H-P, Biermann Dirk, Homberg W, eds. Functionally Graded Materials in Industrial Mass Production | Volume 2. Vol 2. Functionally Graded Materials in Industrial Mass Production. Verlag Wissenschaftliche Scripten; 2013:357-366.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
Biermann D, Gausemeier J, Hess S, Petersen M, Wagner T. Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties. In: Heim H-P, Biermann D, Homberg W, eds. Functionally Graded Materials in Industrial Mass Production | Volume 2. Vol 2. Functionally Graded Materials in Industrial Mass Production. Verlag Wissenschaftliche Scripten; 2013:341-356.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28457
Biermann D, Gausemeier J{\"u}rgen, Hess S, Petersen M, Wagner T. Planning Methods for Manufacturing Functionally Graded Components – Challenges and Solutions. In: Homberg Werner, Biermann Dirk, Heim H-P, eds. Functionally Graded Materials in Industrial Mass Production | Fundamentals. Vol Fundamentals. Functionally Graded Materials in Industrial Mass Production. Verlag Wissenschaftliche Scripten; 2013:145-154.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28458
Iwanek P, Kaiser Lydia, Dumitrescu R, Ny{\ss}en A. Fachdisziplin{\"u}bergreifende Systemmodellierung mechatronischer Systeme mit SysML und CONSENS. In: Maurer M, Schulze S-O, eds. Tag Des Systems Engineerings. Tag des Systems Engineering. Carl Hanser Verlag; 2013:337-346.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
Petersen M, Gausemeier J. A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components. Kovács GL, Kochan D, eds. Published online 2013:413-422.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28517
Rudtsch V, Gausemeier J, Petersen M. Multikriterielle Entscheidungsunterst{\"u}tzung f{\"u}r die Synthese von Herstellprozessen zur Fertigung funktional gradierter Bauteile. Dangelmaier W, Laroque C, Klaas A, eds. Published online 2013:469-480.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28521
Petersen M, Rudtsch V, Gausemeier J. Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components. Z{\"a}h M, ed. Published online 2013:377-382.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28545
Schmuedderich T, Tr{\"a}chtler A, Br{\"o}kelmann J, Gausemeier J. Procedural Model for the Virtual Commissioining on the Basis of Model-based Design. In: Springer-Verlag; 2013:23-32.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
Dorociak R, Gaukstern T, Gausemeier J{\"u}rgen, Iwanek P, Va{\ss}holz M. A Methodology for the Improvement of Dependability of Self-Optimizing Systems. In: Springer-Verlag Berlin Heidelberg; 2013. doi:0.1007/s11740-012-0425-3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25782
Dangelmaier W, Laroque C, Klaas A. Simulation in Production and Logistics 2013. In: Proceedings 15th ASIM Conference Simulation in Production and Logistics. Vol 316. Publication series of the Heinz Nixdorf Institute, Paderborn. Heinz Nixdorf Institute; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 26130
Schiller S, Schmid H-J. Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter. Chemie Ingenieur Technik. Published online 2013:1324-1328. doi:10.1002/cite.201200114
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 26522
Barkhofen S. Microwave Measurements on N-Disk Systems and Investigation of Branching in Correlated Potentials and Turbulent Flows. Philipps-Universität Marburg; 2013. doi:10.17192/Z2013.0457
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26910
Goletzke J, Buyken A, Gopinath B, et al. Carbohydrate quality is not associated with liver enzyme activity and plasma TAG and HDL concentrations over 5 years in an older population. British Journal of Nutrition. Published online 2013:918-925. doi:10.1017/s0007114512005867
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 2979
Blömer J, Günther P, Liske G. Improved Side Channel Attacks on Pairing Based Cryptography. In: Constructive Side-Channel Analysis and Secure Design. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:154-168. doi:10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl F, Hofheinz D, Jager T, Koch J, Hong Seo J, Striecks C. Practical Signatures from Standard Assumptions. In: Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings. ; 2013:461--485. doi:10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In: Beyer D, Boreale M, eds. 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. Lecture Notes in Computer Science. ; 2013:178--192. doi:10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science. ; 2013:311--326. doi:10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science. ; 2013:177--194. doi:10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
Libuda L, Alexy U, Kersting M. 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. British Journal of Nutrition. Published online 2013:141-150. doi:10.1017/s0007114513002031
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann P. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat