| 2022 | PPAM | High Performance Computing Queue Time Prediction Using Clustering and Regression. | Scott Hutchison, Daniel Andresen, Mitchell L. Neilsen, William H. Hsu, Benjamin Parsons |
| 2021 | ICMLA | Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. | Venkat Margapuri, Niketa Penumajji, Mitchell L. Neilsen |
| 2019 | CATA | Vetting Anti-patterns in Java to Kotlin Translation. | Chaney Courtney, Mitchell L. Neilsen |
| 2015 | CCS | Secure RTOS Architecture for Building Automation. | Xiaolong Wang, Masaaki Mizuno, Mitchell L. Neilsen, Xinming Ou, S. Raj Rajagopalan, Will G. Boldwin, Bryan Phillips |
| 2013 | FIE | Infusing system design and sensors in education. | Nathan H. Bean, Mitchell L. Neilsen, Gurdip Singh, J. D. Spears, Naiqian Zhang |
| 2010 | CAINE | Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds. | Mitchell L. Neilsen |
| 2010 | PDPTA | Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines. | Mitchell L. Neilsen |
| 2009 | PDPTA | Model Checking Token-Based Distributed Mutual Exclusion Algorithms. | Mitchell L. Neilsen |
| 2002 | PDPTA | A General Block Transfer Protocol for CAN Kingdom. | Mitchell L. Neilsen |
| 2000 | PDPTA | A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. | Mitchell L. Neilsen, Darrel M. Temple |
| 1999 | PDPTA | A Distributed Simulation Environment for Water Resource Site Analysis. | Mitchell L. Neilsen, Darrel M. Temple |
| 1997 | ICDCS | A Dynamic Probe Strategy for Quorum Systems. | Mitchell L. Neilsen |
| 1996 | SAC | A decentralized communication efficient distributed shared memory. | Legand L. Burge III, Mitchell L. Neilsen |
| 1992 | ICCI | A Distributed Algorithm for Parameterized Semaphore Operations. | Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen |
| 1992 | ICDCS | A General Method to Define Quorums. | Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal |
| 1992 | ICDCS | Synchronization and Concurrency Measures for Distributed Computations. | Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen |
| 1991 | ICDCS | A token based distributed mutual exclusion algorithm based on quorum agreements. | Masaaki Mizuno, Mitchell L. Neilsen, Raghavendra Rao |
| 1991 | ICDCS | A DAG-based algorithm for distributed mutual exclusion. | Mitchell L. Neilsen, Masaaki Mizuno |