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.
2173 Publications
2017 | Journal Article | LibreCat-ID: 90
@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 91
@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 92
@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Bosch Business Model Innovation Summit 2017}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 93
@inbook{Geierhos_Bäumer_2017, place={Newcastle upon Tyne, UK}, edition={1}, title={Guesswork? Resolving Vagueness in User-Generated Software Requirements}, booktitle={Partiality and Underspecification in Information, Languages, and Knowledge}, publisher={Cambridge Scholars Publishing}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.Editors}, year={2017}, pages={65–108} }
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 94
@book{Martens_2017, title={Geschäftsmodelle elektronischer Handelsplattformen}, publisher={Universität Paderborn}, author={Martens, Martin}, year={2017} }
LibreCat
2017 | Encyclopedia Article | LibreCat-ID: 95
@inbook{Kundisch_John_2017, title={Geschäftsmodell-Modellierungssprache/Business Model Modeling Language}, booktitle={Enzyklopädie der Wirtschaftsinformatik, GITO}, author={Kundisch, Dennis and John, Thomas}, year={2017} }
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9514
@article{Huang_Song_Reineke_Li_Li_Liu_Zhang_Wang_Zentgraf_2017, title={Volumetric Generation of Optical Vortices with Metasurfaces}, DOI={10.1021/acsphotonics.6b00808}, journal={ACS Photonics}, author={Huang, Lingling and Song, Xu and Reineke, Bernhard and Li, Tianyou and Li, Xiaowei and Liu, Juan and Zhang, Shuang and Wang, Yongtian and Zentgraf, Thomas}, year={2017}, pages={338–346} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 77
@inproceedings{Szopinski_Jazayeri_Engels_Kundisch_2017, series={Lecture Notes in Informatics (LNI)}, title={On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten}, booktitle={Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany}, publisher={GI}, author={Szopinski, Daniel and Jazayeri, Bahar and Engels, Gregor and Kundisch, Dennis}, year={2017}, pages={2059–2066}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
2017 | Conference (Editor) | LibreCat-ID: 7749
@book{Carmona _Engels_Kumar_2017, title={Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science}, volume={10445}, publisher={Springer}, year={2017} }
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
@book{Carmona _Engels_Kumar_2017, title={Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297}, volume={297}, publisher={Springer}, year={2017} }
LibreCat
2017 | Book (Editor) | LibreCat-ID: 7751
@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message from the IoT-ASAP Chairs}, DOI={10.1109/ICSAW.2017.67}, year={2017} }
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer 2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik e.V. und German UPA e.V.}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards systematic spreadsheet construction processes}, DOI={10.1109/icse-c.2017.141}, booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jacome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, editor={Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) Editor}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 7767 | 
@inproceedings{Schumacher_2017, place={Münster}, title={Sinnkonstruktion beim Erkunden von Mustern und Strukturen}, booktitle={Beiträge zum Mathematikunterricht 2017}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Kortenkamp, Ulrich and Kuzle, AnaEditors}, year={2017} }
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 78
@inproceedings{Jazayeri_Schwichtenberg_2017, place={Gothenburg, Sweden}, title={On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture}, DOI={10.1109/ICSAW.2017.59}, booktitle={Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop}, publisher={IEEE}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017}, pages={120--127} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 79
@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, series={Lecture Notes in Computer Science}, title={Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times}, volume={10787}, DOI={10.1007/978-3-319-89441-6}, booktitle={Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={207–222}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8073
@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2017, title={Concept-Based Engineering of Situation-Specific Migration Methods}, booktitle={Software Engineering 2017}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and Klenke, Markus}, year={2017}, pages={65–66} }
LibreCat
2017 | Mastersthesis | LibreCat-ID: 81
@book{Luo_2017, title={MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 82
@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2017, series={LNCS}, title={Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity}, DOI={10.1007/978-3-319-59605-1_13}, booktitle={Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2017}, pages={139–150}, collection={LNCS} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8225
@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Systematic spreadsheet construction processes}, DOI={http://dx.doi.org/10.1109/VLHCC.2017.8103459}, booktitle={Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jácome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, year={2017}, pages={123–127} }
LibreCat
| DOI