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.
8593 Publications
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.
2013 | Conference Paper | LibreCat-ID: 3178
A High-Level Semantics for Program Execution under Total Store Order Memory
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat
| DOI
B. Dongol, O. Travkin, J. Derrick, H. Wehrheim, in: Z. Liu, J. Woodcock, H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
2013 | Journal Article | LibreCat-ID: 27043
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
L. Libuda, U. Alexy, M. Kersting, British Journal of Nutrition (2013) 141–150.
LibreCat
| DOI
L. Libuda, U. Alexy, M. Kersting, British Journal of Nutrition (2013) 141–150.
2013 | Dissertation | LibreCat-ID: 11619
Adapting Hardware Systems by Means of Multi-Objective Evolution
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.
LibreCat
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag Berlin GmbH, Berlin, 2013.
2013 | Journal Article | LibreCat-ID: 21044
An efficient integrated two-color source for heralded single photons
S. Krapick, H. Herrmann, V. Quiring, B. Brecht, H. Suche, C. Silberhorn, New Journal of Physics 15 (2013).
LibreCat
| DOI
S. Krapick, H. Herrmann, V. Quiring, B. Brecht, H. Suche, C. Silberhorn, New Journal of Physics 15 (2013).
2013 | Conference Paper | LibreCat-ID: 21491
Experimentelle und numerische Untersuchungen des Crashverhaltens hybridgefügter Verbindungen
D. Hein, G. Meschut, O. Hahn, A. Matzenmiller, A. Nelson, in: FOSTA, EFB, DVS (Ed.), 3. Fügetechnisches Gemeinschaftskolloquium, 2013.
LibreCat
D. Hein, G. Meschut, O. Hahn, A. Matzenmiller, A. Nelson, in: FOSTA, EFB, DVS (Ed.), 3. Fügetechnisches Gemeinschaftskolloquium, 2013.
2013 | Conference Paper | LibreCat-ID: 17439
Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.
LibreCat
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Paderborn, 2013, pp. 49--60.
2013 | Journal Article | LibreCat-ID: 1783
Light scattering by randomly irregular dielectric particles larger than the wavelength
Y. Grynko, Y. Shkuratov, J. Förstner, Optical Letters 38 (2013) 5153–5156.
LibreCat
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Optical Letters 38 (2013) 5153–5156.
2013 | Book | LibreCat-ID: 1790
Autonomous Resource Management in Dynamic Data Centers
O. Niehörster, Autonomous Resource Management in Dynamic Data Centers, Shaker, Aachen, Germany, 2013.
LibreCat
O. Niehörster, Autonomous Resource Management in Dynamic Data Centers, Shaker, Aachen, Germany, 2013.
2013 | Book (Editor) | LibreCat-ID: 18706
Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
LibreCat
E.-M. Seng, G. Brüne, eds., Der Kirchenbau zwischen Sakralisierung und Säkularisierung im 17./18. Jahrhundert und heute, Deutscher Kunstverlag, Berlin, München, 2013.
2013 | Journal Article | LibreCat-ID: 18949
“Between Primitive Hut and Large Scale Housing: The Present of Utopia in Architecture”
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
LibreCat
E.-M. Seng, Scottish Journal of Arts, Sciences and Scientific Studies Vol. 15, Issue II (2013) 47–66.
2013 | Journal Article | LibreCat-ID: 18952
Artistik und Zirkus als immaterielles Kulturerbe. Was macht eine künstlerische Leistung zum immateriellen Kulturerbe?
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
LibreCat
E.-M. Seng, Politik und Kultur. Zeitung des Deutschen Kulturrates Nr.3/13 Mai-Juni 2013 (2013) S. 21.
2013 | Book Chapter | LibreCat-ID: 18954
Johann Georg Starcke
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
LibreCat
E.-M. Seng, in: Neue Deutsche Biographie Bd. 25, Berlin, 2013, p. 66f.
2013 | Journal Article | LibreCat-ID: 18963
Rekonstruktion des religiösen Ortes
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).
LibreCat
E.-M. Seng, Die Welt und ihr Double. Abriss und Rekonstruktion, Bauhaus Lectures (im Druck) (2013).