2001 |
7 | EE | Susanne Schacht:
Formal Reasoning about Actor Programs Using Temporal Logic.
Concurrent Object-Oriented Programming and Petri Nets 2001: 445-460 |
1997 |
6 | | Susanne Schacht,
Udo Hahn:
Temporal Reasoning about Actor Systems.
EPIA 1997: 279-290 |
5 | | Susanne Schacht,
Udo Hahn:
Making Objects More Knowledgeable.
KI 1997: 243-254 |
4 | | Susanne Schacht,
Udo Hahn:
A Denotational Semantics for Joining Description Logics and Object-Oriented Programming.
SCAI 1997: 120-130 |
1994 |
3 | EE | Norbert Bröker,
Udo Hahn,
Susanne Schacht:
Concurrent Lexicalized Dependency Parsing: The ParseTalk Model.
COLING 1994: 379-385 |
2 | EE | Susanne Schacht,
Udo Hahn,
Norbert Bröker:
Concurrent Lexicalized Dependency Parsing: A Behavioral View On ParseTalk Events.
COLING 1994: 489-493 |
1 | EE | Udo Hahn,
Susanne Schacht,
Norbert Bröker:
Concurrent, object-oriented natural language parsing: the ParseTalk model.
Int. J. Hum.-Comput. Stud. 41(1-2): 179-222 (1994) |