Formal Model Research Group

Publications

2018KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal. Oxford: Oxford University Press, 2018, vol. 2018, no. 1, pp. 1-12. ISSN 0010-4620.
2017CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae. Krakov: 2017, vol. 2017, no. 26, pp. 1-9. ISSN 0860-0295.
 CHARVÁT Lucie and 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, pp. 1-1.
 CSUHAJ-VARJÚ Erzsébet, MEDUNA Alexander and SOUKUP Ondřej. On Tree-Restricted Regular-Controlled Context-Free Grammars. International Journal of Computer Mathematics: Computer Systems Theory. 2017, vol. 2, no. 4, pp. 147-163. ISSN 2379-9927.
 KOCMAN Radim, KŘIVKA Zbyněk and 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: University of Valladolid, 2017, vol. 4, no. 5. ISSN 2386-866X.
 MEDUNA Alexander and 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, pp. 170-179. ISSN 2075-2180.
 MEDUNA Alexander and SOUKUP Ondřej. Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. ISBN 978-3-319-63099-1.
 MEDUNA Alexander and SOUKUP Ondřej. Jumping Scattered Context Grammars. Fundamenta Informaticae. Amsterdam: IOS Press, 2017, vol. 152, no. 1, pp. 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, pp. 1-9. ISBN 978-80-87952-22-1.
2016KOCMAN Radim and 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, pp. 142-149. ISBN 978-3-319-46534-0.
 KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2.
 KUČERA Jiří and MEDUNA Alexander. On State-Synchronized Automata Systems. Schedae Informaticae. Krakov: 2016, vol. 2015, no. 24, pp. 221-237. ISSN 0860-0295.
 KŘIVKA Zbyněk, MEDUNA Alexander and ZEMEK Petr. Phrase-Structure Grammars: Normal Forms and Reduction. The Computer Journal. Oxford: Oxford University Press, 2016, vol. 59, no. 8, pp. 1180-1185. ISSN 0010-4620.
 MEDUNA Alexander and SOUKUP Ondřej. Simple Matrix Grammars and Their Leftmost Variants. International Journal of Foundations of Computer Science. 2016, vol. 27, no. 3, pp. 359-373. ISSN 0129-0541.

Show all publications

Your IPv4 address: 54.161.45.156
Switch to IPv6 connection

DNSSEC [dnssec]