Volker Weber

24 papers A* 1A 2B 3Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2010 J jnl
Complexity of hybrid logics over transitive frames.
J. Appl. Log.
Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
2010 J jnl
The complexity of satisfiability for fragments of hybrid logic - Part I.
J. Appl. Log.
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
2009 J jnl
Branching-Time Logics Repeatedly Referring to States.
J. Log. Lang. Inf.
Volker Weber
2009 J jnl
On the Complexity of Branching-Time Logics
CoRR
Volker Weber
2009 B conf
On the Complexity of Branching-Time Logics.
CSL
Volker Weber
2009 B conf
On the Hybrid Extension of CTL and CTL
MFCS
Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick
2009 J jnl
On the Hybrid Extension of CTL and CTL+
CoRR
Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber
2009 J jnl
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I
CoRR
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
2009 B conf
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.
MFCS
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
2008 J jnl
Complexity of Hybrid Logics over Transitive Frames
CoRR
Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
2007 A conf
Bounded-Variable Fragments of Hybrid Logics.
STACS
Thomas Schwentick, Volker Weber
2007 J jnl
Dynamic Complexity Theory Revisited.
Theory Comput. Syst.
Volker Weber, Thomas Schwentick
2007 J jnl
Hybrid Branching-Time Logics
CoRR
Volker Weber
2005 A conf
Dynamic Complexity Theory Revisited.
STACS
Volker Weber, Thomas Schwentick
2004 J jnl
How to configure cyber chains via competence networks.
Bus. Process. Manag. J.
Joachim Berlak, Volker Weber
2001 — conf
Incremental EHR introduction considering the situation in health care and the current standards under development.
CARS
Ingeborg Schramm, Volker Weber
1998 — conf
Time Mapping with Hypergraphs.
COLING-ACL
Jan W. Amtrup, Volker Weber
1997 J jnl
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks
CoRR
Stefan Wermter, Volker Weber
1997 J jnl
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks
CoRR
Stefan Wermter, Volker Weber
1997 J jnl
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks.
J. Artif. Intell. Res.
Stefan Wermter, Volker Weber
1996 J jnl
Interactive Spoken-Language Processing in a Hybrid Connectionist System.
Computer
Stefan Wermter, Volker Weber
1995 — conf
Using hybrid connectionist learning for speech/language analysis.
Learning for Natural Language Processing
Volker Weber, Stefan Wermter
1994 A* conf
Learning Fault-Tolerant Speech Parsing with SCREEN.
AAAI
Stefan Wermter, Volker Weber
1994 J jnl
Learning Fault-tolerant Speech Parsing with SCREEN.
CoRR
Stefan Wermter, Volker Weber