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.
7937 Publications
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 | 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 (Editor) | LibreCat-ID: 18706
E.-M. Seng and G. Brüne, Eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute. Berlin, München: Deutscher Kunstverlag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 18949
E.-M. Seng, “‘Between Primitive Hut and Large Scale Housing: The Present of Utopia in Architecture’ ,” Scottish Journal of Arts, Sciences and Scientific Studies, vol. Vol. 15, Issue II, pp. 47–66, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 18952
E.-M. Seng, “Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?,” Politik und Kultur. Zeitung des Deutschen Kulturrates , vol. Nr.3/13 Mai-Juni 2013, p. S. 21, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 18954
E.-M. Seng, “Johann Georg Starcke,” in Neue Deutsche Biographie Bd. 25, vol. 25, Berlin, 2013, p. 66f.
LibreCat
2013 | Journal Article | LibreCat-ID: 18963
E.-M. Seng, “Rekonstruktion des religiösen Ortes,” Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck), 2013.
LibreCat