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.
907 Publications
2014 | Conference Paper | LibreCat-ID: 401
@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications in Computer and Information Science}, title={Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}, DOI={10.1007/978-3-319-14886-1_2}, booktitle={Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS}, title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}, editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors}, year={2014}, pages={543–550}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 6727
@book{van Rooijen_2014, title={A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)}, publisher={University of Bordeaux, France}, author={van Rooijen, Lorijn}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 6728
@article{Place_van Rooijen_Zeitoun_2014, title={On Separation by Locally Testable and Locally Threshold Testable Languages}, volume={10}, DOI={10.2168/lmcs-10(3:24)2014}, number={3}, journal={Logical Methods in Computer Science}, publisher={Logical Methods in Computer Science e.V.}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
@inproceedings{Bokermann_Gerth_Engels_2014, series={Lecture Notes in Computer Science}, title={Use Your Best Device! Enabling Device Changes at Runtime}, volume={8659}, DOI={10.1007/978-3-319-10172-9_23}, booktitle={12th International Conference on Business Process Management (BPM 2014)}, publisher={Springer International Publishing}, author={Bokermann, Dennis and Gerth, Christian and Engels, Gregor}, year={2014}, pages={357–365}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference (Editor) | LibreCat-ID: 7762
@book{Fazal-Baqaie_2013, series={Lecture Notes in Informatics}, title={Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany)}, volume={P-224}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, year={2013}, collection={Lecture Notes in Informatics} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8057
@inproceedings{Nagel_Gerth_Post_Engels_2013, title={Ensuring Consistency Among Business Goals and Business Process Models}, booktitle={Proceedings of the 17th IEEE International EDOC Conference (EDOC’13)}, publisher={IEEE Computer Society}, author={Nagel, Benjamin and Gerth, Christian and Post, Jennifer and Engels, Gregor}, year={2013}, pages={17–26} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
@inproceedings{Schumacher_Engels_Güldali_Niehammer_Hamburg_2013, place={Bonn}, series={Lecture Notes in Informatics (LNI)}, title={Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern}, volume={P-213}, booktitle={Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Schumacher, Claudia and Engels, Gregor and Güldali, Baris and Niehammer, Markus and Hamburg, Matthias}, editor={Kowalewski, Stefan and Rumpe, BernhardEditors}, year={2013}, pages={331–344}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
@inproceedings{Engels_2013, series={LNI}, title={On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft}, volume={P-213}, booktitle={Software Engineering 2013}, author={Engels, Gregor}, year={2013}, pages={17–18}, collection={LNI} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
@inproceedings{Huma_Gerth_Engels_Juwig_2013, place={Berlin/Heidelberg}, series={LNCS }, title={Automated Service Composition for On-the-Fly SOAs}, volume={8274}, booktitle={Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)}, publisher={Springer-Verlag}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2013}, pages={524–532}, collection={LNCS } }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
@inproceedings{Luckey_Engels_2013, place={New York, NY, USA}, series={SEAMS ’13}, title={High-Quality Specification of Self-Adaptive Software Systems}, booktitle={Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus and Engels, Gregor}, year={2013}, pages={143–152}, collection={SEAMS ’13} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
@inproceedings{Brüseke_Becker_Engels_2013, title={Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis}, booktitle={Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic)}, publisher={ACM New York, NY, USA}, author={Brüseke, Frank and Becker, Steffen and Engels, Gregor}, year={2013}, pages={77–88} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
@inproceedings{Becker_Luckey_Becker_2013, place={New York, NY, USA}, series={QoSA 2013}, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, booktitle={Ninth International ACM Sigsoft Conference on the Quality of Software Architectures}, publisher={ACM New York, NY, USA}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52}, collection={QoSA 2013} }
LibreCat
2013 | Report | LibreCat-ID: 8222
@book{Küster_Kovács_Bauer_Gerth_2013, place={Zurich}, series={IBM Research Report}, title={Integrating Coverage Analysis into Test-driven Development of Model Transformations}, publisher={IBM Research}, author={Küster, Jochen and Kovács, Dániel and Bauer, Eduard and Gerth, Christian}, year={2013}, collection={IBM Research Report} }
LibreCat
2013 | Report | LibreCat-ID: 8223
@book{Huma_Gerth_Engels_2013, title={Automated Service Discovery and Composition for On-the-Fly SOAs}, publisher={University of Paderborn, Germany}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
@inproceedings{Yigitbas_Gerth_Sauer_2013, title={Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme}, booktitle={Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland}, author={Yigitbas, Enes and Gerth, Christian and Sauer, Stefan}, year={2013}, pages={2714–2723} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
@inbook{Klompmaker_Paelke_Fischer_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Taxonomy-Based Approach towards NUI Interaction Design}, volume={8028}, DOI={10.1007/978-3-642-39351-8_4}, booktitle={Distributed, Ambient, and Pervasive Interactions}, publisher={Springer Berlin Heidelberg}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
@inbook{Fischer_Strenge_Nebe_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, volume={8012}, DOI={10.1007/978-3-642-39229-0_28}, booktitle={Design, User Experience, and Usability. Design Philosophy, Methods, and Tools}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
@inproceedings{Fischer_Geis_Molich_Kluge_Heimgärtner_Hunkirchen_2013, title={Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimgärtner, Rüdiger and Hunkirchen, Peter}, year={2013}, pages={28–34} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }
LibreCat
| Files available
| DOI