Branislav Rovan

Branislav Rovan, Vladimiro Sassone, Peter Widmayer (Eds.): Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7464, Springer 2012, isbn 978-3-642-32588-5

Pavel Labath, Branislav Rovan: Simplifying DPDA Using Supplementary Information. LATA 2011: 342-353

Branislav Rovan, L'ubos Steskal: Infinite Computations and a Hierarchy in Delta₃ Reconsidered. J. Log. Comput. 19(1): 175-176 (2009)

Peter Gazi, Branislav Rovan: Assisted Problem Solving and Decompositions of Finite Automata. SOFSEM 2008: 292-303

Branislav Rovan, L'ubos Steskal: Infinite Computations and a Hierarchy in Delta ₃. CiE 2007: 660-669

Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan: Online Bandwidth Allocation. ESA 2007: 546-557

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

Peter Gazi, Branislav Rovan: Assisted Problem Solving and Decompositions of Finite Automata. CoRR abs/0707.0430 (2007)

Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan: Online Bandwidth Allocation. CoRR abs/cs/0701153 (2007)

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

Branislav Rovan, Peter Vojtás (Eds.): Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings. Lecture Notes in Computer Science 2747, Springer 2003, isbn 3-540-40671-9

Branislav Rovan, Marián Slast'an: Eliminating Communication by Parallel Rewriting. Developments in Language Theory 2001: 369-278

Mogens Nielsen, Branislav Rovan (Eds.): Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1893, Springer 2000, isbn 3-540-67901-4

Jozef Dujnic, Norbert Fristacky, Ludovít Molnár, Ivan Plander, Branislav Rovan: On the history of computer science, computer engineering, and computer technology development in Slovakia. IEEE Annals of the History of Computing 21(3): 38-48 (1999)

Rastislav Kralovic, Branislav Rovan, Peter Ruzicka: Interval Routing on Layered Cross Product of Trees and Cycles. Euro-Par 1999: 1231-1239

Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic: Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks. DISC 1998: 273-287

Branislav Rovan (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. Lecture Notes in Computer Science 1521, Springer 1998, isbn 3-540-65260-4

Sergei L. Bezrukov, Branislav Rovan: On Partitioning Grids into Equal Parts. Computers and Artificial Intelligence 16(2) (1997)

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

Peter Gvozdjak, Branislav Rovan: Time-Bounded Parallel Rewriting. Developments in Language Theory 1995: 79-87

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

Igor Prívara, Branislav Rovan, Peter Ruzicka (Eds.): Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings. Lecture Notes in Computer Science 841, Springer 1994, isbn 3-540-58338-6

Juraj Hromkovic, Branislav Rovan, Anna Slobodová: Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines. Developments in Language Theory 1993: 314-325

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

Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová: On the power of synchronization in parallel computations. Discrete Applied Mathematics 32(2): 155-182 (1991)

Branislav Rovan (Ed.): Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings. Lecture Notes in Computer Science 452, Springer 1990, isbn 3-540-52953-5

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

Jozef Gruska, Branislav Rovan, Juraj Wiedermann (Eds.): Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings. Lecture Notes in Computer Science 233, Springer 1986, isbn 3-540-16783-8

Branislav Rovan: A Framework for Studying Grammars. MFCS 1981: 473-482

Branislav Rovan: Proving Containment of Bounded AFL. J. Comput. Syst. Sci. 11(1): 1-55 (1975)

Seymour Ginsburg, Branislav Rovan: On the Periodicity of Word-Length in DOL Languages. Information and Control 26(1): 34-44 (1974)

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