EDBT 2026 Demo / reviewers in the wild / expert
Branislav Rovan
dblp:05/823
· DBLP profile ↗
23ranked-venue papers
8as first author
2since 2021 · last 2023
0000-0002-0015-403XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 19 · 8 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2Systems, architecture and hardware · 1Databases, data management, data science and information retrieval · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Usefulness of information and decomposability of unary regular languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
Inf. Comput. | 2 |
| 2021 | Usefulness of Information and Unary Languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
LATA | 2 |
| 2014 | Modeling time criticality of information
Branislav Rovan, Marek Zeman |
Inf. Process. Lett. | 1 |
| 2011 | Simplifying DPDA Using Supplementary Information
Pavel Labath, Branislav Rovan |
LATA | 2 |
| 2009 | Infinite Computations and a Hierarchy in Delta3 ReconsideredabstractIn this note, we reconsider the results in Rovan and Steskal (2007, Vol. 4497 of Lecture Notes in Computer Science, pp. 660–669, Springer) concerning TMDC (Display Turing Machines with Control) with Chomsky like control language. We shall show that, under the given assumptions, various degrees of the control complexity do not give rise to a hierarchy of language families, thus correcting an error in Rovan and Steskal (2007, Vol. 4497 of Lecture Notes in Computer Science, pp. 660–669, Springer). Branislav Rovan, Lubos Steskal |
J. Log. Comput. | 1 |
| 2008 | Assisted Problem Solving and Decompositions of Finite Automata
Peter Gazi, Branislav Rovan |
SOFSEM | 2 |
| 2007 | Infinite Computations and a Hierarchy in Delta 3
Branislav Rovan, Lubos Steskal |
CiE | 1 |
| 2007 | Online Bandwidth Allocation
Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan |
ESA | 9 |
| 2007 | A Transducer-Based Framework for Streaming XML Transformations
Jana Dvoráková, Branislav Rovan |
SOFSEM (2) | 2 |
| 2005 | Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000
Mogens Nielsen, Branislav Rovan |
Theor. Comput. Sci. | 2 |
| 2001 | Eliminating Communication by Parallel Rewriting
Branislav Rovan, Marián Slast'an |
Developments in Language Theory | 1 |
| 1999 | Interval Routing on Layered Cross Product of Trees and Cycles
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka |
Euro-Par | 2 |
| 1998 | Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic |
DISC | 2 |
| 1996 | Introduction: Selected Papers of MFCS 1994
Branislav Rovan |
Theor. Comput. Sci. | 1 |
| 1995 | Time-Bounded Parallel Rewriting
Peter Gvozdjak, Branislav Rovan |
Developments in Language Theory | 2 |
| 1994 | Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines
Juraj Hromkovic, Branislav Rovan, Anna Slobodová |
Theor. Comput. Sci. | 2 |
| 1993 | Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines
Juraj Hromkovic, Branislav Rovan, Anna Slobodová |
Developments in Language Theory | 2 |
| 1991 | On the power of synchronization in parallel computations
Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová |
Discret. Appl. Math. | 3 |
| 1989 | On the Power of Synchronization in Parallel Computations
Jürgen Dassow, Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová |
MFCS | 4 |
| 1981 | A Framework for Studying Grammars
Branislav Rovan |
MFCS | 1 |
| 1975 | Proving Containment of Bounded AFL
Branislav Rovan |
J. Comput. Syst. Sci. | 1 |
| 1974 | On the Periodicity of Word-Length in DOL Languages
Seymour Ginsburg, Branislav Rovan |
Inf. Control. | 2 |
| 1973 | Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators
Branislav Rovan |
MFCS | 1 |