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.
7307 Publications
2013 | Conference Paper | LibreCat-ID: 28545
T. Schmuedderich, A. Tr{\"a}chtler, J. Br{\"o}kelmann, and J. Gausemeier, “Procedural Model for the Virtual Commissioining on the Basis of Model-based Design,” 2013, pp. 23–32.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28552
R. Dorociak, T. Gaukstern, J{\"u}rgen Gausemeier, P. Iwanek, and M. Va{\ss}holz, “A Methodology for the Improvement of Dependability of Self-Optimizing Systems,” 2013, doi: 0.1007/s11740-012-0425-3.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 25782
W. Dangelmaier, C. Laroque, and A. Klaas, “Simulation in Production and Logistics 2013,” in Proceedings 15th ASIM Conference Simulation in Production and Logistics, 2013, vol. 316.
LibreCat
2013 | Journal Article | LibreCat-ID: 26130
S. Schiller and H.-J. Schmid, “Hocheffiziente Feinstaubabscheidung aus Kleinfeuerungsanlagen mit einem Schlauchfilter,” Chemie Ingenieur Technik, pp. 1324–1328, 2013, doi: 10.1002/cite.201200114.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 26910
J. Goletzke 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, pp. 918–925, 2013, doi: 10.1017/s0007114512005867.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
F. Böhl, D. Hofheinz, T. Jager, J. Koch, J. Hong Seo, and C. 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, 2013, pp. 461--485.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3176
T. Isenberg, D. Steenken, and H. 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, 2013, pp. 178--192.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
O. Travkin, A. Mütze, and H. 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, 2013, pp. 311--326.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
B. Dongol, O. Travkin, J. Derrick, and H. 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, 2013, pp. 177--194.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
L. Libuda, U. Alexy, and M. 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, pp. 141–150, 2013, doi: 10.1017/s0007114513002031.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 21491
D. Hein, G. Meschut, O. Hahn, A. Matzenmiller, and A. Nelson, “Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen,” in 3. Fügetechnisches Gemeinschaftskolloquium, Rostock, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
R. Petring, B. Eikel, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Darstellung heterogener 3-D-Szenen in Echtzeit,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311, pp. 49--60.
LibreCat
2013 | Book | LibreCat-ID: 1790
O. Niehörster, Autonomous Resource Management in Dynamic Data Centers. Aachen, Germany: Shaker, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19256
N. O. Eke, “„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk,” in Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], J. Dyck, H. Korte, and N. J. Schmidt, Eds. Berlin/Boston: de Gruyter, 2013, pp. 3–15.
LibreCat