| 2021 | LATA | Usefulness of Information and Unary Languages. | Giovanni Pighizzini, Branislav Rovan, Simon Sdovsk |
| 2011 | LATA | Simplifying DPDA Using Supplementary Information. | Pavel Labath, Branislav Rovan |
| 2008 | SOFSEM | Assisted Problem Solving and Decompositions of Finite Automata. | Peter Gazi, Branislav Rovan |
| 2007 | CiE | Infinite Computations and a Hierarchy in | Branislav Rovan, L'ubos Steskal |
| 2007 | ESA | Online Bandwidth Allocation. | Michal Forisek, Branislav Katreniak, Jana Katreniakov, Rastislav Kralovic, Richard Krlovic, Vladimr Koutn, Dana Pardubsk, Tomas Plachetka, Branislav Rovan |
| 2007 | SOFSEM | A Transducer-Based Framework for Streaming XML Transformations. | Jana Dvorkov, Branislav Rovan |
| 2001 | DLT | Eliminating Communication by Parallel Rewriting. | Branislav Rovan, Marin Slast'an |
| 1999 | EuroPar | Interval Routing on Layered Cross Product of Trees and Cycles. | Rastislav Kralovic, Branislav Rovan, Peter Ruzicka |
| 1995 | DLT | Time-Bounded Parallel Rewriting. | Peter Gvozdjak, Branislav Rovan |
| 1993 | DLT | Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines. | Juraj Hromkovic, Branislav Rovan, Anna Slobodov |
| 1989 | MFCS | On the Power of Synchronization in Parallel Computations. | Jrgen Dassow, Juraj Hromkovic, Juhani Karhumki, Branislav Rovan, Anna Slobodov |
| 1981 | MFCS | A Framework for Studying Grammars. | Branislav Rovan |
| 1973 | MFCS | Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators. | Branislav Rovan |