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

Publikace

2013Horáček Petr: Application Perspectives of Synchronous Matrix Grammars, In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3, Brno, CZ, VUT v Brně, 2013, s. 202-206, ISBN 978-80-214-4695-3
 Meduna Alexander, Zemek Petr: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, roč. 90, č. 2, 2013, GB, s. 172-182, ISSN 0020-7160
 Meduna Alexander, Zemek Petr: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, roč. 123, č. 3, 2013, Amsterdam, NL, s. 289-304, ISSN 0169-2968
 Meduna Alexander, Zemek Petr: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, roč. 477, č. 1, 2013, Paris, FR, s. 67-75, ISSN 0304-3975
 Vrábel Lukáš: On Stateless Pushdown Automata And Limited Pushdown Alphabets, VUT v Brně, 2013, s. 5
 Zemek Petr: One-Sided Random Context Grammars: Established Results and Open Problems, In: Proceedings of the 19th Conference STUDENT EEICT 2013 Volume 3, Brno, CZ, VUT v Brně, 2013, s. 222-226, ISBN 978-80-214-4695-3
2012Čermák Martin, Horáček Petr, Meduna Alexander: Rule-Restricted Automaton-Grammar Tranduscers: Power and Linguistic Applications, 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, 2012, s. 1, ISBN 978-80-87342-15-2
 Čermák Martin, Horáček Petr, Meduna Alexander: Rule-restricted automaton-grammar tranduscers: Power and linguistic applications, In: Mathematics for Applications, roč. 1, č. 1, 2012, Brno, CZ, s. 13-35, ISSN 1805-3610
 Čermák Martin, Koutný Jiří, Meduna Alexander: Parsing Based on n-Path Tree-Controlled Grammars, In: Theoretical and Applied Informatics, roč. 2011, č. 23, 2012, Varšava, PL, s. 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, s. 371-375, ISBN 978-80-214-4462-1
 Horáček Petr, Meduna Alexander: Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications, In: Theoretical and Applied Informatics, roč. 24, č. 3, 2012, Varšava, PL, s. 175-190, ISSN 1896-5334
 Horáček Petr: On Generative Power of Synchronous Grammars with Linked Rules, In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3, Brno, CZ, VUT v Brně, 2012, s. 376-380, 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, s. 381-385, ISBN 978-80-214-4462-1
 Koutný Jiří, Meduna Alexander: Tree-Controlled Grammars with Restrictions Placed upon Cuts and Paths, In: Kybernetika, roč. 48, č. 1, 2012, CZ, s. 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, s. 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, Springer, 2012, s. 236-243, ISBN 978-3-642-31622-7, ISSN 0302-9743
 Meduna Alexander, Zemek Petr: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, roč. 18, č. 14, 2012, AT, s. 2024-2040, ISSN 0948-6968
 Meduna Alexander, Zemek Petr: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, roč. 23, č. 7, 2012, SG, s. 1555-1578, ISSN 0129-0541
 Meduna Alexander, Zemek Petr: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, roč. 49, č. 2, 2012, DE, s. 55-68, ISSN 0001-5903
 Meduna Alexander, Zemek Petr: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, roč. 89, č. 5, 2012, GB, s. 586-596, ISSN 0020-7160
 Meduna Alexander, 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, DE, Springer, 2012, s. 160-173, ISBN 978-3-642-31643-2
 Solár Peter: Parallel deep pushdown automata, In: Proceedings of the 18th Conference STUDENT EEICT 2012, Brno, CZ, VUT v Brně, 2012, s. 410-414, ISBN 978-80-214-4462-1
 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 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, s. 873-876, ISBN 978-0-7354-0956-9, 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, s. 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, s. 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, s. 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, roč. 20, č. 2, 2011, US, s. 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, roč. 2, č. 4, 2011, Udaipur, IN, s. 1-6, ISSN 0976-5697
 Meduna Alexander, Čermák Martin, Masopust Tomáš: Some Power-Decreasing Derivation Restrictions in Grammar Systems, In: Schedae Informaticae, roč. 2010, č. 19, 2011, Krakov, PL, s. 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, s. 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, s. 316-328, ISBN 978-615-5097-19-5
 Meduna Alexander, Zemek Petr: One-Sided Random Context Grammars, In: Acta Informatica, roč. 48, č. 3, 2011, DE, s. 149-163, ISSN 0001-5903
 Meduna Alexander, Zemek Petr: Workspace Theorems for Regular-Controlled Grammars, In: Theoretical Computer Science, roč. 412, č. 35, 2011, Paris, FR, s. 4604-4612, ISSN 0304-3975
 Meduna Alexander, Židek Stanislav: Scattered Context Grammars Generating Sentences Followed by Derivation Trees, In: Theoretical and Applied Informatics, roč. 2011, č. 2, Varšava, PL, s. 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, roč. 1, č. 2, 2011, Singapur, SG, s. 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, s. 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, s. 510-514, ISBN 978-80-214-4273-3

Zobrazit všechny publikace

Disertační a habilitační práce

2008Techet Jiří: Scattered Context in Formal Languages, Brno, CZ, FIT VUT, 2008, s. 123
2007Křivka Zbyněk: Přepisující systémy s omezenými konfiguracemi, Brno, CZ, 2007, s. 98
 Masopust Tomáš: Regulated Formal Models and Their Reduction, Brno, CZ, 2007, s. 71

Vaše IPv4 adresa: 107.20.7.65
Přepnout na IPv6 spojení

DNSSEC [dnssec]