Fakulta informačních technologií VUT v Brně

Výzkumná skupina formálních modelů

Publikace

  • 2019

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

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

  • 2018

    KŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, roč. 62, č. 1, s. 30-41. ISSN 0010-4620.
    Detail

    CHARVÁT Lucie a MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, roč. 2017, č. 26, s. 61-68. ISSN 0860-0295.
    Detail

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

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

    ZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek a KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Vysoké učení technické v Brně, 2018. ISBN 978-80-214-5679-2.
    Detail

    KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk a 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: Osterreichische Computer Gesellschaft, 2018, s. 117-132. ISBN 978-3-903035-21-8.
    Detail

  • 2017

    MEDUNA Alexander a SOUKUP Ondřej. Jumping Scattered Context Grammars. Fundamenta Informaticae, roč. 152, č. 1, s. 51-86. ISSN 0169-2968.
    Detail

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

    MEDUNA Alexander a 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, s. 170-179. ISSN 2075-2180.
    Detail

    MEDUNA Alexander a 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, roč. 4, č. 5. ISSN 2386-866X.
    Detail

    CHARVÁT Lucie a 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, s. 1-1.
    Detail

    CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander a SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory, roč. 2, č. 4, s. 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, s. 1-9. ISBN 978-80-87952-22-1.
    Detail

  • 2016

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

    MEDUNA Alexander a SOUKUP Ondřej. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science, roč. 27, č. 3, s. 359-373. ISSN 0129-0541.
    Detail

    KUČERA Jiří a MEDUNA Alexander. On State-Synchronized Automata Systems. Schedae Informaticae, roč. 2015, č. 24, s. 221-237. ISSN 0860-0295.
    Detail

    KOCMAN Radim a 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 511. Cham: Springer International Publishing, 2016, s. 142-149. ISBN 978-3-319-46534-0.
    Detail

    KOCMAN Radim, KŘIVKA Zbyněk a 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: Osterreichische Computer Gesellschaft, 2016, s. 195-210. ISBN 978-3-903035-10-2.
    Detail

  • 2015

    KŘIVKA Zbyněk a MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science, roč. 26, č. 6, s. 709-731. ISSN 0129-0541.
    Detail

    MEDUNA Alexander, SOUKUP Ondřej a ZEMEK Petr. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics, roč. 27, č. 1, s. 25-47. ISSN 1896-5334.
    Detail

    KUČERA Jiří, MEDUNA Alexander a 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, s. 36-44. ISBN 978-80-214-5254-1.
    Detail

  • 2014

    MEDUNA Alexander a ZEMEK Petr. Controlled Finite Automata. Acta Informatica, roč. 51, č. 5, s. 327-337. ISSN 0001-5903.
    Detail

    KOUTNÝ Jiří a MEDUNA Alexander. On Normal Forms and Erasing Rules in Path-Controlled Grammars. Schedae Informaticae, roč. 2013, č. 22, s. 9-18. ISSN 0860-0295.
    Detail

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

    MEDUNA Alexander a ZEMEK Petr. One-Sided Random Context Grammars with a Limited Number of Right Random Context Rules. Theoretical Computer Science, roč. 516, č. 1, s. 127-132. ISSN 0304-3975.
    Detail

    HORÁČEK Petr a MEDUNA Alexander. New Grammar Systems and Their Application Perspectives. Schedae Informaticae, roč. 2013, č. 22, s. 47-68. ISSN 0860-0295.
    Detail

    KŘIVKA Zbyněk, MARTÍN-VIDE Carlos, MEDUNA Alexander a 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, roč. 2014. Brno: Springer Verlag, 2014, s. 123-133. ISBN 978-3-319-07147-3. ISSN 0302-9743.
    Detail

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

    MEDUNA Alexander a ZEMEK Petr. One-Sided Random Context Grammars: A Survey. Computing with New Resources. Berlin: Springer Verlag, 2014, s. 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: Vysoké učení technické v Brně, 2014, s. 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: Vysoké učení technické v Brně, 2014, s. 259-263. ISBN 978-80-214-4924-4.
    Detail

    MEDUNA Alexander a 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, s. 89-100. ISBN 978-80-214-5022-6.
    Detail

  • 2013

    MEDUNA Alexander a ZEMEK Petr. On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars. Theoretical Computer Science, roč. 477, č. 1, s. 67-75. ISSN 0304-3975.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Left Random Context ET0L Grammars. Fundamenta Informaticae, roč. 123, č. 3, s. 289-304. ISSN 0169-2968.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics, roč. 90, č. 2, s. 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: Vysoké učení technické v Brně, 2013, s. 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: Vysoké učení technické v Brně, 2013, s. 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: Vysoké učení technické v Brně, 2013, s. 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: Vysoké učení technické v Brně, 2013, s. 216-218. ISBN 978-80-214-4694-6.
    Detail

  • 2012

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

    KOUTNÝ Jiří a MEDUNA Alexander. Tree-Controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika, roč. 48, č. 1, s. 165-175. ISSN 0023-5954.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Nonterminal Complexity of One-Sided Random Context Grammars. Acta Informatica, roč. 49, č. 2, s. 55-68. ISSN 0001-5903.
    Detail

    MEDUNA Alexander a ZEMEK Petr. One-Sided Forbidding Grammars and Selective Substitution Grammars. International Journal of Computer Mathematics, roč. 89, č. 5, s. 586-596. ISSN 0020-7160.
    Detail

    MEDUNA Alexander a 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, s. 160-173. ISBN 978-3-642-31643-2.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Jumping Finite Automata. International Journal of Foundations of Computer Science, roč. 23, č. 7, s. 1555-1578. ISSN 0129-0541.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Controlled Pure Grammar Systems. Journal of Universal Computer Science, roč. 18, č. 14, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 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: Fakulta informačních technologií VUT v Brně, 2012, s. 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: Vysoké učení technické v Brně, 2012, s. 420-425. ISBN 978-80-214-4462-1.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš a 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, roč. 7386. Braga: Springer Verlag, 2012, s. 236-243. ISBN 978-3-642-31622-7. ISSN 0302-9743.
    Detail

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

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

    ČERMÁK Martin, HORÁČEK Petr a 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 a ZEMEK Petr. One-Sided Random Context Grammars. Acta Informatica, roč. 48, č. 3, s. 149-163. ISSN 0001-5903.
    Detail

    MEDUNA Alexander, ČERMÁK Martin a MASOPUST Tomáš. Some Power-Decreasing Derivation Restrictions in Grammar Systems. Schedae Informaticae, roč. 2010, č. 19, s. 23-34. ISSN 0860-0295.
    Detail

    JIRÁK Ota a 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, s. 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 a HUSÁR Adam. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, roč. 1, č. 2, s. 97-106. ISSN 2010-2283.
    Detail

    ČERMÁK Martin a 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, s. 168-183. ISBN 978-615-5097-19-5.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš a 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, s. 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 a 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, s. 72-86. ISBN 978-3-642-23140-7.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Workspace Theorems for Regular-Controlled Grammars. Theoretical Computer Science, roč. 412, č. 35, s. 4604-4612. ISSN 0304-3975.
    Detail

    MEDUNA Alexander, VRÁBEL Lukáš a ZEMEK Petr. LL Leftmost k-Linear Scattered Context Grammars. In: AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011, s. 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: Vysoké učení technické v Brně, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 480-484. ISBN 978-80-214-4273-3.
    Detail

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

    KOUTNÝ Jiří, KŘIVKA Zbyněk a MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Vysoké učení technické v Brně, 2011, s. 61-69. ISBN 978-80-214-4305-1.
    Detail

    KŘIVKA Zbyněk a MASOPUST Tomáš. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, roč. 20, č. 2, s. 269-283. ISSN 0324-721X.
    Detail

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

    ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a 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: Masarykova universita, 2011, s. 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: Fakulta informačních technologií VUT v Brně, 2011, s. 515-519. ISBN 978-80-214-4273-3.
    Detail

    HORÁČEK Petr a MEDUNA Alexander. Regulated Rewriting in Natural Language Translation. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Vysoké učení technické v Brně, 2011, s. 35-42. ISBN 978-80-214-4305-1.
    Detail

    MEDUNA Alexander a ŽIDEK Stanislav. Scattered Context Grammars Generating Sentences Followed by Derivation Trees. Theoretical and Applied Informatics, roč. 2011, č. 2, s. 97-106. ISSN 1896-5334.
    Detail

  • 2010

    MEDUNA Alexander a 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 a 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: MARQ, 2010, s. 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: Vysoké učení technické v Brně, 2010, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 146-150. ISBN 978-80-214-4080-7.
    Detail

    KŘOUSTEK Jakub a ŽIDEK Stanislav. Generating Proper VLIW Assembler Code Using Scattered Context Grammars. In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5. Brno: Fakulta informačních technologií VUT v Brně, 2010, s. 181-185. ISBN 978-80-214-4080-7.
    Detail

    GOLDEFUS Filip, MASOPUST Tomáš a MEDUNA Alexander. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, roč. 40, č. 411, s. 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: Vysoké učení technické v Brně, 2010, s. 156-160. ISBN 978-80-214-4080-7.
    Detail

    KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan a 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, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 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: Fakulta informačních technologií VUT v Brně, 2010, s. 42-44. ISBN 978-80-214-4078-4.
    Detail

    KOLÁŘ Dušan a 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, s. 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 a 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, s. 213-221. ISBN 978-981-08-7656-2.
    Detail

    LUKÁŠ Roman a MEDUNA Alexander. Multigenerative Grammar Systems and Matrix Grammars. Kybernetika, roč. 46, č. 1, s. 68-82. ISSN 0023-5954.
    Detail

    MEDUNA Alexander a ZEMEK Petr. Regulated Grammars and Their Transformations. Brno: Vysoké učení technické v Brně, 2010. ISBN 978-80-214-4203-0.
    Detail

  • 2009

    MASOPUST Tomáš. On the Descriptional Complexity of Scattered Context Grammars. Theoretical Computer Science, roč. 410, č. 1, s. 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, roč. 20, č. 2, s. 331-340. ISSN 0129-0541.
    Detail

    MEDUNA Alexander a TECHET Jiří. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, roč. 410, č. 21, s. 1961-1969. ISSN 0304-3975.
    Detail

    MASOPUST Tomáš a MEDUNA Alexander. On context-free rewriting with a simple restriction and its computational completeness. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, roč. 43, č. 2, s. 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, roč. 2009. Springer-Verlag Berlin Heidelberg: Springer Verlag, 2009, s. 554-565. ISBN 978-3-642-00981-5. ISSN 0302-9743.
    Detail

    CSUHAJ-VARJÚ Erzsébet, MASOPUST Tomáš a VASZIL György. Cooperating Distributed Grammar Systems with Permitting Grammars as Components. Romanian Journal of Information Science and Technology (ROMJIST), roč. 12, č. 2, s. 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: Fakulta informačních technologií VUT v Brně, 2009, s. 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: Vysoké učení technické v Brně, 2009, s. 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: Fakulta informačních technologií VUT v Brně, 2009, s. 385-389. ISBN 978-80-214-3870-5.
    Detail

    MASOPUST Tomáš a 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-Universität Magdeburg, 2009, s. 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: Osterreichische Computer Gesellschaft, 2009, s. 181-194. ISBN 978-3-85403-256-4.
    Detail

    KŘIVKA Zbyněk a MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, s. 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: Ústav informačních systémů FIT VUT v Brně, 2009, s. 400-4004. ISBN 978-80-214-3870-5.
    Detail

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

    MASOPUST Tomáš a MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, roč. 19, č. 2, s. 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: MARQ, 2009, s. 13-18. ISBN 978-80-86840-47-5.
    Detail

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

    JIRÁK Ota a 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: Masarykova universita, 2009, s. 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: Fakulta informačních technologií VUT v Brně, 2009, s. 440-444. ISBN 978-80-214-3870-5.
    Detail

    JIRÁK Ota a 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, s. 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 a ŠIMÁČEK Jiří. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, roč. 18, č. 4, s. 783-793. ISSN 0324-721X.
    Detail

    MASOPUST Tomáš. Descriptional Complexity of Multi-Parallel Grammars. Information Processing Letters, roč. 108, č. 2, s. 68-70. ISSN 0020-0190.
    Detail

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

    MASOPUST Tomáš a MEDUNA Alexander. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, roč. 87, č. 3, s. 407-415. ISSN 0169-2968.
    Detail

    MASOPUST Tomáš a 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, s. 325-336. ISBN 978-963-311-367-7.
    Detail

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

    KOLÁŘ Dušan a 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, s. 34-39. ISBN 978-90-77381-40-3.
    Detail

    KOLÁŘ Dušan a 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: Politechnika Wrocławska, 2008, s. 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: Vysoké učení technické v Brně, 2008, s. 170-172. ISBN 978-80-214-3615-2.
    Detail

    KOLÁŘ Dušan a 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, s. 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: Politechnika Wrocławska, 2008, s. 491-500. ISBN 978-83-7493-400-8.
    Detail

    ČERMÁK Martin. Systémy formálních modelů a jejich aplikace. In: Proceedings of the 14th Conference Student EEICT 2008. Volume 2. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2008, s. 164-166. ISBN 978-80-214-3615-2.
    Detail

    KŘIVKA Zbyněk. Rewriting Systems with Restricted Configurations. Brno: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3722-7.
    Detail

    MEDUNA Alexander a TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, roč. 45, č. 7, s. 593-608. ISSN 0001-5903.
    Detail

    KOPEČEK Tomáš a MEDUNA Alexander. Conditional Grammars and Their Reduction. Brno: Fakulta informačních technologií VUT v Brně, 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: Fakulta informačních technologií VUT v Brně, 2008, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2008, s. 164-166. ISBN 978-80-214-3614-5.
    Detail

    ZEMEK Petr. Canonical Derivations in Programmed Grammars. Brno: Fakulta informačních technologií VUT v Brně, 2008.
    Detail

  • 2007

    MEDUNA Alexander a MASOPUST Tomáš. Self-Regulating Finite Automata. Acta Cybernetica, roč. 18, č. 1, s. 135-153. ISSN 0324-721X.
    Detail

    MASOPUST Tomáš a 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, s. 403-411.
    Detail

    KOPEČEK Tomáš, MEDUNA Alexander a ŠVEC Martin. Equivalent language models that closely simulate one another and their illustration in terms of L systems. International Journal of Computer Mathematics, roč. 2007, č. 84, s. 1555-1566. ISSN 0020-7160.
    Detail

    MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Semi-Conditional Grammars. Information Processing Letters, roč. 104, č. 1, s. 29-31. ISSN 0020-0190.
    Detail

    KŘIVKA Zbyněk, LORENC Luboš a 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: Slezská univerzita v Opavě, 2007, s. 245-248. ISBN 978-807248-006-7.
    Detail

    KŘIVKA Zbyněk a 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: Slezská univerzita v Opavě, 2007, s. 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: Slezská univerzita v Opavě, 2007, s. 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í: Slezská univerzita v Opavě, 2007, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 401-404. ISBN 978-80214-3410-3.
    Detail

    MASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Generalized Forbidding Grammars. In: Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia: Univerzita Pavla Jozefa Šafárika v Košiciach, 2007, s. 170-177. ISBN 978-80-7097-688-3.
    Detail

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

    MEDUNA Alexander a 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: Univerzita Pavla Jozefa Šafárika v Košiciach, 2007, s. 178-185. ISBN 978-80-7097-688-3.
    Detail

    MEDUNA Alexander a TECHET Jiří. Canonical Scattered Context Generators of Sentences with Their Parses. Theoretical Computer Science, roč. 2007, č. 389, s. 73-81. ISSN 0304-3975.
    Detail

    LUKÁŠ Roman a MEDUNA Alexander. General Multigenerative Grammar Systems. In: Information Systems and Formal Models ISIM, WFM '07. Hradec nad Moravicí: Slezská univerzita v Opavě, 2007, s. 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, s. 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, s. 121-126. ISBN 978-80-7355-077-6.
    Detail

    KŘIVKA Zbyněk, MEDUNA Alexander a 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, s. 105-112. ISBN 978-80-7355-077-6.
    Detail

    MEDUNA Alexander, LUKÁŠ Roman a FIALA Jiří. Homogeneous Multicontinuous Grammars and Their Reduction. In: MEMICS 2007 Proceedings. Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 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: Slezská univerzita v Opavě, 2007, s. 219-226. ISBN 978-80-7248-006-7.
    Detail

    MASOPUST Tomáš. Formal Models: Regulation and Reduction. Brno: Fakulta informačních technologií VUT v Brně, 2007. ISBN 978-80-214-3550-6.
    Detail

    JIRÁK Ota. Graf toku řízení. In: Proceedings of the 13th Conference STUDENT EEICT 2005 Volume 2. Brno, 2007, s. 204-206. ISBN 978-80-214-3408-0.
    Detail

  • 2006

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

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

    KŘIVKA Zbyněk a SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 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: MARQ, 2006, s. 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: Fakulta informačních technologií VUT v Brně, 2006, s. 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: Fakulta informačních technologií VUT v Brně, 2006, s. 390-394. ISBN 80-214-3163-6.
    Detail

    KŘIVKA Zbyněk, LUKÁŠ Roman a MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Zemědělská fakulta, Jihočeská univerzita, 2006, s. 54-56. ISBN 80-85645-56-4.
    Detail

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

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

    KŘIVKA Zbyněk, MEDUNA Alexander a 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: Fakulta informačních technologií VUT v Brně, 2006, s. 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: Fakulta informačních technologií VUT v Brně, 2006, s. 105-112. ISBN 80-214-3287-X.
    Detail

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

    ČERMÁK Martin. Syntaktická analýza založená na kombinaci několika metod. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Volume 1. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 200-202. ISBN 80-214-3160-1.
    Detail

  • 2005

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

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

    MEDUNA Alexander a TECHET Jiří. Generation of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars. Acta Cybernetica, roč. 17, č. 1, s. 11-20. ISSN 0324-721X.
    Detail

    LORENC Luboš a 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: MARQ, 2005, s. 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: MARQ, 2005, s. 95-100. ISBN 80-86840-09-3.
    Detail

    KŘIVKA Zbyněk a 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: MARQ, 2005, s. 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: MARQ, 2005, s. 81-86. ISBN 80-86840-09-3.
    Detail

    KOPEČEK Tomáš, MEDUNA Alexander a Š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: MARQ, 2005, s. 59-66. ISBN 80-86840-09-3.
    Detail

    LUKÁŠ Roman, HRUŠKA Tomáš, KOLÁŘ Dušan a MASAŘÍK Karel. Two-Way Deterministic Translation and Its Usage in Practice. In: Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: MARQ, 2005, s. 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: Nakladatelství Vysokého učení technického v Brně VUTIUM, 2005, s. 561-565. ISBN 80-214-2890-2.
    Detail

    BIDLO Radek a 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 536-541. ISBN 80-214-2890-2.
    Detail

    KOLÁŘ Dušan a 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: MARQ, 2005, s. 33-48. ISBN 80-86840-09-3.
    Detail

    KOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Fakulta informačních technologií VUT v Brně, 2005.
    Detail

    MEDUNA Alexander a LUKÁŠ Roman. A Note on Iteratively Extendable Strings. Rostocker mathematisches kolloquium, roč. 2005, č. 59, s. 71-73. ISSN 0138-3248.
    Detail

    LORENC Luboš a MEDUNA Alexander. Self-Reproducing Pushdown Transducers. Kybernetika, roč. 2005, č. 4, s. 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: Fakulta informatiky MU, 2005, s. 139-144.
    Detail

    BIDLO Radek, BLATNÝ Petr a MEDUNA Alexander. Formal Models over Free Groups. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2005, s. 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: Fakulta informatiky MU, 2005, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 280-282. ISBN 80-214-2888-0.
    Detail

    BURGER Tomáš a 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, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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: Fakulta strojního inženýrství VUT, 2004, s. 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: Slovenská technická univerzita v Bratislavě, 2004, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 167-169. ISBN 80-214-2377-3.
    Detail

Nahoru