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
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, International Journal of Business Process Integration and Management 6(4) (2013) 284–297.
2013 | Conference Paper | LibreCat-ID: 20151
Virtual Spatiality in Agent Controllers: Encoding Compartmentalization
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar, in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, pp. 579–588.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N.K. Michiels, A.I. Esparcia-Alcazar, in: Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, pp. 579–588.
2013 | Misc | LibreCat-ID: 28215
Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
J. Gausemeier, Vorausschau und Technologieplanung. 9. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 5. und 6. Dezember 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
2013 | Book Chapter | LibreCat-ID: 28453
Foundations for Considering the Robustness within the CRC TRR 30
D. Biermann, J. Gausemeier, S. Hess, D. K{\, M. Petersen, T. Wagner, in: H.-P. Heim, Dirk Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–366.
LibreCat
D. Biermann, J. Gausemeier, S. Hess, D. K{\, M. Petersen, T. Wagner, in: H.-P. Heim, Dirk Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–366.
2013 | Book Chapter | LibreCat-ID: 28456
Synthesis and Multi-Objective Model-based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties
D. Biermann, J. Gausemeier, S. Hess, M. Petersen, T. Wagner, in: H.-P. Heim, D. Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–356.
LibreCat
D. Biermann, J. Gausemeier, S. Hess, M. Petersen, T. Wagner, in: H.-P. Heim, D. Biermann, W. Homberg (Eds.), Functionally Graded Materials in Industrial Mass Production | Volume 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–356.
2013 | Book Chapter | LibreCat-ID: 28457
Planning Methods for Manufacturing Functionally Graded Components – Challenges and Solutions
D. Biermann, J{\"u}rgen Gausemeier, S. Hess, M. Petersen, T. Wagner, in: Werner Homberg, Dirk Biermann, H.-P. Heim (Eds.), Functionally Graded Materials in Industrial Mass Production | Fundamentals, Verlag Wissenschaftliche Scripten, 2013, pp. 145–154.
LibreCat
D. Biermann, J{\"u}rgen Gausemeier, S. Hess, M. Petersen, T. Wagner, in: Werner Homberg, Dirk Biermann, H.-P. Heim (Eds.), Functionally Graded Materials in Industrial Mass Production | Fundamentals, Verlag Wissenschaftliche Scripten, 2013, pp. 145–154.
2013 | Book Chapter | LibreCat-ID: 28458
Fachdisziplin{\"u}bergreifende Systemmodellierung mechatronischer Systeme mit SysML und CONSENS
P. Iwanek, Lydia Kaiser, R. Dumitrescu, A. Ny{\ss}en, in: M. Maurer, S.-O. Schulze (Eds.), Tag Des Systems Engineerings, Carl Hanser Verlag, 2013, pp. 337–346.
LibreCat
P. Iwanek, Lydia Kaiser, R. Dumitrescu, A. Ny{\ss}en, in: M. Maurer, S.-O. Schulze (Eds.), Tag Des Systems Engineerings, Carl Hanser Verlag, 2013, pp. 337–346.
2013 | Conference Paper | LibreCat-ID: 28515
A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components
M. Petersen, J. Gausemeier, (2013) 413–422.
LibreCat
M. Petersen, J. Gausemeier, (2013) 413–422.
2013 | Conference Paper | LibreCat-ID: 28517
Multikriterielle Entscheidungsunterst{\"u}tzung f{\"u}r die Synthese von Herstellprozessen zur Fertigung funktional gradierter Bauteile
V. Rudtsch, J. Gausemeier, M. Petersen, (2013) 469–480.
LibreCat
V. Rudtsch, J. Gausemeier, M. Petersen, (2013) 469–480.
2013 | Conference Paper | LibreCat-ID: 28521
Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components
M. Petersen, V. Rudtsch, J. Gausemeier, (2013) 377–382.
LibreCat
M. Petersen, V. Rudtsch, J. Gausemeier, (2013) 377–382.
2013 | Conference Paper | LibreCat-ID: 28545
Procedural Model for the Virtual Commissioining on the Basis of Model-based Design
T. Schmuedderich, A. Tr{\"a}chtler, J. Br{\"o}kelmann, J. Gausemeier, in: Springer-Verlag, 2013, pp. 23–32.
LibreCat
T. Schmuedderich, A. Tr{\"a}chtler, J. Br{\"o}kelmann, J. Gausemeier, in: Springer-Verlag, 2013, pp. 23–32.
2013 | Conference Paper | LibreCat-ID: 28552
A Methodology for the Improvement of Dependability of Self-Optimizing Systems
R. Dorociak, T. Gaukstern, J{\"u}rgen Gausemeier, P. Iwanek, M. Va{\ss}holz, in: Springer-Verlag Berlin Heidelberg, 2013.
LibreCat
| DOI
R. Dorociak, T. Gaukstern, J{\"u}rgen Gausemeier, P. Iwanek, M. Va{\ss}holz, in: Springer-Verlag Berlin Heidelberg, 2013.
2013 | Journal Article | LibreCat-ID: 25740
A heuristic energy-aware approach for hard real-time systems on multi-core platforms
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
LibreCat
D. He, W. Müller, Microprocessors and Microsystems - Embedded Hardware Design 37(6-7) (2013) 845–857.
2013 | Conference Paper | LibreCat-ID: 25782
Simulation in Production and Logistics 2013
W. Dangelmaier, C. Laroque, A. Klaas, in: Proceedings 15th ASIM Conference Simulation in Production and Logistics, Heinz Nixdorf Institute, Paderborn, 2013.
LibreCat
W. Dangelmaier, C. Laroque, A. Klaas, in: Proceedings 15th ASIM Conference Simulation in Production and Logistics, Heinz Nixdorf Institute, Paderborn, 2013.
2013 | Journal Article | LibreCat-ID: 26130
Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter
S. Schiller, H.-J. Schmid, Chemie Ingenieur Technik (2013) 1324–1328.
LibreCat
| DOI
S. Schiller, H.-J. Schmid, Chemie Ingenieur Technik (2013) 1324–1328.
2013 | Dissertation | LibreCat-ID: 26522
Microwave Measurements on n-Disk Systems and Investigation of Branching in correlated Potentials and turbulent Flows
S. Barkhofen, Microwave Measurements on N-Disk Systems and Investigation of Branching in Correlated Potentials and Turbulent Flows, Philipps-Universität Marburg, Marburg, 2013.
LibreCat
| DOI
S. Barkhofen, Microwave Measurements on N-Disk Systems and Investigation of Branching in Correlated Potentials and Turbulent Flows, Philipps-Universität Marburg, Marburg, 2013.
2013 | Book Chapter | LibreCat-ID: 2979
Improved Side Channel Attacks on Pairing Based Cryptography
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.
LibreCat
| DOI
J. Blömer, P. Günther, G. Liske, in: Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 154–168.
2013 | Conference Paper | LibreCat-ID: 3130
Practical Signatures from Standard Assumptions
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, C. Striecks, 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, pp. 461--485.
LibreCat
| DOI
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, C. Striecks, 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, pp. 461--485.
2013 | Conference Paper | LibreCat-ID: 3176
Bounded Model Checking of Graph Transformation Systems via {SMT} Solving
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (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, 2013, pp. 178--192.
LibreCat
| DOI
T. Isenberg, D. Steenken, H. Wehrheim, in: D. Beyer, M. Boreale (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, 2013, pp. 178--192.
2013 | Conference Paper | LibreCat-ID: 3177
{SPIN} as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat
| DOI
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.