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.
7565 Publications
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 | 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 | Book Chapter | LibreCat-ID: 27560
H. Wendt, M. Vennemann, M. Schwippert, and K. Drossel, “Soziale Herkunft und computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern im internationalen Vergleich,” in ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, and H. Wendt, Eds. Münster: Waxmann, 2014, pp. 265–296.
LibreCat
2014 | Book Chapter | LibreCat-ID: 27564
B. Eickelmann, H. Schaumburg, K. Drossel, and R. Lorenz, “Schulische Nutzung von neuen Technologien in Deutschland im internationalen Vergleich,” in ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, and H. Wendt, Eds. Münster: Waxmann, 2014, pp. 129–154.
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 | Conference Paper | LibreCat-ID: 23682
T. Mittag, J. Gausemeier, I. Gräßler, P. Iwanek, D. Köchling, and M. Petersen, “Conceptual Design of a Self-Optimising Production Control System,” in Disruptive Innovation in Manufacturing Engineering towards the 4th Industrial Revolution: mit CD-ROM - Proceedings of the 8th International CIRP Conference on Digital Enterprise Technology - DET 2014, International CIRP Conference on Digital Enterprise Technology (DET), Nr. 8, 2014, vol. 8.
LibreCat
2014 | Journal Article | LibreCat-ID: 23688
H.-P. Heim et al., “Eigenverstärkte Thermoplastverbunde - Verbundwerkstoffe (Teil 2),” Kunststoffe 104 (3/2014), pp. 72–78, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 23690
H.-P. Heim et al., “Self-Reinforced Thermoplastic Composites - Composite Materials (Part 2),” Kunststoffe international 104 (3/2014), pp. 41–46, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 18471
C. Friedrich, E. Şaşıoğlu, M. Müller, A. Schindlmayr, and S. Blügel, “Spin excitations in solids from many-body perturbation theory,” in First Principles Approaches to Spectroscopic Properties of Complex Materials, vol. 347, C. Di Valentin, S. Botti, and M. Cococcioni, Eds. Berlin, Heidelberg: Springer, 2014, pp. 259–301.
LibreCat
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2014 | Book Chapter | LibreCat-ID: 18472
A. Schindlmayr, “The GW approximation for the electronic self-energy,” in Many-Electron Approaches in Physics, Chemistry and Mathematics, vol. 29, V. Bach and L. Delle Site, Eds. Cham: Springer, 2014, pp. 343–357.
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 18474 |
C. Friedrich and A. Schindlmayr, “Many-body perturbation theory: The GW approximation,” in Computing Solids: Models, ab initio Methods and Supercomputing, vol. 74, S. Blügel, N. Helbig, V. Meden, and D. Wortmann, Eds. Jülich: Forschungszentrum Jülich, 2014, p. A4.1-A4.21.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 22388
A. Klause and D. Zimmer, “Auswahl anwendungsoptimaler Antriebssysteme als Basis für die Komposition von Antriebsbaukästen,” Entwerfen - Entwickeln - Erleben 2014. Beiträge zur virtuellen Produktentwicklung und Konstruktionstechnik, pp. 619–639, 2014.
LibreCat