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.
7880 Publications
2019 | Book Chapter | LibreCat-ID: 16361
Fischer HG, Rittmeier F, Strothmann TF, Schwenniger N. Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode. In: Bosse CK, Zink KJ, eds. Arbeit 4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler; 2019. doi:10.1007/978-3-662-59474-2_11
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
Reinold P, Meyer N, Buse D, et al. Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest. In: Proceedings. Wiesbaden; 2019. doi:10.1007/978-3-658-25294-6_15
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
Beyer D, Jakobs M-C. CoVeriTest: Cooperative Verifier-Based Testing. In: Fundamental Approaches to Software Engineering. Cham; 2019. doi:10.1007/978-3-030-16722-6_23
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling P, Meyer auf der Heide F. Continuous Protocols for Swarm Robotics. In: Distributed Computing by Mobile Entities, Current Research in Moving and Computing. Vol 11340. Lecture Notes in Computer Science. Springer; 2019:317-334. doi:10.1007/978-3-030-11072-7\_13
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron E, Goldhahn R, Deppe M, As DJ, Feneberg M. 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 D. BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG. In: Krimphove D, Kruse O, eds. Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen. 2nd ed. München: C. H. Beck; 2019:447-458.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. 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. ; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow J, Kolb C, Scheideler C. 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). ; 2019:345-348. doi:10.1007/978-3-030-24922-9\_26
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
Kampmann M, A. Kochte M, Liu C, Schneider E, Hellebrand S, Wunderlich H-J. Built-in Test for Hidden Delay Faults. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2019;38(10):1956-1968.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13107
Schumacher J, Rezat S. A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers. In: Jankvist UT, Van den Heuvel-Panhuizen M, Veldhuis M, eds. Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019). Utrecht, the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf L. Organic Programming of Dynamic Real-Time Applications. Universität Paderborn; 2019.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr F, Wever MD, Tornede A, Hüllermeier E. From Automated to On-The-Fly Machine Learning. In: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft. INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik. Bonn: Gesellschaft für Informatik e.V.; 2019:273-274.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 | 
Gottschalk S, Rittmeier F, Engels G. Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In: Hyrynsalmi S, Suoranta M, Nguyen-Duc A, Tyrväinen P, Abrahamsson P, eds. Software Business. Vol 370. Lecture Notes in Business Information Processing. Cham: Springer International Publishing; 2019:192-207. doi:10.1007/978-3-030-33742-1_16
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann N, Anjorin A, Stolte F, Kraus F. From Pattern Invocation Networks to Rule Preconditions. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:195-211. doi:10.1007/978-3-030-23611-3\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann N, Anjorin A, Robrecht P, Varró G. Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In: Guerra E, Orejas F, eds. Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019. Springer; 2019:131-140. doi:10.1007/978-3-030-23611-3\_8
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13143
Claes L, Hülskämper LM, Baumhögger E, 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:2-6. doi:10.1515/teme-2019-0038
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13178
Beverungen D, Bartelheimer C, Wolf V. Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung. In: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , ed. Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln. Wiesbaden: SpringerVieweg; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann M, Götte T, Scheideler C. A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory. In: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164. doi:https://doi.org/10.1007/978-3-030-34992-9_13
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K. Hyper-Reactive Tabu Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters D, Kirchhoff J, Engels G. Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In: Yangui S, Bouguettaya A, Xue X, et al., eds. Service-Oriented Computing – ICSOC 2019 Workshops. Vol 12019. LNCS. Springer; 2019:30-41. doi:10.1007/978-3-030-45989-5\_3
LibreCat
| DOI