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.
2200 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