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

A tool for symbolic manipulation of arc functions in symmetric net models., , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)Stochastic Petri Nets Sensitivity to Token Scheduling Policies., , , and . OR, page 181-186. Springer, (2010)General Composition for Symmetric Net Arc Functions with Applications., , and . PNSE@Petri Nets, volume 2907 of CEUR Workshop Proceedings, page 135-154. CEUR-WS.org, (2021)Tagged Generalized Stochastic Petri Nets., , and . EPEW, volume 5652 of Lecture Notes in Computer Science, page 1-15. Springer, (2009)Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions., , , , , , , , , and 3 other author(s). CIBB, volume 12313 of Lecture Notes in Computer Science, page 299-308. Springer, (2019)Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models., , , and . ACSD, page 111-121. IEEE Computer Society, (2003)A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models., , , , , and . MASCOTS, page 36-48. IEEE Computer Society, (2019)Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding., , , , and . EPEW, volume 11178 of Lecture Notes in Computer Science, page 30-45. Springer, (2018)First Passage Time Computation in Tagged GSPNs with Queue Places., , , and . Comput. J., 54 (5): 653-673 (2011)Computing Structural Properties of Symmetric Nets., , and . QEST, volume 9259 of Lecture Notes in Computer Science, page 125-140. Springer, (2015)