Author of the publication

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

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition., , and . ICE@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 3-18. Elsevier, (2008)Composition of Interactive Web Services Based on Controller Synthesis., , and . SERVICES I, page 521-528. IEEE Computer Society, (2008)Automatic Service Composition via Simulation., , , and . Int. J. Found. Comput. Sci., 19 (2): 429-451 (2008)Controller/Orchestrator Synthesis via Filtration., , and . M4M, volume 262 of Electronic Notes in Theoretical Computer Science, page 33-48. Elsevier, (2009)Automatic web services composition in trustaware communities., , and . SWS, page 43-52. ACM, (2006)Safety Problems in Access Control with Temporal Constraints., and . MMM-ACNS, volume 3685 of Lecture Notes in Computer Science, page 165-178. Springer, (2005)Defeasible linear temporal logic., , , and . J. Appl. Non Class. Logics, 33 (1): 1-51 (January 2023)A One-Pass Tree-Shaped Tableau for Defeasible LTL., , , and . TIME, volume 206 of LIPIcs, page 16:1-16:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Composition of Services with Constraints., , , and . FACS@FMWeek, volume 263 of Electronic Notes in Theoretical Computer Science, page 31-46. Elsevier, (2009)A Symbolic Approach for Counterfactual Explanations., , , and . SUM, volume 12322 of Lecture Notes in Computer Science, page 270-277. Springer, (2020)