dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tomás Vojnar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR 2011: 187-202
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Jonathan Cederberg, Tomás Vojnar: Monotonic Abstraction for Programs with Multiply-Linked Structures. RP 2011: 125-138
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar: When Simulation Meets Antichains. TACAS 2010: 158-174
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar: Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar: A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Electr. Notes Theor. Comput. Sci. 251: 27-48 (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Composed Bisimulation for Tree Automata. CIAA 2008: 212-222
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar: Computing Simulations over Tree Automata. TACAS 2008: 93-108

Selection of 9 from 63 records - Tomás Vojnar has 53 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page