Вы здесь

Schmidt D.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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