Michael Smith Vis

*	2008
20	EE	Alice M. Agogino, Michael Smith: Broadening participation in computing with the k-gray engineering pathway digital library. JCDL 2008: 417
19	EE	Timothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache: Managing Change: An Ontology Version Control System. OWLED 2008
18	EE	Evren Sirin, Michael Smith, Evan Wallace: Opening, Closing Worlds - On Integrity Constraints. OWLED 2008
17	EE	Markus Stocker, Michael Smith: Owlgres: A Scalable OWL Reasoner. OWLED 2008
16	EE	Wei Li, Jun Wei, Michael Smith: Performance and Capacity Analysis of UWB Networks over 60GHz WPAN Channel. JCM 3(1): 51-55 (2008)
	2007
15	EE	Michael Smith, Andrew Schain, Kendall Clark, Arlen Griffey, Vladimir Kolovski: Mother, May I? OWL-based Policy Management at NASA. OWLED 2007
14	EE	Matthew Bass, Raghvinder S. Sangwan, Michael Smith: Architecture Design for Globally Distributed Projects. WICSA 2007: 35
13	EE	Michael Smith: PickPocket: A computer billiards shark. Artif. Intell. 171(16-17): 1069-1091 (2007)
	2006
12		Michael Smith: Running the Table: An AI for Computer Billiards. AAAI 2006
11	EE	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
10	EE	Marc Davis, Michael Smith, John F. Canny, Nathan Good, Simon King, Rajkumar Janakiraman: Towards context-aware face recognition. ACM Multimedia 2005: 483-486
9	EE	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
8	EE	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
7	EE	Debasis Mitra, Michael Smith: Digital Signal Processing in Predicting Secondary Structures of Proteins. IEA/AIE 2004: 40-49
	2002
6	EE	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)
	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	EE	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	EE	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	[20]
2	Matthew Bass	[14]
3	Steve Bishop	[9] [11]
4	John F. Canny (John Canny)	[10]
5	Kendall Clark	[15]
6	Marc Davis	[10]
7	Nick Drummond	[19]
8	Farshad Faghih	[6]
9	Matthew Fairbairn	[9] [11]
10	Nathaniel Good (Nathan Good)	[10]
11	Arlen Griffey	[15]
12	David Guaspari	[3]
13	Mary Jean Harrold	[4]
14	C. Michael Holloway	[3]
15	Rajkumar Janakiraman	[10]
16	Christopher Jones	[8]
17	Simon King	[10]
18	Vladimir Kolovski	[15]
19	Loren Larsen	[4]
20	Dong-U Lee	[8]
21	Wei Li	[16]
22	John Lloyd	[4]
23	Wayne Luk	[8]
24	Debasis Mitra	[7]
25	David Nedved	[4]
26	Michael Norrish	[9] [11]
27	Paul C. van Oorschot	[5]
28	Melanie Page	[4]
29	Timothy Redmond	[19]
30	Gregg Rothermel	[4]
31	Raghvinder S. Sangwan	[14]
32	Andrew Schain	[15]
33	Peter Sewell	[9] [11]
34	Manvinder Singh	[4]
35	Evren Sirin	[18]
36	Markus Stocker	[17]
37	Tania Tudorache	[19]
38	John D. Villasenor	[8]
39	Ben L. Di Vito	[3]
40	Evan Wallace	[18]
41	Connie Wang	[8]
42	Keith Wansbrough	[9] [11]
43	Jun Wei	[16]
44	Michael Willett	[5]

Colors in the list of coauthors