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)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)On Concurrency Control in Multidatabase Systems with an Extended Transaction Model., and . J. Supercomput., 24 (2): 193-202 (2003)Towards Efficient Partial Order Techniques for Time Petri Nets., , , and . VECoS, volume 12519 of Lecture Notes in Computer Science, page 100-115. Springer, (2020)Verification of Workflow processes under multilevel security considerations., , , and . CRiSIS, page 77-84. IEEE, (2008)Toward a New Model of the Petri Nets: Agent Petri Nets., , and . EMS, page 51-56. IEEE Computer Society, (2010)Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems., , and . ISSRE Workshops, page 111-118. IEEE Computer Society, (2016)