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, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen, L. (2014). 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.
LibreCat
2014 | Journal Article | LibreCat-ID: 6728
Place, T., van Rooijen, L., & Zeitoun, M. (2014). On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science, 10(3). https://doi.org/10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, D., Gerth, C., & Engels, G. (2014). Use Your Best Device! Enabling Device Changes at Runtime. In 12th International Conference on Business Process Management (BPM 2014) (Vol. 8659, pp. 357–365). Springer International Publishing. https://doi.org/10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie, M. (Ed.). (2013). 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.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8057
Nagel, B., Gerth, C., Post, J., & Engels, G. (2013). Ensuring Consistency Among Business Goals and Business Process Models. In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13) (pp. 17–26). IEEE Computer Society.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
Schumacher, C., Engels, G., Güldali, B., Niehammer, M., & Hamburg, M. (2013). Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In S. Kowalewski & B. Rumpe (Eds.), Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany) (Vol. P-213, pp. 331–344). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
Engels, G. (2013). On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. In Software Engineering 2013 (Vol. P-213, pp. 17–18).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13) (Vol. 8274, pp. 524–532). Berlin/Heidelberg: Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
Luckey, M., & Engels, G. (2013). High-Quality Specification of Self-Adaptive Software Systems. In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems (pp. 143–152). New York, NY, USA: ACM.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
Brüseke, F., Becker, S., & Engels, G. (2013). 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) (pp. 77–88). ACM New York, NY, USA.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (pp. 43–52). New York, NY, USA: ACM New York, NY, USA.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster, J., Kovács, D., Bauer, E., & Gerth, C. (2013). Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma, Z., Gerth, C., & Engels, G. (2013). Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas, E., Gerth, C., & Sauer, S. (2013). 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 (pp. 2714–2723).
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker, F., Paelke, V., & Fischer, H. G. (2013). A Taxonomy-Based Approach towards NUI Interaction Design. In Distributed, Ambient, and Pervasive Interactions (Vol. 8028, pp. 32–41). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39351-8_4
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, H. G., Strenge, B., & Nebe, K. (2013). 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, pp. 252–261). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39229-0_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer, H. G., Geis, T., Molich, R., Kluge, O., Heimgärtner, R., & Hunkirchen, P. (2013). 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 (pp. 28–34). German UPA.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI