2007 |
9 | | R. Miller,
R. Cherinka:
Engineering a Complex Information Enterprise: A Case Study Architecting the Department of Defense Hourglass.
Enterprise Information Systems and Web Technologies 2007: 183-190 |
2005 |
8 | EE | R. Cherinka,
R. Miller,
C. Smith:
Beyond Web Services: Towards On-Demand Complex Adaptive Environments.
ICWS 2005: 815-816 |
2003 |
7 | | T. De Oliveira,
R. Miller,
M. Tarin,
S. Cassol:
An integrated genetic data environment (GDE)-based LINUX interface for analysis of HIV-1 and other microbial sequences.
Bioinformatics 19(1): 153-154 (2003) |
1998 |
6 | EE | J. Park,
R. Miller:
A Proof Technique for Liveness Properties of Multifunction Composite Protocols.
ICNP 1998: 219-226 |
1996 |
5 | | R. Miller:
A Case Study in Reasoning about Actions and Continuous Change.
ECAI 1996: 624-628 |
4 | EE | R. Miller,
H. Carter,
K. Davis,
S. Venkatesan:
Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval.
ICECCS 1996: 383-390 |
1995 |
3 | | R. Miller,
A. K. Parrott,
C. Glasgow,
E. M. Slessor,
J. Simkin:
Highly efficient portability in parallel codes for industrial applications.
HPCN Europe 1995: 922-927 |
1993 |
2 | | C.-S. Chang,
George T. DeTitta,
H. Hauptman,
R. Jones,
R. Miller,
P. Thuman,
C. Weeks:
Solving the Phase Problem of X-Ray Crystallography on Parallel Machines.
PPSC 1993: 304-307 |
1975 |
1 | | Harry E. Pople,
J. Myers,
R. Miller:
DIALOG: A Model Of Diagnostic Logic For Internal Medicine.
IJCAI 1975: 848-855 |