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

Volker Weber (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


21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber: Complexity of hybrid logics over transitive frames. J. Applied Logic 8(4): 422-440 (2010)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmet Kara, Volker Weber, Martin Lange, Thomas Schwentick: On the Hybrid Extension of CTL and CTL+. MFCS 2009: 427-438
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmet Kara, Martin Lange, Thomas Schwentick, Volker Weber: On the Hybrid Extension of CTL and CTL+ CoRR abs/0906.2541: (2009)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber: Complexity of Hybrid Logics over Transitive Frames CoRR abs/0806.4130: (2008)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Schwentick, Volker Weber: Bounded-Variable Fragments of Hybrid Logics. STACS 2007: 561-572
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Weber, Thomas Schwentick: Dynamic Complexity Theory Revisited. Theory Comput. Syst. 40(4): 355-377 (2007)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Weber, Thomas Schwentick: Dynamic Complexity Theory Revisited. STACS 2005: 256-268

Selection of 7 from 22 records - Volker Weber 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