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

Monitoring and diagnosing software requirements., , , und . Autom. Softw. Eng., 16 (1): 3-35 (2009)An automated approach to monitoring and diagnosing requirements., , , und . ASE, Seite 293-302. ACM, (2007)A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base., , , , und . FOIS, Volume 209 von Frontiers in Artificial Intelligence and Applications, Seite 158-171. IOS Press, (2010)Planning the transformation of overlays., , , , und . SAC, Seite 500-507. ACM, (2016)Simulation, verification and automated composition of web services., und . WWW, Seite 77-88. ACM, (2002)Invited talk: towards declarative programming for web services.. PEPM, Seite 1-2. ACM, (2004)Improving the Efficiency of Reasoning Through Structure-Based Reformulation., und . SARA, Volume 1864 von Lecture Notes in Computer Science, Seite 247-259. Springer, (2000)Planning with Preferences., und . AI Magazine, 29 (4): 25-36 (2008)A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium., , , , , und . AI Magazine, 39 (4): 3-16 (2018)Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net, , , , und . CoRR, (2013)