8th International Conference on Information Systems Implementation and Modelling

 

Hradec nad Moravicí 19.-21.4.2005

Organizing Committee (members from FIT)

Bartík Vladimír, Ing.
Kolář Dušan, doc. Dr. Ing.

Programme Committee (members from FIT)

Hruška Tomáš, prof. Ing., CSc.
Kolář Dušan, doc. Dr. Ing.
Zendulka Jaroslav, doc. Ing., CSc., chairman

Selected publications

2005Bidlo Radek: Context-Free Grammars over Free Groups, In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling, Ostrava, CZ, MARQ, 2005, p. 95-100, ISBN 80-86840-09-3
 Blatný Petr: E0L Grammars on Free Groups, In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling, Ostrava, CZ, MARQ, 2005, p. 81-86, ISBN 80-86840-09-3
 Burger Tomáš, Hruška Tomáš: Formalism for the Systems with Roles, In: Proceedings of 8th International Conference ISIM'05 Information, Ostrava, CZ, MARQ, 2005, p. 227-234, ISBN 80-86840-09-3
 Erlebach Pavel, Vojnar Tomáš: Automated Formal Verification of Programs with Dynamic Data Structures Using State-of-the-Art Tools, In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling, Ostrava, CZ, MARQ, 2005, p. 219-226, ISBN 80-86840-09-3
 Kaláb Petr: Two-Way Linear PC Grammar Systems, In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling, Ostrava, CZ, MARQ, 2005, p. 87-94, ISBN 80-86840-09-3
 Kolář Dušan, Meduna Alexander: Regulated Automata: From Theory towards Applications, In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05, Ostrava, CZ, MARQ, 2005, p. 33-48, ISBN 80-86840-09-3
 Kopeček Tomáš, Meduna Alexander, Švec Martin: Simulation of Scattered Context Grammars and Phrase-Structured Grammars by Symbiotic E0L Grammars, In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05, Brno, CZ, MARQ, 2005, p. 59-66, ISBN 80-86840-09-3
 Křivka Zbyněk, Meduna Alexander: 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, p. 67-72, ISBN 80-86840-09-3
 Lorenc Luboš, Meduna Alexander: A Rigorous Approach to Self-Reproducing Pushdown Translation, In: Proceedings of 8th Spring International Conference ISIM'05 Information Systems Implementation and Modelling, Ostrava, CZ, MARQ, 2005, p. 51-58, ISBN 80-86840-09-3
 Lukáš Roman, Hruška Tomáš, Kolář Dušan, Masařík Karel: Two-Way Deterministic Translation and Its Usage in Practice, In: Proceedings of 8th Spring International Conference - ISIM'05, Ostrava, CZ, MARQ, 2005, p. 101-107, ISBN 80-86840-09-3
 Masařík Karel, Hruška Tomáš, Kolář Dušan, Lukáš Roman: System for design and simulation of microprocessors, In: Proceedings of 8th Spring International Conference - ISIM'05, Ostrava, CZ, MARQ, 2005, p. 269-276, ISBN 80-86840-09-3
 Vítek Martin: Insertion and Deletion Operations in Formal Language Theory, In: Proceedings of 8th Spring International Conference ISIM '05, Ostrava, CZ, MARQ, 2005, p. 73-80, ISBN 80-86840-09-3
 Zendulka Jaroslav (editor): Proceedings of 8th Spring International Conference ISIM'05, Ostrava, CZ, MARQ, 2005, p. 303, ISBN 80-86840-09-02

Your IPv4 address: 107.20.7.65
Switch to IPv6 connection

DNSSEC [dnssec]