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.
7576 Publications
2013 | Book Chapter | LibreCat-ID: 28458
Iwanek, Peter, Lydia Kaiser, Roman Dumitrescu, and Alexander Ny{\ss}en. “Fachdisziplin{\"u}bergreifende Systemmodellierung Mechatronischer Systeme Mit SysML Und CONSENS.” In Tag Des Systems Engineerings, edited by Maik Maurer and Sven-Olaf Schulze, 337–46. Tag Des Systems Engineering. Carl Hanser Verlag, 2013.
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 . IFIP Advances in Information and Communication Technology. Springer Cham Heidelberg New York Dordrecht London, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28517
Rudtsch, Vinzent , J{\"u}rgen Gausemeier, and Marcus Petersen. “Multikriterielle Entscheidungsunterst{\"u}tzung F{\"u}r Die Synthese von Herstellprozessen Zur Fertigung Funktional Gradierter Bauteile.” Edited by Wilhelm Dangelmaier, Christoph Laroque, and Alexander Klaas. ASIM-Fachtagung Simulation in Produktion Und Logistik. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28521
Petersen, Marcus , Vinzent Rudtsch, and J{\"u}rgen Gausemeier. “Multi-Criteria Decision-Support for Manufacturing Process Chain Selection in the Context of Functionally Graded Components.” Edited by Michael Z{\"a}h. International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CARV). Springer Cham Heidelberg New York Dordrecht London, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28545
Schmuedderich, Tanja, Ansgar Tr{\"a}chtler, Jan Br{\"o}kelmann, and J{\"u}rgen Gausemeier. “Procedural Model for the Virtual Commissioining on the Basis of Model-Based Design,” 23–32. Springer-Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
Dorociak, Rafal , Tobias Gaukstern, J{\"u}rgen Gausemeier, Peter Iwanek, and Mareen Va{\ss}holz. “A Methodology for the Improvement of Dependability of Self-Optimizing Systems.” Springer-Verlag Berlin Heidelberg, 2013. https://doi.org/0.1007/s11740-012-0425-3.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25782
Dangelmaier, Wilhelm , Christoph Laroque, and Alexander Klaas. “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. Paderborn: 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, 1324–28. https://doi.org/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. Marburg: Philipps-Universität Marburg, 2013. https://doi.org/10.17192/Z2013.0457.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth, Henning, Benno Stein, and Gregor Engels. “Information Extraction as a Filtering Task.” In Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management, 2049–58, 2013.
LibreCat
| Download (ext.)
2013 | Book Chapter | LibreCat-ID: 2979
Blömer, Johannes, Peter Günther, and Gennadij Liske. “Improved Side Channel Attacks on Pairing Based Cryptography.” In Constructive Side-Channel Analysis and Secure Design, 154–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40026-1_10.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, Florian, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo, and Christoph Striecks. “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, 461--485, 2013. https://doi.org/10.1007/978-3-642-38348-9_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” In 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, 178--192. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In 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, 311--326. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
Libuda, Lars, Ute Alexy, and Mathilde Kersting. “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, 141–50. https://doi.org/10.1017/s0007114513002031.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, Paul. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 21044
Krapick, S, Harald Herrmann, V Quiring, Benjamin Brecht, H Suche, and Christine Silberhorn. “An Efficient Integrated Two-Color Source for Heralded Single Photons.” New Journal of Physics 15 (2013). https://doi.org/10.1088/1367-2630/15/3/033010.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 21491
Hein, David, Gerson Meschut, Ortwin Hahn, Anton Matzenmiller, and Alexander Nelson. “Experimentelle Und Numerische Untersuchungen Des Crashverhaltens Hybridgefügter Verbindungen.” In 3. Fügetechnisches Gemeinschaftskolloquium, edited by FOSTA, EFB, DVS, 2013.
LibreCat