Formal Model Research Group


2017KOCMAN 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 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.
2015KUČERA Jiří, MEDUNA Alexander and 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, pp. 36-44. ISBN 978-80-214-5254-1.
 KŘIVKA Zbyněk and MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science. 2015, vol. 26, no. 6, pp. 709-731. ISSN 0129-0541.
 MEDUNA Alexander, SOUKUP Ondřej and ZEMEK Petr. Ordered Pure Multi-Pushdown Automata. Theoretical and Applied Informatics. Varšava: 2015, vol. 27, no. 1, pp. 25-47. ISSN 1896-5334.

Show all publications

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]