Publikace

• 2011

  KŘIVKA, Z.; MASOPUST, T. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, 2011, roč. 20, č. 2, s. 269-283. ISSN: 0324-721X.
  Detail | WWW

  MEDUNA, A.; ČERMÁK, M.; MASOPUST, T. Some Power-Decreasing Derivation Restrictions in Grammar Systems. Schedae Informaticae, 2011, roč. 2010, č. 19, s. 23-34. ISSN: 0860-0295.
  Detail

• 2010

  MASOPUST, T.; GOLDEFUS, F.; MEDUNA, A. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, 2010, roč. 411, č. 40, s. 3661-3667. ISSN: 0304-3975.
  Detail

• 2009

  MASOPUST, T. Regulated Nondeterminism in PDAs: The Non-Regular Case. Proceedings of Workshop on Non-Classical Models of Automata and Applications (NCMA). books@ocg.at Band 256. Wroclaw: Austrian Computer Society, 2009. s. 181-194. ISBN: 978-3-85403-256-4.
  Detail

  MASOPUST, T. On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components. International Journal of Foundations of Computer Science, 2009, roč. 20, č. 2, s. 331-340. ISSN: 0129-0541.
  Detail | WWW

  MASOPUST, T. On the Descriptional Complexity of Scattered Context Grammars. Theoretical Computer Science, 2009, roč. 410, č. 1, s. 108-112. ISSN: 0304-3975.
  Detail | WWW

  MASOPUST, T.; MEDUNA, A. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, 2009, roč. 19, č. 2, s. 537-552. ISSN: 0324-721X.
  Detail

  KŘIVKA, Z.; MASOPUST, T. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. 11th Italian Conference on Theoretical Computer Science. Cremona: 2009. s. 129-135.
  Detail | WWW

  MASOPUST, T.; MEDUNA, A. Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement. Proceedings of 11th International Workshop on Descriptional Complexity of Formal Systems. Magdeburg: Otto-von-Guericke-University of Magdeburg, 2009. s. 235-245. ISBN: 978-3-940961-31-0.
  Detail | WWW

  CSUHAJ-VARJÚ, E.; MASOPUST, T.; VASZIL, G. Cooperating Distributed Grammar Systems with Permitting Grammars as Components. Romanian Journal of Information Science and Technology (ROMJIST), 2009, roč. 12, č. 2, s. 175-189. ISSN: 1453-8245.
  Detail | WWW

  MASOPUST, T. A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions. In LATA 2009 proceedings. Lecture Notes in Computer Science. Lecture notes in computer science. Springer-Verlag Berlin Heidelberg: Springer Verlag, 2009. s. 554-565. ISBN: 978-3-642-00981-5. ISSN: 0302-9743.
  Detail | WWW

  MASOPUST, T.; MEDUNA, A. On context-free rewriting with a simple restriction and its computational completeness. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2009, roč. 43, č. 2, s. 365-378. ISSN: 0988-3754.
  Detail | WWW

• 2008

  MASOPUST, T.; MEDUNA, A. On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops. Automata and Formal Languages. The 12th International Conference, AFL 2008, Balatonfured, Hungary, May 27-30, 2008, Proceedings. Balatonfured: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2008. s. 325-336. ISBN: 978-963-311-367-7.
  Detail

  MASOPUST, T.; MEDUNA, A.; ŠIMÁČEK, J. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, 2008, roč. 18, č. 4, s. 783-793. ISSN: 0324-721X.
  Detail | WWW

  MASOPUST, T.; MEDUNA, A. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, 2008, roč. 87, č. 3, s. 407-415. ISSN: 0169-2968.
  Detail | WWW

  MASOPUST, T. Descriptional Complexity of Multi-Parallel Grammars. Information Processing Letters, 2008, roč. 108, č. 2, s. 68-70. ISSN: 0020-0190.
  Detail | WWW

  MASOPUST, T.; TECHET, J. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2008, roč. 10, č. 2, s. 39-46. ISSN: 1365-8050.
  Detail | WWW

• 2007

  MASOPUST, T. A Note on the Descriptional Complexity of Semi- Conditional Grammars. In Information Systems and Formal Models ISIM, WFM ' 07. Hradec nad Moravici: Silesian University, 2007. s. 213-218. ISBN: 978-80-7248- 0067.
  Detail

  MEDUNA, A.; MASOPUST, T. Self- Regulating Finite Automata. Acta Cybernetica, 2007, roč. 18, č. 1, s. 135-153. ISSN: 0324- 721X.
  Detail

  MASOPUST, T.; MEDUNA, A. Descriptional complexity of semi- conditional grammars. Information Processing Letters, 2007, roč. 104, č. 1, s. 29-31. ISSN: 0020- 0190.
  Detail

  MASOPUST, T.; MEDUNA, A. Descriptional Complexity of Grammars Regulated by Context Conditions. In LATA 2007 Pre-proceedings. Reports of the Research Group on Mathematical Linguistics 35/07, Universitat Rovira i Virgili. Tarragona, Spain: 2007. s. 403-411.
  Detail

  MASOPUST, T. Formal models: regulation and reduction. Brno: Faculty of Information Technology BUT, 2007. 103 s. ISBN: 978-80-214-3550- 6.
  Detail

  MASOPUST, T. Generalized Forbidding Grammars with Linear Productions. In Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007. s. 121-126. ISBN: 978-80-7355-077- 6.
  Detail

  MASOPUST, T.; MEDUNA, A. Descriptional Complexity of Generalized Forbidding Grammars. In Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia: University of Pavol Jozef Šafárik, 2007. s. 170-177. ISBN: 978-80-7097-688- 3.
  Detail

  MASOPUST, T. Scattered Context Grammars Can Generate the Powers of 2. In Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. s. 401-404. ISBN: 978-80214-3410- 3.
  Detail

• 2006

  MASOPUST, T. An Improvement of the Descriptional Complexity of Grammars Regulated by Context Conditions. In Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: Faculty of Information Technology BUT, 2006. s. 105-112. ISBN: 80-214-3287- X.
  Detail

*) Citace publikací se generují jednou za 24 hodin.