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.
9672 Publications
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 | Conference Paper | LibreCat-ID: 13942
Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
LibreCat
| DOI
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
2019 | Journal Article | LibreCat-ID: 13946
Efficient parallel algorithms for parameterized problems
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.
LibreCat
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.
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: 13974
AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck, München, 2019, pp. 64–68.
LibreCat
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck, München, 2019, pp. 64–68.
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 | Report | LibreCat-ID: 13181
DIN SPEC 33453:2019-09, Entwicklung digitaler Dienstleistungssysteme
T. Post, A. Heuermann, S. Wiesner, D. Olschewski, W. Maaß, R. Klatt, P. Jussen, S. Ragab, R. Senderek, B. Höckmayr, T. Schulz, K. Meyer, E. Heinen, C. Hocken, S. Fischer, C. Lattemann, B. Redlich, K. Schlimm, C. Ziegler, C. Rechtien, M. Schröder, B. Kube, J. Pöppelbuß, M. Wiesche, M. Semmann, C. Bartelheimer, D. Beverungen, H. Lüttenberg, V. Wolf, F. Bongers, C. Winkler, J.H. Schumann, M. Li, J. Brinker, S. Hagen, F. Kammler, G. Strina, P. Ernst, M. Falkus, DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme, 2019.
LibreCat
| DOI
T. Post, A. Heuermann, S. Wiesner, D. Olschewski, W. Maaß, R. Klatt, P. Jussen, S. Ragab, R. Senderek, B. Höckmayr, T. Schulz, K. Meyer, E. Heinen, C. Hocken, S. Fischer, C. Lattemann, B. Redlich, K. Schlimm, C. Ziegler, C. Rechtien, M. Schröder, B. Kube, J. Pöppelbuß, M. Wiesche, M. Semmann, C. Bartelheimer, D. Beverungen, H. Lüttenberg, V. Wolf, F. Bongers, C. Winkler, J.H. Schumann, M. Li, J. Brinker, S. Hagen, F. Kammler, G. Strina, P. Ernst, M. Falkus, DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme, 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 | Journal Article | LibreCat-ID: 13237
Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
LibreCat
| DOI
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
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.