List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 (available as arXiv preprint) | 2018-06-26 | Paper |
| On Büchi one-counter automata | 2018-04-19 | Paper |
| Equivalence of deterministic one-counter automata is NL-complete Proceedings of the forty-eighth annual ACM symposium on Theory of Computing | 2014-08-07 | Paper |
| Bisimulation equivalence and regularity for real-time one-counter automata Journal of Computer and System Sciences | 2014-02-13 | Paper |
| Language equivalence of deterministic real-time one-counter automata is NL-complete Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
| Bisimilarity of one-counter processes is PSPACE-complete CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Stanislav Böhm
