|
СТ |
Modal Transition Systems: A Foundation for Three-Valued Program Analysis |
2001 |
Huth M., Jagadeesan R., Schmidt D. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Using Principle Patterns to Optimize Real-Time ORBs |
2000 |
Pyarali I., O Ryan C., Schmidt D., Wang N., Gokhale A. S., Kachroo V. |
|
|
|
IEEE Concurrency |
05.05.2000 |
|
СТ |
Program Analysis as Model Checking of Abstract Interpretations |
1998 |
Schmidt D., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
Workshop on Design Patterns for Concurrent, Parallel and Distributed Object-Oriented Systems |
1995 |
Kafura D., Lavender G., Schmidt D. |
|
|
|
OOPS Messenger |
15.11.1996 |
|
СТ |
Experience Using Design Patterns to Evolve Communination Software Across Diverse OS Platforms |
1995 |
Schmidt D., Stephenson P. |
Lecture Notes in Computer Science |
|
|
ECOOP 95 - Object-Oriented Programming |
26.09.1995 |
|
СТ |
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics |
1993 |
Schulz M., Schmidt D. |
|
|
|
Lecture Notes in Computer Science |
12.08.1993 |
|
СТ |
Visual Modelling: A Knowledge Acquisition Method for Intelligent Process Control Systems |
1992 |
Schmidt D., Haddock J., Wallace W. A., Wright R. |
|
|
|
Lecture Notes in Artificial Intelligence |
08.07.1992 |
|
СТ |
Category-sorted Algebra-based Action Semantics |
1990 |
Even S., Schmidt D. |
|
|
|
Theoretical Computer Science |
12.02.1991 |
