Mitchell L. Neilsen

	2009
29		Mitchell L. Neilsen: Model Checking Token-Based Distributed Mutual Exclusion Algorithms. PDPTA 2009: 10-16
	2008
28		Mitchell L. Neilsen: Verification of Distributed Mutual Exclusion Algorithms. ISCA PDCCS 2008: 13-18
	2007
27		Mitchell L. Neilsen: A generalized token-based mutual exclusion algorithm for wireless networks. ISCA PDCS 2007: 114-119
	2003
26		Mitchell L. Neilsen: Flexible Real-time Block Transfer Protocols. ISCA PDCS 2003: 459-464
	2002
25		Daniel Andresen, Mitchell L. Neilsen, Gurdip Singh, Prasanta K. Kalita: Domain-specific Metaware for Hydrologic Applications. IASTED PDCS 2002: 411-416
24		Mitchell L. Neilsen: A General Block Transfer Protocol for CAN Kingdom. PDPTA 2002: 1596-1602
23		Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen: A self-stabilizing quorum-based protocol for maxima computing. Distributed Computing 15(1): 49-55 (2002)
22		Gurdip Singh, Masaaki Mizuno, Mitchell L. Neilsen, Donald H. Lenhert, Naiqian Zhang: Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum. IEEE Distributed Systems Online 3(5): (2002)
	2000
21		Robert E. Busby Jr., Mitchell L. Neilsen, Daniel Andresen: Enhancing NWS for Use in an SNMP Managed Internetwork. IPDPS 2000: 506-
20		Mitchell L. Neilsen, Darrel M. Temple: A Concurrent Simulation Model for Analysis of Water Control Structures at the Watershed Scale. PDPTA 2000
19		Masaaki Mizuno, Gurdip Singh, Mitchell L. Neilsen: A Structured Approach to Develop Concurrent Programs in UML. UML 2000: 451-465
18		Mahesh N. Rao, David A. Waits, Mitchell L. Neilsen: A GIS-based modeling approach for implementation of sustainable farm management practices. Environmental Modelling and Software 15(8): 745-753 (2000)
	1999
17		Mitchell L. Neilsen, Darrel M. Temple: A Distributed Simulation Environment for Water Resource Site Analysis. PDPTA 1999: 560-566
	1997
16		Mitchell L. Neilsen: A Dynamic Probe Strategy for Quorum Systems. ICDCS 1997: 0-
15		Mitchell L. Neilsen: Properties of Nondominated K-Coteries. Journal of Systems and Software 37(1): 91-96 (1997)
	1996
14		Legand L. Burge III, Mitchell L. Neilsen: A decentralized communication efficient distributed shared memory. SAC 1996: 358-365
13		Mitchell L. Neilsen, Masaaki Mizuno: Erratum to "Nondominated k-coteries for Multiple Mutual Exclusion". Inf. Process. Lett. 60(6): 319 (1996)
12		Masaaki Mizuno, Mitchell L. Neilsen, Michel Raynal: An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Processing Letters 6(2): 265-278 (1996)
	1995
11		Legand L. Burge III, Mitchell L. Neilsen: Variable-rate Timestamped Anti-entropy Protocols. Parallel and Distributed Computing and Systems 1995: 381-384
	1994
10		Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen: An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. Applications in Parallel and Distributed Computing 1994: 145-154
9		Mitchell L. Neilsen, Masaaki Mizuno: Nondominated k-Coteries for Multiple Mutual Exclusion. Inf. Process. Lett. 50(5): 247-252 (1994)
	1993
8		Mitchell L. Neilsen: Measures of Importance and Symmetry in Distributed Systems. SPDP 1993: 448-455
7		Mitchell L. Neilsen, Masaaki Mizuno: A quorum-based algorithm for parameterized semaphore operations. Journal of Systems and Software 21(1): 103-112 (1993)
	1992
6		Mahender Nelakonda, Masaaki Mizuno, Mitchell L. Neilsen: A Distributed Algorithm for Parameterized Semaphore Operations. ICCI 1992: 466-469
5		Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal: A General Method to Define Quorums. ICDCS 1992: 657-664
4		Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen: Synchronization and Concurrency Measures for Distributed Computations. ICDCS 1992: 700-707
3		Mitchell L. Neilsen, Masaaki Mizuno: Coterie Join Algorithm. IEEE Trans. Parallel Distrib. Syst. 3(5): 582-590 (1992)
	1991
2		Mitchell L. Neilsen, Masaaki Mizuno: A DAG-based algorithm for distributed mutual exclusion. ICDCS 1991: 354-360
1		Masaaki Mizuno, Mitchell L. Neilsen, R. Rao: A token based distributed mutual exclusion algorithm based on quorum agreements. ICDCS 1991: 361-368

Coauthor Index

1	Daniel Andresen	[21] [25]
2	Legand L. Burge III	[11] [14]
3	Robert E. Busby Jr.	[21]
4	Yiwei Chiao	[23]
5	Prasanta K. Kalita	[25]
6	Donald H. Lenhert	[22]
7	Masaaki Mizuno	[1] [2] [3] [4] [5] [6] [7] [9] [10] [12] [13] [19] [22] [23]
8	Mahender Nelakonda	[6]
9	Mahesh N. Rao	[18]
10	R. Rao	[1]
11	Michel Raynal	[4] [5] [10] [12]
12	Gurdip Singh	[10] [19] [22] [25]
13	Darrel M. Temple	[17] [20]
14	David A. Waits	[18]
15	Naiqian Zhang	[22]

Colors in the list of coauthors