Michael Smith

2008
23	EE	Lily Huang, Michael Smith, Albert Tran, James Miller: E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. ISSRE 2008: 277-278
22	EE	Albert Tran, Michael Smith, James Miller: A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis. ISSRE 2008: 321-322
21	EE	Alice M. Agogino, Michael Smith: Broadening participation in computing with the k-gray engineering pathway digital library. JCDL 2008: 417
20	EE	Timothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache: Managing Change: An Ontology Version Control System. OWLED 2008
19	EE	Evren Sirin, Michael Smith, Evan Wallace: Opening, Closing Worlds - On Integrity Constraints. OWLED 2008
18	EE	Markus Stocker, Michael Smith: Owlgres: A Scalable OWL Reasoner. OWLED 2008
17	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
16	EE	James Miller, Michael Smith: A TDD approach to introducing students to embedded programming. ITiCSE 2007: 33-37
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	[21]
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	[20]
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	Lily Huang	[23]
16	Rajkumar Janakiraman	[10]
17	Christopher Jones	[8]
18	Simon King	[10]
19	Vladimir Kolovski	[15]
20	Loren Larsen	[4]
21	Dong-U Lee	[8]
22	Wei Li	[17]
23	John Lloyd	[4]
24	Wayne Luk	[8]
25	James Miller	[16] [22] [23]
26	Debasis Mitra	[7]
27	David Nedved	[4]
28	Michael Norrish	[9] [11]
29	Paul C. van Oorschot	[5]
30	Melanie Page	[4]
31	Timothy Redmond	[20]
32	Gregg Rothermel	[4]
33	Raghvinder S. Sangwan	[14]
34	Andrew Schain	[15]
35	Peter Sewell	[9] [11]
36	Manvinder Singh	[4]
37	Evren Sirin	[19]
38	Markus Stocker	[18]
39	Albert Tran	[22] [23]
40	Tania Tudorache	[20]
41	John D. Villasenor	[8]
42	Ben L. Di Vito	[3]
43	Evan Wallace	[19]
44	Connie Wang	[8]
45	Keith Wansbrough	[9] [11]
46	Jun Wei	[17]
47	Michael Willett	[5]

Colors in the list of coauthors