Samuel Pastva - RankMe

46 papers A* 1A 1B 5C 1Journal 17Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AEON 2025: Robust Control of Partially-Specified Boolean Networks. CMSB Vojtech Veselý, Eva Smijáková, Samuel Pastva, Nikola Benes, David Safránek
2025	J	`jnl`	Mapping the attractor landscape of Boolean networks with biobalm. Bioinform. Van-Giang Trinh, Kyu Hyong Park, Samuel Pastva, Jordan C. Rozum
2025	J	`jnl`	On the number of asynchronous attractors in AND-NOT Boolean networks. CoRR Van-Giang Trinh, Samuel Pastva, Jordan C. Rozum, Kyu Hyong Park, Réka Albert
2025	A	`conf`	Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. CP Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2025	J	`jnl`	Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. CoRR Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel
2024	—	`conf`	BNClassifier: Classifying Boolean Models by Dynamic Properties. CMSB Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2024	A*	`conf`	Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. AAAI Giang V. Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman
2024	—	`conf`	Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures. ATVA (2) Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	B	`conf`	Binary Decision Diagrams on Modern Hardware. FMCAD Samuel Pastva, Thomas A. Henzinger
2023	J	`jnl`	Boolean network sketches: a unifying framework for logical model inference. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek
2023	—	`conf`	Phenotype Control of Partially Specified Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2023	J	`jnl`	Rule-based modelling of biological systems using regulated rewriting. Biosyst. Matej Troják, David Safránek, Samuel Pastva, Lubos Brim
2023	J	`jnl`	Temporary and permanent control of partially specified Boolean networks. Biosyst. Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2023	J	`jnl`	Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva
2022	J	`jnl`	AEON.py: Python library for attractor analysis in asynchronous Boolean networks. Bioinform. Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safránek, Eva Smijáková
2022	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Log. Methods Comput. Sci. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2022	J	`jnl`	Exploring attractor bifurcations in Boolean networks. BMC Bioinform. Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2022	J	`jnl`	Robust Control of Partially Specified Boolean Networks. CoRR Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková
2022	—	`conf`	Variable Stabilisation in Boolean Monotonic Model Pools. CMSB Samuel Pastva
2021	—	`conf`	Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	J	`jnl`	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	—	`conf`	Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2021	J	`jnl`	Regulated Multiset Rewriting Systems. CoRR Matej Troják, Samuel Pastva, David Safránek, Lubos Brim
2021	—	`conf`	Symbolic Coloured SCC Decomposition. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek
2020	J	`jnl`	Digital Bifurcation Analysis of Internet Congestion Control Protocols. Int. J. Bifurc. Chaos Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	J	`jnl`	Parallel One-Step Control of Parametrised Boolean Networks. CoRR Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova
2020	—	`conf`	Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. CMSB Eva Smijáková, Samuel Pastva, David Safránek, Lubos Brim
2020	J	`jnl`	Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2020	—	`conf`	Toward Model Selection by Formal Methods. SASB Matej Hajnal, Samuel Pastva
2019	B	`conf`	Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek
2019	—	`conf`	Barbaric Robustness Monitoring Revisited for STL* in Parasim. CMSB David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim
2019	—	`conf`	Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2019	—	`conf`	Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. HSCC Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek
2019	C	`conf`	Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. ICFEM Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek
2019	—	`ch.`	Model Checking Approach to the Analysis of Biological Systems. Automated Reasoning for Systems Biology and Medicine Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2018	J	`jnl`	A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 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
2017	—	`conf`	Detecting Attractors in Biological Models with Uncertain Parameters. CMSB Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek
2017	B	`conf`	Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets 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
2017	—	`conf`	Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	B	`conf`	A Model Checking Approach to Discrete Bifurcation Analysis. FM Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	—	`conf`	High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
2016	B	`conf`	Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2016	—	`conf`	Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. HSB Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim
2015	—	`conf`	High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
2015	—	`conf`	Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek