Model-Based Monitoring of Dynamic Systems. - Daniel Dvorak; Benjamin Kuipers (IJCAI, 1989)

Process Monitoring and Diagnosis: A Model-Based Approach. - Daniel Dvorak; Benjamin Kuipers (IEEE Expert, 1991)

Device Representation and Reasoning with Affective Relations. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (IJCAI, 1995)

Path-Based Rules in Object-Oriented Programming. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (AAAI/IAAI, Vol. 1, 1996)

Analytic Verification of Flight Software. - Michael R. Lowry; Daniel Dvorak (IEEE Intell. Syst., 1998)

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)