( en | de | ru )

 

Disambiguation of "Prandi, Davide"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of BPMN Via a Translation into COWS.

, , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 249-263. Springer, (2008)

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.

Davide Cadamuro

Davide Pennino

Davide Batic

Davide Pagani

Davide Cantoni

 

Other publications of authors with the same name

Formal Analysis of BPMN Via a Translation into COWS., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 249-263. Springer, (2008)Stochastic COWS., and . ICSOC, volume 4749 of Lecture Notes in Computer Science, page 245-256. Springer, (2007)The Relevance of Topology in Parallel Simulation of Biological Networks., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (3): 911-923 (2012)An agent-based approach to automated game testing: an experience report., , , , , , , , , and 1 other author(s). A-TEST@ESEC/SIGSOFT FSE, page 1-8. ACM, (2022)Stability analysis of biological network topologies during stochastic simulation., and . SimuTools, page 51-56. ICST/ACM, (2011)Systematic Assessment of Tumor Purity and Its Clinical Implications, , , , , , , , , and 4 other author(s). JCO Precision Oncology, (September 2020)Process Calculi in a Biological Context., , and . Bulletin of the EATCS, (2005)Model-based Player Experience Testing with Emotion Pattern Verification., , , , , , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 151-172. Springer, (2023)EvoMBT at the SBST 2022 Tool Competition., , , , and . SBST@ICSE, page 51-52. IEEE, (2022)A Formal Approach to Molecular Docking.. CMSB, volume 4210 of Lecture Notes in Computer Science, page 78-92. Springer, (2006)