Publication Records

CHALOUPKA, Jakub and Luboš BRIM. Faster Algorithm for Mean-Payoff Games. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 9 pp. ISBN 978-3-939897-15-6.

CHALOUPKA, Jakub and Luboš BRIM. Faster Algorithm for Mean-Payoff Games. In MEMICS 2009. Brno: NOVPRESS s.r.o., 2009, p. 45-53. ISBN 978-80-87342-04-6.

WINKLER, Jiří. Institucionální a organizační limity individualizace české politiky zaměstnanosti v podmínkách duálního trhu práce (The institutional and organizational limits of the Czech employment policy on the Dual Labour Market). In Nejistoty na trhu práce. první. Brno: František Šalé - Albert, 2009, p. 118-147, 29 pp. ISBN 978-80-7326-172-6.

BOUYER, Patricia, Uli FAHRENBERG, Kim G. LARSEN, Nicolas MARKEY and Jiří SRBA. Infinite Runs in Weighted Timed Automata with Energy Constraints. In Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science 5215. Netherlands: Springer-Verlag, 2008, p. 33-47. ISBN 978-3-540-85777-8.

DONTCHEVA-NAVRATILOVA, Olga. An Interview with the Participants in the Brno-Chemnitz Project. Linguistics Pages. In The Messsnger. 1st ed. Brno: Department of English, PdF MU Brno, 2006.

POVOLNÁ, Renata. Brno Seminar on Linguistic Studies in English, Linguistics Pages. Messenger, News and Views in English from the Faculty of Education MU. 2005, vol. 5, No 4, p. 8-9. ISSN 1214-6676.

WINKLER, Jiří. Lokální programy na trhu práce a jejich význam pro národní politiku zaměstnanosti (Local policy at labor market and national employment policy in Czech Republic). In Účelové programy na lokálních trzích práce. Brno: Masarykova univerzita, 2005, p. 13 - 30, 17 pp. FSS MU. ISBN 80-210-3867-5.

STEHLÍK, Antonín and Josef KAPOUN. Erst mit integrierter Logistik vollständig (Complexity through integrated logistics). Einkauf Materialwirtschaft Logistik. CH - 4411 Seltisberg: DEK - Verlag AG, 2004, vol. 44, 9 - 2004, p. 13 - 15. ISSN 1421-864X.

MOLLER, Faron, Scot SMOLKA and Jiří SRBA. On the Computational Complexity of Bisimulation, Redux. Information and Computation. Netherlands: Elsevier Science, 2004, ?, ?, p. ?, 20 pp. ISSN 0890-5401.

SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century. New York, USA: World Scientific Publishing, 2004, vol. 2, No 1, p. 337-350.

SRBA, Jiří. Complexity of Weak Bisimilarity and Regularity for BPA and BPP. Mathematical Structures in Computer Science. Great Britain: Cambridge University Press, 2003, vol. 12, No 1, p. 567587-567607. ISSN 0960-1295.

SRBA, Jiří. Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds. Acta Informatica. The Netherlands: Springer-Verlag, 2003, vol. 39, No 1, p. 469-499.

SRBA, Jiří. Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard. In Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02). Holland: Springer-Verlag, 2002, p. 535-546.

SRBA, Jiří. Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard. In Proceedings of 29th International Colloquium on Automata, Languages and Programming (ICALP'02). Netherlands: Springer-Verlag, 2002, p. 716-727.

OSOLSOBĚ, Petr. Understanding Complexity with Johann Sebastian Bach. In Bach 2000 : Music between Virgin Forest and Knowledge Society. 1st ed. Brno: VUTIUM Press, J. Fukač, A. Mizerová, V. Strakoš eds., 2002, p. 43-48. ISBN 84-607-5515-0.

ŠMAJS, Josef. Víme, co je evoluce? (What is evolution?). In Sborník prací filozofické fakulty brněnské univerzity, Studia philosophica, B-49. 1., 2002. Brno: Masarykova univerzita v Brně, 2002, p. 181-185. ISBN 80-210-2622-7.

KLÍMA, Ondřej and Jiří SRBA. Complexity Issues of the Pattern Equations in Idempotent Semigroups. Technical Report, Faculty of Informatics, Masaryk University. Brno, 1999, vol. 1999, No 02, p. 1, 14 s. ISSN FIMU-RS-99-02.

ČERNÁ, Ivana, Ondřej KLÍMA and Jiří SRBA. On the Pattern Equations. Technical Report, Faculty of Informatics, Masaryk University. Brno, 1999, vol. 1999, No 01, p. 1, 11 s. ISSN FIMU-RS-99-01.