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.
7268 Publications
2019 | Book Chapter | LibreCat-ID: 13939
@inbook{Kling_Meyer auf der Heide_2019, series={Lecture Notes in Computer Science}, title={Continuous Protocols for Swarm Robotics}, volume={11340}, DOI={10.1007/978-3-030-11072-7\_13}, booktitle={Distributed Computing by Mobile Entities, Current Research in Moving and Computing}, publisher={Springer}, author={Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2019}, pages={317–334}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
@article{Baron_Goldhahn_Deppe_As_Feneberg_2019, title={Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3}, DOI={10.1103/physrevmaterials.3.104603}, journal={Physical Review Materials}, author={Baron, Elias and Goldhahn, Rüdiger and Deppe, Michael and As, Donat Josef and Feneberg, Martin}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13993
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying Correctness of Persistent Concurrent Data Structures}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019}, pages={179–195} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14539
@inproceedings{Castenow_Kolb_Scheideler_2019, title={A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks}, DOI={10.1007/978-3-030-24922-9\_26}, booktitle={Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO)}, author={Castenow, Jannik and Kolb, Christina and Scheideler, Christian}, year={2019}, pages={345–348} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13048
@article{Kampmann_A. Kochte_Liu_Schneider_Hellebrand_Wunderlich_2019, title={Built-in Test for Hidden Delay Faults}, volume={38}, number={10}, journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}, publisher={IEEE}, author={Kampmann, Matthias and A. Kochte, Michael and Liu, Chang and Schneider, Eric and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2019}, pages={1956–1968} }
LibreCat
2019 | Dissertation | LibreCat-ID: 13126
@book{Khaluf_2019, title={Organic Programming of Dynamic Real-Time Applications}, publisher={Universität Paderborn}, author={Khaluf, Lial}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 13132
@inproceedings{Mohr_Wever_Tornede_Hüllermeier_2019, place={Bonn}, series={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik}, title={From Automated to On-The-Fly Machine Learning}, booktitle={INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft}, publisher={Gesellschaft für Informatik e.V.}, author={Mohr, Felix and Wever, Marcel Dominik and Tornede, Alexander and Hüllermeier, Eyke}, year={2019}, pages={273–274}, collection={INFORMATIK 2019, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 13138 | 
@inproceedings{Gottschalk_Rittmeier_Engels_2019, place={Cham}, series={Lecture Notes in Business Information Processing}, title={Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach}, volume={370}, DOI={10.1007/978-3-030-33742-1_16}, number={1}, booktitle={Software Business}, publisher={Springer International Publishing}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, editor={Hyrynsalmi, Sami and Suoranta, Mari and Nguyen-Duc, Anh and Tyrväinen, Pasi and Abrahamsson, PekkaEditors}, year={2019}, pages={192–207}, collection={Lecture Notes in Business Information Processing} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13140
@inproceedings{Weidmann_Anjorin_Stolte_Kraus_2019, title={From Pattern Invocation Networks to Rule Preconditions}, DOI={10.1007/978-3-030-23611-3\_12}, 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 Stolte, Florian and Kraus, Florian}, editor={Guerra, Esther and Orejas, FernandoEditors}, year={2019}, pages={195–211} }
LibreCat
| DOI
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 | 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 | 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 | Conference Paper | LibreCat-ID: 13442
@inproceedings{Manavi_Kenig_2019, place={Eindhoven, Netherlands}, title={Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface}, DOI={10.1016/b978-0-12-818634-3.50138-7}, booktitle={Computer Aided Chemical Engineering}, publisher={29th European Symposium on Computer Aided Process Engineering}, author={Manavi, Seyed Alborz and Kenig, Eugeny}, 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