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.
7564 Publications
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” In Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27043
Libuda, Lars, Ute Alexy, and Mathilde Kersting. “Time Trends in Dietary Fat Intake in a Sample of German Children and Adolescents between 2000 and 2010: Not Quantity, but Quality Is the Issue.” British Journal of Nutrition, 2013, 141–50. https://doi.org/10.1017/s0007114513002031.
LibreCat
| DOI
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, Paul. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8. Dortmunder Autotag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 21044
Krapick, S, Harald Herrmann, V Quiring, Benjamin Brecht, H Suche, and Christine Silberhorn. “An Efficient Integrated Two-Color Source for Heralded Single Photons.” New Journal of Physics 15 (2013). https://doi.org/10.1088/1367-2630/15/3/033010.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 21491
Hein, David, Gerson Meschut, Ortwin Hahn, Anton Matzenmiller, and Alexander Nelson. “Experimentelle Und Numerische Untersuchungen Des Crashverhaltens Hybridgefügter Verbindungen.” In 3. Fügetechnisches Gemeinschaftskolloquium, edited by FOSTA, EFB, DVS, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
Petring, Ralf, Benjamin Eikel, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf der Heide. “Darstellung Heterogener 3-D-Szenen in Echtzeit.” In 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 311:49--60. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 1783
Grynko, Yevgen, Yuriy Shkuratov, and Jens Förstner. “Light Scattering by Randomly Irregular Dielectric Particles Larger than the Wavelength.” Optical Letters 38, no. 23 (2013): 5153–56. https://doi.org/10.1364/OL.38.005153.
LibreCat
| DOI
2013 | Book | LibreCat-ID: 1790
Niehörster, Oliver. Autonomous Resource Management in Dynamic Data Centers. Aachen, Germany: Shaker, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19256
Eke, Norbert Otto. “„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk.” In Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], edited by Joachim Dyck, Hermann Korte, and Nadine Jessica Schmidt, 3–15. Berlin/Boston: de Gruyter, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 19395
Kruschinski, Georg, Anton Matzenmiller, Mathias Bobbert, Dominik Teutenberg, and Gerson Meschut. “Geklebte Strukturen Im Fahrzeugbau – Simulation Und Bewertung von Fertigungstoleranzen.” In Leichtbau-Technologien Im Automobilbau. Wiesbaden, 2013. https://doi.org/10.1007/978-3-658-04025-3_20.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 20863
Schlueter, Tobias, and Sönke Sievers. “Determinants of Market Beta: The Impacts of Firm-Specific Accounting Figures and Market Conditions.” Review of Quantitative Finance and Accounting (VHB-JOURQUAL 3 Ranking B), no. 3 (2013): 535–70. https://doi.org/10.1007/s11156-013-0352-1.
LibreCat
| DOI
| Download (ext.)
2013 | Book Chapter | LibreCat-ID: 1800
Blanckenstein, Johannes, Javier Garcia-Jimenez, Jirka Klaue, and Holger Karl. “A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft.” In Lecture Notes in Electrical Engineering, 165–77. Cham: Springer International Publishing, 2013. https://doi.org/10.1007/978-3-319-03071-5_18.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1804
Oliva, Antonio de la, Arianna Morelli, Vincenzo Mancuso, Martin Draexler, Tim Hentschel, Telemaco Melia, Pierrick Seite, and Claudio Cicconetti. “Denser Networks for the Future Internet, the CROWD Approach.” In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 28–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-37935-2_3.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 18475
Riefer, Arthur, Martin Rohrmüller, Marc Landmann, Simone Sanna, Eva Rauls, Nora Jenny Vollmers, Rebecca Hölscher, et al. “Lithium Niobate Dielectric Function and Second-Order Polarizability Tensor from Massively Parallel Ab Initio Calculations.” In High Performance Computing in Science and Engineering ‘13, edited by Wolfgang E. Nagel, Dietmar H. Kröner, and Michael M. Resch, 93–104. Transactions of the High Performance Computing Center, Stuttgart. Cham: Springer, 2013. https://doi.org/10.1007/978-3-319-02165-2_8.
LibreCat
| Files available
| DOI
| WoS
2013 | Book | LibreCat-ID: 22379
Hölscher, Christian, Stefanie Michaelis, Malte Strop, and Detmar Zimmer. Energetische Optimierung Eines Mehrmotorenantriebssystems Für Kautschukinnenmischer. Nixdorf Institut (HNI), 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 22380
Schmidt, Alexander. Situationsbezogene Luftspaltoptimierung Am Linearmotor Eines Schienengebundenen Fahrzeugs. Der Andere Verlag, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 22381
Wecker, Markus. Beitrag Zur Geräuschminderung an Federkraftbremsen. Der Andere Verlag, 2013.
LibreCat