![]() | ![]() |
| 2011 | ||
|---|---|---|
| 28 | Ronald C. Beckett, Michael Jones: Active Ageing: Using an ARCON Framework to Study U3A (University of the Third Age) in Australia. PRO-VE 2011: 189-196 | |
| 27 | Michael Jones, Christopher Scaffidi: Obstacles and opportunities with using visual and domain-specific languages in scientific programming. VL/HCC 2011: 9-16 | |
| 2010 | ||
| 26 | Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael Jones: Motion Capture for a Natural Tree in the Wind. MIG 2010: 158-169 | |
| 25 | Michael Mozer, Harold Pashler, Matthew H. Wilder, Robert A. Lindsey, Matt Jones, Michael Jones: Improving Human Judgments by Decontaminating Sequential Dependencies. NIPS 2010: 1705-1713 | |
| 24 | Ronald C. Beckett, Michael Jones: The Variable Nature of Trust in Sustainable Collaborative Ventures. PRO-VE 2010: 404-411 | |
| 23 | Markus Donix, Alison C. Burggren, Nanthia A. Suthana, Prabha Siddarth, Arne D. Ekstrom, Allison K. Krupa, Michael Jones, Anup Rao, Laurel Martin-Harris, Linda M. Ercoli, Karen J. Miller, Gary W. Small, Susan Y. Bookheimer: Longitudinal changes in medial temporal cortical thickness in normal subjects with the APOE-4 polymorphism. NeuroImage 53(1): 37-43 (2010) | |
| 22 | Nanthia A. Suthana, Allison K. Krupa, Markus Donix, Alison C. Burggren, Arne D. Ekstrom, Michael Jones, Linda M. Ercoli, Karen J. Miller, Prabha Siddarth, Gary W. Small, Susan Y. Bookheimer: Reduced hippocampal CA2, CA3, and dentate gyrus activity in asymptomatic people at genetic risk for Alzheimer's disease. NeuroImage 53(3): 1077-1084 (2010) | |
| 2009 | ||
| 21 | Jie Long, Cory Reimschussel, Ontario Britton, Michael Jones: Motion capture for natural tree animation. SIGGRAPH Talks 2009 | |
| 2008 | ||
| 20 | Tonglaga Bao, Michael Jones: Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59 | |
| 2007 | ||
| 19 | Matthew Beardall, McKay Farley, Darius Ouderkirk, Jeremy Smith, Michael Jones, Parris K. Egbert: Goblins by SpheroidalWeathering. NPH 2007: 7-14 | |
| 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): 84-98 (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 | |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page