Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Continuous Orchestration of Web Services via Planning., , , , , und . ICAPS, AAAI, (2009)Model Checking Early Requirements Specifications in Tropos., , , und . RE, Seite 174-181. IEEE Computer Society, (2001)Specifying and Analyzing Early Requirements: Some Experimental Results., , , , und . RE, Seite 105-. IEEE Computer Society, (2003)A gamification framework for the long-term engagement of smart citizens., , , , und . ISC2, Seite 1-7. IEEE, (2016)Stong Cyclic Planning Under Partial Observability., , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 580-584. IOS Press, (2006)CLAM: Managing cross-layer adaptation in service-based systems., , , und . SOCA, Seite 1-8. IEEE Computer Society, (2011)A context-aware framework for dynamic composition of process fragments in the internet of services., , , und . J. Internet Services and Applications, 8 (1): 6:1-6:23 (2017)CLAM: cross-layer adaptation manager for service-based applications., , und . QASBA, Seite 21-27. ACM, (2011)Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)A model-checking verification environment for mobile processes., , , und . ACM Trans. Softw. Eng. Methodol., 12 (4): 440-473 (2003)