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.

7886 Publications


2019 | Dissertation | LibreCat-ID: 13126
L. Khaluf, Organic Programming of Dynamic Real-Time Applications. Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Abstract | LibreCat-ID: 13132
F. Mohr, M. D. Wever, A. Tornede, and E. Hüllermeier, “From Automated to On-The-Fly Machine Learning,” in INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft, Kassel, 2019, pp. 273–274.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13138 | OA
S. Gottschalk, F. Rittmeier, and G. Engels, “Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach,” in Software Business, Jyväskylä, 2019, vol. 370, no. 1, pp. 192–207.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
N. Weidmann, A. Anjorin, F. Stolte, and F. Kraus, “From Pattern Invocation Networks to Rule Preconditions,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 195–211.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13141
N. Weidmann, A. Anjorin, P. Robrecht, and G. Varró, “Incremental (Unidirectional) Model Transformation with eMoflon::IBeX,” in Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, 2019, pp. 131–140.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13143
L. Claes 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, pp. 2–6, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13178
D. Beverungen, C. Bartelheimer, and V. Wolf, “Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung,” in Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , Ed. Wiesbaden: SpringerVieweg, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13182
M. Feldmann, T. Götte, and C. Scheideler, “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), 2019, pp. 149–164.
LibreCat | Files available | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 13250
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, and K. Tierney, “Hyper-Reactive Tabu Search for MaxSAT,” in Learning and Intelligent Optimization, 2019, pp. 309–325.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13261
D. Wolters, J. Kirchhoff, and G. Engels, “Specifying Web Interfaces for Command-line Applications Based on OpenAPI,” in Service-Oriented Computing – ICSOC 2019 Workshops, 2019, vol. 12019, pp. 30–41.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13271 | OA
T. von Neumann, K. Kinoshita, M. Delcroix, S. Araki, T. Nakatani, and R. Haeb-Umbach, “All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis,” in ICASSP 2019, Brighton, UK, 2019.
LibreCat | Files available
 

2019 | Bachelorsthesis | LibreCat-ID: 13435
E. Friesen, Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 13436
A. A. Camberg, I. Stratmann, and T. Tröster, “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, 2019.
LibreCat | DOI
 

2019 | Book | LibreCat-ID: 10002
W. Sextro and M. Brökelmann, Intelligente Herstellung zuverlässiger Kupferbondverbindungen, vol. VIII. Springer Verlag, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10011
M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10091
J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10093
D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Combining Verifiers in Conditional Model Checking via Reducers,” in Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, 2019, vol. P-292, pp. 151--152.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, 2019, vol. 11429, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
 

Filters and Search Terms

isbn%3D978-3-540-44769-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed