Search the dblp DataBase

Publications of Author

1. James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
   Path-Based Rules in Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, Vol. 1, 1996, pp:490-497 [Conf]
   
2. James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
   Device Representation and Reasoning with Affective Relations. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1995, pp:1814-1820 [Conf]
   
3. Daniel Dvorak, Benjamin Kuipers
   Model-Based Monitoring of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1989, pp:1238-1243 [Conf]
   
4. Daniel Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz
   Project Golden Gate: Towards Real-Time Java in Space Missions. [Citation Graph (0, 0)][DBLP]
   ISORC, 2004, pp:15-22 [Conf]
   
5. Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Daniel Dvorak, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz
   Programming with non-heap memory in the real time specification for Java. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2003, pp:361-369 [Conf]
   
6. Daniel Dvorak, Benjamin Kuipers
   Process Monitoring and Diagnosis: A Model-Based Approach. [Citation Graph (0, 0)][DBLP]
   IEEE Expert, 1991, v:6, n:3, pp:67-74 [Journal]
   
7. Michael R. Lowry, Daniel Dvorak
   Analytic Verification of Flight Software. [Citation Graph (0, 0)][DBLP]
   IEEE Intelligent Systems, 1998, v:13, n:5, pp:45-49 [Journal]
   
8. Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak
   R++: Adding Path-Based Rules to C++. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Knowl. Data Eng., 2002, v:14, n:3, pp:638-658 [Journal]