Volker Weber

According to our database, Volker Weber authored at least 16 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Complexity of hybrid logics over transitive frames.

Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber

J. Appl. Log., 2010

The complexity of satisfiability for fragments of hybrid logic - Part I.

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss

J. Appl. Log., 2010

2009

Branching-Time Logics Repeatedly Referring to States.

Volker Weber

J. Log. Lang. Inf., 2009

On the Hybrid Extension of CTL and CTL+

Ahmet Kara, Martin Lange, Thomas Schwentick, Volker Weber

CoRR, 2009

On the Hybrid Extension of CTL and CTL⁺.

Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

On the Complexity of Branching-Time Logics.

Volker Weber

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2007

Dynamic Complexity Theory Revisited.

Volker Weber, Thomas Schwentick

Theory Comput. Syst., 2007

Hybrid Branching-Time Logics

Volker Weber

CoRR, 2007

Bounded-Variable Fragments of Hybrid Logics.

Thomas Schwentick, Volker Weber

Proceedings of the STACS 2007, 2007

2004

How to configure cyber chains via competence networks.

Joachim Berlak, Volker Weber

Bus. Process. Manag. J., 2004

2001

Incremental EHR introduction considering the situation in health care and the current standards under development.

Ingeborg Schramm, Volker Weber

Proceedings of the CARS 2001. Computer Assisted Radiology and Surgery. Proceedings of the 15th International Congress and Exhibition, 2001

1998

Time Mapping with Hypergraphs.

Jan W. Amtrup, Volker Weber

Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics, 1998

1997

SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks.

Stefan Wermter, Volker Weber

J. Artif. Intell. Res., 1997

1996

Interactive Spoken-Language Processing in a Hybrid Connectionist System.

Stefan Wermter, Volker Weber

Computer, 1996

1995

Using hybrid connectionist learning for speech/language analysis.

Volker Weber, Stefan Wermter

Proceedings of the Connectionist, 1995

1994

Learning Fault-Tolerant Speech Parsing with SCREEN.

Stefan Wermter, Volker Weber

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994