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
Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat, Silvia, 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, 2014, pp. 2049–59, doi:10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner, Volker, et al. “Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung.” Erfolgreich Compoundieren mit Pulvern und Stäuben, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
Dollmann, Markus, and Michaela Geierhos. “SentiBA: Lexicon-Based Sentiment Analysis on German Product Reviews.” Workshop Proceedings of the 12th Edition of the KONVENS Conference, edited by Gertrud Faaß and Josef Ruppenhofer, Universitätsverlag Hildesheim, 2014, pp. 185–91.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
Herzig, Bardo, et al. “Grundbildung Medien im Profilstudium im Lehramt.” Grundbildung Medien in pädagogischen Studiengängen, edited by Peter Imort and Horst Niesyto, kopaed, 2014, pp. 65–80.
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
Hein, David. Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung. Vol. Band 107, Shaker Verlag GmbH, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:10.1007/978-3-319-09063-4_19.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” Proc. Conf. on Computers and Games (CG), no. 8427, Springer, 2014, pp. 14–25, doi:10.1007/978-3-319-09165-5_2.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit. 2014.
LibreCat
| Files available
2014 | Book (Editor) | LibreCat-ID: 19060
Assmann, David-Christopher, et al., editors. Entsorgungsprobleme: Müll in der Literatur. Erich Schmidt, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19063
Eke, Norbert Otto, et al., editors. Logiken strukturbildender Prozesse: Automatismen. Fink, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19064
Eke, Norbert Otto, et al., editors. „Zuckererbsen für Jedermann“. Literatur und Utopie. Heine und Bloch heute. Aisthesis, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19069
Brauerhoch, Annette, et al., editors. Entautomatisierung. Fink, 2014.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19070
Eke, Norbert Otto, et al., editors. Bühne. Raumbildende Prozesse im Theater. Fink, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 19237
Eke, Norbert Otto. “„Bis an die unerhörte Grenze“ oder: Der Klang des Schmerzes. Vielstimmigkeit in Anne Dudens Schreibkonzept.” Faszinosum ‚Klang‘. Anthropologie – Medialität – kulturelle Praxis, edited by Wolf Gerhard Schmidt, de Gruyter, 2014, pp. 200–17.
LibreCat
2014 | Journal Article | LibreCat-ID: 19238
Eke, Norbert Otto. “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, 2014, pp. 95–112.
LibreCat