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.
802 Publications
2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
2014 | Book Chapter | LibreCat-ID: 18956
World Cultural Heritage: Cultural Identity and the War on Works of Art. Introduction, Sketch of Problems and Objects
E.-M. Seng, in: The Challenge of the Object. Section 6, The Proceedings of the 33. International Congress in the History of Art. Nuremberg, 15.-20. July 2012. Comité International d’Histoire de l’Art, CIHA, Bd. 2, Nürnberg, 2014, pp. 430–434.
LibreCat
E.-M. Seng, in: The Challenge of the Object. Section 6, The Proceedings of the 33. International Congress in the History of Art. Nuremberg, 15.-20. July 2012. Comité International d’Histoire de l’Art, CIHA, Bd. 2, Nürnberg, 2014, pp. 430–434.
2014 | Conference Paper | LibreCat-ID: 22903
Feature models supporting trade-off decisions in early mechatronic systems design
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
2014 | Conference Paper | LibreCat-ID: 41
RSDL workbench results for OAEI 2014
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 9th International Workshop on Ontology Matching Collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva Del Garda, Trentino, Italy, October 20, 2014., CEUR-WS.org, 2014, pp. 155--162.
LibreCat
| Download (ext.)
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 9th International Workshop on Ontology Matching Collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva Del Garda, Trentino, Italy, October 20, 2014., CEUR-WS.org, 2014, pp. 155--162.
2014 | Book Chapter | LibreCat-ID: 29384
Vertrauensarbeit nach dem Bankrott: Die Internationale Finanzkommission für Griechenland zwischen 1898 und 1914
K. Schönhärl, in: A. Hedwig (Ed.), Finanzpolitik und Schuldenkrisen 16.-20. Jahrhundert, Hessisches Staatsarchiv Marburg, Marburg, 2014, pp. 173–196.
LibreCat
K. Schönhärl, in: A. Hedwig (Ed.), Finanzpolitik und Schuldenkrisen 16.-20. Jahrhundert, Hessisches Staatsarchiv Marburg, Marburg, 2014, pp. 173–196.
2014 | Journal Article | LibreCat-ID: 32528 | 
Individuation in Adults’ Family Interactions: An Observational Study
H.M. Buhl, B. Scholwin, P. Noack, Journal of Adult Development 22 (2014) 100–111.
LibreCat
| DOI
| Download (ext.)
H.M. Buhl, B. Scholwin, P. Noack, Journal of Adult Development 22 (2014) 100–111.
2014 | Journal Article | LibreCat-ID: 4064
Hydrogen Effects in ECR-Etching of 3C-SiC(100) Mesa Structures
L. Hiller, T. Stauden, R.M. Kemper, J. Lindner, D.J. As, J. Pezoldt, Materials Science Forum 778–780 (2014) 730–733.
LibreCat
| Files available
| DOI
L. Hiller, T. Stauden, R.M. Kemper, J. Lindner, D.J. As, J. Pezoldt, Materials Science Forum 778–780 (2014) 730–733.
2014 | Journal Article | LibreCat-ID: 50128
„Partizipation – bildkompetent und interkulturell“. Bericht über eine Tagung des BDK Landesverbandes Nordrhein-Westfalen am 29. Januar 2014
K. Pauls, BDK-Mitteilungen 2 (2014) 35–36.
LibreCat
K. Pauls, BDK-Mitteilungen 2 (2014) 35–36.
2014 | Book Chapter | LibreCat-ID: 53646
Darf man Kunstwerke zu Illustrationen machen? Die Luther-Abbildungen in der Schulbuchreihe Kursbuch für Sek. I
R. Janus, in: A. Roggenkamp, M. Wermke (Eds.), Religiöse Sozialisation, Erziehung und Bildung in historischer Perspektive. Arbeitsfelder der Religionspädagogik, Evangelischer Verlagsanstalt, Leipzig, 2014, pp. 221–236.
LibreCat
R. Janus, in: A. Roggenkamp, M. Wermke (Eds.), Religiöse Sozialisation, Erziehung und Bildung in historischer Perspektive. Arbeitsfelder der Religionspädagogik, Evangelischer Verlagsanstalt, Leipzig, 2014, pp. 221–236.
2014 | Book Chapter | LibreCat-ID: 53645
Vom Apophthegma zum Tweed. Minimalisierung als emergente Identitäts- und Weltkonstruktion
R. Janus, in: I. Nord, S. Luthe (Eds.), Social Media, christliche Religiosität und Kirche. Studien zur Praktischen Theologie mit religionspädagogischem Schwerpunkt, Garamond, Jena, 2014, pp. 195–207.
LibreCat
R. Janus, in: I. Nord, S. Luthe (Eds.), Social Media, christliche Religiosität und Kirche. Studien zur Praktischen Theologie mit religionspädagogischem Schwerpunkt, Garamond, Jena, 2014, pp. 195–207.
2014 | Journal Article | LibreCat-ID: 24310
Design and Measurement Techniques for an 80 Gb/s 1-Tap Decision Feedback Equalizer
A. Awny, L. Möller, J. Junio, C. Scheytt, A. Thiede, IEEE JOURNAL OF SOLID-STATE CIRCUITS Vol.49 (2014) 452–470.
LibreCat
| Files available
| DOI
A. Awny, L. Möller, J. Junio, C. Scheytt, A. Thiede, IEEE JOURNAL OF SOLID-STATE CIRCUITS Vol.49 (2014) 452–470.
2014 | Book Chapter | LibreCat-ID: 37922
Stimmbesitzer und Sängerdarsteller. Die Inszenierung des Singens auf der Musiktheater-Bühne in den ersten Jahrzehnten des 20. Jahrhunderts
R. Grotjahn, in: T. Steiert , P.O. de Coul (Eds.), Blickpunkt Bühne. Musiktheater in Deutschland von 1900 Bis 1950, Dohr, Köln, 2014.
LibreCat
| Files available
R. Grotjahn, in: T. Steiert , P.O. de Coul (Eds.), Blickpunkt Bühne. Musiktheater in Deutschland von 1900 Bis 1950, Dohr, Köln, 2014.
2014 | Journal Article | LibreCat-ID: 43908
Impuls und Design - Friedensklänge aus dem 20. Jahrhundert. Zum 100. Geburtstag von Andrzej Panufnik
H. Schroeter-Wittke, Praktische Theologie 49 (2014) 259–260.
LibreCat
H. Schroeter-Wittke, Praktische Theologie 49 (2014) 259–260.
2014 | Conference Paper | LibreCat-ID: 39497
Anodized Aluminum as Effective and Cheap Alternative Substrate for Thermoelectric Generators
F. Assion, V. Geneiß, M. Schönhoff, C. Hedayat, U. Hilleringmann, in: A. Amaldi, F. Tang (Eds.), Proceedings of the 11th European Conference on Thermoelectrics, Springer International Publishing, Cham, 2014, pp. 83–88.
LibreCat
F. Assion, V. Geneiß, M. Schönhoff, C. Hedayat, U. Hilleringmann, in: A. Amaldi, F. Tang (Eds.), Proceedings of the 11th European Conference on Thermoelectrics, Springer International Publishing, Cham, 2014, pp. 83–88.
2014 | Conference Paper | LibreCat-ID: 56525
Certain Answers in a Rough World
R. Peñaloza, V. Thost, A.-Y. Turhan, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR-WS.org, 2014, pp. 709–712.
LibreCat
R. Peñaloza, V. Thost, A.-Y. Turhan, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR-WS.org, 2014, pp. 709–712.
2014 | Conference Paper | LibreCat-ID: 56524
Mary, What’s Like All Cats?
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR-WS.org, 2014, pp. 526–529.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014, CEUR-WS.org, 2014, pp. 526–529.
2014 | Conference Paper | LibreCat-ID: 56528
Answering Instance Queries Relaxed by Concept Similarity
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: C. Baral, G.D. Giacomo, T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, AAAI Press, 2014.
LibreCat
A. Ecke, R. Peñaloza, A.-Y. Turhan, in: C. Baral, G.D. Giacomo, T. Eiter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, AAAI Press, 2014.
2014 | Misc | LibreCat-ID: 65183
Jesus Christus. Themenheft für den evangelischen Religionsunterricht in der Oberstufe
S. Hagemann, M. Keuchen, Jesus Christus. Themenheft für den evangelischen Religionsunterricht in der Oberstufe, Vandenhoeck&Ruprecht, Göttingen, 2014.
LibreCat
| Files available
| Download (ext.)
S. Hagemann, M. Keuchen, Jesus Christus. Themenheft für den evangelischen Religionsunterricht in der Oberstufe, Vandenhoeck&Ruprecht, Göttingen, 2014.
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 | Book | LibreCat-ID: 22379
Energetische Optimierung eines Mehrmotorenantriebssystems für Kautschukinnenmischer
C. Hölscher, S. Michaelis, M. Strop, D. Zimmer, Energetische Optimierung Eines Mehrmotorenantriebssystems Für Kautschukinnenmischer, Nixdorf Institut (HNI), 2013.
LibreCat
C. Hölscher, S. Michaelis, M. Strop, D. Zimmer, Energetische Optimierung Eines Mehrmotorenantriebssystems Für Kautschukinnenmischer, Nixdorf Institut (HNI), 2013.