Daniel Dvorak

According to our database, Daniel Dvorak authored at least 6 papers between 1989 and 2002.

Collaborative distances:

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

2002

R++: Adding Path-Based Rules to C++.

Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak

IEEE Trans. Knowl. Data Eng., 2002

1998

Analytic Verification of Flight Software.

Michael R. Lowry, Daniel Dvorak

IEEE Intell. Syst., 1998

1996

Path-Based Rules in Object-Oriented Programming.

James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Device Representation and Reasoning with Affective Relations.

James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1991

Process Monitoring and Diagnosis: A Model-Based Approach.

Daniel Dvorak, Benjamin Kuipers

IEEE Expert, 1991

1989

Model-Based Monitoring of Dynamic Systems.

Daniel Dvorak, Benjamin Kuipers

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989