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

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units., , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 184-200. Springer, (2017)A mathematical model to study breast cancer growth., , , , , and . BIBM, page 1438-1445. IEEE Computer Society, (2017)Estimating Daclizumab effects in Multiple Sclerosis using Stochastic Symmetric Nets., , , , and . BIBM, page 1393-1400. IEEE Computer Society, (2018)Efficient simulation of stochastic well-formed nets through symmetry exploitation., and . WSC, page 296:1-296:13. WSC, (2012)Overcoming the lack of kinetic information in biochemical reactions networks., , , , , and . SIGMETRICS Perform. Evaluation Rev., 44 (4): 91-102 (2017)Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice., , , , , , , , , and . Fundam. Informaticae, 171 (1-4): 367-392 (2020)Dynamic Simulations of Kidney Exchanges., , , and . OR, page 539-544. Springer, (2010)MODIMO: Workshop on Multi-Omics Data Integration for Modelling Biological Systems., , , , and . CIKM, page 5259-5262. ACM, (2023)Computing first passage time distributions in stochastic well-formed nets., , , and . ICPE, page 7-18. ACM, (2011)Expressing and Computing Passage Time Measures of GSPN Models with HASL., , , , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 110-129. Springer, (2013)