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

Publikace

2018CHARVÁT Lucie a MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae. Krakov: 2018, roč. 2017, č. 26, s. 61-68. ISSN 0860-0295.
 CHARVÁT Lucie a MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST). Bukurest: Romanian Academy, Publishing House of the Romanian Academy, 2018, roč. 21, č. 3, s. 232-237. ISSN 1453-8245.
 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). Wien: Osterreichische Computer Gesellschaft, 2018, s. 117-132. ISBN 978-3-903035-21-8.
 KŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal. Oxford: Oxford University Press, 2018, roč. 2018, č. 1, s. 1-12. ISSN 0010-4620.
 KŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST). Bukurest: Romanian Academy, Publishing House of the Romanian Academy, 2018, roč. 21, č. 3, s. 278-287. ISSN 1453-8245.
2017CHARVÁ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). Telč, 2017, s. 1-1.
 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. 2017, roč. 2, č. 4, s. 147-163. ISSN 2379-9927.
 KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
 KŘIVKA Zbyněk. Introduction to Graph Algorithms for Shortest-Paths Problems. Sego-Bit. Segovia: Universidad de Valladolid, 2017, roč. 4, č. 5. ISSN 2386-866X.
 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.
 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.
 MEDUNA Alexander a SOUKUP Ondřej. Jumping Scattered Context Grammars. Fundamenta Informaticae. Amsterdam: IOS Press, 2017, roč. 152, č. 1, s. 51-86. ISSN 0169-2968.
 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.
2016KOCMAN Radim a MEDUNA Alexander. On Parallel Versions of Jumping Finite Automata. In: Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Cham: Springer International Publishing, 2016, s. 142-149. ISBN 978-3-319-46534-0.
 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). Wien: Osterreichische Computer Gesellschaft, 2016, s. 195-210. ISBN 978-3-903035-10-2.
 KUČERA Jiří a MEDUNA Alexander. On State-Synchronized Automata Systems. Schedae Informaticae. Krakov: 2016, roč. 2015, č. 24, s. 221-237. ISSN 0860-0295.
 KŘIVKA Zbyněk, MEDUNA Alexander a ZEMEK Petr. Phrase-Structure Grammars: Normal Forms and Reduction. The Computer Journal. Oxford: Oxford University Press, 2016, roč. 59, č. 8, s. 1180-1185. ISSN 0010-4620.
 MEDUNA Alexander a SOUKUP Ondřej. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science. 2016, roč. 27, č. 3, s. 359-373. ISSN 0129-0541.
2015KUČ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.
 KŘIVKA Zbyněk a MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science. 2015, roč. 26, č. 6, s. 709-731. ISSN 0129-0541.
 MEDUNA Alexander, SOUKUP Ondřej a ZEMEK Petr. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics. Varšava: 2015, roč. 27, č. 1, s. 25-47. ISSN 1896-5334.
2014HORÁČEK Petr a MEDUNA Alexander. New Grammar Systems and Their Application Perspectives. Schedae Informaticae. Krakov: 2014, roč. 2013, č. 22, s. 47-68. ISSN 0860-0295.
 KOUTNÝ Jiří a MEDUNA Alexander. On Normal Forms and Erasing Rules in Path-Controlled Grammars. Schedae Informaticae. Krakov: 2014, roč. 2013, č. 22, s. 9-18. ISSN 0860-0295.
 KUČERA Jiří. On Determinism in State-Synchronized Automata Systems. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Brno: Vysoké učení technické v Brně, 2014, s. 259-263. ISBN 978-80-214-4924-4.
 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. Brno: Springer Verlag, 2014, s. 123-133. ISBN 978-3-319-07147-3. ISSN 0302-9743.
 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.
 MEDUNA Alexander a ZEMEK Petr. Regulated Grammars and Automata. New York: Springer US, 2014. ISBN 978-1-4939-0368-9.
 MEDUNA Alexander a ZEMEK Petr. Controlled Finite Automata. Acta Informatica. 2014, roč. 51, č. 5, s. 327-337. ISSN 0001-5903.
 MEDUNA Alexander a ZEMEK Petr. One-Sided Random Context Grammars with a Limited Number of Right Random Context Rules. Theoretical Computer Science. Paris: Elsevier Science, 2014, roč. 516, č. 1, s. 127-132. ISSN 0304-3975.
 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.
 MEDUNA Alexander, VRÁBEL Lukáš a ZEMEK Petr. Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems. International Journal of Computer Mathematics. 2014, roč. 91, č. 6, s. 1156-1169. ISSN 0020-7160.
 MEDUNA Alexander. Formal Languages and Computation. New York: Taylor & Francis Informa plc, 2014. ISBN 978-1-4665-1345-7.
 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.
2013HORÁČ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.
 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.
 MEDUNA Alexander a ZEMEK Petr. Generalized One-Sided Forbidding Grammars. International Journal of Computer Mathematics. 2013, roč. 90, č. 2, s. 172-182. ISSN 0020-7160.
 MEDUNA Alexander a ZEMEK Petr. Left Random Context ET0L Grammars. Fundamenta Informaticae. Amsterdam: IOS Press, 2013, roč. 123, č. 3, s. 289-304. ISSN 0169-2968.
 MEDUNA Alexander a ZEMEK Petr. On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars. Theoretical Computer Science. Paris: Elsevier Science, 2013, roč. 477, č. 1, s. 67-75. ISSN 0304-3975.
 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.
 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.

Zobrazit všechny publikace

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

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

DNSSEC [dnssec]