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.
6951 Publications
2013 | Conference Paper | LibreCat-ID: 20151
Hamann, Heiko, et al. “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization.” Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), vol. 7835, 2013, pp. 579–88, doi:10.1007/978-3-642-37192-9_58.
LibreCat
| DOI
2013 | Misc | LibreCat-ID: 28215
Gausemeier, Jürgen. 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
2013 | Book Chapter | LibreCat-ID: 28453
Biermann, Dirk, et al. “Foundations for Considering the Robustness within the CRC TRR 30.” Functionally Graded Materials in Industrial Mass Production | Volume 2, edited by Hans-Peter Heim et al., vol. 2, Verlag Wissenschaftliche Scripten, 2013, pp. 357–66.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28456
Biermann, Dirk, et al. “Synthesis and Multi-Objective Model-Based Optimisation of Process Chains for Manufacturing Components with Functionally Graded Properties.” Functionally Graded Materials in Industrial Mass Production | Volume 2, edited by Hans-Peter Heim et al., vol. 2, Verlag Wissenschaftliche Scripten, 2013, pp. 341–56.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28457
Biermann, Dirk, et al. “Planning Methods for Manufacturing Functionally Graded Components – Challenges and Solutions.” Functionally Graded Materials in Industrial Mass Production | Fundamentals, edited by Werner Homberg et al., vol. Fundamentals, Verlag Wissenschaftliche Scripten, 2013, pp. 145–54.
LibreCat
2013 | Book Chapter | LibreCat-ID: 28458
Iwanek, Peter, et al. “Fachdisziplin{\"u}bergreifende Systemmodellierung Mechatronischer Systeme Mit SysML Und CONSENS.” Tag Des Systems Engineerings, edited by Maik Maurer and Sven-Olaf Schulze, Carl Hanser Verlag, 2013, pp. 337–46.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28515
Petersen, Marcus, and J{\"u}rgen Gausemeier. A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components. Edited by George L Kovács and Detlef Kochan , Springer Cham Heidelberg New York Dordrecht London, 2013, pp. 413–22.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28517
Rudtsch, Vinzent, et al. Multikriterielle Entscheidungsunterst{\"u}tzung F{\"u}r Die Synthese von Herstellprozessen Zur Fertigung Funktional Gradierter Bauteile. Edited by Wilhelm Dangelmaier et al., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 469–80.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28521
Petersen, Marcus, et al. Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components. Edited by Michael Z{\"a}h, Springer Cham Heidelberg New York Dordrecht London, 2013, pp. 377–82.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28545
Schmuedderich, Tanja, et al. Procedural Model for the Virtual Commissioining on the Basis of Model-Based Design. Springer-Verlag, 2013, pp. 23–32.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
Dorociak, Rafal, et al. A Methodology for the Improvement of Dependability of Self-Optimizing Systems. Springer-Verlag Berlin Heidelberg, 2013, doi:0.1007/s11740-012-0425-3.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25782
Dangelmaier, Wilhelm, et al. “Simulation in Production and Logistics 2013.” Proceedings 15th ASIM Conference Simulation in Production and Logistics, vol. 316, Heinz Nixdorf Institute, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 26130
Schiller, Sascha, and Hans-Joachim Schmid. “Hocheffiziente Feinstaubabscheidung Aus Kleinfeuerungsanlagen Mit Einem Schlauchfilter.” Chemie Ingenieur Technik, 2013, pp. 1324–28, doi:10.1002/cite.201200114.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 26522
Barkhofen, Sonja. 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, Johannes, et al. “Improved Side Channel Attacks on Pairing Based Cryptography.” Constructive Side-Channel Analysis and Secure Design, Springer Berlin Heidelberg, 2013, pp. 154–68, doi:10.1007/978-3-642-40026-1_10.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, Florian, et al. “Practical Signatures from Standard Assumptions.” 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, doi:10.1007/978-3-642-38348-9_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, et al. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” 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, edited by Dirk Beyer and Michele Boreale, 2013, pp. 178--192, doi:10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, et al. “A High-Level Semantics for Program Execution under Total Store Order Memory.” Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu et al., 2013, pp. 177--194, doi:10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
Libuda, Lars, et al. “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, 2013, pp. 141–50, doi:10.1017/s0007114513002031.
LibreCat
| DOI