Author of the publication

Topological Representation of Contact Lattices.

, , , and . RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 135-147. Springer, (2006)

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

Model Driven Workflow Development with T□., and . CAiSE Workshops, volume 112 of Lecture Notes in Business Information Processing, page 265-279. Springer, (2012)Model Checking Workflow Monitors and Its Application to a Pain Management Process., , and . FHIES, volume 7151 of Lecture Notes in Computer Science, page 111-128. Springer, (2011)Modeling and Verifying Timed Compensable Workflows and an Application to Health Care., , and . FMICS, volume 6959 of Lecture Notes in Computer Science, page 244-259. Springer, (2011)MOSEW: a tool suite for service enabled workflow., and . OM, volume 1545 of CEUR Workshop Proceedings, page 238-239. CEUR-WS.org, (2015)A One-Pass Tableau-Based Workflow Verification Framework., and . PAAR@IJCAR, volume 21 of EPiC Series in Computing, page 58-71. EasyChair, (2012)Handling Non-determinism with Description Logics using a Fork/Join Approach., and . Int. J. Netw. Comput., 5 (1): 61-85 (2015)Co-ordination of Multiple Metamodels, with Application to Healthcare Systems., , and . EUSPN/ICTH, volume 37 of Procedia Computer Science, page 473-480. Elsevier, (2014)A Flexible Metamodelling Approach for Healthcare Systems., , and . PAHI, volume 1251 of CEUR Workshop Proceedings, page 115-128. CEUR-WS.org, (2014)A Formal Diagrammatic Approach to Timed Workflow Modelling., , and . TASE, page 167-174. IEEE Computer Society, (2012)A Parallel Framework for Handling Non-determinism with Expressive Description Logics., and . IPDPS Workshops, page 699-708. IEEE Computer Society, (2014)