default search action
Branislav Rovan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j15]Giovanni Pighizzini, Branislav Rovan, Simon Sádovský
:
Usefulness of information and decomposability of unary regular languages. Inf. Comput. 295(Part B): 104868 (2023) - 2022
- [j14]Branislav Rovan, András Varga:
Finite Approximations and Similarity of Languages. Int. J. Found. Comput. Sci. 33(8): 967-1003 (2022) - 2021
- [c16]Giovanni Pighizzini
Usefulness of Information and Unary Languages. LATA 2021: 131-142 - 2020
- [c15]Lukás Kiss, Branislav Rovan:
Descriptional Complexity of Push Down Automata. ITAT 2020: 59-66
2010 – 2019
- 2018
- [c14]Branislav Rovan, Simon Sádovský
On Usefulness of Information: Framework and NFA Case. Adventures Between Lower Bounds and Higher Altitudes 2018: 85-99 - 2016
- [j13]Peter Kostolányi
Automata with Auxiliary Weights. Int. J. Found. Comput. Sci. 27(7): 787-808 (2016) - 2014
- [j12]Branislav Rovan, Marek Zeman:
Modeling time criticality of information. Inf. Process. Lett. 114(3): 147-151 (2014) - [e8]Viliam Geffert, Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa:
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. Lecture Notes in Computer Science 8327, Springer 2014, ISBN 978-3-319-04297-8 [contents] - 2012
- [e7]Branislav Rovan, Vladimiro Sassone, Peter Widmayer:
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 [contents] - 2011
- [c13]Pavel Labath, Branislav Rovan:
Simplifying DPDA Using Supplementary Information. LATA 2011: 342-353
2000 – 2009
- 2009
- [j11]Branislav Rovan, L'ubos Steskal:
Infinite Computations and a Hierarchy in Delta3 Reconsidered. J. Log. Comput. 19(1): 175-176 (2009) - 2008
- [c12]Peter Gazi, Branislav Rovan:
Assisted Problem Solving and Decompositions of Finite Automata. SOFSEM 2008: 292-303 - 2007
- [c11]Branislav Rovan, L'ubos Steskal:
Infinite Computations and a Hierarchy in Delta 3. CiE 2007: 660-669 - [c10]Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic
Online Bandwidth Allocation. ESA 2007: 546-557 - [c9]Jana Dvoráková, Branislav Rovan:
A Transducer-Based Framework for Streaming XML Transformations. SOFSEM (2) 2007: 50-60 - [i2]Peter Gazi, Branislav Rovan:
Assisted Problem Solving and Decompositions of Finite Automata. CoRR abs/0707.0430 (2007) - [i1]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
- [j10]Mogens Nielsen, Branislav Rovan:
Introduction - Combined TCSA/TCSB issue - mathematical foundations of computer science 2000. Theor. Comput. Sci. 340(3): 457-458 (2005) - 2003
- [e6]Branislav Rovan, Peter Vojtás:
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 [contents] - 2001
- [c8]Branislav Rovan, Marián Slast'an:
Eliminating Communication by Parallel Rewriting. Developments in Language Theory 2001: 369-278 - 2000
- [e5]Mogens Nielsen, Branislav Rovan:
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 [contents]
1990 – 1999
- 1999
- [j9]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 Ann. Hist. Comput. 21(3): 38-48 (1999) - [c7]Rastislav Kralovic
Interval Routing on Layered Cross Product of Trees and Cycles. Euro-Par 1999: 1231-1239 - 1998
- [c6]Rastislav Kralovic
Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks. DISC 1998: 273-287 - [e4]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. Lecture Notes in Computer Science 1521, Springer 1998, ISBN 3-540-65260-4 [contents] - 1997
- [j8]Sergei L. Bezrukov, Branislav Rovan:
On Partitioning Grids into Equal Parts. Comput. Artif. Intell. 16(2): 153-165 (1997) - 1996
- [j7]Branislav Rovan:
Introduction: Selected Papers of MFCS 1994. Theor. Comput. Sci. 168(1): 1 (1996) - 1995
- [c5]Peter Gvozdjak, Branislav Rovan:
Time-Bounded Parallel Rewriting. Developments in Language Theory 1995: 79-87 - 1994
- [j6]Juraj Hromkovic, Branislav Rovan, Anna Slobodová:
Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines. Theor. Comput. Sci. 132(2): 319-336 (1994) - [e3]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. Lecture Notes in Computer Science 841, Springer 1994, ISBN 3-540-58338-6 [contents] - 1993
- [c4]Juraj Hromkovic, Branislav Rovan, Anna Slobodová:
Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines. Developments in Language Theory 1993: 314-325 - 1992
- [j5]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
- [j4]Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová:
On the power of synchronization in parallel computations. Discret. Appl. Math. 32(2): 155-182 (1991) - 1990
- [e2]Branislav Rovan:
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 [contents]
1980 – 1989
- 1989
- [c3]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
- [e1]Jozef Gruska, Branislav Rovan, Juraj Wiedermann
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 [contents] - 1981
- [c2]Branislav Rovan:
A Framework for Studying Grammars. MFCS 1981: 473-482
1970 – 1979
- 1975
- [j3]Branislav Rovan:
Proving Containment of Bounded AFL. J. Comput. Syst. Sci. 11(1): 1-55 (1975) - 1974
- [j2]Seymour Ginsburg, Branislav Rovan:
On the Periodicity of Word-Length in DOL Languages. Inf. Control. 26(1): 34-44 (1974) - 1973
- [c1]Branislav Rovan:
Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators. MFCS 1973: 299-305
1960 – 1969
- 1969
- [j1]Branislav Rovan:
Bounded push down automata. Kybernetika 5(4): 261-265 (1969)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: