Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.

M. Hajnal, D. Safránek, M. Demko, S. Pastva, P. Krejcí, and L. Brim. HSB, volume 9957 of Lecture Notes in Computer Science, page 57-66. (2016)

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.

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

Dr. Martin Rose University of Stuttgart

Other publications of authors with the same name

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.M. Hajnal, D. Safránek, M. Demko, S. Pastva, P. Krejcí, and L. Brim. HSB, volume 9957 of Lecture Notes in Computer Science, page 57-66. (2016)Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. ATVA, volume 9938 of Lecture Notes in Computer Science, page 192-208. (2016)A Model Checking Approach to Discrete Bifurcation Analysis.N. Benes, L. Brim, M. Demko, S. Pastva, and D. Safránek. FM, volume 9995 of Lecture Notes in Computer Science, page 85-101. (2016)Detecting Attractors in Biological Models with Uncertain Parameters.J. Barnat, N. Benes, L. Brim, M. Demko, M. Hajnal, S. Pastva, and D. Safránek. CMSB, volume 10545 of Lecture Notes in Computer Science, page 40-56. Springer, (2017)Barbaric Robustness Monitoring Revisited for STL* in Parasim.D. Safránek, M. Troják, V. Bruza, T. Vejpustek, J. Papousek, M. Demko, S. Pastva, A. Pejznoch, and L. Brim. CMSB, volume 11773 of Lecture Notes in Computer Science, page 356-359. Springer, (2019)High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.M. Demko, N. Benes, L. Brim, S. Pastva, and D. Safránek. CMSB, volume 9859 of Lecture Notes in Computer Science, page 82-97. Springer, (2016)Parameter Synthesis by Parallel Coloured CTL Model Checking.L. Brim, M. Ceska, M. Demko, S. Pastva, and D. Safránek. CMSB, volume 9308 of Lecture Notes in Computer Science, page 251-263. Springer, (2015)GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data.K. Pal, V. Bystrý, T. Reigl, M. Demko, A. Krejci, T. Touloumenidou, E. Stalika, B. Tichy, P. Ghia, K. Stamatopoulos and 3 other author(s). Bioinformatics, 33 (23): 3802-3804 (2017)ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data.V. Bystrý, T. Reigl, A. Krejci, M. Demko, B. Hanakova, A. Grioni, H. Knecht, M. Schlitt, P. Dreger, L. Sellner and 11 other author(s). Bioinformatics, 33 (3): 435-437 (2017)