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

Nikola Benes (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


14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský: Modal Process Rewrite Systems. ICTAC 2012: 120-135
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba: Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Ivana Cerná, Jan Kretínský: Modal Transition Systems: Composition and LTL Model Checking. ATVA 2011: 228-242
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba: Parametric Modal Transition Systems. ATVA 2011: 275-289
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský: Process Algebra for Modal Transition Systemses. MEMICS 2010: 9-18
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba: On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009)

Selection of 7 from 14 records - Nikola Benes has 11 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