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.
10646 Publications
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 | Conference Paper | LibreCat-ID: 3179
Temporal Reconfiguration Plans for Self-Adaptive Systems
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
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: 20946
Plasma-polymerized HMDSO coatings to adjust the silver ion release properties of Ag/polymer nanocomposites
N. Alissawi, T. Peter, T. Strunskus, C. Ebbert, G. Grundmeier, F. Faupel, JOURNAL OF NANOPARTICLE RESEARCH 15 (2013).
LibreCat
| DOI
| WoS
N. Alissawi, T. Peter, T. Strunskus, C. Ebbert, G. Grundmeier, F. Faupel, JOURNAL OF NANOPARTICLE RESEARCH 15 (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 Chapter | LibreCat-ID: 18979
Die Vereine für christliche Kunst und die Bildausstattung der Kirchen nach dem 2. Weltkrieg in Westfalen und Württemberg im Vergleich
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
LibreCat
E.-M. Seng, in: H. Körner, J. Wiener (Eds.), Kultbild und Andachtsbild, Essen, 2013, pp. 173–186.
2013 | Book Chapter | LibreCat-ID: 19256
„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk
N.O. Eke, in: J. Dyck, H. Korte, N.J. Schmidt (Eds.), Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], de Gruyter, Berlin/Boston, 2013, pp. 3–15.
LibreCat
N.O. Eke, in: J. Dyck, H. Korte, N.J. Schmidt (Eds.), Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], de Gruyter, Berlin/Boston, 2013, pp. 3–15.
2013 | Book Chapter | LibreCat-ID: 19395
Geklebte Strukturen im Fahrzeugbau – Simulation und Bewertung von Fertigungstoleranzen
G. Kruschinski, A. Matzenmiller, M. Bobbert, D. Teutenberg, G. Meschut, in: Leichtbau-Technologien Im Automobilbau, Wiesbaden, 2013.
LibreCat
| DOI
G. Kruschinski, A. Matzenmiller, M. Bobbert, D. Teutenberg, G. Meschut, in: Leichtbau-Technologien Im Automobilbau, Wiesbaden, 2013.
2013 | Journal Article | LibreCat-ID: 23641
Region-Selective Self-Assembly of Functionalized Carbon Allotropes from Solution
Z. Wang, S. Mohammadzadeh, T. Schmaltz, J. Kirschner, A. Khassanov, S. Eigler, U. Mundloch, C. Backes, H.-G. Steinrück, A. Magerl, F. Hauke, A. Hirsch, M. Halik, ACS Nano 7 (2013) 11427–11434.
LibreCat
| DOI
Z. Wang, S. Mohammadzadeh, T. Schmaltz, J. Kirschner, A. Khassanov, S. Eigler, U. Mundloch, C. Backes, H.-G. Steinrück, A. Magerl, F. Hauke, A. Hirsch, M. Halik, ACS Nano 7 (2013) 11427–11434.
2013 | Journal Article | LibreCat-ID: 23642
Low-Voltage Self-Assembled Monolayer Field-Effect Transistors on Flexible Substrates
T. Schmaltz, A.Y. Amin, A. Khassanov, T. Meyer-Friedrichsen, H.-G. Steinrück, A. Magerl, J.J. Segura, K. Voitchovsky, F. Stellacci, M. Halik, Advanced Materials 25 (2013) 4511–4514.
LibreCat
| DOI
T. Schmaltz, A.Y. Amin, A. Khassanov, T. Meyer-Friedrichsen, H.-G. Steinrück, A. Magerl, J.J. Segura, K. Voitchovsky, F. Stellacci, M. Halik, Advanced Materials 25 (2013) 4511–4514.
2013 | Journal Article | LibreCat-ID: 23643
Oxygen diffusivity in silicon derived from dynamical X-ray diffraction
J. Will, A. Gröschel, D. Kot, M.A. Schubert, C. Bergmann, H.-G. Steinrück, G. Kissinger, A. Magerl, Journal of Applied Physics 7 (2013) 073508.
LibreCat
| DOI
J. Will, A. Gröschel, D. Kot, M.A. Schubert, C. Bergmann, H.-G. Steinrück, G. Kissinger, A. Magerl, Journal of Applied Physics 7 (2013) 073508.
2013 | Journal Article | LibreCat-ID: 23770
Experimentieren lernen auf Englisch - geht das? - Ein bilingual ausgerichtetes Chemieprojekt zur Vermittlung des Erkenntniswegs im Film
S. Fechner, S. Schüttler, MNU 66 (2013) 274–280.
LibreCat
S. Fechner, S. Schüttler, MNU 66 (2013) 274–280.
2013 | Journal Article | LibreCat-ID: 20863
Determinants of market beta: the impacts of firm-specific accounting figures and market conditions
T. Schlueter, S. Sievers, Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B) (2013) 535–570.
LibreCat
| DOI
| Download (ext.)
T. Schlueter, S. Sievers, Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B) (2013) 535–570.