Luboš Brim

Available identifiers

zbMath Open brim.lubosMaRDI QIDQ282093

List of research outcomes

Publication	Date of Publication	Type
Phenotype control of partially specified Boolean networks	2024-02-28	Paper
Digital bifurcation analysis of TCP dynamics	2023-11-24	Paper
eBCSgen 2.0: modelling and analysis of regulated rule-based systems	2023-01-18	Paper
Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications	2022-12-22	Paper
eBCSgen: a software tool for biochemical space language	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5094123	2022-08-02	Paper
Aeon 2021: bifurcation decision trees in Boolean networks	2022-05-25	Paper
Computing bottom SCCs symbolically using transition guided reduction	2022-03-25	Paper
Symbolic coloured SCC decomposition	2021-10-18	Paper
Executable biochemical space for specification and analysis of biochemical systems	2021-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5150999	2021-02-16	Paper
AEON: attractor bifurcation analysis of parametrised Boolean networks	2021-02-04	Paper
Digital Bifurcation Analysis of Internet Congestion Control Protocols	2020-12-03	Paper
A model checking approach to discrete bifurcation analysis	2020-01-03	Paper
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways	2019-12-04	Paper
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT	2019-10-22	Paper
Detecting Attractors in Biological Models with Uncertain Parameters	2019-07-25	Paper
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems	2019-05-21	Paper
Formal biochemical space with semantics in Kappa and BNGL	2018-04-23	Paper
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks	2018-03-01	Paper
Precise parameter synthesis for stochastic biochemical systems	2017-10-09	Paper
A process algebra for synchronous concurrent constraint programming	2017-01-19	Paper
Compact representation of photosynthesis dynamics by rule-based models	2016-12-16	Paper
Analysing sanity of requirements for avionics systems	2016-05-12	Paper
STL*: extending signal temporal logic with signal-value freezing operator	2014-06-06	Paper
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2848654	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848148	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2845490	2013-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2842859	2013-08-16	Paper
Model Checking of Biological Systems	2013-06-28	Paper
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties	2013-06-06	Paper
On Approximative Reachability Analysis of Biochemical Dynamical Systems	2013-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2917307	2012-09-28	Paper
USING STRATEGY IMPROVEMENT TO STAY ALIVE	2012-08-30	Paper
Partial order reduction for state/event LTL with application to component-interaction automata	2011-07-18	Paper
Faster algorithms for mean-payoff games	2011-05-23	Paper
Flash memory efficient LTL model checking	2011-01-14	Paper
On algorithmic analysis of transcriptional regulation by LTL model checking	2009-08-07	Paper
Partial Order Reduction for State/Event LTL	2009-02-24	Paper
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking	2008-04-11	Paper
Model-Checking Large Finite-State Systems and Beyond	2008-03-07	Paper
Cluster-Based LTL Model Checking of Large Systems	2007-09-11	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4680178	2005-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4473984	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4473985	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474210	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4798037	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4531762	2002-05-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luboš Brim