Vojnar, Tomáš, 1973-
Vojnar, Tomáš
Tomáš Vojnar Narozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů.
VIAF ID: 306106403 ( Personal )
Permalink: http://viaf.org/viaf/306106403
Preferred Forms
- 100 0 _ ‡a Tomáš Vojnar ‡c Narozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů.
-
- 100 1 _ ‡a Vojnar, Tomáš
-
- 100 1 _ ‡a Vojnar, Tomáš
- 100 1 _ ‡a Vojnar, Tomáš, ‡d 1973-....
- 100 1 _ ‡a Vojnar, Tomáš, ‡d 1973-
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
- 551 _ _ ‡a Brünn ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a Vysoké učení technické v Brně ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Analysis and testing of concurrent programs : monograph | |
CARET model-checking d'automates à piles : application à la détection de malware. | |
Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis | |
Généralisation d'automates alternatifs sur des alphabets infinis | |
Harnessing forest automata for verification of heap manipulating programs. | |
Infinity'08 : 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008 | |
Mathematical and engineering methods in computer science, 2013: | |
On model-checking pushdown systems models | |
Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů | |
Simulations and antichains for efficient handling of finite automata : monograph | |
Vérification de modèles de systèmes à pile. | |
Vérification de programmes avec structures de données complexes | |
Verification of asynchronous and parametrized hardware designs : monograph |