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

Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring., and . Acta Inf., 28 (4): 365-407 (1991)The Active Vertice method: a performant filtering approach to high-dimensional indexing., , and . Data Knowl. Eng., 51 (3): 369-397 (2004)Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal., and . Data Knowl. Eng., 50 (2): 117-173 (2004)Business Process Improvement Framework and Representational Support., , and . IHCI, volume 179 of Advances in Intelligent Systems and Computing, page 155-167. Springer, (2011)Toward Hardware-Sensitive Database Operations., , , and . EDBT, page 229-234. OpenProceedings.org, (2014)Object-Oriented Specification and Stepwise Refinement., , and . Open Distributed Processing, volume C-1 of IFIP Transactions, page 99-121. North-Holland, (1991)Resümee vom Herbsttreffen der FG Datenbanken und des AK Grundlagen von Informationssystemen, Magdeburg, 1997., , , , , and . Datenbank Rundbrief, (1997)Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification., , and . ITNG, page 1305-1307. IEEE Computer Society, (2008)Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications., , and . ECBS, page 138-146. IEEE Computer Society, (2009)On modelling adaptive service-oriented business processes., , and . AICCSA, page 47-52. IEEE Computer Society, (2009)