Michael Jones

	2009
20		Jie Long, Cory Reimschussel, Ontario Britton, Michael Jones: Motion capture for natural tree animation. SIGGRAPH Talks 2009
	2008
19		Tonglaga Bao, Michael Jones: Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59
	2006
18		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		Michael C. Mozer, Michael Jones, Michael Shettel: Context Effects in Category Learning: An Investigation of Four Probabilistic Models. NIPS 2006: 993-1000
16		Micah Lewis, Michael Jones: A dead variable analysis for explicit model checking. PEPM 2006: 48-57
15		Peter Lamborn, Michael Jones: January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN 2006: 731-740
14		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		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		Eric Mercer, Michael Jones: Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265
11		Tonglaga Bao, Michael Jones: Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540
10		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		Kevin D. Seppi, Michael Jones, Peter Lamborn: Guided Model Checking with a Bayesian Meta-heuristic. ACSD 2004: 217-226
8		Maurizio Gavardoni, Michael Jones, Russell Poffenberger, Miguel Conde: System Monitor for Diagnostic, Calibration and System Configuration. ITC 2004: 1263-1268
7		Michael Jones, Eric Mercer: Explicit State Model Checking with Hopper. SPIN 2004: 146-150
6		Michael Jones, Aaron Benson, Dan Delorey: Proving Compatibility Using Refinement. TPHOLs 2004: 168-183
	2003
5		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		Tat-Jen Cham, Shyam Krishnamoorthy, Michael Jones: Analogous view transfer for gaze correction in video sequences. ICARCV 2002: 1415-1420
3		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		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	Ontario Britton	[20]
6	Tat-Jen Cham	[4]
7	Miguel Conde	[8]
8	Dan Delorey	[6]
9	Maurizio Gavardoni	[8]
10	Cristian Grecu	[10] [13]
11	Ramesh Illikkal	[18]
12	André Ivanov	[10] [13]
13	Ravi R. Iyer (Ravishankar R. Iyer)	[18]
14	Sing Bing Kang	[2]
15	Aaron H. Konstam	[1]
16	Shyam Krishnamoorthy	[4]
17	Rahul Kumar	[5]
18	Peter Lamborn	[5] [9] [14] [15]
19	Micah Lewis	[16]
20	Jie Long	[20]
21	Srihari Makineni	[18]
22	Eric Mercer (Eric G. Mercer)	[5] [7] [12]
23	Michael C. Mozer (Michael Mozer)	[17]
24	T. M. Murali	[3]
25	Donald Newell	[18]
26	Partha Pratim Pande	[10] [13]
27	Russell Poffenberger	[8]
28	Cecilia M. Procopiuc (Cecilia Magdalena Procopiuc, Cecilia Magdalena Ionescu)	[3]
29	Cory Reimschussel	[20]
30	Resve A. Saleh (Resve Saleh, Res Saleh)	[10] [13]
31	Kevin D. Seppi	[9] [14]
32	Michael Shettel	[17]
33	Kumar Shiv	[18]
34	Li Zhao	[18]

Colors in the list of coauthors