Andrew P. Moore

List of publications from the DBLP Bibliography Server - FAQ

2002

5 EE Howard F. Lipson, Nancy R. Mead, Andrew P. Moore: Can We Ever Build Survivable Systems from COTS Components? CAiSE 2002: 216-229

1998

4 Myong H. Kang, Andrew P. Moore, Ira S. Moskowitz: Design and Assurance Strategy for the NRL Pump. IEEE Computer 31(4): 56-64 (1998)

1996

3 Leslie Pack Kaelbling, Michael L. Littman, Andrew P. Moore: Reinforcement Learning: A Survey. J. Artif. Intell. Res. (JAIR) 4: 237-285 (1996)

1990

2 EE Andrew P. Moore: The Specification and Verified Decomposition of System Requirements Using CSP. IEEE Trans. Software Eng. 16(9): 932-948 (1990)

1986

1 John McHugh, Andrew P. Moore: A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network. IEEE Symposium on Security and Privacy 1986: 34-39

2002
5	EE	Howard F. Lipson, Nancy R. Mead, Andrew P. Moore: Can We Ever Build Survivable Systems from COTS Components? CAiSE 2002: 216-229
1998
4		Myong H. Kang, Andrew P. Moore, Ira S. Moskowitz: Design and Assurance Strategy for the NRL Pump. IEEE Computer 31(4): 56-64 (1998)
1996
3		Leslie Pack Kaelbling, Michael L. Littman, Andrew P. Moore: Reinforcement Learning: A Survey. J. Artif. Intell. Res. (JAIR) 4: 237-285 (1996)
1990
2	EE	Andrew P. Moore: The Specification and Verified Decomposition of System Requirements Using CSP. IEEE Trans. Software Eng. 16(9): 932-948 (1990)
1986
1		John McHugh, Andrew P. Moore: A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network. IEEE Symposium on Security and Privacy 1986: 34-39

Coauthor Index