Bounded push down automata. - Branislav Rovan (Kybernetika, 1969)

Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators. - Branislav Rovan (MFCS, 1973)

On the Periodicity of Word-Length in DOL Languages - Seymour Ginsburg; Branislav Rovan (Inf. Control., 1974)

Proving Containment of Bounded AFL. - Branislav Rovan (J. Comput. Syst. Sci., 1975)

A Framework for Studying Grammars. - Branislav Rovan (MFCS, 1981)

On the Power of Synchronization in Parallel Computations. - Jürgen Dassow; Juraj Hromkovic; Juhani Karhumäki; Branislav Rovan; Anna Slobodová (MFCS, 1989)

On the power of synchronization in parallel computations. - Juraj Hromkovic; Juhani Karhumäki; Branislav Rovan; Anna Slobodová (Discret. Appl. Math., 1991)

On the Power of One-Way Synchronized Alternating Machines with Small Space. - Juraj Hromkovic; Katsushi Inoue; Branislav Rovan; Anna Slobodová; Itsuo Takanami; Klaus W. Wagner (Int. J. Found. Comput. Sci., 1992)

Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines. - Juraj Hromkovic; Branislav Rovan; Anna Slobodová (Theor. Comput. Sci., 1994)

Time-Bounded Parallel Rewriting. - Peter Gvozdjak; Branislav Rovan (Developments in Language Theory, 1995)

Introduction: Selected Papers of MFCS 1994. - Branislav Rovan (Theor. Comput. Sci., 1996)

On Partitioning Grids into Equal Parts. - Sergei L. Bezrukov; Branislav Rovan (Comput. Artif. Intell., 1997)

Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks. - Rastislav Kralovic; Branislav Rovan; Peter Ruzicka; Daniel Stefankovic (DISC, 1998)

Interval Routing on Layered Cross Product of Trees and Cycles. - Rastislav Kralovic; Branislav Rovan; Peter Ruzicka (Euro-Par, 1999)

On the history of computer science, computer engineering, and computer technology development in Slovakia. - Jozef Dujnic; Norbert Fristacky; Ludovít Molnár; Ivan Plander; Branislav Rovan (IEEE Ann. Hist. Comput., 1999)

Eliminating Communication by Parallel Rewriting. - Branislav Rovan; Marián Slast'an (Developments in Language Theory, 2001)

Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. - Mogens Nielsen; Branislav Rovan (Theor. Comput. Sci., 2005)

Infinite Computations and a Hierarchy in Delta 3. - Branislav Rovan; L'ubos Steskal (CiE, 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, 2007)

A Transducer-Based Framework for Streaming XML Transformations. - Jana Dvoráková; Branislav Rovan (SOFSEM (2), 2007)

Assisted Problem Solving and Decompositions of Finite Automata. - Peter Gazi; Branislav Rovan (SOFSEM, 2008)

Infinite Computations and a Hierarchy in Delta3 Reconsidered. - Branislav Rovan; L'ubos Steskal (J. Log. Comput., 2009)

Simplifying DPDA Using Supplementary Information. - Pavel Labath; Branislav Rovan (LATA, 2011)

Modeling time criticality of information. - Branislav Rovan; Marek Zeman (Inf. Process. Lett., 2014)

Automata with Auxiliary Weights. - Peter Kostolányi; Branislav Rovan (Int. J. Found. Comput. Sci., 2016)

On Usefulness of Information: Framework and NFA Case. - Branislav Rovan; Simon Sádovský (Adventures Between Lower Bounds and Higher Altitudes, 2018)

Descriptional Complexity of Push Down Automata. - Lukás Kiss; Branislav Rovan (ITAT, 2020)

Usefulness of Information and Unary Languages. - Giovanni Pighizzini; Branislav Rovan; Simon Sádovský (LATA, 2021)

Finite Approximations and Similarity of Languages. - Branislav Rovan; András Varga (Int. J. Found. Comput. Sci., 2022)

Usefulness of information and decomposability of unary regular languages. - Giovanni Pighizzini; Branislav Rovan; Simon Sádovský (Inf. Comput., 2023)

Preface. - Martin Kutrib; Andreas Malcher; Branislav Rovan (Int. J. Found. Comput. Sci., 2025)