Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(52)
Peter Habermehl
18
Ahmed Bouajjani
15
Milan Ceska
12
Parosh Aziz Abdulla
9
Lukas Holik (Lukás Holík)
9
Conferences
(17)
EUROCAST
7
CAV
5
TACAS
4
ISSTA
3
CIAA(WIA)
2
Journals
(9)
ENTCS
4
ACTA
2
FMSD
2
STTT
1
IJFCS
1
Keywords
(97)
Embed
Subscribe
Academic
Authors
Tomas Vojnar
Tomas Vojnar (Tomás Vojnar),University of Technology Brno,Software Engineering,Algorithms & Theory,Artificial Intelligence
Edit
Tomas Vojnar (Tomás Vojnar)
University of Technology Brno
Publications:
62
|
Citations:
403
Fields:
Software Engineering
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research areas and Fields of study
Collaborated with
52 co-authors
from 1997 to 2012
|
Cited by
344 authors
Cumulative
Annual
Sort by:
Publications
(62)
BibTeX
|
RIS
|
RefWorks
Download
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level
Jan Fiedor
,
Tomáš Vojnar
Published in 2012.
Programs with lists are counter automata
Ahmed Bouajjani
,
Marius Bozga
,
Peter Habermehl
,
Radu Iosif
,
Pierre Moro
,
Tomás Vojnar
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 158-192, 2011
A Parallel Compact Hash Table
Vegt van der Steven
,
Alfons Laarman
,
Tomas Vojnar
Journal:
Electronic Notes in Discrete Mathematics
, 2011
Efficient Algorithms for Handling Nondeterministic Automata
Tomás Vojnar
Conference:
Conference on Current Trends in Theory and Practice of Informatics - SOFSEM
, 2011
When Simulation Meets Antichains
(
Citations: 2
)
Parosh Aziz Abdulla
,
Yu-Fang Chen
,
Lukás Holík
,
Richard Mayr
,
Tomás Vojnar
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 158-174, 2010
Sort by:
Citations
(403 times by 260 publications)
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 5
)
Rajeev Alur
,
Pavol Černý
Journal:
Sigplan Notices - SIGPLAN
, pp. 599-610, 2011
Programs with lists are counter automata
Ahmed Bouajjani
,
Marius Bozga
,
Peter Habermehl
,
Radu Iosif
,
Pierre Moro
,
Tomás Vojnar
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 158-192, 2011
Proving program termination
Byron Cook
,
Andreas Podelski
,
Andrey Rybalchenko
Journal:
Communications of The ACM - CACM
, vol. 54, no. 5, pp. 88-98, 2011
Platform-wide deadlock immunity for mobile phones
Horatiu Jula
,
Thomas Rensch
,
George Candea
Conference:
International Conference on Dependable Systems and Networks Workshops - DSN-W
, 2011
An Efficient Decision Procedure for Imperative Tree Data Structures
Thomas Wies
,
Marco Muñiz
,
Viktor Kuncak
Published in 2011.
Comments