Stanislav Böhm

Available identifiers

zbMath Open bohm.stanislavMaRDI QIDQ1647479

List of research outcomes

Publication	Date of Publication	Type
State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI	2020-01-03	Paper
Haydi: rapid prototyping and combinatorial objects	2018-06-26	Paper
On Büchi one-counter automata	2018-04-19	Paper
Equivalence of deterministic one-counter automata is NL-complete	2014-08-07	Paper
Bisimulation equivalence and regularity for real-time one-counter automata	2014-02-13	Paper
Language equivalence of deterministic real-time one-counter automata is NL-complete	2011-08-17	Paper
Bisimilarity of one-counter processes is PSPACE-complete	2010-08-31	Paper

Research outcomes over time

This page was built for person: Stanislav Böhm