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.
10730 Publications
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 | 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 | Conference Paper | LibreCat-ID: 16271
Claes, Leander, Sarah Johannesmann, Elmar Baumhögger, and Bernd Henning. “Quantification of Frequency-Dependent Absorption Phenomena.” In 2019 International Congress on Ultrasonics, 2019. https://doi.org/10.1121/2.0001043.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.” GdSU-Journal,(9), 2019, 10–21.
LibreCat
2019 | Journal Article | LibreCat-ID: 16305
Linnemann, Matthias, Pavel Anatolyevich Nikolaychuk, Y. Mauricio Muñoz-Muñoz, Elmar Baumhögger, and Jadran Vrabec. “Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation.” Journal of Chemical & Engineering Data, 2019, 1180–88. https://doi.org/10.1021/acs.jced.9b00565.
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: 13981
Krimphove, Dieter. “Art. 9 VO-Rom II Arbeitskampfmaßnahmen.” In Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), edited by Hans-Theodor Soergel, Vol. 27/1. Rom II-VO; Internationales Handelsrecht; Internationales Bank- Und Kapitalmarktrecht. Stuttgart: Kohlhammer, 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 | 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
2019 | Conference Paper | LibreCat-ID: 13138 | 
Gottschalk, Sebastian, Florian Rittmeier, and Gregor Engels. “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach.” In Software Business, edited by Sami Hyrynsalmi, Mari Suoranta, Anh Nguyen-Duc, Pasi Tyrväinen, and Pekka Abrahamsson, 370:192–207. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-33742-1_16.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, Nils, Anthony Anjorin, Florian Stolte, and Florian Kraus. “From Pattern Invocation Networks to Rule Preconditions.” In Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, 195–211. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, Nils, Anthony Anjorin, Patrick Robrecht, and Gergely Varró. “Incremental (Unidirectional) Model Transformation with EMoflon::IBeX.” In Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, 131–40. Springer, 2019. https://doi.org/10.1007/978-3-030-23611-3\_8.
LibreCat
| DOI