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

Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks., , , and . PM2HW2N, page 68-71. ACM, (2007)On Concurrency Control in Multidatabase Systems with an Extended Transaction Model., and . PDPTA, page 2836-2842. CSREA Press, (1999)On Concurrency Control in Multidatabase Systems with an Extended Transaction Model., and . J. Supercomput., 24 (2): 193-202 (2003)Verification of Workflow processes under multilevel security considerations., , , and . CRiSIS, page 77-84. IEEE, (2008)A new dynamic IPC-memory allocator based on a paging approach., , and . HPCS, page 382-389. IEEE, (2013)Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets., , and . FHIES, volume 7789 of Lecture Notes in Computer Science, page 1-18. Springer, (2012)On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets., , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 90-107. Springer, (2005)Delay-Dependent Partial Order Reduction Technique for Time Petri Nets., , and . FORMATS, volume 8711 of Lecture Notes in Computer Science, page 53-68. Springer, (2014)A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects., , and . DEXA, page 221-225. Springer-Verlag, Wien, (1992)Towards Efficient Partial Order Techniques for Time Petri Nets., , , and . VECoS, volume 12519 of Lecture Notes in Computer Science, page 100-115. Springer, (2020)