A token based distributed mutual exclusion algorithm based on quorum agreements. - Masaaki Mizuno; Mitchell L. Neilsen; Raghavendra Rao (ICDCS, 1991)

A DAG-based algorithm for distributed mutual exclusion. - Mitchell L. Neilsen; Masaaki Mizuno (ICDCS, 1991)

A Distributed Algorithm for Parameterized Semaphore Operations. - Mahender Nelakonda; Masaaki Mizuno; Mitchell L. Neilsen (ICCI, 1992)

A General Method to Define Quorums. - Mitchell L. Neilsen; Masaaki Mizuno; Michel Raynal (ICDCS, 1992)

Synchronization and Concurrency Measures for Distributed Computations. - Michel Raynal; Masaaki Mizuno; Mitchell L. Neilsen (ICDCS, 1992)

Coterie Join Algorithm. - Mitchell L. Neilsen; Masaaki Mizuno (IEEE Trans. Parallel Distributed Syst., 1992)

Measures of Importance and Symmetry in Distributed Systems. - Mitchell L. Neilsen (SPDP, 1993)

A quorum-based algorithm for parameterized semaphore operations. - Mitchell L. Neilsen; Masaaki Mizuno (J. Syst. Softw., 1993)

An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. - Masaaki Mizuno; Michel Raynal; Gurdip Singh; Mitchell L. Neilsen (Applications in Parallel and Distributed Computing, 1994)

Nondominated k-Coteries for Multiple Mutual Exclusion. - Mitchell L. Neilsen; Masaaki Mizuno (Inf. Process. Lett., 1994)

Variable-rate Timestamped Anti-entropy Protocols. - Legand L. Burge III; Mitchell L. Neilsen (Parallel and Distributed Computing and Systems, 1995)

A decentralized communication efficient distributed shared memory. - Legand L. Burge III; Mitchell L. Neilsen (SAC, 1996)

Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". - Mitchell L. Neilsen; Masaaki Mizuno (Inf. Process. Lett., 1996)

An Optimistic Protocol for a Linearizable Distributed Shared Memory System. - Masaaki Mizuno; Mitchell L. Neilsen; Michel Raynal (Parallel Process. Lett., 1996)

A Dynamic Probe Strategy for Quorum Systems. - Mitchell L. Neilsen (ICDCS, 1997)

Properties of Nondominated K-Coteries. - Mitchell L. Neilsen (J. Syst. Softw., 1997)

A Distributed Simulation Environment for Water Resource Site Analysis. - Mitchell L. Neilsen; Darrel M. Temple (PDPTA, 1999)

Enhancing NWS for Use in an SNMP Managed Internetwork. - Robert E. Busby Jr.; Mitchell L. Neilsen; Daniel Andresen (IPDPS, 2000)

A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. - Mitchell L. Neilsen; Darrel M. Temple (PDPTA, 2000)

A Structured Approach to Develop Concurrent Programs in UML. - Masaaki Mizuno; Gurdip Singh; Mitchell L. Neilsen (UML, 2000)

A GIS-based modeling approach for implementation of sustainable farm management practices. - Mahesh N. Rao; David A. Waits; Mitchell L. Neilsen (Environ. Model. Softw., 2000)

Domain-specific Metaware for Hydrologic Applications. - Daniel Andresen; Mitchell L. Neilsen; Gurdip Singh; Prasanta K. Kalita (IASTED PDCS, 2002)

A General Block Transfer Protocol for CAN Kingdom. - Mitchell L. Neilsen (PDPTA, 2002)

A self-stabilizing quorum-based protocol for maxima computing. - Yiwei Chiao; Masaaki Mizuno; Mitchell L. Neilsen (Distributed Comput., 2002)

Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum. - Gurdip Singh; Masaaki Mizuno; Mitchell L. Neilsen; Donald H. Lenhert; Naiqian Zhang (IEEE Distributed Syst. Online, 2002)

Flexible Real-time Block Transfer Protocols. - Mitchell L. Neilsen (PDCS, 2003)

A generalized token-based mutual exclusion algorithm for wireless networks. - Mitchell L. Neilsen (PDCS, 2007)

Verification of Distributed Mutual Exclusion Algorithms. - Mitchell L. Neilsen (PDCCS, 2008)

Model Checking Token-Based Distributed Mutual Exclusion Algorithms. - Mitchell L. Neilsen (PDPTA, 2009)

Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds. - Mitchell L. Neilsen (CAINE, 2010)

Integrating Dam Breach Modules to Analyze Earth Embankment Dams. - Mitchell L. Neilsen; Darrel M. Temple; Gregory J. Hanson (CSC, 2010)

Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines. - Mitchell L. Neilsen (PDPTA, 2010)

Infusing system design and sensors in education. - Nathan H. Bean; Mitchell L. Neilsen; Gurdip Singh; J. D. Spears; Naiqian Zhang (FIE, 2013)

Secure RTOS Architecture for Building Automation. - Xiaolong Wang; Masaaki Mizuno; Mitchell L. Neilsen; Xinming Ou; S. Raj Rajagopalan; Will G. Boldwin; Bryan Phillips (CPS-SPC@CCS, 2015)

Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. - Xiaolong Wang; Richard Habeeb; Xinming Ou; Siddharth Amaravadi; John Hatcliff; Masaaki Mizuno; Mitchell L. Neilsen; S. Raj Rajagopalan; Srivatsan Varadarajan (ICDCS Workshops, 2017)

Vetting Anti-patterns in Java to Kotlin Translation. - Chaney Courtney; Mitchell L. Neilsen (CATA, 2019)

Seed Phenotyping on Neural Networks using Domain Randomization and Transfer Learning. - Venkat Margapuri; Mitchell L. Neilsen (CoRR, 2020)

Seed Classification using Synthetic Image Datasets Generated from Low-Altitude UAV Imagery. - Venkat Margapuri; Niketa Penumajji; Mitchell L. Neilsen (ICMLA, 2021)

PiBase: An IoT-based Security System Using Google Firebase and Raspberry Pi. - Venkat Margapuri; Niketa Penumajji; Mitchell L. Neilsen (IoTaIS, 2021)

A Novel System Architecture for Automated Field-Based Tent Systems for Controlled-Environment Agriculture. - Dan Wagner; Arslan Munir; Mitchell L. Neilsen (iSES, 2021)

Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks. - Venkat Margapuri; Mitchell L. Neilsen (SSCI, 2021)

Dam Breach Simulation with the Material Point Method. - Chendi Cao; Mitchell L. Neilsen (Comput., 2021)

PiBase: An IoT-based Security System using Raspberry Pi and Google Firebase. - Venkat Margapuri; Niketa Penumajji; Mitchell L. Neilsen (CoRR, 2021)

Verification of Feature Detection Through Thermal Imaging: An Extension of PiBase. - Anthony Atkinson; Venkat Margapuri; Mitchell L. Neilsen (IoTaIS, 2022)

Fractional Vegetation Cover Estimation using Hough Lines and Linear Iterative Clustering. - Venkat Margapuri; Trevor Rife; Chaney Courtney; Brandon Schlautman; Kai Zhao; Mitchell L. Neilsen (IPAS, 2022)

High Performance Computing Queue Time Prediction Using Clustering and Regression. - Scott Hutchison; Daniel Andresen; Mitchell L. Neilsen; William H. Hsu; Benjamin Parsons (PPAM (2), 2022)

Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks. - Venkat Margapuri; Prapti Thapaliya; Mitchell L. Neilsen (CoRR, 2023)

Seed Kernel Counting using Deep Learning for High-Throughput Phenotyping. - Venkat Margapuri; Prapti Thapaliya; Mitchell L. Neilsen (IoTaIS, 2024)