Daniel Dvorak

Publication Activity (10 Years)

Years Active: 1989-2002
Publications (10 Years): 0

Publications

Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak
R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. 14 (3) (2002)
Michael R. Lowry, Daniel Dvorak
Analytic Verification of Flight Software. IEEE Intell. Syst. 13 (5) (1998)
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 (1996)
James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
Device Representation and Reasoning with Affective Relations. IJCAI (1995)
Daniel Dvorak, Benjamin Kuipers
Process Monitoring and Diagnosis: A Model-Based Approach. IEEE Expert 6 (3) (1991)
Daniel Dvorak, Benjamin Kuipers
Model-Based Monitoring of Dynamic Systems. IJCAI (1989)