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.
7924 Publications
2019 | Conference Abstract | LibreCat-ID: 15248
Grabo, Matti, Daniel Weber, Andreas Paul, Tobias Klaus, Wolfgang Bermpohl, and Eugeny Kenig. “Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen,” 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 15261
Lugovtsova, Yevgeniya, Sarah Johannesmann, Bernd Henning, and Jens Prager. “Analysis of Lamb Wave Mode Repulsion and Its Implications to the Characterisation of Adhesive Bonding Strength.” In 2019 International Congress on Ultrasonics. Proceedings of Meetings on Acoustics. Bruges: Acoustical Society of America, 2019. https://doi.org/10.1121/2.0001074.
LibreCat
| DOI
2019 | Book (Editor) | LibreCat-ID: 15265
Linssen, Oliver, Martin Mikusz, Alexander Volland, Enes Yigitbas, Martin Engstler, Masud Fazal-Baqaie, and Marco Kuhrmann, eds. Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel. Vol. Volume P-298. Lecture Notes in Informatics (LNI) - Proceedings, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16030
Triebus, Marcel, S. Bienia, Thorsten Marten, Thomas Tröster, and K. Dröder. “Press Hardening Integrated Structuring for Hybrid Components.” Verlag Wissenschaftliche Scripten, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
Hetkämper, Tim, Leander Claes, and Bernd Henning. “Evolutionary Algorithm for the Design of Passive Electric Matching Networks for Ultrasonic Transducers.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001110.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek, Annabelle McIver, and Jos{\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
Müller, Oliver. “Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier.” In The Art of Structuring, 2019. https://doi.org/10.1007/978-3-030-06234-7_29.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann, and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg: Springer Gabler, 2019. https://doi.org/10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold, Peter, Norbert Meyer, Dominik Buse, Florian Klingler, Christoph Sommer, Falko Dressler, Markus Eisenbarth, and Jakob Andert. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” In Proceedings. Wiesbaden, 2019. https://doi.org/10.1007/978-3-658-25294-6_15.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.” In Fundamental Approaches to Software Engineering. Cham, 2019. https://doi.org/10.1007/978-3-030-16722-6_23.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for Swarm Robotics.” In Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340:317–34. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-11072-7\_13.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, Elias, Rüdiger Goldhahn, Michael Deppe, Donat Josef As, and Martin Feneberg. “Influence of the Free-Electron Concentration on the Optical Properties of Zincblende GaN up to 1×1020cm−3.” Physical Review Materials, 2019. https://doi.org/10.1103/physrevmaterials.3.104603.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13976
Krimphove, Dieter. “BT 6 Zur Verfügungstellen Der Geeignetheitserklärung: Nach § 64 Abs. 4 WpHG.” In Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove and Oliver Kruse, 2nd ed., 447–58. München: C. H. Beck, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 179–95, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, Jannik, Christina Kolb, and Christian Scheideler. “A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks.” In Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 345–48, 2019. https://doi.org/10.1007/978-3-030-24922-9\_26.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
Kampmann, Matthias, Michael A. Kochte, Chang Liu, Eric Schneider, Sybille Hellebrand, and Hans-Joachim Wunderlich. “Built-in Test for Hidden Delay Faults.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38, no. 10 (2019): 1956–68.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13107
Schumacher, Jan, and Sebastian Rezat. “A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers.” In Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), edited by Uffe Thomas Jankvist, Marja Van den Heuvel-Panhuizen, and Michiel Veldhuis. Utrecht, the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, n.d.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, Lial. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, Felix, Marcel Dominik Wever, Alexander Tornede, and Eyke Hüllermeier. “From Automated to On-The-Fly Machine Learning.” In INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, 273–74. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft Für Informatik. Bonn: Gesellschaft für Informatik e.V., 2019.
LibreCat