( en | de | ru )

 

Disambiguation of "Donatelli, Susanna"

Author of the publication

copydeleteadd this publication to your clipboard
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.

, and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 206-220. Springer, (2013)

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.

Susanna Levy

Susanna Kosmale

Susanna Ladányi

Susanna Tuti

Susanna Hönisch

 

Other publications of authors with the same name

On the use of communication graphs in automatic mapping., and . PDP, page 490-498. IEEE, (1993)The PSR Methodology: Integrating Hardware and Software Models., and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 133-152. Springer, (1996)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 43-62. Springer, (2000)Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis., , , , , , , and . BMC Bioinform., 16 (S-9): S2 (2015)The Ins and Outs of Petri Net Composition., and . Petri Nets, volume 13288 of Lecture Notes in Computer Science, page 278-299. Springer, (2022)Challenges for Driver Action Recognition with Face Masks., , , , and . ITSC, page 1491-1497. IEEE, (2022)Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems., , , , and . ATT@IJCAI, volume 2129 of CEUR Workshop Proceedings, page 70-77. CEUR-WS.org, (2018)Using the exact state space of a Markov model to compute approximate stationary measures., , and . SIGMETRICS, page 207-216. ACM, (2000)Structured Characterization of the Markov Chain of Phase-Type SPN., , and . Computer Performance Evaluation (Tools), volume 1469 of Lecture Notes in Computer Science, page 243-254. Springer, (1998)Structured solution of stochastic DSSP systems., , and . PNPM, page 91-100. IEEE Computer Society, (1997)