Formal Model Research Group


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.
 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, 2017, pp. 170-179. ISSN 2075-2180.
 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.
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:
Switch to IPv6 connection

DNSSEC [dnssec]