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
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 (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: 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
2017 | Bachelorsthesis | LibreCat-ID: 5694
@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker, Nino Noel}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 5695
@inproceedings{Jazayeri_Schwichtenberg_2017, place={Bad Honnef, Germany}, title={On the Necessity of an Architecture Framework for On-The-Fly Computing}, volume={37}, number={2}, booktitle={Proceedings of Softwaretechnik-Trends Workshops}, publisher={Gesellschaft für Informatik eV, Fachgruppe PARS}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017} }
LibreCat
| Files available
2017 | Conference Abstract | LibreCat-ID: 5722
@inproceedings{Gupta_Hetzer_Tornede_Gottschalk_Kornelsen_Osterbrink_Pfannschmidt_Hüllermeier_2017, title={jPL: A Java-based Software Framework for Preference Learning}, author={Gupta, Pritha and Hetzer, Alexander and Tornede, Tanja and Gottschalk, Sebastian and Kornelsen, Andreas and Osterbrink, Sebastian and Pfannschmidt, Karlson and Hüllermeier, Eyke}, year={2017} }
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5724
@book{Hetzer_Tornede_2017, title={Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction}, publisher={Universität Paderborn}, author={Hetzer, Alexander and Tornede, Tanja}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 5740
@inproceedings{Yigitbas_Sauer_Engels_2017, title={Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs}, DOI={10.1145/3102113.3102144}, booktitle={Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017}, author={Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}, year={2017}, pages={99–104} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5741
@inproceedings{Yigitbas_Grün_Sauer_Engels_2017, title={Model-Driven Context Management for Self-adaptive User Interfaces}, DOI={10.1007/978-3-319-67585-5\_61}, booktitle={Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings}, author={Yigitbas, Enes and Grün, Silas and Sauer, Stefan and Engels, Gregor}, year={2017}, pages={624–635} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 5769
@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 58 | 
@article{Dräxler_Karl_2017, title={Specification, Composition, and Placement of Network Services with Flexible Structures}, DOI={10.1002/nem.1963}, number={2}, journal={International Journal of Network Management}, publisher={Wiley Online Library}, author={Dräxler, Sevil and Karl, Holger}, year={2017}, pages={1--16} }
LibreCat
| Files available
| DOI