Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLubos Brim
- > Home > Persons > Lubos Brim
Publications
- 2023
[j30]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)- [j29]Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Temporary and permanent control of partially specified Boolean networks. Biosyst. 223: 104795 (2023) - [j28]Matej Troják, David Safránek, Samuel Pastva, Lubos Brim:
Rule-based modelling of biological systems using regulated rewriting. Biosyst. 225: 104843 (2023) - [c97]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Phenotype Control of Partially Specified Boolean Networks. CMSB 2023: 18-35 - 2022
- [j27]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) - [j26]Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
Exploring attractor bifurcations in Boolean networks. BMC Bioinform. 23(1): 173 (2022) - [j25]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) - [c96]Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim:
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. CMSB 2022: 302-309 - [i14]Matej Troják, David Safránek, Lubos Brim:
Biochemical Space Language in Relation to Multiset Rewriting Systems. CoRR abs/2201.08817 (2022) - [i13]Lubos Brim, Samuel Pastva, David Safránek, Eva Smijáková:
Robust Control of Partially Specified Boolean Networks. CoRR abs/2202.13440 (2022) - 2021
- [c95]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Computing Bottom SCCs Symbolically Using Transition Guided Reduction. CAV (1) 2021: 505-528 - [c94]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Aeon 2021: Bifurcation Decision Trees in Boolean Networks. CMSB 2021: 230-237 - [c93]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Symbolic Coloured SCC Decomposition. TACAS (2) 2021: 64-83 - [i12]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. CoRR abs/2108.13113 (2021) - [i11]Matej Troják, Samuel Pastva, David Safránek, Lubos Brim:
Regulated Multiset Rewriting Systems. CoRR abs/2111.13036 (2021) - 2020
- [j24]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) - [j23]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Parallel parameter synthesis algorithm for hybrid CTL. Sci. Comput. Program. 185 (2020) - [c92]Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Safránek:
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. CAV (1) 2020: 569-581 - [c91]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 - [c90]Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim:
eBCSgen: A Software Tool for Biochemical Space Language. CMSB 2020: 356-361 - [c89]Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim:
Parameter Synthesis and Robustness Analysis of Rule-Based Models. NFM 2020: 41-59 - [c88]Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB 2020: 91-116 - [i10]Matej Troják, David Safránek, Lubos Brim:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. CoRR abs/2002.00731 (2020) - [i9]Lubos Brim, Samuel Pastva, David Safránek, Eva Smijakova:
Parallel One-Step Control of Parametrised Boolean Networks. CoRR abs/2009.00359 (2020) - 2019
- [c87]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 - [c86]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 - [c85]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 - [c84]Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek:
Accelerating Parameter Synthesis Using Semi-algebraic Constraints. IFM 2019: 27-45 - [c83]Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
Digital Bifurcation Analysis of TCP Dynamics. TACAS (2) 2019: 339-356 - [p1]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 - 2017
- [c82]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 - [c81]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
- [c80]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 - [c79]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 - [c78]Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101 - [c77]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
- [c74]Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263 - [c73]Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB 2015: 58-74 - [c72]T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim:
Formal Biochemical Space with Semantics in Kappa and BNGL. SASB 2015: 27-49 - 2014
- [j18]Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek:
STL⁎: Extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236: 52-67 (2014) - [c71]Lubos Brim, Juraj Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models. SASB 2014: 17-27 - [i7]Lubos Brim, Juraj Niznan, David Safránek:
Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version). CoRR abs/1410.3632 (2014) - 2013
- [c69]Lubos Brim, Vilém Ded, David Safránek:
Qualitative modelling and analysis of Photosystem II. BioPPN@Petri Nets 2013: 17-29 - [c68]Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. CAV 2013: 107-123 - [c65]Lubos Brim, Milan Ceska, David Safránek:
Model Checking of Biological Systems. SFM 2013: 63-112 - [c64]Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic. HSB 2013: 20-36 - [i6]Lubos Brim, Milan Ceska, Sven Drazan, David Safránek:
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking. CoRR abs/1310.4734 (2013) - 2012
- [j14]Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek:
On Parameter Synthesis by Parallel Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 9(3): 693-705 (2012) - [j13]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
On Approximative Reachability Analysis of Biochemical Dynamical Systems. Trans. Comp. Sys. Biology 14: 77-101 (2012) - [c59]Petr Dluhos, Lubos Brim, David Safránek:
On Expressing and Monitoring Oscillatory Dynamics. HSB 2012: 73-87 - [c58]S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek:
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. CS2Bio 2012: 67-81 - 2011
- [j12]David Safránek, Jan Cervený, Matej Klement, Jana Pospísilová, Lubos Brim, Dusan Lazar, Ladislav Nedbal:
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. Biosyst. 103(2): 115-124 (2011) - [c54]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract). CompMod 2011: 97-112 - [i5]Lubos Brim, Jana Fabriková, Sven Drazan, David Safránek:
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. CoRR abs/1107.5924 (2011) - 2010
- [j8]Jiri Barnat, Lubos Brim, David Safránek:
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings Bioinform. 11(3): 301-312 (2010) - 2009
- [j6]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, David Safránek:
On algorithmic analysis of transcriptional regulation by LTL model checking. Theor. Comput. Sci. 410(33-34): 3128-3148 (2009) - [c44]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, Jana Fabriková, Jan Láník, David Safránek, Hongwu Ma:
BioDiVinE: A Framework for Parallel Analysis of Biological Models. COMPMOD 2009: 31-45 - 2007
- [c29]Jiri Barnat, Lubos Brim, Ivana Cerná, Sven Drazan, David Safránek:
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. FBTC@CONCUR 2007: 35-50
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-17 02:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
