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.
7252 Publications
2019 | Book Chapter | LibreCat-ID: 16361
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
LibreCat
| DOI
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
2019 | Book Chapter | LibreCat-ID: 16377
Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
LibreCat
| DOI
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat
| DOI
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
2019 | Book Chapter | LibreCat-ID: 13939
Continuous Protocols for Swarm Robotics
P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.
LibreCat
| DOI
P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.
2019 | Journal Article | LibreCat-ID: 13966
Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3
E. Baron, R. Goldhahn, M. Deppe, D.J. As, M. Feneberg, Physical Review Materials (2019).
LibreCat
| DOI
E. Baron, R. Goldhahn, M. Deppe, D.J. As, M. Feneberg, Physical Review Materials (2019).
2019 | Conference Paper | LibreCat-ID: 13993
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
2019 | Conference Paper | LibreCat-ID: 14539
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
LibreCat
| DOI
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
2019 | Journal Article | LibreCat-ID: 13048
Built-in Test for Hidden Delay Faults
M. Kampmann, M. A. Kochte, C. Liu, E. Schneider, S. Hellebrand, H.-J. Wunderlich, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38 (2019) 1956–1968.
LibreCat
M. Kampmann, M. A. Kochte, C. Liu, E. Schneider, S. Hellebrand, H.-J. Wunderlich, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 38 (2019) 1956–1968.
2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Universität Paderborn, 2019.
LibreCat
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Universität Paderborn, 2019.
2019 | Conference Abstract | LibreCat-ID: 13132
From Automated to On-The-Fly Machine Learning
F. Mohr, M.D. Wever, A. Tornede, E. Hüllermeier, in: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., Bonn, 2019, pp. 273–274.
LibreCat
F. Mohr, M.D. Wever, A. Tornede, E. Hüllermeier, in: INFORMATIK 2019: 50 Jahre Gesellschaft Für Informatik – Informatik Für Gesellschaft, Gesellschaft für Informatik e.V., Bonn, 2019, pp. 273–274.
2019 | Conference Paper | LibreCat-ID: 13138 | 
Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach
S. Gottschalk, F. Rittmeier, G. Engels, in: S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, P. Abrahamsson (Eds.), Software Business, Springer International Publishing, Cham, 2019, pp. 192–207.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Gottschalk, F. Rittmeier, G. Engels, in: S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, P. Abrahamsson (Eds.), Software Business, Springer International Publishing, Cham, 2019, pp. 192–207.
2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 195–211.
LibreCat
| DOI
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 195–211.
2019 | Conference Paper | LibreCat-ID: 13141
Incremental (Unidirectional) Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 131–140.
LibreCat
| DOI
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, in: E. Guerra, F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Springer, 2019, pp. 131–140.
2019 | Journal Article | LibreCat-ID: 13143
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
L. Claes, L.M. Hülskämper, E. Baumhögger, N. Feldmann, R.S. Chatwell, J. Vrabec, B. Henning, Tm - Technisches Messen (2019) 2–6.
LibreCat
| DOI
L. Claes, L.M. Hülskämper, E. Baumhögger, N. Feldmann, R.S. Chatwell, J. Vrabec, B. Henning, Tm - Technisches Messen (2019) 2–6.
2019 | Book Chapter | LibreCat-ID: 13178
Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung
D. Beverungen, C. Bartelheimer, V. Wolf, in: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. (Ed.), Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, SpringerVieweg, Wiesbaden, 2019.
LibreCat
D. Beverungen, C. Bartelheimer, V. Wolf, in: Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. (Ed.), Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, SpringerVieweg, Wiesbaden, 2019.
2019 | Conference Paper | LibreCat-ID: 13182
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
2019 | Conference Paper | LibreCat-ID: 13250
Hyper-Reactive Tabu Search for MaxSAT
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
LibreCat
| DOI
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
2019 | Conference Paper | LibreCat-ID: 13261
Specifying Web Interfaces for Command-line Applications Based on OpenAPI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
2019 | Conference Paper | LibreCat-ID: 13271 |
All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, R. Haeb-Umbach, in: ICASSP 2019, Brighton, UK, 2019.
2019 | Bachelorsthesis | LibreCat-ID: 13435
Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.
LibreCat
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis, Universität Paderborn, 2019.