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.
9290 Publications
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 | Journal Article | LibreCat-ID: 13148
@article{Gu_Hehenkamp_Leininger_2019, title={Evolutionary equilibrium in contests with stochastic participation: Entry, effort and overdissipation}, DOI={10.1016/j.jebo.2019.06.011}, journal={Journal of Economic Behavior & Organization}, author={Gu, Yiquan and Hehenkamp, Burkhard and Leininger, Wolfgang}, year={2019}, pages={469–485} }
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: 13185
@article{Rittinghaus_Schäfer_Albrecht_Conrads_Hoffmann_Ksiazkiewicz_Bienemann_Pich_Herres-Pawlis_2019, title={New Kids in Lactide Polymerization: Highly Active and Robust Iron Guanidine Complexes as Superior Catalysts}, volume={12}, DOI={10.1002/cssc.201900481}, number={10}, journal={ChemSusChem}, author={Rittinghaus, Ruth D. and Schäfer, Pascal M. and Albrecht, Pascal and Conrads, Christian and Hoffmann, Alexander and Ksiazkiewicz, Agnieszka N. and Bienemann, Olga and Pich, Andrij and Herres-Pawlis, Sonja}, year={2019}, pages={2161–2165} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13236
@article{Walczak_Savateev_Heske_Tarakina_Sahoo_Epping_Kühne_Kurpil_Antonietti_Oschatz_2019, title={Controlling the strength of interaction between carbon dioxide and nitrogen-rich carbon materials by molecular design}, DOI={10.1039/C9SE00486F}, journal={Sustainable Energy Fuels}, publisher={The Royal Society of Chemistry}, author={Walczak, Ralf and Savateev, Aleksandr and Heske, Julian Joachim and Tarakina, Nadezda V. and Sahoo, Sudhir and Epping, Jan D. and Kühne, Thomas and Kurpil, Bogdan and Antonietti, Markus and Oschatz, Martin}, year={2019} }
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 | Journal Article | LibreCat-ID: 13270
@article{Guevara-Carrion_Ancherbak_Mialdun_Vrabec_Shevtsova_2019, title={Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line}, volume={9}, DOI={10.1038/s41598-019-44687-1}, number={8466}, journal={Scientific Reports}, author={Guevara-Carrion, Gabriela and Ancherbak, Sergiy and Mialdun, Aliaksandr and Vrabec, Jadran and Shevtsova, Valentina}, year={2019} }
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 | 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 | 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 | 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
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