Author of the publication

Model checking software for phylogenetic trees using distribution and database methods.

, and . J. Integr. Bioinform., (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.

 

Other publications of authors with the same name

Model checking software for phylogenetic trees using distribution and database methods., and . J. Integr. Bioinform., (2013)Sliced Model Checking for Phylogenetic Analysis., , , and . PACBB, volume 154 of Advances in Intelligent and Soft Computing, page 95-103. Springer, (2012)Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets., , , , , and . ICA3PP, volume 10048 of Lecture Notes in Computer Science, page 599-613. Springer, (2016)Adaptative Systems Based on Continuous Observation of Petri Net Product Lines., and . PNSE@Petri Nets, volume 3170 of CEUR Workshop Proceedings, page 211-212. CEUR-WS.org, (2022)Speeding Up Phylogenetic Model Checking., and . PACBB, volume 222 of Advances in Intelligent Systems and Computing, page 119-126. Springer, (2013)Towards the Performance Analysis of Apache Tez Applications., , and . ICPE Companion, page 147-152. ACM, (2018)Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets., , and . IRI, page 411-418. IEEE Computer Society, (2017)Runtime Verification of Timed Petri Nets., , , , , , and . PNSE@Petri Nets, volume 3730 of CEUR Workshop Proceedings, page 122-131. CEUR-WS.org, (2024)Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study., and . J. Integr. Bioinform., (2014)A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications., , , , , and . Softw. Syst. Model., 18 (6): 3577-3614 (2019)