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.
7273 Publications
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike 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, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014. https://doi.org/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.” In 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, 203--218. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-11737-9_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David 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, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat, Silvia, Theodora Mouratidou, Inge Huybrechts, Idoia Labayen, Magdalena Cuenca-García, Gonzalo Palacios, Christina Breidenassel, 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, 2049–59. https://doi.org/10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner, Volker, T. Herken, F. Reinders, and K. Westhues. “Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung.” In Erfolgreich Compoundieren mit Pulvern und Stäuben. Düsseldorf (Deutschland), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
Dollmann, Markus, and Michaela Geierhos. “SentiBA: Lexicon-Based Sentiment Analysis on German Product Reviews.” In Workshop Proceedings of the 12th Edition of the KONVENS Conference, edited by Gertrud Faaß and Josef Ruppenhofer, 185–91. Hildesheim, Germany: Universitätsverlag Hildesheim, 2014.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, Jörg Holtmann, and Julien DeAntoni. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” In Software Architecture. Cham, 2014. https://doi.org/10.1007/978-3-319-09970-5_14.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
Herzig, Bardo, Sandra Aßmann, and Tilman-Mathies Klar. “Grundbildung Medien im Profilstudium im Lehramt.” In Grundbildung Medien in pädagogischen Studiengängen, edited by Peter Imort and Horst Niesyto, 65–80. kopaed, 2014.
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. Laboratorium für Werkstoff- und Fügetechnik. Düren: Shaker Verlag GmbH, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
Steinle, Tobias, Jadran Vrabec, and Andrea Walther. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.” In Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock, Xuan Phu Hoang, Rolf Rannacher, and Johannes P. Schlöder, 233–43. Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-09063-4_19.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection in Monte-Carlo Go.” In Proc. Conf. on Computers and Games (CG), 14–25. Lecture Notes in Computer Science. Switzerland: Springer, 2014. https://doi.org/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. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 23682
Mittag, Tobias, Jürgen Gausemeier, Iris Gräßler, Peter Iwanek, Daniel Köchling, and Marcus 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, Vol. 8. Fraunhofer-Institut für Arbeitswirtschaft und Organisation (IAO), Fraunhofer Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 23688
Heim, Hans-Peter, Angela Ries, Volker Schöppner, Andrea Wibbeke, Stefan Turek, Hogenrich Damanik, Rolf Mahnken, et al. “Eigenverstärkte Thermoplastverbunde - Verbundwerkstoffe (Teil 2).” Kunststoffe 104 (3/2014), 2014, 72–78.
LibreCat
2014 | Journal Article | LibreCat-ID: 23690
Heim, Hans-Peter, Angela Ries, Volker Schöppner, Andrea Wibbeke, Stefan Turek, Hogenrich Damanik, Rolf Mahnken, et al. “Self-Reinforced Thermoplastic Composites - Composite Materials (Part 2).” Kunststoffe International 104 (3/2014), 2014, 41–46.
LibreCat
2014 | Book Chapter | LibreCat-ID: 18471
Friedrich, Christoph, Ersoy Şaşıoğlu, Mathias Müller, Arno Schindlmayr, and Stefan Blügel. “Spin Excitations in Solids from Many-Body Perturbation Theory.” In First Principles Approaches to Spectroscopic Properties of Complex Materials, edited by Cristiana Di Valentin, Silvana Botti, and Matteo Cococcioni, 347:259–301. Topics in Current Chemistry. Berlin, Heidelberg: Springer, 2014. https://doi.org/10.1007/128_2013_518.
LibreCat
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2014 | Book Chapter | LibreCat-ID: 18472
Schindlmayr, Arno. “The GW Approximation for the Electronic Self-Energy.” In Many-Electron Approaches in Physics, Chemistry and Mathematics, edited by Volker Bach and Luigi Delle Site, 29:343–57. Mathematical Physics Studies. Cham: Springer, 2014. https://doi.org/10.1007/978-3-319-06379-9_19.
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 18474 |
Friedrich, Christoph, and Arno Schindlmayr. “Many-Body Perturbation Theory: The GW Approximation.” In Computing Solids: Models, Ab Initio Methods and Supercomputing, edited by Stefan Blügel, Nicole Helbig, Volker Meden, and Daniel Wortmann, 74:A4.1-A4.21. Key Technologies. Jülich: Forschungszentrum Jülich, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1863
Derakhshandeh, Zahra, Shlomi Dolev, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Brief Announcement: Amoebot - a New Model for Programmable Matter.” In 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, 220--222. ACM, 2014. https://doi.org/10.1145/2612669.2612712.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 22193
Josupeit, Stefan, L. Ordia, and Hans-Joachim Schmid. “Development of a Basic Model to Simulate the Laser Sintering Cooling Process.” In International Conference on Additive Technologies, 5:222–27, 2014. https://www.researchgate.net/profile/Saeed_Khademzadeh2/publication/303022441_Geometrical_characterization_of_thin_walls_produced_by_micro_laser_sintering/links/5735cc7f08ae298602e08f1f/Geometrical-characterization-of-thin-walls-produced-by-micro-laser-sintering.pdf.
LibreCat
| DOI