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.

Samuel Morgan University of Stuttgart

Samuel Kaufmann University of Stuttgart

Samuel Pilch University of Stuttgart

Samuel Beck University of Stuttgart

Samuel Leder University of Stuttgart

Other publications of authors with the same name

Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT.N. Benes, L. Brim, J. Drazanová, S. Pastva, and D. Safránek. HSCC, page 99-108. ACM, (2019)Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.N. Benes, L. Brim, S. Pastva, J. Polácek, and D. Safránek. ICFEM, volume 11852 of Lecture Notes in Computer Science, page 353-369. Springer, (2019)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.A. Dalsgaard, S. Enevoldsen, P. Fogh, L. Jensen, T. Jepsen, I. Kaufmann, K. Larsen, S. Nielsen, M. Olesen, S. Pastva and 1 other author(s). Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 139-158. Springer, (2017)High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.L. Brim, M. Demko, S. Pastva, and D. Safránek. HSB, volume 9271 of Lecture Notes in Computer Science, page 58-74. Springer, (2015)Accelerating Parameter Synthesis Using Semi-algebraic Constraints.N. Benes, L. Brim, M. Geletka, S. Pastva, and D. Safránek. IFM, volume 11918 of Lecture Notes in Computer Science, page 27-45. Springer, (2019)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)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)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)Model Checking Approach to the Analysis of Biological Systems.N. Benes, L. Brim, S. Pastva, and D. Safránek. Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)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)