| 2008 |
|---|
| 28 | EE | Peter Gazi,
Branislav Rovan:
Assisted Problem Solving and Decompositions of Finite Automata.
SOFSEM 2008: 292-303 |
| 2007 |
|---|
| 27 | EE | Branislav Rovan,
L'ubos Steskal:
Infinite Computations and a Hierarchy in Delta 3.
CiE 2007: 660-669 |
| 26 | EE | 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 |
| 25 | | Jana Dvoráková,
Branislav Rovan:
A Transducer-Based Framework for Streaming XML Transformations.
SOFSEM (2) 2007: 50-60 |
| 24 | EE | Peter Gazi,
Branislav Rovan:
Assisted Problem Solving and Decompositions of Finite Automata
CoRR abs/0707.0430: (2007) |
| 23 | EE | 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) |
| 2005 |
|---|
| 22 | EE | Mogens Nielsen,
Branislav Rovan:
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000.
Theor. Comput. Sci. 340(3): 457-458 (2005) |
| 2003 |
|---|
| 21 | | Branislav Rovan,
Peter Vojtás:
Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
Springer 2003 |
| 2001 |
|---|
| 20 | EE | Branislav Rovan,
Marián Slast'an:
Eliminating Communication by Parallel Rewriting.
Developments in Language Theory 2001: 369-278 |
| 2000 |
|---|
| 19 | | Mogens Nielsen,
Branislav Rovan:
Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings
Springer 2000 |
| 1999 |
|---|
| 18 | EE | Rastislav Kralovic,
Branislav Rovan,
Peter Ruzicka:
Interval Routing on Layered Cross Product of Trees and Cycles.
Euro-Par 1999: 1231-1239 |
| 1998 |
|---|
| 17 | | Branislav Rovan:
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
Springer 1998 |
| 16 | EE | Rastislav Kralovic,
Branislav Rovan,
Peter Ruzicka,
Daniel Stefankovic:
Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks.
DISC 1998: 273-287 |
| 1997 |
|---|
| 15 | | Sergei L. Bezrukov,
Branislav Rovan:
On Partitioning Grids into Equal Parts.
Computers and Artificial Intelligence 16(2): (1997) |
| 1996 |
|---|
| 14 | | Branislav Rovan:
Introduction: Selected Papers of MFCS 1994.
Theor. Comput. Sci. 168(1): 1 (1996) |
| 1995 |
|---|
| 13 | | Peter Gvozdjak,
Branislav Rovan:
Time-Bounded Parallel Rewriting.
Developments in Language Theory 1995: 79-87 |
| 1994 |
|---|
| 12 | | Igor Prívara,
Branislav Rovan,
Peter Ruzicka:
Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings
Springer 1994 |
| 11 | | Juraj Hromkovic,
Branislav Rovan,
Anna Slobodová:
Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines.
Theor. Comput. Sci. 132(2): 319-336 (1994) |
| 1993 |
|---|
| 10 | | Juraj Hromkovic,
Branislav Rovan,
Anna Slobodová:
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines.
Developments in Language Theory 1993: 314-325 |
| 1992 |
|---|
| 9 | | 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) |
| 1991 |
|---|
| 8 | EE | 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) |
| 1990 |
|---|
| 7 | | Branislav Rovan:
Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings
Springer 1990 |
| 1989 |
|---|
| 6 | | Jürgen Dassow,
Juraj Hromkovic,
Juhani Karhumäki,
Branislav Rovan,
Anna Slobodová:
On the Power of Synchronization in Parallel Computations.
MFCS 1989: 196-206 |
| 1986 |
|---|
| 5 | | Jozef Gruska,
Branislav Rovan,
Juraj Wiedermann:
Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings
Springer 1986 |
| 1981 |
|---|
| 4 | | Branislav Rovan:
A Framework for Studying Grammars.
MFCS 1981: 473-482 |
| 1975 |
|---|
| 3 | | Branislav Rovan:
Proving Containment of Bounded AFL.
J. Comput. Syst. Sci. 11(1): 1-55 (1975) |
| 1974 |
|---|
| 2 | | Seymour Ginsburg,
Branislav Rovan:
On the Periodicity of Word-Length in DOL Languages
Information and Control 26(1): 34-44 (1974) |
| 1973 |
|---|
| 1 | | Branislav Rovan:
Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators.
MFCS 1973: 299-305 |
