Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. Faster Algorithm for Mean-Payoff Games
      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.
      URL
      Name in Czech: Rychlejší algorimus pro mean-payoff hry
      Name (in English): Faster Algorithm for Mean-Payoff Games
      RIV/00216224:14330/09:00029949 Proceedings paper. Informatics. English. Germany.
      Chaloupka, Jakub (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor)
      Keywords in English: mean-payoff games; randomized algorithms; complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jakub Chaloupka, Ph.D., učo 60400. Changed: 11/3/2010 16:18.
      More: https://is.muni.cz/publication/875216/en
    2. Faster Algorithm for Mean-Payoff Games
      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.
      Name in Czech: Rychlejší algorimus pro mean-payoff hry
      Name (in English): Faster Algorithm for Mean-Payoff Games
      RIV/00216224:14330/09:00029686 Proceedings paper. Informatics. English. Czech Republic.
      Chaloupka, Jakub (203 Czech Republic) -- Brim, Luboš (203 Czech Republic, guarantor)
      Keywords in English: mean-payoff games; randomized algorithms; complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jakub Chaloupka, Ph.D., učo 60400. Changed: 16/12/2009 14:14.
      More: https://is.muni.cz/publication/860112/en
    3. 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)
      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.
      Name in Czech: Institucionální a organizační limity individualizace české politiky zaměstnanosti v podmínkách duálního trhu práce
      Name (in English): The institutional and organizational limits of the Czech employment policy on the Dual Labour Market
      RIV/00216224:14230/09:00038893 Chapter(s) of a specialized book. Political sciences. Czech. Czech Republic.
      Winkler, Jiří (203 Czech Republic, guarantor)
      Keywords in English: organizartion of employment policy individualisation policy domains
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Lucie Galčanová Batista, Ph.D., učo 41048. Changed: 6/4/2010 11:12.
      More: https://is.muni.cz/publication/870669/en

    2008

    1. Infinite Runs in Weighted Timed Automata with Energy Constraints
      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.
      Name in Czech: Nekonečné běhy v ohodnocených časových automatech s ohraničením energie
      Name (in English): Infinite Runs in Weighted Timed Automata with Energy Constraints
      RIV/00216224:14330/08:00026471 Proceedings paper. Informatics. English. Netherlands.
      Bouyer, Patricia (250 France) -- Fahrenberg, Uli (276 Germany) -- Larsen, Kim G. (208 Denmark) -- Markey, Nicolas (250 France) -- Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: timed automata; infinite runs; decidability; complexity
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 24/3/2010 15:18.
      More: https://is.muni.cz/publication/780196/en

    2006

    1. An Interview with the Participants in the Brno-Chemnitz Project. Linguistics Pages.
      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.

      Keywords in English: complexity, coherence, teaching English
      Changed by: doc. Mgr. Olga Dontcheva-Navrátilová, Ph.D., učo 5423. Changed: 22/9/2022 21:34.
      More: https://is.muni.cz/publication/706426/en

    2005

    1. Brno Seminar on Linguistic Studies in English, Linguistics Pages
      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.
      Name in Czech: Brněnský seminář o lingvistických studiích v angličtině, Lingvistické stránky

      Keywords in English: linguistic studies in English; language study; response elicitors; coherence; complexity; Internet Relay Chat; spoken and written discourse; linkung devices; institutional speech acts; diplomatic discourse; absolutes; biblical vocabulary; communicative methods; functional sentecne perspective; terminological hierarchies; sense relations
      Changed by: doc. PhDr. Renata Povolná, Ph.D., učo 1136. Changed: 24/1/2006 08:09.
      More: https://is.muni.cz/publication/609984/en
    2. 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)
      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.
      Name (in English): Local policy at labor market and national employment policy in Czech Republic
      RIV/00216224:14230/05:00014585 Chapter(s) of a specialized book. Management, administration and clerical work. Czech. Czech Republic.
      Winkler, Jiří (203 Czech Republic, guarantor)
      Keywords in English: local policy; labour market policy; evaluation; partnerships; complexity
      Reviewed: yes
      Changed by: Mgr. Lucie Galčanová Batista, Ph.D., učo 41048. Changed: 21/3/2010 12:48.
      More: https://is.muni.cz/publication/617845/en

    2004

    1. Erst mit integrierter Logistik vollständig (Complexity through integrated logistics)
      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.
      Name (in English): Complexity through integrated logistics
      RIV/00216224:14560/04:00057073 Article in a journal. Management, administration and clerical work. German. Switzerland.
      Stehlík, Antonín (203 Czech Republic, guarantor) -- Kapoun, Josef (203 Czech Republic)
      Keywords in English: Complexity; customer; logistics
      Changed by: doc. Ing. Antonín Stehlík, CSc., učo 1722. Changed: 27/9/2004 14:31.
      More: https://is.muni.cz/publication/558375/en
    2. On the Computational Complexity of Bisimulation, Redux
      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.
      URL
      Name in Czech: Vypocetni slozitost bisimulace
      Name (in English): On the Computational Complexity of Bisimulation, Redux
      RIV/00216224:14330/04:00010071 Article in a journal. Informatics. English. Netherlands.
      Moller, Faron (752 Sweden) -- Smolka, Scot (840 United States of America) -- Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: bisimilarity; complexity
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 18/1/2005 17:27.
      More: https://is.muni.cz/publication/555141/en
    3. Roadmap of Infinite Results
      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.
      Name in Czech: Rozcesti nekonecnych vysledku
      Name (in English): Roadmap of Infinite Results
      RIV/00216224:14330/04:00010683 Article in a journal. Informatics. English. United States of America.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: infinite-state systems; bisimilarity; complexity; decidability
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 18/1/2005 17:32.
      More: https://is.muni.cz/publication/562692/en

    2003

    1. Complexity of Weak Bisimilarity and Regularity for BPA and BPP
      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.
      URL
      Name (in English): Complexity of Weak Bisimilarity and Regularity for BPA and BPP
      RIV/00216224:14330/03:00008472 Article in a journal. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: weak bisimilarity; complexity; process algebra
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 26/5/2004 13:37.
      More: https://is.muni.cz/publication/492123/en
    2. Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
      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.
      URL
      Name (in English): Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
      RIV/00216224:14330/03:00008470 Article in a journal. Informatics. English. Netherlands.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: infinite-state systems; bisimilarity; complexity
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 26/5/2004 13:37.
      More: https://is.muni.cz/publication/492121/en

    2002

    1. Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
      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.
      Name (in English): Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
      RIV/00216224:14330/02:00005680 Proceedings paper. Information theory. English. Netherlands.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: bisimilarity checking; complexity; infinite systems
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:46.
      More: https://is.muni.cz/publication/403373/en
    2. Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
      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.
      Name (in English): Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
      RIV/00216224:14330/02:00007147 Proceedings paper. Information theory. English. Netherlands.
      Srba, Jiří (203 Czech Republic, guarantor)
      Keywords in English: bisimilarity checking; complexity; infinite systems
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:46.
      More: https://is.muni.cz/publication/483064/en
    3. Understanding Complexity with Johann Sebastian Bach
      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.
      Name (in English): Understanding Complexity with Johann Sebastian Bach
      RIV/00216224:14210/02:00008217 Proceedings paper. Art, architecture, cultural heritage. English. Germany.
      Osolsobě, Petr (203 Czech Republic, guarantor)
      Keywords in English: complexity; analogy; music; aesthetics;cognitive science
      Changed by: prof. PhDr. Petr Osolsobě, Ph.D., učo 2218. Changed: 13/10/2003 11:54.
      More: https://is.muni.cz/publication/489392/en
    4. Víme, co je evoluce? (What is evolution?)
      Š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.
      Name (in English): What is evolution?
      RIV/00216224:14210/02:00007791 Proceedings paper. Philosophy and religion. Czech. Czech Republic.
      Šmajs, Josef (203 Czech Republic, guarantor)
      Keywords in English: evolution of nature; cultural evolution; complexity; information; memory
      Changed by: prof. PhDr. Ing. Josef Šmajs, CSc., učo 2543. Changed: 22/5/2003 09:37.
      More: https://is.muni.cz/publication/486708/en

    1999

    1. Complexity Issues of the Pattern Equations in Idempotent Semigroups
      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.
      URL
      RIV/00216224:14330/99:00001718 Article in a journal. Information theory. English. Czech Republic.
      Keywords in English: word equations; idempotent semigroup; complexity
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 7/3/2000 11:45.
      More: https://is.muni.cz/publication/230971/en
    2. On the Pattern Equations
      Č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.
      URL
      RIV/00216224:14330/99:00001719 Article in a journal. Information theory. English. Czech Republic.
      Keywords in English: semigroups; word equations; complexity
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 7/3/2000 11:47.
      More: https://is.muni.cz/publication/230972/en
Displayed: 7/7/2024 07:23