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

Stochastic Petri Nets Sensitivity to Token Scheduling Policies., , , and . OR, page 181-186. Springer, (2010)A tool for symbolic manipulation of arc functions in symmetric net models., , and . VALUETOOLS, page 320-323. ICST/ACM, (2013)Simplification of a complex signal transduction model using invariants and flow equivalent servers., , , , , , , , , and 1 other author(s). Theor. Comput. Sci., 412 (43): 6036-6057 (2011)Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models., , , and . ACSD, page 111-121. IEEE Computer Society, (2003)Tagged Generalized Stochastic Petri Nets., , and . EPEW, volume 5652 of Lecture Notes in Computer Science, page 1-15. Springer, (2009)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)A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks., , , , and . VTC Spring, page 1-5. IEEE, (2011)A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models., , , , , and . MASCOTS, page 36-48. IEEE Computer Society, (2019)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)