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

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways., , , , , and . HSB, volume 9957 of Lecture Notes in Computer Science, page 57-66. (2016)GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data., , , , , , , , , and 3 other author(s). Bioinform., 33 (23): 3802-3804 (2017)ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data., , , , , , , , , and 11 other author(s). Bioinform., 33 (3): 435-437 (2017)High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems., , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 58-74. Springer, (2015)Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems., , , , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 192-208. (2016)Detecting Attractors in Biological Models with Uncertain Parameters., , , , , , and . CMSB, volume 10545 of Lecture Notes in Computer Science, page 40-56. Springer, (2017)A Model Checking Approach to Discrete Bifurcation Analysis., , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 85-101. (2016)WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis., , , , , , and . BMC Bioinform., 22 (1): 145 (2021)Barbaric Robustness Monitoring Revisited for STL* in Parasim., , , , , , , , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 356-359. Springer, (2019)