Nikola Beneš

Available identifiers

zbMath Open benes.nikolaMaRDI QIDQ282092

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
Recursive online enumeration of all minimal unsatisfiable subsets	2023-07-28	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
AEON: attractor bifurcation analysis of parametrised Boolean networks	2021-02-04	Paper
Digital Bifurcation Analysis of Internet Congestion Control Protocols	2020-12-03	Paper
Logical vs. behavioural specifications	2020-03-12	Paper
A model checking approach to discrete bifurcation analysis	2020-01-03	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
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis	2018-07-06	Paper
LTL Parameter Synthesis of Parametric Timed Automata	2018-07-06	Paper
On clock-aware LTL parameter synthesis of timed automata	2018-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4636600	2018-04-19	Paper
Analysing sanity of requirements for avionics systems	2016-05-12	Paper
Language Emptiness of Continuous-Time Parametric Timed Automata	2015-11-04	Paper
Refinement checking on parametric modal transition systems	2015-04-16	Paper
On Clock-Aware LTL Properties of Timed Automata	2015-01-13	Paper
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory	2013-08-12	Paper
EXPTIME-completeness of thorough refinement on modal transition systems	2012-11-27	Paper
Process Algebra for Modal Transition Systemses	2012-09-28	Paper
Space Effective Model Checking for Component-Interaction Automata	2012-09-28	Paper
Modal Process Rewrite Systems	2012-09-21	Paper
Factorization for Component-Interaction Automata	2012-06-15	Paper
Dual-Priced Modal Transition Systems with Time Durations	2012-06-15	Paper
Modal Transition Systems: Composition and LTL Model Checking	2011-10-07	Paper
Parametric Modal Transition Systems	2011-10-07	Paper
Partial order reduction for state/event LTL with application to component-interaction automata	2011-07-18	Paper
On determinism in modal transition systems	2009-09-29	Paper
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete	2009-08-20	Paper
Partial Order Reduction for State/Event LTL	2009-02-24	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: Nikola Beneš