Browsing by Author "Jančar, Petr"

DSpace/Manakin Repository

DSpace Home
Browsing by Author

Browsing by Author "Jančar, Petr"

Now showing items 21-40 of 49

Hardness of equivalence checking for composed finite-state systems

Sawa, Zdeněk; Jančar, Petr (Acta informatica. 2009, vol. 46, no. 3, p. 169-191.)
Implementace algoritmů pro paritní hry a jejich experimentální analýza

Zapletal, Tomáš; Jančar, Petr; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2008)
Návrh a simulace Turingových strojů

Jůcha, Václav; Jančar, Petr; (Diplomová práce, 2001)
Non-interleaving bisimulation equivalences on Basic Parallel Processes

Fröschle, Sibylle; Jančar, Petr; Lasota, Slawomir; Sawa, Zdeněk (Information and computation. 2010, vol. 208, issue 1, p. 42-62.)
Nonprimitive recursive complexity and undecidability for Petri net equivalences

Jančar, Petr (Theoretical computer science. 2001, vol. 256, issues 1-2, p. 23-30.)
A note on emptiness for alternating finite automata with a one-letter alphabet

Jančar, Petr; Sawa, Zdeněk (Information processing letters. 2007, vol. 104, issue 5, p. 164-167.)
A note on well quasi-orderings for powersets

Jančar, Petr (Information processing letters. 1999, vol. 72, issues 5-6, p. 155-160.)
On the complexity of consistency and complete state coding for signal transition graphs

Esparza, Javier; Jančar, Petr; Miller, Alexander (Fundamenta informaticae. 2008, vol. 86, no 3, p. 227-253.)
Petri nets and regular processes

Jančar, Petr; Esparza, Javier; Moller, Faron (Journal of computer and system sciences. 1999, vol. 59, issue 3, p. 476-503.)
Počítačová podpora výuky teorie konečných automatů

Czepczor, Marian; Jančar, Petr; (Bakalářská práce, 2005)
Počítačová podpora výuky teorie konečných automatů

Gubani, Vojtěch; Jančar, Petr; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Bakalářská práce, 2007)
Počítačová podpora výuky teorie konečných automatů

Sadil, Jan; Jančar, Petr; (Bakalářská práce, 2005)
Počítačová podpora výuky teorie regulárních jazyků

Zapletal, Tomáš; Jančar, Petr; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Bakalářská práce, 2006)
Příprava elektronické podpory výuky v oblasti bezkontextových jazyků

Jamrozová, Lenka; Jančar, Petr; (Diplomová práce, 2003)
Příprava elektronické podpory výuky v oblasti konečných automatů

Koblovský, Lukáš; Jančar, Petr; (Diplomová práce, 2003)
Příprava elektronické podpory výuky v oblasti teorie vyčíslitelnosti

Balluch, Andrej; Jančar, Petr; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Diplomová práce, 2009)
Příprava elktronické podpory výuky v oblasti teorie složitosti

Novák, František; Jančar, Petr; (Diplomová práce, 2005)
Selected ideas used for decidability and undecidability of bisimilarity

Jančar, Petr (Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : Proceedings. Lecture Notes in Computer Science. 2008, vol. 5257, p. 56-71.)
Selected Problems from the Area of Formal Verification

Kot, Martin; Jančar, Petr; (Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky, Disertační práce, 2009)
Simulation and bisimulation over one-counter processes

Jančar, Petr; Kučera, Antonín; Moller, Faron (STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000. Proceedings. 2000, p. 334-335. Lecture notes in computer science, vol. 1770.)

Now showing items 21-40 of 49

Search DSpace

Advanced Search

Navigation

Browse

All of DSpace

My Account

Login