Author of the publication

Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.

, , and . SPIN, volume 6349 of Lecture Notes in Computer Science, page 146-161. Springer, (2010)

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

DECLARE: Full Support for Loosely-Structured Processes., , and . EDOC, page 287-300. IEEE Computer Society, (2007)Specifying and Monitoring Service Flows: Making Web Services Process-Aware., and . Test and Analysis of Web Services, Springer, (2007)Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance., , and . SPIN, volume 6349 of Lecture Notes in Computer Science, page 146-161. Springer, (2010)DecSerFlow: Towards a Truly Declarative Service Flow Language., and . The Role of Business Processes in Service Oriented Architectures, volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Flexibility as a Service., , , , and . DASFAA Workshops, volume 5667 of Lecture Notes in Computer Science, page 319-333. Springer, (2009)A Declarative Approach for Flexible Business Processes Management., and . Business Process Management Workshops, volume 4103 of Lecture Notes in Computer Science, page 169-180. Springer, (2006)Constraint-Based Workflow Models: Change Made Easy., , , and . OTM Conferences (1), volume 4803 of Lecture Notes in Computer Science, page 77-94. Springer, (2007)Declarative workflows: Balancing between flexibility and support., , and . Comput. Sci. Res. Dev., 23 (2): 99-113 (2009)Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues., , , and . Business Process Management Workshops, volume 4928 of Lecture Notes in Computer Science, page 335-346. Springer, (2007)Modelling work distribution mechanisms using Colored Petri Nets., and . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 327-352 (2007)