Formal Model Research Group

Publications

2012Čermák Martin, Koutný Jiří, Meduna Alexander: Parsing Based on n-Path Tree-Controlled Grammars, In: Theoretical and Applied Informatics, Vol. 2011, No. 23, 2012, Varšava, PL, p. 213-228, ISSN 1896-5334
 Č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, CZ, FIT VUT, 2012, p. 371-375, ISBN 978-80-214-4462-1
 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, CZ, VUT v Brně, 2012, p. 381-385, ISBN 978-80-214-4462-1
 Koutný Jiří, Meduna Alexander: Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths, In: Kybernetika, Vol. 48, No. 1, 2012, CZ, p. 165-175, ISSN 0023-5954
 Koutný Jiří: On Path-Controlled Grammars and Pseudoknots, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 391-395, ISBN 978-80-214-4462-1
 Meduna Alexander, Vrábel Lukáš, 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, Braga, PT, 2012, p. 1-8
 Meduna Alexander, Zemek Petr: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, Vol. 23, No. 6, 2012, SG, p. 23, ISSN 0129-0541
 Meduna Alexander, Zemek Petr: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, Vol. 49, No. 2, 2012, DE, p. 55-68, ISSN 0001-5903
 Meduna Alexander, Zemek Petr: On One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, Vol. 89, No. 5, 2012, GB, p. 586-596, ISSN 0020-7160
 Meduna Alexander, Zemek Petr: One-Sided Random Context Grammars with Leftmost Derivations, In: Lecture Notes in Computer Science, Vol. 2012, No. 7300, DE, p. 160-173, ISSN 0302-9743
 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, CZ, VUT v Brně, 2012, p. 420-425, ISBN 978-80-214-4462-1
 Zemek Petr: Normal Forms of One-Sided Random Context Grammars, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, p. 430-434, ISBN 978-80-214-4462-1
2011Čermák Martin, Meduna Alexander: n-Accepting Restricted Pushdown Automata Systems, In: 13th International Conference on Automata and Formal Languages, Nyíregyháza, HU, MTA SZTAKI, 2011, p. 168-183, ISBN 978-615-5097-19-5
 Čermák Martin, Meduna Alexander: n-Accepting Restricted Pushdown Automata Systems, 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2011, p. 1, ISBN 978-80-214-4305-1
 Čermák Martin: Basic Properties of n-Languages, In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 460-464, ISBN 978-80-214-4273-3
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kolář Dušan, Hruška Tomáš, Masařík Karel, Meduna Alexander: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: The 5th International Conference on Information Security and Assurance, Brno, CZ, Springer, 2011, p. 72-86, ISBN 978-3-642-23140-7
 Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Kolář Dušan, Hruška Tomáš, Masařík Karel, 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, CZ, MUNI, 2011, p. 114-114, ISBN 978-80-214-4305-1
 Horáček Petr, Meduna Alexander: Regulated Rewriting in Natural Language Translation, In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, VUT v Brně, 2011, p. 35-42, ISBN 978-80-214-4305-1
 Horáček Petr: Parse Driven Translation, In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 480-484, ISBN 978-80-214-4273-3
 Jirák Ota, 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, GR, AIP, 2011, p. 873-876, ISSN 1551-7616
 Jirák Ota: Grammar-Based Malicious Code Detection Concept, In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 5, ISBN 978-80-214-4273-3
 Koutný Jiří, Křivka Zbyněk, Meduna Alexander: Pumping Properties of Path-Restricted Tree-Controlled Languages, In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, VUT v Brně, 2011, p. 61-69, ISBN 978-80-214-4305-1
 Koutný Jiří: Syntax Analysis of Tree-Controlled Languages, In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3, Brno, CZ, VUT v Brně, 2011, p. 5, ISBN 978-80-214-4273-3
 Křivka Zbyněk, Masopust Tomáš: Cooperating Distributed Grammar Systems with Random Context Grammars as Components, In: Acta Cybernetica, Vol. 20, No. 2, 2011, US, p. 269-283, ISSN 0324-721X
 Křoustek Jakub, Židek Stanislav, Kolář Dušan, Meduna Alexander: Scattered Context Grammars with Priority, In: International Journal of Advanced Research in Computer Science, Vol. 2, No. 4, 2011, Udaipur, IN, p. 1-6, ISSN 0976-5697
 Meduna Alexander, Čermák Martin, Masopust Tomáš: Some Power-Decreasing Derivation Restrictions in Grammar Systems, In: Schedae Informaticae, Vol. 2010, No. 19, 2011, Krakov, PL, p. 23-34, ISSN 0860-0295
 Meduna Alexander, Vrábel Lukáš, Zemek Petr: LL Leftmost k-Linear Scattered Context Grammars, In: AIP Conference Proceedings, Kassandra, Halkidiki, GR, AIP, 2011, p. 833-836, ISBN 978-0-7354-0956-9, ISSN 1551-7616
 Meduna Alexander, Vrábel Lukáš, Zemek Petr: On Nondeterminism in Programmed Grammars, In: 13th International Conference on Automata and Formal Languages, Debrecen, HU, MTA SZTAKI, 2011, p. 316-328, ISBN 978-615-5097-19-5
 Meduna Alexander, Zemek Petr: One-Sided Random Context Grammars, In: Acta Informatica, Vol. 48, No. 3, 2011, DE, p. 149-163, ISSN 0001-5903
 Meduna Alexander, Zemek Petr: Workspace Theorems for Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 412, No. 35, 2011, Paris, FR, p. 4604-4612, ISSN 0304-3975
 Meduna Alexander, Židek Stanislav: Scattered Context Grammars Generating Sentences Followed by Derivation Trees, In: Theoretical and Applied Informatics, Vol. 2011, No. 2, Varšava, PL, p. 97-106, ISSN 1896-5334
 Přikryl Zdeněk, Křoustek Jakub, Hruška Tomáš, Kolář Dušan, Masařík Karel, Husár Adam: Design and Simulation of High Performance Parallel Architectures Using the ISAC Language, In: GSTF International Journal on Computing, Vol. 1, No. 2, 2011, Singapur, SG, p. 97-106, ISSN 2010-2283
 Vrábel Lukáš: A New Normal Form for Programmed Grammars, In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 5, ISBN 978-80-214-4273-3
 Zemek Petr: On the Nonterminal Complexity of Left Random Context E0L Grammars, In: Proceedings of the 17th Conference STUDENT EEICT 2011 Volume 3, Brno, CZ, FIT VUT, 2011, p. 510-514, ISBN 978-80-214-4273-3
2010Čermák Martin: Multilanguages and Multiaccepting Automata System, In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 146-150, ISBN 978-80-214-4080-7
 Goldefus Filip, Masopust Tomáš, Meduna Alexander: Left-Forbidding Cooperating Distributed Grammar Systems, In: Theoretical Computer Science, Vol. 40, No. 411, 2010, Paris, FR, p. 3661-3667, ISSN 0304-3975
 Goldefus Filip: On Relations on Productions for Cooperative Distributed Grammar Systems, In: Proceedings of the 16th Conference Student EEICT 2010, Brno, CZ, VUT v Brně, 2010, p. 156-160, ISBN 978-80-214-4080-7
 Horáček Petr: Formal Models in Processing of Japanese Language, In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 161-165, ISBN 978-80-214-4080-7
 Jirák Ota, 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, CZ, MARQ, 2010, p. 138-144, ISBN 978-80-86840-51-2
 Jirák Ota: Table-Driven Parsing of Scattered Context Grammar, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 171-175, ISBN 978-80-214-4080-7
 Kolář Dušan, 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, BE, EUROSIS, 2010, p. 23-26, ISBN 978-90-77381-57-1
 Koutný Jiří: On n-Path-Controlled Grammars, In: Proceedings of the 16th Conference STUDENT EEICT 2010 Volume 5, Brno, CZ, VUT v Brně, 2010, p. 176-180, ISBN 978-80-214-4080-7
 Křoustek Jakub, Židek Stanislav, Kolář Dušan, Meduna Alexander: Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints, In: Proceedings of the 12th Biennial Baltic Electronics Conference, Tallinn, EE, IEEE, 2010, p. 165-168, ISBN 978-1-4244-7357-1
 Křoustek Jakub, Židek Stanislav: Generating Proper VLIW Assembler Code Using Scattered Context Grammars, In: Proceedings of the 16th Conference Student EEICT 2010 Volume 5, Brno, CZ, FIT VUT, 2010, p. 181-185, ISBN 978-80-214-4080-7
 Lukáš Roman, Meduna Alexander: Multigenerative Grammar Systems and Matrix Grammars, In: Kybernetika, Vol. 46, No. 1, 2010, CZ, p. 68-82, ISSN 0023-5954
 Meduna Alexander, Techet Jiří: Scattered Context Grammars and their Applications, WIT Press, UK, GB, WIT, 2010, p. 224, ISBN 978-1-84564-426-0
 Meduna Alexander, Zemek Petr: Regulated Grammars and Their Transformations, Brno, CZ, VUT v Brně, 2010, p. 239, ISBN 978-80-214-4203-0
 Přikryl Zdeněk, Křoustek Jakub, Hruška Tomáš, Kolář Dušan, Masařík Karel, 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, SG, GSTF, 2010, p. 213-221, ISBN 978-981-08-7656-2
 Zemek Petr: k-Limited Erasing Performed by Regular-Controlled Context-Free Grammars, In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010, Brno, CZ, FIT VUT, 2010, p. 42-44, ISBN 978-80-214-4078-4
 Zemek Petr: On Erasing Rules in Regulated Grammars, Brno, CZ, FIT VUT, 2010, p. 71

Show all publications

Your IPv4 address: 38.107.179.219
Switch to IPv6 connection

DNSSEC [dnssec]