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

Counter Machines: Decision Problems and Applications., and . Jewels are Forever, page 84-96. Springer, (1999)jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS., , , , and . AP-BPM, volume 219 of Lecture Notes in Business Information Processing, page 43-56. Springer, (2015)Reachability Analysis for Some Models of Infinite-State Transition Systems., , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 183-198. Springer, (2000)Letter from the Special Issue Editor.. IEEE Data Eng. Bull., 31 (3): 2 (2008)Analyzing Conversations of Web Services., , and . IEEE Internet Comput., 10 (1): 18-25 (2006)Realizability of Conversation Protocols with Message Contents., , and . Int. J. Web Serv. Res., 2 (4): 68-93 (2005)Augmenting the discrete timed automaton with other data structures., and . Theor. Comput. Sci., 289 (1): 191-204 (2002)Dynamic Constraints and Object Migration.. Theor. Comput. Sci., 184 (1-2): 195-236 (1997)Predicting Disease Progress with Imprecise Lab Test Results., , and . CoRR, (2021)On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity., and . DBPL, page 396-410. Morgan Kaufmann, (1989)