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.
10727 Publications
2019 | Journal Article | LibreCat-ID: 16305
Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation
M. Linnemann, P.A. Nikolaychuk, Y.M. Muñoz-Muñoz, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1180–1188.
LibreCat
| DOI
M. Linnemann, P.A. Nikolaychuk, Y.M. Muñoz-Muñoz, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1180–1188.
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 | Book Chapter | LibreCat-ID: 13981
Art. 9 VO-Rom II Arbeitskampfmaßnahmen
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 2019.
LibreCat
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 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 | Journal Article | LibreCat-ID: 13158
Thermodynamic Properties of Dodecamethylpentasiloxane, Tetradecamethylhexasiloxane, and Decamethylcyclopentasiloxane
M. Thol, M.A. Javed, E. Baumhögger, R. Span, J. Vrabec, Industrial & Engineering Chemistry Research (2019) 9617–9635.
LibreCat
| DOI
M. Thol, M.A. Javed, E. Baumhögger, R. Span, J. Vrabec, Industrial & Engineering Chemistry Research (2019) 9617–9635.
2019 | Journal Article | LibreCat-ID: 13159
Thermodynamic Speed of Sound Data for Liquid and Supercritical Alcohols
M.A. Javed, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1035–1044.
LibreCat
| DOI
M.A. Javed, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1035–1044.
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.