Prohlížení dle autora "Kučera, Antonín"
-
Deciding bisimilarity between BPA and BPP processes
Jančar, Petr; Kučera, Antonín; Moller, Faron (CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. 2003, p. 159-173.) -
Deciding bisimulation-like equivalences with finite-state processes
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Theoretical Computer Science. 2001, vol. 258, issues 1-2, p. 409-433.) -
Deciding bisimulation-like equivalences with finite-state processes
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Automata, Languages and Programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211.) -
DP lower bounds for equivalence-checking and model-checking of one-counter automata
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk (Information and Computation. 2004, vol. 188, issue 1, p. 1-19.) -
Equivalence-checking on infinite-state systems: Techniques and results
Kučera, Antonín; Jančar, Petr (Theory and Practice of Logic Programming. 2006, vol. 6, issue 3.) -
Equivalence-checking with infinite-state systems: Techniques and results
Kučera, Antonín; Jančar, Petr (SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73.) -
Equivalence-checking with one-counter automata: A generic method for proving lower bounds
Jančar, Petr; Kučera, Antonín; Moller, Faron; Sawa, Zdeněk (Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings. 2002, p. 172-186.) -
Mobilní aplikace pro vzdálený monitoring fyzikálních veličin pomocí SMS, MMS, nebo GPRS komunikace
Kučera, Antonín (Bakalářská práce, 2011) -
Návrh a implementace řídicích algoritmů pro sekundární odprášení tandemové pece
Měkyna, Daniel (Diplomová práce, 2017) -
Návrh a realizace vizualizace pro odprášení tandemové pece
Gavlas, Antonín (Diplomová práce, 2017) -
Řídicí systém pro autonomní pohyb robotické ruky
Závodníková, Barbora (Bakalářská práce, 2016) -
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.) -
Zpracování a analýza zvukového signálu na robotickém zařízení
Kučera, Antonín (Diplomová práce, 2014)