Daniel Dvorak

	2004
8		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. ISORC 2004: 15-22
	2003
7		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. OOPSLA Companion 2003: 361-369
	2002
6		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): 638-658 (2002)
	1998
5		Michael R. Lowry, Daniel Dvorak: Analytic Verification of Flight Software. IEEE Intelligent Systems 13(5): 45-49 (1998)
	1996
4		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: 490-497
	1995
3		James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. IJCAI 1995: 1814-1820
	1991
2		Daniel Dvorak, Benjamin Kuipers: Process Monitoring and Diagnosis: A Model-Based Approach. IEEE Expert 6(3): 67-74 (1991)
	1989
1		Daniel Dvorak, Benjamin Kuipers: Model-Based Monitoring of Dynamic Systems. IJCAI 1989: 1238-1243

Coauthor Index

1	Gregory Bollella	[7] [8]
2	Tim Canham	[7] [8]
3	Vanessa Carson	[7] [8]
4	Virgil Champlin	[7] [8]
5	James M. Crawford	[3] [4] [6]
6	Brian Giovannoni	[7] [8]
7	Mark Indictor	[7] [8]
8	Benjamin Kuipers	[1] [2]
9	Diane J. Litman	[3] [4] [6]
10	Michael R. Lowry	[5]
11	Kenny Meyer	[7] [8]
12	Anil Mishra	[3] [4] [6]
13	Alex Murray	[7] [8]
14	Peter F. Patel-Schneider	[3] [4] [6]
15	Kirk Reinholtz	[7] [8]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page