Michael Smith

	2008
22		Alice M. Agogino, Michael Smith: Broadening participation in computing with the k-gray engineering pathway digital library. JCDL 2008: 417
21		Timothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache: Managing Change: An Ontology Version Control System. OWLED 2008
20		Evren Sirin, Michael Smith, Evan Wallace: Opening, Closing Worlds - On Integrity Constraints. OWLED 2008
19		Markus Stocker, Michael Smith: Owlgres: A Scalable OWL Reasoner. OWLED 2008
18		Wei Li, Jun Wei, Michael Smith: Performance and Capacity Analysis of UWB Networks over 60GHz WPAN Channel. JCM 3(1): 51-55 (2008)
	2007
17		Michael Smith, Andrew Schain, Kendall Clark, Arlen Griffey, Vladimir Kolovski: Mother, May I? OWL-based Policy Management at NASA. OWLED 2007
16		Matthew Bass, Raghvinder S. Sangwan, Michael Smith: Architecture Design for Globally Distributed Projects. WICSA 2007: 35
15		Michael Smith: PickPocket: A computer billiards shark. Artif. Intell. 171(16-17): 1069-1091 (2007)
	2006
14		Michael Smith: Running the Table: An AI for Computer Billiards. AAAI 2006
13		Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. POPL 2006: 55-66
	2005
12		Marc Davis, Michael Smith, John F. Canny, Nathan Good, Simon King, Rajkumar Janakiraman: Towards context-aware face recognition. ACM Multimedia 2005: 483-486
11		Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. SIGCOMM 2005: 265-276
	2004
10		Dong-U Lee, Wayne Luk, Connie Wang, Christopher Jones, Michael Smith, John D. Villasenor: A Flexible Hardware Encoder for Low-Density Parity-Check Codes. FCCM 2004: 101-111
9		Debasis Mitra, Michael Smith: Digital Signal Processing in Predicting Secondary Structures of Proteins. IEA/AIE 2004: 40-49
	2002
8		Farshad Faghih, Michael Smith: Combining spatial and scale-space techniques for edge detection to provide a spatially adaptive wavelet-based noise filtering algorithm. IEEE Transactions on Image Processing 11(9): 1062-1071 (2002)
	2001
7		Ingrid Hsieh-Yee, Michael Smith: The CORC experience: survey of founding libraries. Part I. OCLC Systems & Services 17(3): 133-141 (2001)
6		Ingrid Hsieh-Yee, Michael Smith: The CORC experience: survey of founding libraries. Part II. OCLC Systems & Services 17(4): 166-177 (2001)
	2000
5		Michael Smith, Paul C. van Oorschot, Michael Willett: Cryptographic Information Recovery Using Key Recover. Computers & Security 19(1): 21-27 (2000)
	1995
4		Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Melanie Page, Gregg Rothermel, Manvinder Singh, Michael Smith: Aristotle: a system for development of program analysis based tools. ACM Southeast Regional Conference 1995: 110-119
	1994
3		C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith: Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258
	1984
2		Michael Smith: Muscular Effects of VDT Work. COMPCON 1984: 281-283
1		Michael Smith: Mental and Emotional Issues in VDT Work. COMPCON 1984: 289-292

Coauthor Index

1	Alice M. Agogino	[22]
2	Matthew Bass	[16]
3	Steve Bishop	[11] [13]
4	John F. Canny (John Canny)	[12]
5	Kendall Clark	[17]
6	Marc Davis	[12]
7	Nick Drummond	[21]
8	Farshad Faghih	[8]
9	Matthew Fairbairn	[11] [13]
10	Nathaniel Good (Nathan Good)	[12]
11	Arlen Griffey	[17]
12	David Guaspari	[3]
13	Mary Jean Harrold	[4]
14	C. Michael Holloway	[3]
15	Ingrid Hsieh-Yee	[6] [7]
16	Rajkumar Janakiraman	[12]
17	Christopher Jones	[10]
18	Simon King	[12]
19	Vladimir Kolovski	[17]
20	Loren Larsen	[4]
21	Dong-U Lee	[10]
22	Wei Li	[18]
23	John Lloyd	[4]
24	Wayne Luk	[10]
25	Debasis Mitra	[9]
26	David Nedved	[4]
27	Michael Norrish	[11] [13]
28	Paul C. van Oorschot	[5]
29	Melanie Page	[4]
30	Timothy Redmond	[21]
31	Gregg Rothermel	[4]
32	Raghvinder S. Sangwan	[16]
33	Andrew Schain	[17]
34	Peter Sewell	[11] [13]
35	Manvinder Singh	[4]
36	Evren Sirin	[20]
37	Markus Stocker	[19]
38	Tania Tudorache	[21]
39	John D. Villasenor	[10]
40	Ben L. Di Vito	[3]
41	Evan Wallace	[20]
42	Connie Wang	[10]
43	Keith Wansbrough	[11] [13]
44	Jun Wei	[18]
45	Michael Willett	[5]

Colors in the list of coauthors