Author of the publication

Synthesizing Semantic Web Service Compositions with jMosel and Golog.

, , , , and . International Semantic Web Conference, volume 5823 of Lecture Notes in Computer Science, page 392-407. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High Service Availability in MaTRICS for the OCS., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 572-586. Springer, (2008)Simplicity in IT: a Chance for a New Kind of Design and Process Science., and . J. Integrated Design & Process Science, 17 (3): 1-7 (2013)Welcome to Formal Methods in Industry., and . IT Prof., 22 (1): 9-12 (2020)Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain., , and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 70-72. Springer, (2012)Models, Mindsets, Meta: The What, the How, and the Why Not?, , and . Models, Mindsets, Meta, volume 11200 of Lecture Notes in Computer Science, page 3-13. Springer, (2018)From Computational Thinking to Constructive Design with Simple Models.. ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 261-278. Springer, (2018)Towards Explainability in Machine Learning: The Formal Methods Way., , and . IT Prof., 22 (4): 8-12 (2020)Service Is in the Eyes of the Beholder.. Computer, 40 (11): 33-37 (2007)PETchain: A Blockchain-Based Privacy Enhancing Technology., , , , and . IEEE Access, (2021)Künstliche Intelligenz im Gesundheitswesen als Kernkompetenz? Status quo, Entwicklungslinien und disruptives Potenzial., , and . Künstliche Intelligenz im Gesundheitswesen, Springer Fachmedien Wiesbaden, (2022)