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.
7295 Publications
2019 | Book Chapter | LibreCat-ID: 13872
Beyer, D., & Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based Testing. In Fundamental Approaches to Software Engineering. Cham. https://doi.org/10.1007/978-3-030-16722-6_23
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte, 66(2), 259–260. https://doi.org/10.1007/s00591-019-00249-0
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
Kling, P., & Meyer auf der Heide, F. (2019). Continuous Protocols for Swarm Robotics. In Distributed Computing by Mobile Entities, Current Research in Moving and Computing (Vol. 11340, pp. 317–334). Springer. https://doi.org/10.1007/978-3-030-11072-7\_13
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
Baron, E., Goldhahn, R., Deppe, M., As, D. J., & Feneberg, M. (2019). Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3. Physical Review Materials. https://doi.org/10.1103/physrevmaterials.3.104603
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019). 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 (pp. 179–195). https://doi.org/10.1007/978-3-030-30942-8\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
Castenow, J., Kolb, C., & Scheideler, C. (2019). 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) (pp. 345–348). L’Aquila, Italy. https://doi.org/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. (2019). Built-in Test for Hidden Delay Faults. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 38(10), 1956–1968.
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, L. (2019). Organic Programming of Dynamic Real-Time Applications. Universität Paderborn.
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, F., Wever, M. D., Tornede, A., & Hüllermeier, E. (2019). From Automated to On-The-Fly Machine Learning. In INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft (pp. 273–274). Bonn: Gesellschaft für Informatik e.V.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 | 
Gottschalk, S., Rittmeier, F., & Engels, G. (2019). Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach. In S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, & P. Abrahamsson (Eds.), Software Business (Vol. 370, pp. 192–207). Cham: Springer International Publishing. https://doi.org/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. (2019). From Pattern Invocation Networks to Rule Preconditions. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 195–211). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_12
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, N., Anjorin, A., Robrecht, P., & Varró, G. (2019). Incremental (Unidirectional) Model Transformation with eMoflon::IBeX. In E. Guerra & F. Orejas (Eds.), Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 (pp. 131–140). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-030-23611-3\_8
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13143
Claes, L., Hülskämper, L. M., Baumhögger, E., Feldmann, N., Chatwell, R. S., Vrabec, J., & Henning, B. (2019). 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, 2–6. https://doi.org/10.1515/teme-2019-0038
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13178
Beverungen, D., Bartelheimer, C., & Wolf, V. (2019). 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.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, M., Götte, T., & Scheideler, C. (2019). 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) (pp. 149–164). Springer, Cham. 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. (2019). Hyper-Reactive Tabu Search for MaxSAT. In Learning and Intelligent Optimization (pp. 309–325). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_27
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, D., Kirchhoff, J., & Engels, G. (2019). Specifying Web Interfaces for Command-line Applications Based on OpenAPI. In S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, … E. Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops (Vol. 12019, pp. 30–41). Springer. https://doi.org/10.1007/978-3-030-45989-5\_3
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 |
von Neumann, T., Kinoshita, K., Delcroix, M., Araki, S., Nakatani, T., & Haeb-Umbach, R. (2019). All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis. In ICASSP 2019, Brighton, UK.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, E. (2019). Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, A. A., Stratmann, I., & Tröster, T. (2019). TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES. In Technologies for economical and functional lightweight design. Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58206-0_12
LibreCat
| DOI