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.
7904 Publications
2019 | Conference Paper | LibreCat-ID: 16215
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi: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.” The Art of Structuring, 2019, doi:10.1007/978-3-030-06234-7_29.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16361
Fischer, Holger Gerhard, et al. “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” Arbeit 4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink, Springer Gabler, 2019, doi:10.1007/978-3-662-59474-2_11.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold, Peter, et al. “Verkehrssimulation Im Hardware-in-the-Loop-Steuergerätetest.” Proceedings, 2019, doi: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.” Fundamental Approaches to Software Engineering, 2019, doi: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.” Distributed Computing by Mobile Entities, Current Research in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–34, doi:10.1007/978-3-030-11072-7\_13.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, Elias, et al. “Influence of the Free-Electron Concentration on the Optical Properties of Zincblende GaN up to 1×1020cm−3.” Physical Review Materials, 2019, doi: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.” 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., C. H. Beck, 2019, pp. 447–58.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, Jannik, et al. “A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks.” Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–48, doi:10.1007/978-3-030-24922-9\_26.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
Kampmann, Matthias, et al. “Built-in Test for Hidden Delay Faults.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 38, no. 10, IEEE, 2019, pp. 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.” Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), edited by Uffe Thomas Jankvist et al., Freudenthal Group & Freudenthal Institute, Utrecht University and ERME.
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, et al. “From Automated to On-The-Fly Machine Learning.” INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., 2019, pp. 273–74.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 | 
Gottschalk, Sebastian, et al. “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach.” Software Business, edited by Sami Hyrynsalmi et al., vol. 370, no. 1, Springer International Publishing, 2019, pp. 192–207, doi:10.1007/978-3-030-33742-1_16.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, Nils, et al. “From Pattern Invocation Networks to Rule Preconditions.” Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, Springer, 2019, pp. 195–211, doi:10.1007/978-3-030-23611-3\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, Nils, et al. “Incremental (Unidirectional) Model Transformation with EMoflon::IBeX.” Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, Springer, 2019, pp. 131–40, doi:10.1007/978-3-030-23611-3\_8.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13143
Claes, Leander, et al. “Acoustic Absorption Measurement for the Determination of the Volume Viscosity of Pure Fluids / Messverfahren Für Die Akustischen Absorption Zur Bestimmung Der Volumenviskosität Reiner Fluide.” Tm - Technisches Messen, 2019, pp. 2–6, doi:10.1515/teme-2019-0038.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13178
Beverungen, Daniel, et al. “Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung.” Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, edited by Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , SpringerVieweg, 2019.
LibreCat