Ing. Petr Zemek

2013Meduna, A., Zemek, P.: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, Vol. 90, No. 2, 2013, GB, p. 172-182, ISSN 0020-7160
 Meduna, A., Zemek, P.: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, Vol. 123, No. 3, 2013, Amsterdam, NL, p. 289-304, ISSN 0169-2968
 Meduna, A., Zemek, P.: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 477, No. 1, 2013, Paris, FR, p. 67-75, ISSN 0304-3975
 Zemek, P.: 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, p. 222-226, ISBN 978-80-214-4695-3
2012Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B., Kolář, D.: On Complex Reconstruction of Functions from Binary Executable Files, In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 100-101, ISBN 978-80-87342-15-2
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B.: Accurate Recovery of Functions in a Retargetable Decompiler, In: The 15th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2012), Amsterdam, NL, Springer, 2012, p. 390-392, ISBN 978-3-642-33337-8
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B.: Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler, In: 19th Working Conference on Reverse Engineering (WCRE 2012), Kingston, Ontario, CA, IEEE CS, 2012, p. 51-60, ISBN 978-0-7695-4891-3
 Ďurfina, L., Křoustek, J., Zemek, P.: Generic Source Code Migration Using Decompilation, In: 10th Annual Industrial Simulation Conference (ISC'2012), Brno, CZ, EUROSIS, 2012, p. 38-42, ISBN 978-90-77381-71-7
 Meduna, A., Vrábel, L., Zemek, P.: 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, p. 236-243, ISBN 978-3-642-31622-7, ISSN 0302-9743
 Meduna, A., Zemek, P.: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, Vol. 18, No. 14, 2012, AT, p. 2024-2040, ISSN 0948-6968
 Meduna, A., Zemek, P.: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, Vol. 23, No. 7, 2012, SG, p. 1555-1578, ISSN 0129-0541
 Meduna, A., Zemek, P.: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, Vol. 49, No. 2, 2012, DE, p. 55-68, ISSN 0001-5903
 Meduna, A., Zemek, P.: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, Vol. 89, No. 5, 2012, GB, p. 586-596, ISSN 0020-7160
 Meduna, A., Zemek, P.: 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, p. 160-173, ISBN 978-3-642-31643-2
 Zemek, P.: 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, p. 430-434, ISBN 978-80-214-4462-1
2011Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Advanced Static Analysis for Decompilation Using Scattered Context Grammars, In: Proceedings of the Applied Computing Conference 2011 (ACC'11), Angers, FR, WSEAS, 2011, p. 164-169, ISBN 978-1-61804-051-0
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: 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, p. 72-86, ISBN 978-3-642-23140-7
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: 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, p. 114-114, ISBN 978-80-214-4305-1
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: International Journal of Security and Its Applications, Vol. 5, No. 4, 2011, Daejeon, KR, p. 91-106, ISSN 1738-9976
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of an Automatically Generated Retargetable Decompiler, In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11), Puerto De La Cruz, Tenerife, ES, NAUN, 2011, p. 199-204, ISBN 978-1-61804-056-5
 Meduna, A., Vrábel, L., Zemek, P.: LL Leftmost k-Linear Scattered Context Grammars, In: AIP Conference Proceedings, Kassandra, Halkidiki, GR, AIP, 2011, p. 833-836, ISBN 978-0-7354-0956-9, ISSN 1551-7616
 Meduna, A., Vrábel, L., Zemek, P.: On Nondeterminism in Programmed Grammars, In: 13th International Conference on Automata and Formal Languages, Debrecen, HU, MTA SZTAKI, 2011, p. 316-328, ISBN 978-615-5097-19-5
 Meduna, A., Zemek, P.: One-Sided Random Context Grammars, In: Acta Informatica, Vol. 48, No. 3, 2011, DE, p. 149-163, ISSN 0001-5903
 Meduna, A., Zemek, P.: Workspace Theorems for Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 412, No. 35, 2011, Paris, FR, p. 4604-4612, ISSN 0304-3975
 Zemek, P.: 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, p. 510-514, ISBN 978-80-214-4273-3
2010Meduna, A., Zemek, P.: Regulated Grammars and Their Transformations, Brno, CZ, VUT v Brně, 2010, p. 239, ISBN 978-80-214-4203-0
 Zemek, P.: k-Limited Erasing Performed by Regular-Controlled Context-Free Grammars, In: Proceedings of the 16th Conference and Competition STUDENT EEICT 2010, Brno, CZ, FIT VUT, 2010, p. 42-44, ISBN 978-80-214-4078-4
 Zemek, P.: On Erasing Rules in Regulated Grammars, Brno, CZ, FIT VUT, 2010, p. 71
2008Zemek, P.: An Infinite Hierarchy of Language Families Resulting from n-limited Programmed Grammars, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, FEKT VUT, 2008, p. 164-166, ISBN 978-80-214-3614-5
 Zemek, P.: Canonical Derivations in Programmed Grammars, Brno, CZ, FIT VUT, 2008, p. 37

Show all publications

Your IPv4 address: 54.234.180.187
Switch to IPv6 connection

DNSSEC [dnssec]