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.
6945 Publications
2019 | Conference Paper | LibreCat-ID: 13140
Weidmann, Nils, et al. “From Pattern Invocation Networks to Rule Preconditions.” Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, Springer, 2019, pp. 195–211, doi:10.1007/978-3-030-23611-3\_12.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13141
Weidmann, Nils, et al. “Incremental (Unidirectional) Model Transformation with EMoflon::IBeX.” Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019, edited by Esther Guerra and Fernando Orejas, Springer, 2019, pp. 131–40, doi:10.1007/978-3-030-23611-3\_8.
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13143
Claes, Leander, 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, 2019, pp. 2–6, doi:10.1515/teme-2019-0038.
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13178
Beverungen, Daniel, et al. “Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung.” Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln, edited by Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. , SpringerVieweg, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 13182
Feldmann, Michael, et al. “A Loosely Self-Stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory.” Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–64, doi:https://doi.org/10.1007/978-3-030-34992-9_13.
LibreCat
| Files available
| DOI
| arXiv
2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui, Carlos, et al. “Hyper-Reactive Tabu Search for MaxSAT.” Learning and Intelligent Optimization, Springer International Publishing, 2019, pp. 309–25, doi:10.1007/978-3-030-05348-2_27.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
Wolters, Dennis, et al. “Specifying Web Interfaces for Command-Line Applications Based on OpenAPI.” Service-Oriented Computing – ICSOC 2019 Workshops, edited by Sami Yangui et al., vol. 12019, Springer, 2019, pp. 30–41, doi:10.1007/978-3-030-45989-5\_3.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 | 
von Neumann, Thilo, et al. “All-Neural Online Source Separation, Counting, and Diarization for Meeting Analysis.” ICASSP 2019, Brighton, UK, 2019.
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, Edwin. Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn, 2019.
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
Camberg, Alan Adam, et al. “TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES.” Technologies for Economical and Functional Lightweight Design, 2019, doi:10.1007/978-3-662-58206-0_12.
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII, Springer Verlag, 2019, doi:10.1007/978-3-662-55146-2.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\_18.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” 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}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3_19.
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
Webersen, Manuel, et al. “Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V. (DEGA), 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10284
Alshomary, Milad, et al. “Wikipedia Text Reuse: Within and Without.” Advances in Information Retrieval, edited by Leif Azzopardi et al., Springer International Publishing, 2019, pp. 747–54.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
Blömer, Johannes, and Nils Löken. “Personal Cross-Platform Reputation.” Security and Trust Management, STM 2019, vol. 11738, 2019, doi:10.1007/978-3-030-31511-5_9.
LibreCat
| Files available
| DOI