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.
9699 Publications
2014 | Conference Paper | LibreCat-ID: 3170
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in 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
2014 | Conference Paper | LibreCat-ID: 3172
T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
S. Bel-Serrat et al., “Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study,” British Journal of Nutrition, pp. 2049–2059, 2014, doi: 10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
V. Schöppner, T. Herken, F. Reinders, and K. Westhues, “Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung,” presented at the Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
M. Dollmann and M. Geierhos, “SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews,” in Workshop Proceedings of the 12th Edition of the KONVENS Conference, Hildesheim, Germany, 2014, pp. 185–191.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 21211
B. Herzig, S. Aßmann, and T.-M. Klar, “Grundbildung Medien im Profilstudium im Lehramt,” in Grundbildung Medien in pädagogischen Studiengängen, P. Imort and H. Niesyto, Eds. kopaed, 2014, pp. 65–80.
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
D. Hein, Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung, vol. Band 107. Düren: Shaker Verlag GmbH, 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 19039
R. Petring, Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Book (Editor) | LibreCat-ID: 19060
D.-C. Assmann, N. O. Eke, and E. Geulen, Eds., Entsorgungsprobleme: Müll in der Literatur. Berlin: Erich Schmidt, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19063
N. O. Eke, L. Foit, T. Kaerlein, and J. Künsemöller, Eds., Logiken strukturbildender Prozesse: Automatismen. München: Fink, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19064
N. O. Eke, K. Füllner, and F. Vidal, Eds., „Zuckererbsen für Jedermann“. Literatur und Utopie. Heine und Bloch heute. Bielefeld: Aisthesis, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19069
A. Brauerhoch, N. O. Eke, R. Wieser, and A. Zechner, Eds., Entautomatisierung. München: Fink, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19070
N. O. Eke, U. Haß, and I. Kaldrack, Eds., Bühne. Raumbildende Prozesse im Theater. München: Fink, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 19237
N. O. Eke, “„Bis an die unerhörte Grenze“ oder: Der Klang des Schmerzes. Vielstimmigkeit in Anne Dudens Schreibkonzept,” in Faszinosum ‚Klang‘. Anthropologie – Medialität – kulturelle Praxis, W. G. Schmidt, Ed. Berlin/Boston: de Gruyter, 2014, pp. 200–217.
LibreCat
2014 | Journal Article | LibreCat-ID: 19238
N. O. Eke, “In the Image: The Transformation of Cinematic Shoah Representations in Michael Glawogger’s „Kill Daddy Good Night“,” New German Critique, vol. 41, no. No. 3/123, pp. 95–112, 2014.
LibreCat