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.
5786 Publications
2019 | Conference Paper | LibreCat-ID: 13123
@inproceedings{Afifi_Horbach_Karl_2019, place={Barcelona, Spain}, title={A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding}, booktitle={2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019)}, author={Afifi, Haitham and Horbach, Konrad and Karl, Holger}, year={2019} }
LibreCat
2019 | Dissertation | LibreCat-ID: 13124
@book{Dräxler_2019, title={Scaling, placement, and routing for pliable virtualized composed services}, publisher={Universität Paderborn}, author={Dräxler, Sevil}, year={2019} }
LibreCat
2019 | Dissertation | LibreCat-ID: 13125
@book{Görzen_2019, title={Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd}, publisher={Universität Paderborn}, author={Görzen, Thomas}, year={2019} }
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 | Mastersthesis | LibreCat-ID: 13128 | 
@book{Bröcher_2019, title={Rational Secure Multiparty Computation}, publisher={Universität Paderborn}, author={Bröcher, Henrik}, year={2019} }
LibreCat
| Files available
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 | Conference Paper | LibreCat-ID: 13142
@inproceedings{Weidmann_Anjorin_Fritsche_Varró_Schürr_Leblebici_2019, title={Incremental Bidirectional Model Transformation with eMoflon::IBeX}, booktitle={Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019}, publisher={CEUR-WS.org}, author={Weidmann, Nils and Anjorin, Anthony and Fritsche, Lars and Varró, Gergely and Schürr, Andy and Leblebici, Erhan}, editor={Cheney, James and Ko, Hsiang-ShangEditors}, year={2019}, pages={45–55} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 13144
@inproceedings{El Baff_Wachsmuth_Al-Khatib_Stede_Stein_2019, title={Computational Argumentation Synthesis as a Language Modeling Task}, booktitle={Proceedings of the 12th International Conference on Natural Language Generation}, publisher={Association for Computational Linguistics}, author={El Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stede, Manfred and Stein, Benno}, year={2019}, pages={54–64} }
LibreCat
| Download (ext.)
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: 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: 13292 |
@inproceedings{Schneider_Peuster_Hannemann_Behnke_Müller_Bök_Karl_2019, place={Dallas, TX, USA}, title={“Producing Cloud-Native”: Smart Manufacturing Use Cases on Kubernetes}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Hannemann, Kai and Behnke, Daniel and Müller, Marcel and Bök, Patrick-Benjamin and Karl, Holger}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10011
@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }
LibreCat
| DOI
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: 10092
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={10.1145/3293883.3295702}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }
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: 10094
@inproceedings{Sharma_Wehrheim_2019, series={{LNI}}, title={Testing Balancedness of ML Algorithms}, volume={{P-292}}, DOI={10.18420/se2019-48}, booktitle={Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019}, publisher={{GI}}, author={Sharma, Arnab and Wehrheim, Heike}, editor={Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, StefanEditors}, year={2019}, pages={157–158}, collection={{LNI}} }
LibreCat
| 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