Branislav Rovan

According to our database, Branislav Rovan authored at least 29 papers between 1969 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Finite Approximations and Similarity of Languages.

Branislav Rovan, András Varga

Int. J. Found. Comput. Sci., 2022

2021

Usefulness of Information and Unary Languages.

Giovanni Pighizzini, Branislav Rovan, Simon Sádovský

Proceedings of the Language and Automata Theory and Applications, 2021

2020

Descriptional Complexity of Push Down Automata.

Lukás Kiss, Branislav Rovan

Proceedings of the 20th Conference Information Technologies, 2020

2018

On Usefulness of Information: Framework and NFA Case.

Branislav Rovan, Simon Sádovský

Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2016

Automata with Auxiliary Weights.

Peter Kostolányi, Branislav Rovan

Int. J. Found. Comput. Sci., 2016

2014

Modeling time criticality of information.

Branislav Rovan, Marek Zeman

Inf. Process. Lett., 2014

2011

Simplifying DPDA Using Supplementary Information.

Pavel Labath, Branislav Rovan

Proceedings of the Language and Automata Theory and Applications, 2011

2009

Infinite Computations and a Hierarchy in Delta₃ Reconsidered.

Branislav Rovan, L'ubos Steskal

J. Log. Comput., 2009

2008

Assisted Problem Solving and Decompositions of Finite Automata.

Peter Gazi, Branislav Rovan

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2007

A Transducer-Based Framework for Streaming XML Transformations.

Jana Dvoráková, Branislav Rovan

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Online Bandwidth Allocation.

Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan

Proceedings of the Algorithms, 2007

Infinite Computations and a Hierarchy in <i>Delta</i> ₃.

Branislav Rovan, L'ubos Steskal

Proceedings of the Computation and Logic in the Real World, 2007

2005

Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000.

Mogens Nielsen, Branislav Rovan

Theor. Comput. Sci., 2005

2001

Eliminating Communication by Parallel Rewriting.

Branislav Rovan, Marián Slast'an

Proceedings of the Developments in Language Theory, 5th International Conference, 2001

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

Interval Routing on Layered Cross Product of Trees and Cycles.

Rastislav Kralovic, Branislav Rovan, Peter Ruzicka

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks.

Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic

Proceedings of the Distributed Computing, 12th International Symposium, 1998

1997

On Partitioning Grids into Equal Parts.

Sergei L. Bezrukov, Branislav Rovan

Comput. Artif. Intell., 1997

1996

Introduction: Selected Papers of MFCS 1994.

Branislav Rovan

Theor. Comput. Sci., 1996

1995

Time-Bounded Parallel Rewriting.

Peter Gvozdjak, Branislav Rovan

Proceedings of the Developments in Language Theory II, 1995

1994

Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines.

Juraj Hromkovic, Branislav Rovan, Anna Slobodová

Theor. Comput. Sci., 1994

1992

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

1991

On the power of synchronization in parallel computations.

Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová

Discret. Appl. Math., 1991

1989

On the Power of Synchronization in Parallel Computations.

Jürgen Dassow, Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1981

A Framework for Studying Grammars.

Branislav Rovan

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1975

Proving Containment of Bounded AFL.

Branislav Rovan

J. Comput. Syst. Sci., 1975

1974

On the Periodicity of Word-Length in DOL Languages

Seymour Ginsburg, Branislav Rovan

Inf. Control., September, 1974

1973

Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators.

Branislav Rovan

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

1969

Bounded push down automata.

Branislav Rovan

Kybernetika, 1969