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.
7917 Publications
2013 | Journal Article | LibreCat-ID: 25618
Jungmann A, Kleinjohann B, Kleinjohann L. Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4). Published online 2013:284-297.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20151
Hamann H, Schmickl T, Stradner J, Schwarzer C, Michiels NK, Esparcia-Alcazar AI. Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013). Vol 7835. ; 2013:579-588. doi:10.1007/978-3-642-37192-9_58
LibreCat
| DOI
2013 | Misc | LibreCat-ID: 28215
Gausemeier J. Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013. Vol 318. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2013.
LibreCat
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 | Journal Article | LibreCat-ID: 25740
He D, Müller W. A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7). Published online 2013:845-857.
LibreCat
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 | 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