RNDr. Samuel Pastva, Ph.D.

2019

• Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

  BENEŠ Nikola BRIM Luboš PASTVA Samuel POLÁČEK Jakub ŠAFRÁNEK David

  Paper in proceedings

  Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, year: 2019, DOI

• Model Checking Approach to the Analysis of Biological Systems

  BENEŠ Nikola BRIM Luboš PASTVA Samuel ŠAFRÁNEK David

  Chapter in a book

  Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s., DOI

2018

• A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

  DALSGAARD Andreas E. ENEVOLDSEN Soren FOGH Peter JENSEN Lasse S. JENSEN Peter G. JEPSEN Tobias S. KAUFMANN Isabella LARSEN Kim G. NIELSEN Soren M. OLESEN Mads Chr. PASTVA Samuel SRBA Jiří

  Peer-reviewed scientific article

  Fundamenta Informaticae, year: 2018, volume: 161, edition: 4, DOI

• Fully Automated Attractor Analysis of Cyanobacteria Models

  BENEŠ Nikola BRIM Luboš ČERVENÝ Jan PASTVA Samuel ŠAFRÁNEK David ŠALAGOVIČ Jakub TROJÁK Matej

  Paper in proceedings

  22nd International Conference on System Theory, Control and Computing, year: 2018, DOI

• PITHYA

  DEMKO Martin PASTVA Samuel ŠAFRÁNEK David BENEŠ Nikola BRIM Luboš

  Software

  Year: 2018

2017

• Detecting Attractors in Biological Models with Uncertain Parameters

  BRIM Luboš BARNAT Jiří ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Paper in proceedings

  Computational Methods in Systems Biology. CMSB 2017, year: 2017, DOI

• Discrete Bifurcation Analysis of Reactive Systems

  PASTVA Samuel

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings

• Discrete Bifurcation Analysis with Pithya

  BENEŠ Nikola BRIM Luboš DEMKO Martin HAJNAL Matej PASTVA Samuel ŠAFRÁNEK David

  Paper in proceedings

  15th International Conference on Computational Methods in Systems Biology (CMSB), year: 2017

• Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation

  DALSGAARD Andreas E. ENEVOLDSEN Soren FOGH Peter JENSEN Lasse S. JEPSEN Tobias S. KAUFMANN Isabella LARSEN Kim G. NIELSEN Soren M. OLESEN Mads Chr. PASTVA Samuel SRBA Jiří

  Paper in proceedings

  Petri Nets 2017, year: 2017, DOI

• Model Checking Approach to Discrete Bifurcation Analysis

  BENEŠ Nikola BRIM Luboš DEMKO Martin ŠAFRÁNEK David PASTVA Samuel HAJNAL Matej

  Appeared in Conference without Proceedings

  Year: 2017, type: Appeared in Conference without Proceedings