default search action

combined dblp search
author search
venue search
publication search

ask others

Samuel Pastva

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/TrinhBPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/TrinhBPS24
Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman:
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. AAAI 2024: 10714-10722
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesBHPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesBHPS24
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. ATVA (2) 2024: 212-233
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BenesBHPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BenesBHPS24
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
BNClassifier: Classifying Boolean Models by Dynamic Properties. CMSB 2024: 19-26
2023
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/BenesBHPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/BenesBHPS23
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek:
Boolean network sketches: a unifying framework for logical model inference. Bioinform. 39(4) (2023)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/TrinhBHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/TrinhBHP23
Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva:
Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. 39(Supplement-1): 513-522 (2023)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/BrimPSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/BrimPSS23
Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Temporary and permanent control of partially specified Boolean networks. Biosyst. 223: 104795 (2023)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/biosystems/TrojakSPB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/TrojakSPB23
Matej Troják, David Safránek, Samuel Pastva, Lubos Brim:
Rule-based modelling of biological systems using regulated rewriting. Biosyst. 225: 104843 (2023)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BenesBPSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BenesBPSS23
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Phenotype Control of Partially Specified Boolean Networks. CMSB 2023: 18-35
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/PastvaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PastvaH23
Samuel Pastva, Thomas A. Henzinger:
Binary Decision Diagrams on Modern Hardware. FMCAD 2023: 122-131
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/BenesBHPSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/BenesBHPSS22
Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková:
AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. 38(21): 4978-4980 (2022)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/BenesBKPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/BenesBKPS22
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23(1): 173 (2022)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BenesBPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BenesBPS22
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. 18(1) (2022)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/Pastva22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/Pastva22
Samuel Pastva:
Variable Stabilisation in Boolean Monotonic Model Pools. CMSB 2022: 122-137
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2202-13440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-13440
Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Robust Control of Partially Specified Boolean Networks. CoRR abs/2202.13440 (2022)
2021
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBPS21
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) 2021: 505-528
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BenesBPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BenesBPS21
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB 2021: 230-237
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BenesBPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BenesBPS21
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Symbolic Coloured SCC Decomposition. TACAS (2) 2021: 64-83
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-13113
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-13113
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR abs/2108.13113 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-13036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-13036
Matej Troják, Samuel Pastva, David Safránek, Lubos Brim:
Regulated Multiset Rewriting Systems. CoRR abs/2111.13036 (2021)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijbc/BenesBPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijbc/BenesBPS20
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos 30(13): 2030038:1-2030038:18 (2020)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BenesBPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BenesBPS20
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020)
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBKPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBKPS20
Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) 2020: 569-581
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/SmijakovaPSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/SmijakovaPSB20
Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim:
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB 2020: 280-297
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sasb/HajnalP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sasb/HajnalP20
Matej Hajnal, Samuel Pastva:
Toward Model Selection by Formal Methods. SASB 2020: 57-71
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-00359
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00359
Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova:
Parallel One-Step Control of Parametrised Boolean Networks. CoRR abs/2009.00359 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/SafranekTBVPDPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/SafranekTBVPDPP19
David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim:
Barbaric Robustness Monitoring Revisited for STL* in Parasim. CMSB 2019: 356-359
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BenesBDPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BenesBDPS19
Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek:
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC 2019: 99-108
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BenesBPPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BenesBPPS19
Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek:
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM 2019: 353-369
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BenesBGPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BenesBGPS19
Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM 2019: 27-45
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BenesBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BenesBPS19
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) 2019: 339-356
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/cb/BenesBPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/BenesBPS19
Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine 2019: 3-35
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DalsgaardEFJJJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161(4): 351-381 (2018)
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DalsgaardEFJJKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DalsgaardEFJJKL17
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets 2017: 139-158
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBDPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBDPS17
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) 2017: 591-598
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BarnatBBDHPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BarnatBBDHPS17
Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek:
Detecting Attractors in Biological Models with Uncertain Parameters. CMSB 2017: 40-56
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA 2016: 192-208
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/DemkoBBPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/DemkoBBPS16
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB 2016: 82-97
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/HajnalSDPKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/HajnalSDPKB16
Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim:
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. HSB 2016: 57-66
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BrimCDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BrimCDPS15
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/BrimDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/BrimDPS15
Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB 2015: 58-74

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.