Branislav Rovan

dblp:05/823 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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ý
LATA2
2014 Modeling time criticality of information
Branislav Rovan, Marek Zeman
Inf. Process. Lett.1
2011 Simplifying DPDA Using Supplementary Information
Pavel Labath, Branislav Rovan
LATA2
2009 Infinite Computations and a Hierarchy in Delta3 Reconsidered
abstract
In 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
SOFSEM2
2007 Infinite Computations and a Hierarchy in Delta 3
Branislav Rovan, Lubos Steskal
CiE1
2007 Online Bandwidth Allocation
Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan
ESA9
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 Theory1
1999 Interval Routing on Layered Cross Product of Trees and Cycles
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka
Euro-Par2
1998 Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic
DISC2
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 Theory2
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 Theory2
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á
MFCS4
1981 A Framework for Studying Grammars
Branislav Rovan
MFCS1
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
MFCS1