Výzkumná skupina formálních modelů
Publikace
-
2024
ANNA Polánecká, BALÁŽ Teodor, KOLÁŘ Dušan, NOVÁČKOVÁ Kateřina a RYDLO Štěpán. Detection of Laser Beams Aimed at Aircraft in Flight. In: 2024 New Trends in Civil Aviation (NTCA). Praha, 2024, s. 119-124. ISBN 978-80-01-07182-3.
DetailMEDUNA Alexander a KŘIVKA Zbyněk. Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing. Boca Raton: CRC Press LLC, 2024. ISBN 978-0-367-62093-6.
DetailHAVEL Martin, KŘIVKA Zbyněk a MEDUNA Alexander. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In: Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Göttingen, 2024, s. 87-100. ISSN 2075-2180.
Detail -
2023
REGÉCIOVÁ Dominika a KOLÁŘ Dušan. GenRex: Leveraging Regular Expressions for Dynamic Malware Detection. In: IEEE Xplore. Exeter: Institute of Electrical and Electronics Engineers, 2023, s. 857-864. ISBN 979-8-3503-8199-3.
DetailKOŽÁR Tomáš, KŘIVKA Zbyněk a 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, s. 38-47. ISSN 2075-2180.
DetailKOŽÁR Tomáš a 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 a 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, roč. 33, č. 03, 2022, s. 335-348. ISSN 0129-0541.
DetailKOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander a NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, roč. 59, č. 5, 2022, s. 557-584. ISSN 0001-5903.
DetailHAMMER Jan a 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, s. 88-111. ISSN 2075-2180.
DetailKLOBUČNÍKOVÁ Dominika, KŘIVKA Zbyněk a 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, s. 112-125. ISSN 2075-2180.
DetailHAVEL Martin a MEDUNA Alexander. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, roč. 30, č. 2, 2022, s. 135-147. ISSN 1561-4042.
Detail -
2021
KŘIVKA Zbyněk a MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, roč. 179, č. 4, 2021, s. 361-384. ISSN 0169-2968.
DetailKÖVÁRI Adam, KŘIVKA Zbyněk a 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, s. 101-108. ISBN 978-989-8704-34-4.
Detail -
2020
KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, roč. 25, č. 1, 2020, s. 37-54. ISSN 1430-189X.
DetailHORÁČEK Petr, MEDUNA Alexander a 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.
DetailBARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš a ZENDULKA Jaroslav. Architektura systému, ViAn Server, Snímací uzel a ViAn GUI. Brno, 2020.
Detail -
2019
KŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, roč. 62, č. 1, 2019, s. 30-41. ISSN 0010-4620.
DetailMEDUNA Alexander, KRČMÁŘ Radim, KÖVÁRI Adam a BENÍČKOVÁ Zuzana. On Operations over Language Families. Computer Science Journal of Moldova, roč. 27, č. 3, 2019, s. 255-282. ISSN 1561-4042.
Detail -
2018
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, 2018, s. 185-199. ISSN 0988-3754.
DetailCHARVÁT Lucie a MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, roč. 2017, č. 26, 2018, s. 61-68. ISSN 0860-0295.
DetailKŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), roč. 21, č. 3, 2018, s. 278-287. ISSN 1453-8245.
DetailCHARVÁT Lucie a MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST), roč. 21, č. 3, 2018, s. 232-237. ISSN 1453-8245.
DetailZENDULKA 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.
DetailKOCMAN 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, 2017, s. 51-86. ISSN 0169-2968.
DetailKOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
DetailMEDUNA 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.
DetailMEDUNA Alexander a SOUKUP Ondřej. Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. ISBN 978-3-319-63099-1.
DetailKŘIVKA Zbyněk. Introduction to Graph Algorithms for Shortest-Paths Problems. Sego-Bit, roč. 4, č. 5, 2017. ISSN 2386-866X.
DetailCHARVÁ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.
DetailCSUHAJ-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, 2017, s. 147-163. ISSN 2379-9927.
DetailMILKOVIČ 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, 2016, s. 1180-1185. ISSN 0010-4620.
DetailMEDUNA Alexander a SOUKUP Ondřej. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science, roč. 27, č. 3, 2016, s. 359-373. ISSN 0129-0541.
DetailKUČERA Jiří a MEDUNA Alexander. On State-Synchronized Automata Systems. Schedae Informaticae, roč. 2015, č. 24, 2016, s. 221-237. ISSN 0860-0295.
DetailKOCMAN 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, roč. 511. Cham: Springer International Publishing, 2016, s. 142-149. ISBN 978-3-319-46534-0.
DetailKOCMAN 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, 2015, s. 709-731. ISSN 0129-0541.
DetailMEDUNA Alexander, SOUKUP Ondřej a ZEMEK Petr. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics, roč. 27, č. 1, 2015, s. 25-47. ISSN 1896-5334.
DetailKUČ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, 2014, s. 327-337. ISSN 0001-5903.
DetailKOUTNÝ Jiří a MEDUNA Alexander. On Normal Forms and Erasing Rules in Path-Controlled Grammars. Schedae Informaticae, roč. 2013, č. 22, 2014, s. 9-18. ISSN 0860-0295.
DetailMEDUNA 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, 2014, s. 1156-1169. ISSN 0020-7160.
DetailMEDUNA Alexander a ZEMEK Petr. One-Sided Random Context Grammars with a Limited Number of Right Random Context Rules. Theoretical Computer Science, roč. 516, č. 1, 2014, s. 127-132. ISSN 0304-3975.
DetailHORÁČEK Petr a MEDUNA Alexander. New Grammar Systems and Their Application Perspectives. Schedae Informaticae, roč. 2013, č. 22, 2014, s. 47-68. ISSN 0860-0295.
DetailKŘ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.
DetailMEDUNA Alexander a ZEMEK Petr. Regulated Grammars and Automata. New York: Springer US, 2014. ISBN 978-1-4939-0368-9.
DetailMEDUNA 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.
DetailMEDUNA Alexander. Formal Languages and Computation. Taylor and Francis. New York: Taylor & Francis Informa plc, 2014. ISBN 978-1-4665-1345-7.
DetailSOLÁ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.
DetailKUČ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.
DetailMEDUNA 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, 2013, s. 67-75. ISSN 0304-3975.
DetailMEDUNA Alexander a ZEMEK Petr. Left Random Context ET0L Grammars. Fundamenta Informaticae, roč. 123, č. 3, 2013, s. 289-304. ISSN 0169-2968.
DetailMEDUNA Alexander a ZEMEK Petr. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics, roč. 90, č. 2, 2013, s. 172-182. ISSN 0020-7160.
DetailZEMEK 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.
DetailHORÁČ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.
DetailSOLÁ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.
DetailKUČ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
KOUTNÝ Jiří a MEDUNA Alexander. Tree-Controlled Grammars with Restrictions Placed upon Cuts and Paths. Kybernetika, roč. 48, č. 1, 2012, s. 165-175. ISSN 0023-5954.
DetailMEDUNA Alexander a ZEMEK Petr. Nonterminal Complexity of One-Sided Random Context Grammars. Acta Informatica, roč. 49, č. 2, 2012, s. 55-68. ISSN 0001-5903.
DetailMEDUNA Alexander a ZEMEK Petr. One-Sided Forbidding Grammars and Selective Substitution Grammars. International Journal of Computer Mathematics, roč. 89, č. 5, 2012, s. 586-596. ISSN 0020-7160.
DetailMEDUNA 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.
DetailMEDUNA Alexander a ZEMEK Petr. Jumping Finite Automata. International Journal of Foundations of Computer Science, roč. 23, č. 7, 2012, s. 1555-1578. ISSN 0129-0541.
DetailMEDUNA Alexander a ZEMEK Petr. Controlled Pure Grammar Systems. Journal of Universal Computer Science, roč. 18, č. 14, 2012, s. 2024-2040. ISSN 0948-6968.
DetailKOUTNÝ 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.
DetailZEMEK 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.
DetailJIRÁ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.
DetailHORÁČ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.
DetailSOLÁ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.
DetailVRÁ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.
DetailMEDUNA 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, 2012, s. 13-35. ISSN 1805-3610.
DetailHORÁČEK Petr a MEDUNA Alexander. Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications. Theoretical and Applied Informatics, roč. 24, č. 3, 2012, 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, 2011, s. 149-163. ISSN 0001-5903.
DetailMEDUNA Alexander, ČERMÁK Martin a MASOPUST Tomáš. Some Power-Decreasing Derivation Restrictions in Grammar Systems. Schedae Informaticae, roč. 2010, č. 19, 2011, s. 23-34. ISSN 0860-0295.
DetailJIRÁ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.
DetailPŘ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, 2011, 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.
DetailMEDUNA 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.
DetailMEDUNA Alexander a ZEMEK Petr. Workspace Theorems for Regular-Controlled Grammars. Theoretical Computer Science, roč. 412, č. 35, 2011, s. 4604-4612. ISSN 0304-3975.
DetailMEDUNA 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.
DetailKOUTNÝ 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.
DetailZEMEK 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.
DetailVRÁ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.
DetailJIRÁ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.
DetailHORÁČ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.
DetailKŘ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, 2011, s. 1-6. ISSN 0976-5697.
DetailČERMÁK Martin, KOUTNÝ Jiří a MEDUNA Alexander. Parsing Based on n-Path Tree-Controlled Grammars. Theoretical and Applied Informatics, roč. 23, č. 3, 2011, s. 213-228. ISSN 1896-5334.
DetailKOUTNÝ 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.
DetailKŘIVKA Zbyněk a MASOPUST Tomáš. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, roč. 20, č. 2, 2011, 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.
DetailHORÁČ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.
DetailMEDUNA Alexander a ŽIDEK Stanislav. Scattered Context Grammars Generating Sentences Followed by Derivation Trees. Theoretical and Applied Informatics, roč. 23, č. 2, 2011, 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.
DetailJIRÁ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.
DetailKOUTNÝ 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.
DetailJIRÁ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.
DetailKŘ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.
DetailGOLDEFUS Filip, MASOPUST Tomáš a MEDUNA Alexander. Left-Forbidding Cooperating Distributed Grammar Systems. Theoretical Computer Science, roč. 411, č. 40, 2010, s. 3661-3667. ISSN 0304-3975.
DetailGOLDEFUS 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.
DetailKŘ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.
DetailHORÁČ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.
DetailZEMEK 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.
DetailKOLÁŘ 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.
DetailPŘ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.
DetailLUKÁŠ Roman a MEDUNA Alexander. Multigenerative Grammar Systems and Matrix Grammars. Kybernetika, roč. 46, č. 1, 2010, s. 68-82. ISSN 0023-5954.
DetailMEDUNA 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, 2009, s. 108-112. ISSN 0304-3975.
DetailMASOPUST Tomáš. On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components. International Journal of Foundations of Computer Science, roč. 20, č. 2, 2009, s. 331-340. ISSN 0129-0541.
DetailMEDUNA 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, 2009, s. 1961-1969. ISSN 0304-3975.
DetailMASOPUST 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, 2009, s. 365-378. ISSN 0988-3754.
DetailMASOPUST 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.
DetailCSUHAJ-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, 2009, s. 175-189. ISSN 1453-8245.
DetailJIRÁ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.
DetailKOUTNÝ 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.
DetailMASOPUST 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.
DetailMASOPUST 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.
DetailKŘ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.
DetailGOLDEFUS 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.
DetailJIRÁ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.
DetailMASOPUST Tomáš a MEDUNA Alexander. On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops. Acta Cybernetica, roč. 19, č. 2, 2009, s. 537-552. ISSN 0324-721X.
DetailKOLÁŘ 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.
DetailKVĚ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.
DetailJIRÁ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.
DetailRYCHNOVSKÝ 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.
DetailJIRÁ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.
DetailMASOPUST Tomáš, MEDUNA Alexander a ŠIMÁČEK Jiří. Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars. Acta Cybernetica, roč. 18, č. 4, 2008, s. 783-793. ISSN 0324-721X.
DetailMASOPUST Tomáš. Descriptional Complexity of Multi-Parallel Grammars. Information Processing Letters, roč. 108, č. 2, 2008, s. 68-70. ISSN 0020-0190.
DetailMASOPUST Tomáš a TECHET Jiří. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. Discrete Mathematics and Theoretical Computer Science, roč. 10, č. 2, 2008, s. 39-46. ISSN 1365-8050.
DetailMASOPUST Tomáš a MEDUNA Alexander. On Descriptional Complexity of Partially Parallel Grammars. Fundamenta Informaticae, roč. 87, č. 3, 2008, s. 407-415. ISSN 0169-2968.
DetailMASOPUST 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.
DetailJIRÁ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.
DetailKOLÁŘ 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.
DetailKOLÁŘ 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.
DetailKOUTNÝ 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.
DetailKOLÁŘ 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.
DetailKOLÁŘ 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.
DetailKŘIVKA Zbyněk. Rewriting Systems with Restricted Configurations. Brno: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3722-7.
DetailMEDUNA Alexander a TECHET Jiří. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, roč. 45, č. 7, 2008, s. 593-608. ISSN 0001-5903.
DetailKOPEČ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.
DetailRYCHNOVSKÝ 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.
DetailZEMEK 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.
DetailZEMEK 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, 2007, s. 135-153. ISSN 0324-721X.
DetailMASOPUST 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.
DetailKOPEČ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.
DetailMASOPUST Tomáš a MEDUNA Alexander. Descriptional Complexity of Semi-Conditional Grammars. Information Processing Letters, roč. 104, č. 1, 2007, s. 29-31. ISSN 0020-0190.
DetailKŘ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.
DetailKŘ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.
DetailMASOPUST 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.
DetailTECHET 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.
DetailKŘ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.
DetailTECHET 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.
DetailMASOPUST 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.
DetailMASOPUST 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.
DetailMEDUNA Alexander a TECHET Jiří. Maximal and Minimal Scattered Context Rewriting. In: FCT 2007 Proceedings. Budapest: Springer Verlag, 2007, s. 412-423. ISSN 0302-9743.
DetailMEDUNA 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.
DetailMEDUNA 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.
DetailLUKÁŠ 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.
DetailTECHET 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.
DetailMASOPUST 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.
DetailKŘ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.
DetailMEDUNA 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.
DetailRYCHNOVSKÝ 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.
DetailRYCHNOVSKÝ 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.
DetailMASOPUST Tomáš. Formal Models: Regulation and Reduction. Brno: Fakulta informačních technologií VUT v Brně, 2007. ISBN 978-80-214-3550-6.
DetailJIRÁ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.
DetailTECHET Jiří. Bidirectional Contextual Grammars. In: Proceedings of 1st International Workshop WFM '06. Přerov: MARQ, 2006, s. 61-68. ISBN 80-86840-20-4.
DetailKŘ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.
DetailMASOPUST 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.
DetailTECHET 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.
DetailMASOPUST 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.
DetailKŘ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.
DetailKŘ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, 2006, s. 1223-1229. ISSN 0129-0541.
DetailBLIŽŇÁ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.
DetailKŘ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.
DetailMASOPUST 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.
DetailBLIŽŇÁ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.
DetailMEDUNA Alexander a ŠVEC Martin. Grammars with Context Conditions and Their Applications [Wiley, 2004]. Wiley, New York: WILEY, 2005. ISBN 0-471-71831-9.
DetailMEDUNA Alexander a TECHET Jiří. Generation of Sentences with Their Parses: the Case of Propagating Scattered Context Grammars. Acta Cybernetica, roč. 17, č. 1, 2005, s. 11-20. ISSN 0324-721X.
DetailLORENC 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.
DetailBIDLO 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.
DetailKŘ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.
DetailBLATNÝ 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.
DetailKOPEČ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.
DetailLUKÁŠ 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.
DetailLORENC 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.
DetailBIDLO 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.
DetailKOLÁŘ 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.
DetailKOLÁŘ Dušan. Pushdown Automata: Another Extensions and Transformations. Brno: Fakulta informačních technologií VUT v Brně, 2005.
DetailMEDUNA Alexander a LUKÁŠ Roman. A Note on Iteratively Extendable Strings. Rostocker mathematisches kolloquium, roč. 2005, č. 59, s. 71-73. ISSN 0138-3248.
DetailLORENC Luboš a MEDUNA Alexander. Self-Reproducing Pushdown Transducers. Kybernetika, roč. 2005, č. 4, s. 533-539. ISSN 0023-5954.
DetailKŘ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.
DetailBIDLO 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.
DetailTECHET 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.
DetailTECHET 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.
DetailTECHET 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.
DetailBURGER 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.
DetailBLATNÝ 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.
DetailTECHET 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.
DetailTECHET 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