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
Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Communications in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen L. A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers). University of Bordeaux, France; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 6728
Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi:10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie M, ed. 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). Vol P-224. GI, Köllen Druck+Verlag GmbH, Bonn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8057
Nagel B, Gerth C, Post J, Engels G. Ensuring Consistency Among Business Goals and Business Process Models. In: Proceedings of the 17th IEEE International EDOC Conference (EDOC’13). IEEE Computer Society; 2013:17-26.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
Schumacher C, Engels G, Güldali B, Niehammer M, Hamburg M. Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In: Kowalewski S, Rumpe B, eds. Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany). Vol P-213. Lecture Notes in Informatics (LNI). Bonn: Gesellschaft für Informatik (GI); 2013:331-344.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
Engels G. On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. In: Software Engineering 2013. Vol P-213. LNI. ; 2013:17-18.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). Vol 8274. LNCS . Berlin/Heidelberg: Springer-Verlag; 2013:524-532.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
Luckey M, Engels G. High-Quality Specification of Self-Adaptive Software Systems. In: Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS ’13. New York, NY, USA: ACM; 2013:143-152.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
Brüseke F, Becker S, Engels G. Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis. In: Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic). ACM New York, NY, USA; 2013:77-88.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Ninth International ACM Sigsoft Conference on the Quality of Software Architectures. QoSA 2013. New York, NY, USA: ACM New York, NY, USA; 2013:43-52.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster J, Kovács D, Bauer E, Gerth C. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. Zurich: IBM Research; 2013.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma Z, Gerth C, Engels G. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas E, Gerth C, Sauer S. Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme. In: 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. ; 2013:2714-2723.
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker F, Paelke V, Fischer HG. A Taxonomy-Based Approach towards NUI Interaction Design. In: Distributed, Ambient, and Pervasive Interactions. Vol 8028. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:32-41. doi:10.1007/978-3-642-39351-8_4
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer HG, Strenge B, Nebe K. Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In: Design, User Experience, and Usability. Design Philosophy, Methods, and Tools. Vol 8012. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:252-261. doi:10.1007/978-3-642-39229-0_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer HG, Geis T, Molich R, Kluge O, Heimgärtner R, Hunkirchen P. 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. In: Jahresband Usability Professionals. German UPA; 2013:28-34.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI