Michael Jones

2008
19	EE	Tonglaga Bao, Michael Jones: Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59
2006
18	EE	Ravi R. Iyer, Mahesh Bhat, Li Zhao, Ramesh Illikkal, Srihari Makineni, Michael Jones, Kumar Shiv, Donald Newell: Exploring Small-Scale and Large-Scale CMP Architectures for Commercial Java Servers. IISWC 2006: 191-200
17	EE	Michael C. Mozer, Michael Jones, Michael Shettel: Context Effects in Category Learning: An Investigation of Four Probabilistic Models. NIPS 2006: 993-1000
16	EE	Micah Lewis, Michael Jones: A dead variable analysis for explicit model checking. PEPM 2006: 48-57
15	EE	Peter Lamborn, Michael Jones: January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN 2006: 731-740
14	EE	Kevin D. Seppi, Michael Jones, Peter Lamborn: Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Inform. 70(1-2): 111-126 (2006)
2005
13	EE	Partha Pratim Pande, Cristian Grecu, Michael Jones, André Ivanov, Res Saleh: Effect of traffic localization on energy dissipation in NoC-based interconnect. ISCAS (2) 2005: 1774-1777
12	EE	Eric Mercer, Michael Jones: Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265
11	EE	Tonglaga Bao, Michael Jones: Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540
10	EE	Partha Pratim Pande, Cristian Grecu, Michael Jones, André Ivanov, Resve A. Saleh: Performance Evaluation and Design Trade-Offs for Network-on-Chip Interconnect Architectures. IEEE Trans. Computers 54(8): 1025-1040 (2005)
2004
9	EE	Kevin D. Seppi, Michael Jones, Peter Lamborn: Guided Model Checking with a Bayesian Meta-heuristic. ACSD 2004: 217-226
8	EE	Maurizio Gavardoni, Michael Jones, Russell Poffenberger, Miguel Conde: System Monitor for Diagnostic, Calibration and System Configuration. ITC 2004: 1263-1268
7	EE	Michael Jones, Eric Mercer: Explicit State Model Checking with Hopper. SPIN 2004: 146-150
6	EE	Michael Jones, Aaron Benson, Dan Delorey: Proving Compatibility Using Refinement. TPHOLs 2004: 168-183
2003
5	EE	Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2002
4	EE	Tat-Jen Cham, Shyam Krishnamoorthy, Michael Jones: Analogous view transfer for gaze correction in video sequences. ICARCV 2002: 1415-1420
3	EE	Cecilia Magdalena Procopiuc, Michael Jones, Pankaj K. Agarwal, T. M. Murali: A Monte Carlo algorithm for fast projective clustering. SIGMOD Conference 2002: 418-427
2		Sing Bing Kang, Michael Jones: Appearance-Based Structure from Motion Using Linear Classes of 3-D Models. International Journal of Computer Vision 49(1): 5-22 (2002)
1999
1	EE	Michael Jones, Aaron H. Konstam: The Use of Genetic Algorithms and Neural Networks to Investigate the Baldwin Effect. SAC 1999: 275-279

Coauthor Index

1	Pankaj K. Agarwal	[3]
2	Tonglaga Bao	[5] [11] [19]
3	Aaron Benson	[6]
4	Mahesh Bhat	[18]
5	Tat-Jen Cham	[4]
6	Miguel Conde	[8]
7	Dan Delorey	[6]
8	Maurizio Gavardoni	[8]
9	Cristian Grecu	[10] [13]
10	Ramesh Illikkal	[18]
11	André Ivanov	[10] [13]
12	Ravi R. Iyer (Ravishankar R. Iyer)	[18]
13	Sing Bing Kang	[2]
14	Aaron H. Konstam	[1]
15	Shyam Krishnamoorthy	[4]
16	Rahul Kumar	[5]
17	Peter Lamborn	[5] [9] [14] [15]
18	Micah Lewis	[16]
19	Srihari Makineni	[18]
20	Eric Mercer (Eric G. Mercer)	[5] [7] [12]
21	Michael C. Mozer (Michael Mozer)	[17]
22	T. M. Murali	[3]
23	Donald Newell	[18]
24	Partha Pratim Pande	[10] [13]
25	Russell Poffenberger	[8]
26	Cecilia Magdalena Procopiuc	[3]
27	Resve A. Saleh (Resve Saleh, Res Saleh)	[10] [13]
28	Kevin D. Seppi	[9] [14]
29	Michael Shettel	[17]
30	Kumar Shiv	[18]
31	Li Zhao	[18]

Colors in the list of coauthors