Skip to content

Volker Weber

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

1994–2009

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2009CSLOn the Complexity of Branching-Time Logics.Volker Weber
2009MFCSOn the Hybrid Extension of CTL and CTLAhmet Kara, Volker Weber, Martin Lange, Thomas Schwentick
2009MFCSThe Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
2007STACSBounded-Variable Fragments of Hybrid Logics.Thomas Schwentick, Volker Weber
2005STACSDynamic Complexity Theory Revisited.Volker Weber, Thomas Schwentick
1998ACLTime Mapping with Hypergraphs.Jan W. Amtrup, Volker Weber
1995IJCAIUsing hybrid connectionist learning for speech/language analysis.Volker Weber, Stefan Wermter
1994AAAILearning Fault-Tolerant Speech Parsing with SCREEN.Stefan Wermter, Volker Weber