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.
9683 Publications
2019 | Conference Paper | LibreCat-ID: 13141
@inproceedings{Weidmann_Anjorin_Robrecht_Varró_2019, title={Incremental (Unidirectional) Model Transformation with eMoflon::IBeX}, DOI={10.1007/978-3-030-23611-3\_8}, booktitle={Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019}, publisher={Springer}, author={Weidmann, Nils and Anjorin, Anthony and Robrecht, Patrick and Varró, Gergely}, editor={Guerra, Esther and Orejas, FernandoEditors}, year={2019}, pages={131–140} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13143
@article{Claes_Hülskämper_Baumhögger_Feldmann_Chatwell_Vrabec_Henning_2019, title={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}, DOI={10.1515/teme-2019-0038}, journal={tm - Technisches Messen}, author={Claes, Leander and Hülskämper, Lars Moritz and Baumhögger, Elmar and Feldmann, Nadine and Chatwell, René Spencer and Vrabec, Jadran and Henning, Bernd}, year={2019}, pages={2–6} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13178
@inbook{Beverungen_Bartelheimer_Wolf_2019, place={Wiesbaden}, title={Smart Service Systems als Handlungsfeld einer konvergierenden Dienstleistungsforschung}, booktitle={Digitale Dienstleistungsinnovationen – Smart Services agil und kundenorientiert entwickeln}, publisher={SpringerVieweg}, author={Beverungen, Daniel and Bartelheimer, Christian and Wolf, Verena}, editor={Stich, V.; Schumann, J.H.; Beverungen, D.; Gudergan, G.; Jussen, P. Editor}, year={2019} }
LibreCat
2019 | Report | LibreCat-ID: 13181
@book{Post_Heuermann_Wiesner_Olschewski_Maaß_Klatt_Jussen_Ragab_Senderek_Höckmayr_et al._2019, title={DIN SPEC 33453:2019-09, Entwicklung digitaler Dienstleistungssysteme}, DOI={10.31030/3085072}, author={Post, Till and Heuermann, Aaron and Wiesner, Stefan and Olschewski, Detlef and Maaß, Wolfgang and Klatt, Rüdiger and Jussen, Philipp and Ragab, Sherif and Senderek, Roman and Höckmayr, Benedikt and et al.}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13182
@inproceedings{Feldmann_Götte_Scheideler_2019, series={Lecture Notes in Computer Science}, title={A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory}, DOI={https://doi.org/10.1007/978-3-030-34992-9_13}, booktitle={Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, publisher={Springer, Cham}, author={Feldmann, Michael and Götte, Thorsten and Scheideler, Christian}, year={2019}, pages={149–164}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
| arXiv
2019 | Journal Article | LibreCat-ID: 13237
@article{Elgabarty_Kaliannan_Kühne_2019, title={Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse}, volume={9}, DOI={10.1038/s41598-019-46449-5}, journal={Scientific Reports}, author={Elgabarty, Hossam and Kaliannan, Naveen Kumar and Kühne, Thomas D.}, year={2019}, pages={10002} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13250
@inproceedings{Ansótegui_Heymann_Pon_Sellmann_Tierney_2019, place={Cham}, title={Hyper-Reactive Tabu Search for MaxSAT}, DOI={10.1007/978-3-030-05348-2_27}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Ansótegui, Carlos and Heymann, Britta and Pon, Josep and Sellmann, Meinolf and Tierney, Kevin}, year={2019}, pages={309–325} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13261
@inproceedings{Wolters_Kirchhoff_Engels_2019, series={LNCS}, title={Specifying Web Interfaces for Command-line Applications Based on OpenAPI}, volume={12019}, DOI={10.1007/978-3-030-45989-5\_3}, booktitle={Service-Oriented Computing – ICSOC 2019 Workshops}, publisher={Springer}, author={Wolters, Dennis and Kirchhoff, Jonas and Engels, Gregor}, editor={Yangui, Sami and Bouguettaya, Athman and Xue, Xiao and Faci, Noura and Gaaloul, Walid and Yu, Qi and Zhou, Zhangbing and Hernandez, Nathalie and Nakagawa, Elisa Y.Editors}, year={2019}, pages={30–41}, collection={LNCS} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13271 | 
@inproceedings{von Neumann_Kinoshita_Delcroix_Araki_Nakatani_Haeb-Umbach_2019, title={All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis}, booktitle={ICASSP 2019, Brighton, UK}, author={von Neumann, Thilo and Kinoshita, Keisuke and Delcroix, Marc and Araki, Shoko and Nakatani, Tomohiro and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Bachelorsthesis | LibreCat-ID: 13435
@book{Friesen_2019, title={Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis}, publisher={Universität Paderborn}, author={Friesen, Edwin}, year={2019} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13436
@inbook{Camberg_Stratmann_Tröster_2019, place={Berlin, Heidelberg}, title={TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES}, DOI={10.1007/978-3-662-58206-0_12}, booktitle={Technologies for economical and functional lightweight design}, author={Camberg, Alan Adam and Stratmann, Ina and Tröster, Thomas}, year={2019} }
LibreCat
| DOI
2019 | Book | LibreCat-ID: 10002
@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10042
@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock}, title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45}, booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019}, pages={1055–1058} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10091
@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\_18}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 10093
@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2019, series={LNI}, title={Combining Verifiers in Conditional Model Checking via Reducers}, volume={P-292}, DOI={10.18420/se2019-46}, booktitle={Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019}, publisher={GI}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={151--152}, collection={LNI} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10095
@inproceedings{Richter_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)}, volume={11429}, DOI={10.1007/978-3-030-17502-3_19}, booktitle={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}}, publisher={Springer}, author={Richter, Cedric and Wehrheim, Heike}, editor={Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors}, year={2019}, pages={229–233}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2019 | Mastersthesis | LibreCat-ID: 10105
@book{Haltermann_2019, title={Analyzing Data Usage in Array Programs}, publisher={Universität Paderborn}, author={Haltermann, Jan}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10135
@inproceedings{Webersen_Hüttner_Woitschek_Moritzer_Henning_2019, title={Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}, booktitle={Fortschritte der Akustik - DAGA 2019}, author={Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}, editor={Deutsche Gesellschaft für Akustik e.V. (DEGA)Editor}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 10232 |
@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 10258
@inproceedings{Dunst_Hemsel_Bornmann_Littmann_Sextro_2019, title={Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten}, booktitle={DAGA 2019}, author={Dunst, Paul and Hemsel, Tobias and Bornmann, Peter and Littmann, Walter and Sextro, Walter}, year={2019} }
LibreCat