 | 2009 |
|---|
| 19 |       | Volker Weber:
On the Complexity of Branching-Time Logics.
CSL 2009: 530-545 |
| 18 | | Ahmet Kara,
Volker Weber,
Martin Lange,
Thomas Schwentick:
On the Hybrid Extension of CTL and CTL+.
MFCS 2009: 427-438 |
| 17 | | Arne Meier,
Martin Mundhenk,
Thomas Schneider,
Michael Thomas,
Volker Weber,
Felix Weiss:
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I.
MFCS 2009: 587-599 |
| 16 | | Arne Meier,
Martin Mundhenk,
Thomas Schneider,
Michael Thomas,
Volker Weber,
Felix Weiss:
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I
CoRR abs/0906.1489: (2009) |
| 15 | | Volker Weber:
On the Complexity of Branching-Time Logics
CoRR abs/0906.2521: (2009) |
| 14 | | Ahmet Kara,
Martin Lange,
Thomas Schwentick,
Volker Weber:
On the Hybrid Extension of CTL and CTL+
CoRR abs/0906.2541: (2009) |
| 2008 |
|---|
| 13 | | Martin Mundhenk,
Thomas Schneider,
Thomas Schwentick,
Volker Weber:
Complexity of Hybrid Logics over Transitive Frames
CoRR abs/0806.4130: (2008) |
| 2007 |
|---|
| 12 | | Thomas Schwentick,
Volker Weber:
Bounded-Variable Fragments of Hybrid Logics.
STACS 2007: 561-572 |
| 11 | | Volker Weber:
Hybrid Branching-Time Logics
CoRR abs/0708.1723: (2007) |
| 10 | | Volker Weber,
Thomas Schwentick:
Dynamic Complexity Theory Revisited.
Theory Comput. Syst. 40(4): 355-377 (2007) |
| 2005 |
|---|
| 9 | | Volker Weber,
Thomas Schwentick:
Dynamic Complexity Theory Revisited.
STACS 2005: 256-268 |
| 2001 |
|---|
| 8 |  | Ingeborg Schramm,
Volker Weber:
Incremental EHR introduction considering the situation in health care and the current standards under development.
CARS 2001: 889-894 |
| 1998 |
|---|
| 7 | | Jan W. Amtrup,
Volker Weber:
Time Mapping with Hypergraphs.
COLING-ACL 1998: 55-61 |
| 1997 |
|---|
| 6 | | Stefan Wermter,
Volker Weber:
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks
CoRR cmp-lg/9702001: (1997) |
| 5 | | Stefan Wermter,
Volker Weber:
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks
CoRR cs.AI/9701102: (1997) |
| 4 | | Stefan Wermter,
Volker Weber:
SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks.
J. Artif. Intell. Res. (JAIR) 6: 35-85 (1997) |
| 1996 |
|---|
| 3 | | Stefan Wermter,
Volker Weber:
Interactive Spoken-Language Processing in a Hybrid Connectionist System.
IEEE Computer 29(7): 65-74 (1996) |
| 1995 |
|---|
| 2 | | Volker Weber,
Stefan Wermter:
Using hybrid connectionist learning for speech/language analysis.
Learning for Natural Language Processing 1995: 87-101 |
| 1994 |
|---|
| 1 | | Stefan Wermter,
Volker Weber:
Learning Fault-Tolerant Speech Parsing with SCREEN.
AAAI 1994: 670-675 |
