Formal Model Research Group

Publications

  • 2023

    KOŽÁR Tomáš, KŘIVKA Zbyněk and MEDUNA Alexander. Final sentential forms. In: Proceedings 13th International Workshop on Non-Classical Models of Automata and Applications. Famagusta: School of Computer Science and Engineering, University of New South Wales, 2023, pp. 38-47. ISSN 2075-2180.
    Detail

    KOŽÁR Tomáš and MEDUNA Alexander. Automata: Theory, Trends, And Applications. Singapore: World Scientific Publishing Co Pte Ltd, 2023. ISBN 978-981-1278-12-9.
    Detail

  • 2022

    KŘIVKA Zbyněk, MARTIŠKO Jakub and MEDUNA Alexander. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. International Journal of Foundations of Computer Science, vol. 33, no. 03, 2022, pp. 335-348. ISSN 0129-0541.
    Detail

    KOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander and NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, vol. 59, no. 5, 2022, pp. 557-584. ISSN 0001-5903.
    Detail

    HAMMER Jan and KŘIVKA Zbyněk. Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars. In: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications . Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022, pp. 88-111. ISSN 2075-2180.
    Detail

    KLOBUČNÍKOVÁ Dominika, KŘIVKA Zbyněk and MEDUNA Alexander. Conclusive Tree-Controlled Grammars. In: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications . Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022, pp. 112-125. ISSN 2075-2180.
    Detail

    HAVEL Martin and MEDUNA Alexander. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, vol. 30, no. 2, 2022, pp. 135-147. ISSN 1561-4042.
    Detail

  • 2021

    KŘIVKA Zbyněk and MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, vol. 179, no. 4, 2021, pp. 361-384. ISSN 0169-2968.
    Detail

    KÖVÁRI Adam, KŘIVKA Zbyněk and MEDUNA Alexander. Evaluating Yona Language. In: INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021. Lisabon: International Association for Development of the Information Society, 2021, pp. 101-108. ISBN 978-989-8704-34-4.
    Detail

  • 2020

    KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, vol. 25, no. 1, 2020, pp. 37-54. ISSN 1430-189X.
    Detail

    HORÁČEK Petr, MEDUNA Alexander and TOMKO Martin. Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2020. ISBN 978-1-78561-659-4.
    Detail

    BARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš and ZENDULKA Jaroslav. Architektura systému, ViAn Server, Snímací uzel a ViAn GUI. Brno, 2020.
    Detail

  • 2019

    KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, vol. 62, no. 1, 2019, pp. 30-41. ISSN 0010-4620.
    Detail

    MEDUNA Alexander, KRČMÁŘ Radim, KÖVÁRI Adam and BENÍČKOVÁ Zuzana. On Operations over Language Families. Computer Science Journal of Moldova, vol. 27, no. 3, 2019, pp. 255-282. ISSN 1561-4042.
    Detail

  • 2018

    KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, 2018, pp. 185-199. ISSN 0988-3754.
    Detail

    CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, vol. 2017, no. 26, 2018, pp. 61-68. ISSN 0860-0295.
    Detail

    KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, 2018, pp. 278-287. ISSN 1453-8245.
    Detail

    CHARVÁT Lucie and MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, 2018, pp. 232-237. ISSN 1453-8245.
    Detail

    ZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek and KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Brno University of Technology, 2018. ISBN 978-80-214-5679-2.
    Detail

    KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8.
    Detail

  • 2017

    MEDUNA Alexander and SOUKUP Ondřej. Jumping Scattered Context Grammars. Fundamenta Informaticae, vol. 152, no. 1, 2017, pp. 51-86. ISSN 0169-2968.
    Detail

    KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
    Detail

    MEDUNA Alexander and MARTIŠKO Jakub. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. In: 15th International Conference on Automata and Formal Languages. Debrecen: Open Publishing Association, 2017, pp. 170-179. ISSN 2075-2180.
    Detail

    MEDUNA Alexander and SOUKUP Ondřej. Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. ISBN 978-3-319-63099-1.
    Detail

    KŘIVKA Zbyněk. Introduction to Graph Algorithms for Shortest-Paths Problems. Sego-Bit, vol. 4, no. 5, 2017. ISSN 2386-866X.
    Detail

    CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. In: Proceedings 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2017). Electronic Proceedings in Theoretical Computer Science. Telč, 2017, pp. 1-1.
    Detail

    CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander and SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory, vol. 2, no. 4, 2017, pp. 147-163. ISSN 2379-9927.
    Detail

    MILKOVIČ Marek. Extraction of Information from .NET Executable Files. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2017. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2017, pp. 1-9. ISBN 978-80-87952-22-1.
    Detail

  • 2016

    KŘIVKA Zbyněk, MEDUNA Alexander and ZEMEK Petr. Phrase-Structure Grammars: Normal Forms and Reduction. The Computer Journal, vol. 59, no. 8, 2016, pp. 1180-1185. ISSN 0010-4620.
    Detail

    MEDUNA Alexander and SOUKUP Ondřej. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science, vol. 27, no. 3, 2016, pp. 359-373. ISSN 0129-0541.
    Detail

    KUČERA Jiří and MEDUNA Alexander. On State-Synchronized Automata Systems. Schedae Informaticae, vol. 2015, no. 24, 2016, pp. 221-237. ISSN 0860-0295.
    Detail

    KOCMAN Radim and MEDUNA Alexander. On Parallel Versions of Jumping Finite Automata. In: Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Advances in Intelligent Systems and Computing, vol. 511. Cham: Springer International Publishing, 2016, pp. 142-149. ISBN 978-3-319-46534-0.
    Detail

    KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2.
    Detail

  • 2015

    KŘIVKA Zbyněk and MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science, vol. 26, no. 6, 2015, pp. 709-731. ISSN 0129-0541.
    Detail

    MEDUNA Alexander, SOUKUP Ondřej and ZEMEK Petr. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics, vol. 27, no. 1, 2015, pp. 25-47. ISSN 1896-5334.
    Detail

    KUČERA Jiří, MEDUNA Alexander and SOUKUP Ondřej. Absolutely Unlimited Deep Pushdown Automata. In: Proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015). Telč: Ing. Vladislav Pokorný - Litera, 2015, pp. 36-44. ISBN 978-80-214-5254-1.
    Detail

  • 2014

    MEDUNA Alexander and ZEMEK Petr. Controlled Finite Automata. Acta Informatica, vol. 51, no. 5, 2014, pp. 327-337. ISSN 0001-5903.
    Detail

    KOUTNÝ Jiří and MEDUNA Alexander. On Normal Forms and Erasing Rules in Path-Controlled Grammars. Schedae Informaticae, vol. 2013, no. 22, 2014, pp. 9-18. ISSN 0860-0295.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš and ZEMEK Petr. Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems. International Journal of Computer Mathematics, vol. 91, no. 6, 2014, pp. 1156-1169. ISSN 0020-7160.
    Detail

    MEDUNA Alexander and ZEMEK Petr. One-Sided Random Context Grammars with a Limited Number of Right Random Context Rules. Theoretical Computer Science, vol. 516, no. 1, 2014, pp. 127-132. ISSN 0304-3975.
    Detail

    HORÁČEK Petr and MEDUNA Alexander. New Grammar Systems and Their Application Perspectives. Schedae Informaticae, vol. 2013, no. 22, 2014, pp. 47-68. ISSN 0860-0295.
    Detail

    KŘIVKA Zbyněk, MARTÍN-VIDE Carlos, MEDUNA Alexander and SUBRAMANIAN K.G. A Variant of Pure Two-dimensional Context-free Grammars generating Picture Languages. In: 16th International Workshop on Combinatorial Image Analysis. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 8466, vol. 2014. Brno: Springer Verlag, 2014, pp. 123-133. ISBN 978-3-319-07147-3. ISSN 0302-9743.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Regulated Grammars and Automata. New York: Springer US, 2014. ISBN 978-1-4939-0368-9.
    Detail

    MEDUNA Alexander and ZEMEK Petr. One-Sided Random Context Grammars: A Survey. Computing with New Resources. Berlin: Springer Verlag, 2014, pp. 338-351. ISBN 978-3-319-13349-2.
    Detail

    MEDUNA Alexander. Formal Languages and Computation. Taylor and Francis. New York: Taylor & Francis Informa plc, 2014. ISBN 978-1-4665-1345-7.
    Detail

    SOLÁR Peter. Deep Pushdown Transducers and State Translation Schemes. In: Proceedings of the 20th Conference STUDENT EEICT 2014 Volume 3. Brno: Brno University of Technology, 2014, pp. 264-268. ISBN 978-80-214-4924-4.
    Detail

    KUČERA Jiří. On Determinism in State-Synchronized Automata Systems. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 3. Brno: Brno University of Technology, 2014, pp. 259-263. ISBN 978-80-214-4924-4.
    Detail

    MEDUNA Alexander and SOUKUP Ondřej. Computational Completeness Resulting from Scattered Context Grammars Working Under Various Derivation Modes. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 89-100. ISBN 978-80-214-5022-6.
    Detail

  • 2013

    MEDUNA Alexander and ZEMEK Petr. On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars. Theoretical Computer Science, vol. 477, no. 1, 2013, pp. 67-75. ISSN 0304-3975.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Left Random Context ET0L Grammars. Fundamenta Informaticae, vol. 123, no. 3, 2013, pp. 289-304. ISSN 0169-2968.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics, vol. 90, no. 2, 2013, pp. 172-182. ISSN 0020-7160.
    Detail

    ZEMEK Petr. One-Sided Random Context Grammars: Established Results and Open Problems. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3. Brno: Brno University of Technology, 2013, pp. 222-226. ISBN 978-80-214-4695-3.
    Detail

    HORÁČEK Petr. Application Perspectives of Synchronous Matrix Grammars. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3. Brno: Brno University of Technology, 2013, pp. 202-206. ISBN 978-80-214-4695-3.
    Detail

    SOLÁR Peter. Deep Pushdown Transducers and Parallel Deep Pushdown Transducers. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3. Brno: Brno University of Technology, 2013, pp. 207-211. ISBN 978-80-214-4695-3.
    Detail

    KUČERA Jiří. On State-Synchronized Automata Systems. In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 2. Brno: Brno University of Technology, 2013, pp. 216-218. ISBN 978-80-214-4694-6.
    Detail

  • 2012

    KOUTNÝ Jiří and MEDUNA Alexander. Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika, vol. 48, no. 1, 2012, pp. 165-175. ISSN 0023-5954.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Nonterminal Complexity of One-Sided Random Context Grammars. Acta Informatica, vol. 49, no. 2, 2012, pp. 55-68. ISSN 0001-5903.
    Detail

    MEDUNA Alexander and ZEMEK Petr. One-Sided Forbidding Grammars and Selective Substitution Grammars. International Journal of Computer Mathematics, vol. 89, no. 5, 2012, pp. 586-596. ISSN 0020-7160.
    Detail

    MEDUNA Alexander and ZEMEK Petr. One-Sided Random Context Grammars with Leftmost Derivations. LNCS Festschrift Series: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Berlin-Heidelberg: Springer Verlag, 2012, pp. 160-173. ISBN 978-3-642-31643-2.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Jumping Finite Automata. International Journal of Foundations of Computer Science, vol. 23, no. 7, 2012, pp. 1555-1578. ISSN 0129-0541.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Controlled Pure Grammar Systems. Journal of Universal Computer Science, vol. 18, no. 14, 2012, pp. 2024-2040. ISSN 0948-6968.
    Detail

    KOUTNÝ Jiří. On Path-Controlled Grammars and Pseudoknots. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 391-395. ISBN 978-80-214-4462-1.
    Detail

    ZEMEK Petr. Normal Forms of One-Sided Random Context Grammars. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 430-434. ISBN 978-80-214-4462-1.
    Detail

    JIRÁK Ota. Memory Consumption of Classical and Lazy Scattered Context Grammar Parser. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 381-385. ISBN 978-80-214-4462-1.
    Detail

    HORÁČEK Petr. On Generative Power of Synchronous Grammars with Linked Rules. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 376-380. ISBN 978-80-214-4462-1.
    Detail

    SOLÁR Peter. Parallel deep pushdown automata. In: Proceedings of the 18th Conference STUDENT EEICT 2012. vol. 3. Brno: Brno University of Technology, 2012, pp. 410-414. ISBN 978-80-214-4462-1.
    Detail

    ČERMÁK Martin. Restrictions on Derivations in n-Generating Grammar Systems. In: Proceedings of the 18th Conference and Competition STUDENT EEICT 2012 Volume 5. Brno: Faculty of Information Technology BUT, 2012, pp. 371-375. ISBN 978-80-214-4462-1.
    Detail

    VRÁBEL Lukáš. A New Normal Form for Programmed Grammars with Appearance Checking. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Brno University of Technology, 2012, pp. 420-425. ISBN 978-80-214-4462-1.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš and ZEMEK Petr. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. In: DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science, vol. 7386. Braga: Springer Verlag, 2012, pp. 236-243. ISBN 978-3-642-31622-7. ISSN 0302-9743.
    Detail

    ČERMÁK Martin, HORÁČEK Petr and MEDUNA Alexander. Rule-restricted automaton-grammar transducers: Power and linguistic applications. Mathematics for Applications, vol. 1, no. 1, 2012, pp. 13-35. ISSN 1805-3610.
    Detail

    HORÁČEK Petr and MEDUNA Alexander. Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications. Theoretical and Applied Informatics, vol. 24, no. 3, 2012, pp. 175-190. ISSN 1896-5334.
    Detail

    ČERMÁK Martin, HORÁČEK Petr and MEDUNA Alexander. Rule-Restricted Automaton-Grammar Transducers: Power and Linguistic Applications. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, 2012. ISBN 978-80-87342-15-2.
    Detail

  • 2011

    MEDUNA Alexander and ZEMEK Petr. One-Sided Random Context Grammars. Acta Informatica, vol. 48, no. 3, 2011, pp. 149-163. ISSN 0001-5903.
    Detail

    MEDUNA Alexander, ČERMÁK Martin and MASOPUST Tomáš. Some Power-Decreasing Derivation Restrictions in Grammar Systems. Schedae Informaticae, vol. 2010, no. 19, 2011, pp. 23-34. ISSN 0860-0295.
    Detail

    JIRÁK Ota and KOLÁŘ Dušan. Comparison of Classical and Lazy Approach in SCG Compiler. In: NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. Halkidiki: American Institute of Physics, 2011, pp. 873-876. ISBN 978-0-7354-0956-9. ISSN 1551-7616.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel and HUSÁR Adam. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, vol. 1, no. 2, 2011, pp. 97-106. ISSN 2010-2283.
    Detail

    ČERMÁK Martin and MEDUNA Alexander. n-Accepting Restricted Pushdown Automata Systems. In: 13th International Conference on Automata and Formal Languages. Nyíregyháza: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2011, pp. 168-183. ISBN 978-615-5097-19-5.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš and ZEMEK Petr. On Nondeterminism in Programmed Grammars. In: 13th International Conference on Automata and Formal Languages. Debrecen: Computer and Automation Research Institute, Hungarian Academy of Sciences, 2011, pp. 316-328. ISBN 978-615-5097-19-5.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel and MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: The 5th International Conference on Information Security and Assurance. Communications in Computer and Information Science, Volume 200. Brno: Springer Verlag, 2011, pp. 72-86. ISBN 978-3-642-23140-7.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Workspace Theorems for Regular-Controlled Grammars. Theoretical Computer Science, vol. 412, no. 35, 2011, pp. 4604-4612. ISSN 0304-3975.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš and ZEMEK Petr. LL Leftmost k-Linear Scattered Context Grammars. In: AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011, pp. 833-836. ISBN 978-0-7354-0956-9. ISSN 1551-7616.
    Detail

    KOUTNÝ Jiří. Syntax Analysis of Tree-Controlled Languages. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Brno University of Technology, 2011, p. 5. ISBN 978-80-214-4273-3.
    Detail

    ZEMEK Petr. On the Nonterminal Complexity of Left Random Context E0L Grammars. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 510-514. ISBN 978-80-214-4273-3.
    Detail

    VRÁBEL Lukáš. A New Normal Form for Programmed Grammars. In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, p. 5. ISBN 978-80-214-4273-3.
    Detail

    JIRÁK Ota. Grammar-Based Malicious Code Detection Concept. In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, p. 5. ISBN 978-80-214-4273-3.
    Detail

    ČERMÁK Martin. Basic Properties of n-Languages. In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 460-464. ISBN 978-80-214-4273-3.
    Detail

    HORÁČEK Petr. Parse Driven Translation. In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 480-484. ISBN 978-80-214-4273-3.
    Detail

    KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan and MEDUNA Alexander. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, vol. 2, no. 4, 2011, pp. 1-6. ISSN 0976-5697.
    Detail

    ČERMÁK Martin, KOUTNÝ Jiří and MEDUNA Alexander. Parsing Based on n-Path Tree-Controlled Grammars. Theoretical and Applied Informatics, vol. 23, no. 3, 2011, pp. 213-228. ISSN 1896-5334.
    Detail

    KOUTNÝ Jiří, KŘIVKA Zbyněk and MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011, pp. 61-69. ISBN 978-80-214-4305-1.
    Detail

    KŘIVKA Zbyněk and MASOPUST Tomáš. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, vol. 20, no. 2, 2011, pp. 269-283. ISSN 0324-721X.
    Detail

    ČERMÁK Martin and MEDUNA Alexander. n-Accepting Restricted Pushdown Automata Systems. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011. ISBN 978-80-214-4305-1.
    Detail

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel and MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011, pp. 114-114. ISBN 978-80-214-4305-1.
    Detail

    ŽIDEK Stanislav. Scattered Context Grammars Generating Derivation Trees. In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Faculty of Information Technology BUT, 2011, pp. 515-519. ISBN 978-80-214-4273-3.
    Detail

    HORÁČEK Petr and MEDUNA Alexander. Regulated Rewriting in Natural Language Translation. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011, pp. 35-42. ISBN 978-80-214-4305-1.
    Detail

    MEDUNA Alexander and ŽIDEK Stanislav. Scattered Context Grammars Generating Sentences Followed by Derivation Trees. Theoretical and Applied Informatics, vol. 23, no. 2, 2011, pp. 97-106. ISSN 1896-5334.
    Detail

  • 2010

    MEDUNA Alexander and TECHET Jiří. Scattered Context Grammars and their Applications. WIT Press, UK. WIT Press, UK: WIT Press, 2010. ISBN 978-1-84564-426-0.
    Detail

    JIRÁK Ota and KŘIVKA Zbyněk. Hardware Design Tool based on Eclipse Modeling Framework. In: Proceedings of the 44th Spring International Conference Modeling and Simulation Systems. Ostrava, 2010, pp. 138-144. ISBN 978-80-86840-51-2.
    Detail

    KOUTNÝ Jiří. On n-Path-Controlled Grammars. In: Proceedings of the 16th Conference STUDENT EEICT 2010 Volume 5. Brno: Brno University of Technology, 2010, pp. 176-180. ISBN 978-80-214-4080-7.
    Detail

    JIRÁK Ota. Table-Driven Parsing of Scattered Context Grammar. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 171-175. ISBN 978-80-214-4080-7.
    Detail

    ČERMÁK Martin. Multilanguages and Multiaccepting Automata System. In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 146-150. ISBN 978-80-214-4080-7.
    Detail

    KŘOUSTEK Jakub and ŽIDEK Stanislav. Generating Proper VLIW Assembler Code Using Scattered Context Grammars. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 181-185. ISBN 978-80-214-4080-7.
    Detail

    GOLDEFUS Filip, MASOPUST Tomáš and MEDUNA Alexander. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, vol. 411, no. 40, 2010, pp. 3661-3667. ISSN 0304-3975.
    Detail

    GOLDEFUS Filip. On Relations on Productions for Cooperative Distributed Grammar Systems. In: Proceedings of the 16th Conference Student EEICT 2010. Volume 5. Brno: Brno University of Technology, 2010, pp. 156-160. ISBN 978-80-214-4080-7.
    Detail

    KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan and MEDUNA Alexander. Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints. In: Proceedings of the 12th Biennial Baltic Electronics Conference. Tallinn: Institute of Electrical and Electronics Engineers, 2010, pp. 165-168. ISBN 978-1-4244-7357-1.
    Detail

    HORÁČEK Petr. Formal Models in Processing of Japanese Language. In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010 Volume 5. Brno: Faculty of Information Technology BUT, 2010, pp. 161-165. ISBN 978-80-214-4080-7.
    Detail

    ZEMEK Petr. k-Limited Erasing Performed by Regular-Controlled Context-Free Grammars. In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010. Volume 3. Brno: Faculty of Information Technology BUT, 2010, pp. 42-44. ISBN 978-80-214-4078-4.
    Detail

    KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES. In: Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010, pp. 23-26. ISBN 978-90-77381-57-1.
    Detail

    PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš, KOLÁŘ Dušan, MASAŘÍK Karel and HUSÁR Adam. Design and Debugging of Parallel Architectures Using the ISAC Language. In: Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems. Singapore: Global Science & Technology Forum, 2010, pp. 213-221. ISBN 978-981-08-7656-2.
    Detail

    LUKÁŠ Roman and MEDUNA Alexander. Multigenerative Grammar Systems and Matrix Grammars. Kybernetika, vol. 46, no. 1, 2010, pp. 68-82. ISSN 0023-5954.
    Detail

    MEDUNA Alexander and ZEMEK Petr. Regulated Grammars and Their Transformations. Brno: Brno University of Technology, 2010. ISBN 978-80-214-4203-0.
    Detail

  • 2009

    MASOPUST Tomáš. On the Descriptional Complexity of Scattered Context Grammars. Theoretical Computer Science, vol. 410, no. 1, 2009, pp. 108-112. ISSN 0304-3975.
    Detail

    MASOPUST Tomáš. On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components. International Journal of Foundations of Computer Science, vol. 20, no. 2, 2009, pp. 331-340. ISSN 0129-0541.
    Detail

    MEDUNA Alexander and TECHET Jiří. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, vol. 410, no. 21, 2009, pp. 1961-1969. ISSN 0304-3975.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. On context-free rewriting with a simple restriction and its computational completeness. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 43, no. 2, 2009, pp. 365-378. ISSN 0988-3754.
    Detail

    MASOPUST Tomáš. 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, vol. 2009. Springer-Verlag Berlin Heidelberg: Springer Verlag, 2009, pp. 554-565. ISBN 978-3-642-00981-5. ISSN 0302-9743.
    Detail

    CSUHAJ-VARJÚ Erzsébet, MASOPUST Tomáš and VASZIL György. Cooperating Distributed Grammar Systems with Permitting Grammars as Components. Romanian Journal of Information Science and Technology (ROMJIST), vol. 12, no. 2, 2009, pp. 175-189. ISSN 1453-8245.
    Detail

    JIRÁK Ota. Delayed execution of scattered context grammar rules. In: Proceedings of the 15th Conference and Competition STUDENT EEICT 2009 Volume 4. Brno: Faculty of Information Technology BUT, 2009, pp. 405-409. ISBN 978-80-214-3870-5.
    Detail

    KOUTNÝ Jiří. Regular Paths in Derivation Trees of Context-free Grammars. In: Proceedings of the 15th Conference STUDENT EEICT 2009 Volume 4. Brno: Brno University of Technology, 2009, pp. 410-414. ISBN 978-80-214-3870-5.
    Detail

    ČERMÁK Martin. Power Decreasing Derivation Restriction in Grammar Systems. In: Proceedings of the 15th Conference and Competition STUDENT EEICT 2009 Volume 4. Brno: Faculty of Information Technology BUT, 2009, pp. 385-389. ISBN 978-80-214-3870-5.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement. In: Proceedings of 11th International Workshop on Descriptional Complexity of Formal Systems. Magdeburg: Otto-von-Guericke-University of Magdeburg, 2009, pp. 235-245. ISBN 978-3-940961-31-0.
    Detail

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

    KŘIVKA Zbyněk and MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, pp. 129-135.
    Detail

    GOLDEFUS Filip. Cooperating Distributed Grammar Systems and Graph Controlled Grammar Systems with Infinite Number of Components. In: Proceedings of the 15th Conference and Competition STUDENT EEICT 2009 Volume 4. 4. Brno: Department of Information Systems FIT BUT, 2009, pp. 400-4004. ISBN 978-80-214-3870-5.
    Detail

    JIRÁK Ota and KŘIVKA Zbyněk. Simulation-based Debugging of 8-bit Softcore Processor. In: Proceedings of XXXIth International Autumn Colloquium Advanced Simulation of Systems. Ostrava, 2009, pp. 68-73. ISBN 978-80-86840-47-5.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, vol. 19, no. 2, 2009, pp. 537-552. ISSN 0324-721X.
    Detail

    KOLÁŘ Dušan. Exploitation of Scattered Context Grammars to Model Constraints between Components. In: Proceedings of 31st Autumn International Colloqium ASIS 2009, Advanced Simulation of Systems. Ostrava, 2009, pp. 13-18. ISBN 978-80-86840-47-5.
    Detail

    KVĚTOŇOVÁ Šárka and KOLÁŘ Dušan. Optimization of Car Repair Processes by Scattered Context Grammars Application. In: The 2009 European Simulation and Modelling Conference. Ghent: EUROSIS, 2009, pp. 146-149. ISBN 978-90-77381-52-6.
    Detail

    JIRÁK Ota and KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009, pp. 118-125. ISBN 978-80-87342-04-6.
    Detail

    RYCHNOVSKÝ Lukáš. Regulated Pushdown Automata Revisited. In: Proceedings of the 15th Conference STUDENT EEICT 2009. Brno: Faculty of Information Technology BUT, 2009, pp. 440-444. ISBN 978-80-214-3870-5.
    Detail

    JIRÁK Ota and KOLÁŘ Dušan. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, p. 10. ISBN 978-3-939897-15-6. ISSN 2190-6807.
    Detail

  • 2008

    MEDUNA Alexander. Elements of Compiler Design. Taylor and Francis. New York: Taylor & Francis Informa plc, 2008. ISBN 978-1-4200-6323-3.
    Detail

    MASOPUST Tomáš, MEDUNA Alexander and ŠIMÁČEK Jiří. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, vol. 18, no. 4, 2008, pp. 783-793. ISSN 0324-721X.
    Detail

    MASOPUST Tomáš. Descriptional Complexity of Multi-Parallel Grammars. Information Processing Letters, vol. 108, no. 2, 2008, pp. 68-70. ISSN 0020-0190.
    Detail

    MASOPUST Tomáš and TECHET Jiří. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. Discrete Mathematics and Theoretical Computer Science, vol. 10, no. 2, 2008, pp. 39-46. ISSN 1365-8050.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, vol. 87, no. 3, 2008, pp. 407-415. ISSN 0169-2968.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops. In: 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, pp. 325-336. ISBN 978-963-311-367-7.
    Detail

    JIRÁK Ota and KOLÁŘ Dušan. Control Flow Graph Retrieval and Analysis via Simulation. In: MOSIS '08. Ostrava, 2008, pp. 67-74. ISBN 978-80-86840-40-6.
    Detail

    KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. Project Plan Formalization and Modeling via Timed CPN. In: Proceedings of the 6th Industrial Simulation Conference - ISC´08. Ostend: EUROSIS, 2008, pp. 34-39. ISBN 978-90-77381-40-3.
    Detail

    KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. Seamless Simplification of Timed-CPN in Project Plan Formalization. In: 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008, pp. 29-39. ISBN 978-83-7493-421-3.
    Detail

    KOUTNÝ Jiří. L-systémy a jejich aplikace. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Brno University of Technology, 2008, pp. 170-172. ISBN 978-80-214-3615-2.
    Detail

    KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. Timed Coloured Petri Nets Use in Project Management Formalization Domain. In: Proceedings of 23th European Simulation and Modelling Conference ESM'2008. France: EUROSIS, 2008, pp. 473-478. ISBN 978-90-77381-44-1.
    Detail

    KOLÁŘ Dušan. Scattered Context Grammars Parsers. In: Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008, pp. 491-500. ISBN 978-83-7493-400-8.
    Detail

    ČERMÁK Martin. Systems of Formal Models and Their Application. In: Proceedings of the 14th Conference Student EEICT 2008. Volume 2. Brno: Faculty of Electrical Engineering and Communication BUT, 2008, pp. 164-166. ISBN 978-80-214-3615-2.
    Detail

    KŘIVKA Zbyněk. Rewriting Systems with Restricted Configurations. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3722-7.
    Detail

    MEDUNA Alexander and TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, vol. 45, no. 7, 2008, pp. 593-608. ISSN 0001-5903.
    Detail

    KOPEČEK Tomáš and MEDUNA Alexander. Conditional Grammars and Their Reduction. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3750-0.
    Detail

    RYCHNOVSKÝ Lukáš. Start String in Formal Language Theory. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Brno: Faculty of Information Technology BUT, 2008, pp. 422-426. ISBN 978-80-214-3617-6.
    Detail

    ZEMEK Petr. An Infinite Hierarchy of Language Families Resulting from n-limited Programmed Grammars. In: Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2008, pp. 164-166. ISBN 978-80-214-3614-5.
    Detail

    ZEMEK Petr. Canonical Derivations in Programmed Grammars. Brno: Faculty of Information Technology BUT, 2008.
    Detail

  • 2007

    MEDUNA Alexander and MASOPUST Tomáš. Self-Regulating Finite Automata. Acta Cybernetica, vol. 18, no. 1, 2007, pp. 135-153. ISSN 0324-721X.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. 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, pp. 403-411.
    Detail

    KOPEČEK Tomáš, MEDUNA Alexander and ŠVEC Martin. Similar Derivations of Equivalent Grammars. International Journal of Computer Mathematics, vol. 2007, no. 84, pp. 1555-1566. ISSN 0020-7160.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. Descriptional complexity of semi-conditional grammars. Information Processing Letters, vol. 104, no. 1, 2007, pp. 29-31. ISSN 0020-0190.
    Detail

    KŘIVKA Zbyněk, LORENC Luboš and SCHÖNECKER Rudolf. A Note on the Parsing of Complete VHDL-2002. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 245-248. ISBN 978-807248-006-7.
    Detail

    KŘIVKA Zbyněk and MEDUNA Alexander. Generalized #-Rewriting Systems of Finite Index. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 197-204. ISBN 978-807248-006-7.
    Detail

    MASOPUST Tomáš. 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, pp. 213-218. ISBN 978-80-7248-0067.
    Detail

    TECHET Jiří. k-Limited Erasing Performed by Scattered Context Grammars. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Silesian University, 2007, pp. 227-234. ISBN 978-80-7248006-7.
    Detail

    KŘIVKA Zbyněk. Deterministic #-Rewriting Systems. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 386-390. ISBN 978-80214-3410-3.
    Detail

    TECHET Jiří. k-Limited Erasing Performed by Scattered Context Grammars. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 419-423. ISBN 978-80214-3410-3.
    Detail

    MASOPUST Tomáš. 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, pp. 401-404. ISBN 978-80214-3410-3.
    Detail

    MASOPUST Tomáš and MEDUNA Alexander. 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, pp. 170-177. ISBN 978-80-7097-688-3.
    Detail

    MEDUNA Alexander and TECHET Jiří. Maximal and Minimal Scattered Context Rewriting. In: FCT 2007 Proceedings. Budapest: Springer Verlag, 2007, pp. 412-423. ISSN 0302-9743.
    Detail

    MEDUNA Alexander and TECHET Jiří. Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras: University of Pavol Jozef Šafárik, 2007, pp. 178-185. ISBN 978-80-7097-688-3.
    Detail

    MEDUNA Alexander and TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. Theoretical Computer Science, vol. 2007, no. 389, pp. 73-81. ISSN 0304-3975.
    Detail

    LUKÁŠ Roman and MEDUNA Alexander. General Multigenerative Grammar Systems. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Silesian University, 2007, pp. 205-212. ISBN 978-80-7248006-7.
    Detail

    TECHET Jiří. A Note on Scattered Context Grammars with Non-Context-Free Components. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 225-232. ISBN 978-80-7355-077-6.
    Detail

    MASOPUST Tomáš. 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, pp. 121-126. ISBN 978-80-7355-077-6.
    Detail

    KŘIVKA Zbyněk, MEDUNA Alexander and SMRČEK Jaromír. n-Right-Linear #-Rewriting Systems. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 105-112. ISBN 978-80-7355-077-6.
    Detail

    MEDUNA Alexander, LUKÁŠ Roman and FIALA Jiří. Homogeneous Multicontinuous Grammars and Their Reduction. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 90-96. ISBN 978-80-7355-077-6.
    Detail

    RYCHNOVSKÝ Lukáš. Type Checking by Context-Sensitive Languages. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 405-409. ISBN 978-80-214-3410-3.
    Detail

    RYCHNOVSKÝ Lukáš. Parsing of Context-Sensitive Languages. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 219-226. ISBN 978-80-7248-006-7.
    Detail

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

    JIRÁK Ota. Control Flow Graph. In: Proceedings of the 13th Conference STUDENT EEICT 2005 Volume 2. Brno, 2007, pp. 204-206. ISBN 978-80-214-3408-0.
    Detail

  • 2006

    KŘIVKA Zbyněk and MEDUNA Alexander. General Top-Down Parsers Based On Deep Pushdown Expansions. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 11-18. ISBN 80-86840-20-4.
    Detail

    TECHET Jiří. Bidirectional Contextual Grammars. In: Proceedings of 1st International Workshop WFM '06. Přerov, 2006, pp. 61-68. ISBN 80-86840-20-4.
    Detail

    KŘIVKA Zbyněk and SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 53-60. ISBN 80-86840-20-4.
    Detail

    MASOPUST Tomáš. Closure Properties of Linear Languages under Operations of Linear Deletion. In: Proceedings of 1st International Workshop WFM'06. Přerov, 2006, pp. 45-52. ISBN 80-86840-20-4.
    Detail

    TECHET Jiří. Bidirectional Contextual Grammars. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006, pp. 405-409. ISBN 80-214-3163-6.
    Detail

    MASOPUST Tomáš. Closure Properties of Linear Languages under Operations of Linear Deletion. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006, pp. 390-394. ISBN 80-214-3163-6.
    Detail

    KŘIVKA Zbyněk, LUKÁŠ Roman and MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Agricultural Faculty, University of South Bohemia, 2006, pp. 54-56. ISBN 80-85645-56-4.
    Detail

    KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, vol. 17, no. 5, 2006, pp. 1223-1229. ISSN 0129-0541.
    Detail

    BLIŽŇÁK Michal and KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. In: Conference Proceedings of MITIP. Budapest, 2006, pp. 487-492. ISBN 963-86586-5-7.
    Detail

    KŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata and Infinite Hierarchy. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 214-221. ISBN 80-214-3287-X.
    Detail

    MASOPUST Tomáš. 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, pp. 105-112. ISBN 80-214-3287-X.
    Detail

    BLIŽŇÁK Michal and KOLÁŘ Dušan. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In: 17th International DAAAM Symposium 2006. Vienna, 2006, pp. 45-46. ISBN 3-901509-57-7.
    Detail

    ČERMÁK Martin. Syntax Analysis Based on Commpination of Several Methods. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 200-202. ISBN 80-214-3160-1.
    Detail

  • 2005

    MEDUNA Alexander. Automata and Languages: Theory and Applications. London: Springer Verlag, 2005. ISBN 1-85233-074-0.
    Detail

    MEDUNA Alexander and ŠVEC Martin. Grammars with Context Conditions and Their Applications. Wiley, New York: WILEY, 2005. ISBN 0-471-71831-9.
    Detail

    MEDUNA Alexander and TECHET Jiří. Generation of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars. Acta Cybernetica, vol. 17, no. 1, 2005, pp. 11-20. ISSN 0324-721X.
    Detail

    LORENC Luboš and MEDUNA Alexander. A Rigorous Approach to Self-Reproducing Pushdown Translation. In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 51-58. ISBN 80-86840-09-3.
    Detail

    BIDLO Radek. Context-Free Grammars over Free Groups. In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava, 2005, pp. 95-100. ISBN 80-86840-09-3.
    Detail

    KŘIVKA Zbyněk and MEDUNA Alexander. Random Context and Programmed Grammars of Finite Index Have The Same Generative Power. In: Proceedings of 8th International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 67-72. ISBN 80-86840-09-3.
    Detail

    BLATNÝ Petr. E0L Grammars on Free Groups. In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling. Ostrava, 2005, pp. 81-86. ISBN 80-86840-09-3.
    Detail

    KOPEČEK Tomáš, MEDUNA Alexander and ŠVEC Martin. Simulation of Scattered Context Grammars and Phrase-Structured Grammars by Symbiotic E0L Grammars. In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. Brno, 2005, pp. 59-66. ISBN 80-86840-09-3.
    Detail

    LUKÁŠ Roman, HRUŠKA Tomáš, KOLÁŘ Dušan and MASAŘÍK Karel. Two-Way Deterministic Translation and Its Usage in Practice. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava, 2005, pp. 101-107. ISBN 80-86840-09-3.
    Detail

    LORENC Luboš. Self-Reproducing Pushdown Translation. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Publishing house of Brno University of Technology VUTIUM, 2005, pp. 561-565. ISBN 80-214-2890-2.
    Detail

    BIDLO Radek and BLATNÝ Petr. How to Generate Recursively Enumerable Languages Using Only Context-free Productions and Eight Nonterminals. In: Proceedings of 11th Conference and Competition Student EEICT 2005, Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 536-541. ISBN 80-214-2890-2.
    Detail

    KOLÁŘ Dušan and MEDUNA Alexander. Regulated Automata: From Theory towards Applications. In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05. 1st edition. Ostrava, 2005, pp. 33-48. ISBN 80-86840-09-3.
    Detail

    KOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Faculty of Information Technology BUT, 2005.
    Detail

    MEDUNA Alexander and LUKÁŠ Roman. A Note on Iteratively Extendable Strings. Rostocker mathematisches kolloquium, vol. 2005, no. 59, pp. 71-73. ISSN 0138-3248.
    Detail

    LORENC Luboš and MEDUNA Alexander. Self-Reproducing Pushdown Transducers. Kybernetika, vol. 2005, no. 4, pp. 533-539. ISSN 0023-5954.
    Detail

    KŘIVKA Zbyněk. Recursive Erasing in Programmed Grammars. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005, pp. 139-144.
    Detail

    BIDLO Radek, BLATNÝ Petr and MEDUNA Alexander. Formal Models over Free Groups. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2005, pp. 193-199.
    Detail

    TECHET Jiří. Scattered Context Generators of Sentences with Their Parses. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005, pp. 68-77.
    Detail

    TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. In: HONEYWELL EMI 2005 Proceedings of the International Interdisciplinary Student Competition and Conference. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 80-84. ISBN 80-214-2942-9.
    Detail

    TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005 Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 280-282. ISBN 80-214-2888-0.
    Detail

    BURGER Tomáš and HRUŠKA Tomáš. Formalism for the Systems With Roles. In: papers from the AAAI Fall Symposium. Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems. Menlo Park, California: American Association for Artificial Intelligence, 2005, pp. 26-30. ISBN 978-1-57735-254-9.
    Detail

  • 2004

    BLATNÝ Petr. Syntaktická analýza založená na gramatikách s rozptýleným kontextem. In: Proceedings of 10th Conference and Competition Student EEICT 2004, Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 191-193. ISBN 80-214-2634-9.
    Detail

    BLATNÝ Petr. Syntaktická analýza založená na gramatikách s rozptýleným kontextem. In: SVOČ 2004 - Soutěž vysokoškoláků ve vědecké odborné činnosti v matematice. Brno: Faculty of Mechanical Engineering BUT, 2004, pp. 32-32.
    Detail

    TECHET Jiří. Generation of Sentences with Their Parses by Scattered Context Grammars. In: Proceedings of the International Conference and Competition of Students' Scientific Works STUDENT EEICT 2004. Bratislava: Slovak University of Technology in Bratislava, 2004, pp. 113-119. ISBN 80-227-2057-7.
    Detail

    TECHET Jiří. Generation of Sentences with Their Parses by Scattered Context Grammars. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004 Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 227-229. ISBN 80-214-2634-9.
    Detail

  • 2003

    BLATNÝ Petr. Syntaktická analýza založená na 2-limitových gramatikách s rozptýleným kontextem. In: Proceedings of 9th Conference and Competition Student EEICT 2003, Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 167-169. ISBN 80-214-2377-3.
    Detail

Back to top