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

Concurrent abstract state machines., and . Acta Inf., 53 (5): 469-492 (2016)A Generalization of Dijkstra's Calculus to Typed Program Specifications., and . FCT, volume 1684 of Lecture Notes in Computer Science, page 463-474. Springer, (1999)The Power of Media Types.. WISE, volume 3306 of Lecture Notes in Computer Science, page 53-58. Springer, (2004)Web information systems design in the era of web 2.0 and beyond., , and . iiWAS, page 10. ACM, (2009)Hagenberg Business Process Modelling Method, , , , , , , and . Springer, Cham, (2016)A heuristic approach to cost-efficient fragmentation and allocation of complex value databases., , and . ADC, volume 49 of CRPIT, page 183-192. Australian Computer Society, (2006)Semantics in Data and Knowledge Bases., and . SDKB, volume 4925 of Lecture Notes in Computer Science, page 1-25. Springer, (2008)Active Consistency Enforcement for Repairable Database Transitions., and . FMLDO, page 87-102. University of Magedeburg, Faculty of Computer Science, (1996)A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis., , , and . CoRR, (2015)A Complete Logic for Non-Deterministic Database Transformations., , , and . CoRR, (2016)