Branislav Rovan

42 papers A 2B 12C 6Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Preface.
Int. J. Found. Comput. Sci.
Martin Kutrib, Andreas Malcher, Branislav Rovan
2023 J jnl
Usefulness of information and decomposability of unary regular languages.
Inf. Comput.
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský
2022 J jnl
Finite Approximations and Similarity of Languages.
Int. J. Found. Comput. Sci.
Branislav Rovan, András Varga
2021 C conf
Usefulness of Information and Unary Languages.
LATA
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský
2020 — conf
Descriptional Complexity of Push Down Automata.
ITAT
Lukás Kiss, Branislav Rovan
2018 — conf
On Usefulness of Information: Framework and NFA Case.
Adventures Between Lower Bounds and Higher Altitudes
Branislav Rovan, Simon Sádovský
2016 J jnl
Automata with Auxiliary Weights.
Int. J. Found. Comput. Sci.
Peter Kostolányi, Branislav Rovan
2014 J jnl
Modeling time criticality of information.
Inf. Process. Lett.
Branislav Rovan, Marek Zeman
2014 B ed.
SOFSEM 2014: Theory and Practice of Computer Science - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings
Viliam Geffert, Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa
2012 B ed.
Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
MFCS
Branislav Rovan, Vladimiro Sassone, Peter Widmayer
2011 C conf
Simplifying DPDA Using Supplementary Information.
LATA
Pavel Labath, Branislav Rovan
2009 J jnl
Infinite Computations and a Hierarchy in Delta
J. Log. Comput.
Branislav Rovan, L'ubos Steskal
2008 B conf
Assisted Problem Solving and Decompositions of Finite Automata.
SOFSEM
Peter Gazi, Branislav Rovan
2007 — conf
A Transducer-Based Framework for Streaming XML Transformations.
SOFSEM (2)
Jana Dvoráková, Branislav Rovan
2007 J jnl
Assisted Problem Solving and Decompositions of Finite Automata
CoRR
Peter Gazi, Branislav Rovan
2007 C conf
Infinite Computations and a Hierarchy in
CiE
Branislav Rovan, L'ubos Steskal
2007 J jnl
Online Bandwidth Allocation
CoRR
Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan
2007 A conf
Online Bandwidth Allocation.
ESA
Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan
2005 J jnl
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000.
Theor. Comput. Sci.
Mogens Nielsen, Branislav Rovan
2003 B ed.
Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
MFCS
Branislav Rovan, Peter Vojtás
2001 C conf
Eliminating Communication by Parallel Rewriting.
Developments in Language Theory
Branislav Rovan, Marián Slast'an
2000 B ed.
Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings
MFCS
Mogens Nielsen, Branislav Rovan
1999 — conf
Interval Routing on Layered Cross Product of Trees and Cycles.
Euro-Par
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka
1999 J jnl
On the history of computer science, computer engineering, and computer technology development in Slovakia.
IEEE Ann. Hist. Comput.
Jozef Dujnic, Norbert Fristacky, Ludovít Molnár, Ivan Plander, Branislav Rovan
1998 A conf
Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks.
DISC
Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic
1998 B ed.
SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings
SOFSEM
Branislav Rovan
1997 J jnl
On Partitioning Grids into Equal Parts.
Comput. Artif. Intell.
Sergei L. Bezrukov, Branislav Rovan
1996 J jnl
Introduction: Selected Papers of MFCS 1994.
Theor. Comput. Sci.
Branislav Rovan
1995 C conf
Time-Bounded Parallel Rewriting.
Developments in Language Theory
Peter Gvozdjak, Branislav Rovan
1994 J jnl
Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines.
Theor. Comput. Sci.
Juraj Hromkovic, Branislav Rovan, Anna Slobodová
1994 B ed.
Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings
MFCS
Igor Prívara, Branislav Rovan, Peter Ruzicka
1993 C conf
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines.
Developments in Language Theory
Juraj Hromkovic, Branislav Rovan, Anna Slobodová
1992 J jnl
On the Power of One-Way Synchronized Alternating Machines with Small Space.
Int. J. Found. Comput. Sci.
Juraj Hromkovic, Katsushi Inoue, Branislav Rovan, Anna Slobodová, Itsuo Takanami, Klaus W. Wagner
1991 J jnl
On the power of synchronization in parallel computations.
Discret. Appl. Math.
Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová
1990 B ed.
Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings
MFCS
Branislav Rovan
1989 B conf
On the Power of Synchronization in Parallel Computations.
MFCS
Jürgen Dassow, Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová
1986 B ed.
Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings
MFCS
Jozef Gruska, Branislav Rovan, Juraj Wiedermann
1981 B conf
A Framework for Studying Grammars.
MFCS
Branislav Rovan
1975 J jnl
Proving Containment of Bounded AFL.
J. Comput. Syst. Sci.
Branislav Rovan
1974 J jnl
On the Periodicity of Word-Length in DOL Languages
Inf. Control.
Seymour Ginsburg, Branislav Rovan
1973 B conf
Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators.
MFCS
Branislav Rovan
1969 J jnl
Bounded push down automata.
Kybernetika
Branislav Rovan