Ing. Zbyněk Křivka, Ph.D.

2011Dulík, T., Křivka, Z., Kadlec, J., Bližňák, M., Budíková, V., Jirák, O., Olšarová, N., Trbušek, J., Vašíček, Z.: Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA, Brno, CZ, CERM, 2011, s. 82, ISBN 978-80-7204-754-3
 Jirák, O., Křivka, Z., Vašíček, Z.: Integrated Development Environment for Virtual Laboratory, In: International Technology, Education and Development Conference, Valencia, ES, IATED, 2011, s. 10, ISBN 978-84-614-7423-3
 Koutný, J., Křivka, Z., Meduna, A.: Pumping Properties of Path-Restricted Tree-Controlled Languages, In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, VUT v Brně, 2011, s. 61-69, ISBN 978-80-214-4305-1
 Křivka, Z., Masopust, T.: Cooperating Distributed Grammar Systems with Random Context Grammars as Components, In: Acta Cybernetica, roč. 20, č. 2, 2011, US, s. 269-283, ISSN 0324-721X
 Křivka, Z., Vašíček, Z.: The Virtualization of Development Boards in the Virtual Laboratory of Microprocessor Technology, In: 12th International Carpathian Control Conference (ICCC), Velké Karlovice, CZ, VŠB TU, 2011, s. 424-428, ISBN 978-1-61284-359-9
2010Jirák, O., Křivka, Z., Olšarová, N., Vašíček, Z.: Odvozování propojení komponent pro podporu návrhu pro malé FPGA čipy, In: DATAKON 2010 Proceedings (Ed. Petr Šaloun), Mikulov, CZ, Ostravská univerzita v Ostravě, 2010, s. 81-90, ISBN 978-80-7368-424-2
 Jirák, O., Křivka, Z., Vašíček, Z.: Component Interconnection Inference Tool Supporting the Design of Small FPGA-based Embedded Systems, In: Proceedings of the IADIS International Conference Applied Computing 2010, Timisoara, RO, IADIS Press, 2010, s. 230-234, ISBN 978-972-8939-30-4
 Jirák, O., Křivka, Z.: Hardware Design Tool based on Eclipse Modeling Framework, In: Proceedings of the 44th Spring International Conference Modeling and Simulation Systems, Ostrava, CZ, MARQ, 2010, s. 138-144, ISBN 978-80-86840-51-2
2009Jirák, O., Křivka, Z.: Design and Implementation of Back-end for PicoBlaze C Compiler, In: Proceedings of the IADIS International Conference Applied Computing 2009, Rome, IT, IADIS Press, 2009, s. 135-138, ISBN 978-972-8924-97-3
 Jirák, O., Křivka, Z.: Simulation-based Debugging of 8-bit Softcore Processor, In: Proceedings of XXXIth International Autumn Colloquium Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2009, s. 68-73, ISBN 978-80-86840-47-5
 Křivka, Z., Masopust, T.: A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking, In: 11th Italian Conference on Theoretical Computer Science, Cremona, IT, 2009, s. 129-135
2008Jirák, O., Křivka, Z., Vašíček, Z.: Debugging of Small FPGA-Based Embedded System, In: Proceedings of ASIS 2008, Ostrava, CZ, MARQ, 2008, s. 6, ISBN 978-80-86840-42-0
 Křivka, Z.: Rewriting Systems with Restricted Configurations, Brno, CZ, FIT VUT, 2008, s. 131, ISBN 978-80-214-3722-7
2007Kolář, D., Křivka, Z., Schönecker, R.: Component-based Design of Embedded Systems with FPGA Support, In: Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2007, s. 167-172, ISBN 978-80-86840-34-5
 Křivka, Z., Lorenc, L., Schönecker, R.: A Note on the Parsing of Complete VHDL-2002, In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)), Opava, CZ, SLU, 2007, s. 245-248, ISBN 978-807248-006-7
 Křivka, Z., Lorenc, L., Schönecker, R.: Vývoj vestavěných systémů s FPGA na konceptuální úrovni, In: Sborník příspěvků konference ZVŮLE 2007, Brno, CZ, FEKT VUT, 2007, s. 176-179, ISBN 978-80-214-3468-4
 Křivka, Z., Meduna, A., Smrček, J.: n-Right-Linear #-Rewriting Systems, In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), Znojmo, CZ, Novotny, 2007, s. 105-112, ISBN 978-80-7355-077-6
 Křivka, Z., Meduna, A.: Generalized #-Rewriting Systems of Finite Index, In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)), Opava, CZ, SLU, 2007, s. 197-204, ISBN 978-807248-006-7
 Křivka, Z.: Deterministic #-Rewriting Systems, In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4, Brno, CZ, FEKT VUT, 2007, s. 386-390, ISBN 978-80214-3410-3
 Křivka, Z.: Přepisující systémy s omezenými konfiguracemi, Brno, CZ, 2007, s. 98
2006Křivka, Z., Lukáš, R., Meduna, A.: Didaktické demonstrace modelů pro popis formálních jazyků, In: Pedagogický software 2006, České Budějovice, CZ, ZF JU, 2006, s. 54-56, ISBN 80-85645-56-4
 Křivka, Z., Meduna, A., Schönecker, R.: Generation of Languages by Rewriting Systems that Resemble Automata, In: International Journal of Foundations of Computer Science, roč. 17, č. 5, 2006, SG, s. 1223-1229, ISSN 0129-0541
 Křivka, Z., Meduna, A., Schönecker, R.: Reducing Deep Pushdown Automata and Infinite Hierarchy, In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, CZ, FIT VUT, 2006, s. 214-221, ISBN 80-214-3287-X
 Křivka, Z., Meduna, A.: General Top-Down Parsers Based On Deep Pushdown Expansions, In: Proceedings of 1st International Workshop on Formal Models (WFM'06), Ostrava, CZ, MARQ, 2006, s. 11-18, ISBN 80-86840-20-4
 Křivka, Z., Schönecker, R.: Reducing Deep Pushdown Automata, In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4, Brno, CZ, FIT VUT, 2006, s. 365-369, ISBN 80-214-3163-6
 Křivka, Z., Schönecker, R.: String-Partitioning Systems and An Infinite Hierarchy, In: Proceedings of 1st International Workshop on Formal Models (WFM'06), Ostrava, CZ, MARQ, 2006, s. 53-60, ISBN 80-86840-20-4
2005Křivka, Z., Meduna, A.: Random Context and Programmed Grammars of Finite Index Have The Same Generative Power, In: Proceedings of 8th International Conference ISIM'05 Information Systems Implementation and Modelling, Ostrava, CZ, MARQ, 2005, s. 67-72, ISBN 80-86840-09-3
 Křivka, Z.: Recursive Erasing in Programmed Grammars, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, FI MUNI, 2005, s. 139-144
 Křivka, Z.: String-partitioning Systems, In: Proceedings of 11th Conference and Competition STUDENT EEICT 2005 Volume 3, Brno, CZ, FEKT VUT, 2005, s. 556-560, ISBN 80-214-2890-2
 Křivka, Z.: String-partitioning Systems, In: Proceedings of International Interdisciplinary HONEYWELL EMI 2005, Brno, CZ, FEKT VUT, 2005, s. 217-221, ISBN 80-214-2942-9

Zobrazit všechny publikace

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

DNSSEC [dnssec]