Susanne Schacht

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Susanne Schacht
Formal Reasoning about Actor Programs Using Temporal Logic. Concurrent Object-Oriented Programming and Petri Nets (2001)
Susanne Schacht, Udo Hahn
Making Objects More Knowledgeable. KI (1997)
Susanne Schacht, Udo Hahn
Temporal Reasoning about Actor Systems. EPIA (1997)
Susanne Schacht, Udo Hahn
A Denotational Semantics for Joining Description Logics and Object-Oriented Programming. SCAI (1997)
Susanne Schacht, Udo Hahn, Norbert Bröker
Concurrent Lexicalized Dependency Parsing: A Behavioral View on ParseTalk Events. CoRR (1994)
Norbert Bröker, Udo Hahn, Susanne Schacht
Concurrent Lexicalized Dependency Parsing: The ParseTalk Model. COLING (1994)
Susanne Schacht, Udo Hahn, Norbert Bröker
Concurrent Lexicalized Dependency Parsing: A Behavioral View On ParseTalk Events. COLING (1994)
Udo Hahn, Susanne Schacht, Norbert Bröker
Concurrent, object-oriented natural language parsing: the ParseTalk model. Int. J. Hum. Comput. Stud. 41 (1-2) (1994)
Norbert Bröker, Udo Hahn, Susanne Schacht
Concurrent Lexicalized Dependency Parsing: The ParseTalk Model. CoRR (1994)