Michael W. Mislove

	2009
54		Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 249: 1-2 (2009)
	2008
53		Andrej Bauer, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 218: 1-4 (2008)
	2007
52		Michael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007)
51		Michael W. Mislove: Editor's Note. Electr. Notes Theor. Comput. Sci. 174(8): 1 (2007)
50		Michael W. Mislove: Discrete random variables over domains. Theor. Comput. Sci. 380(1-2): 181-198 (2007)
	2006
49		Dusko Pavlovic, Michael W. Mislove, James Worrell: Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322
48		Martín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
47		Steve Brookes, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 158: 1-2 (2006)
46		Michael W. Mislove: On Combining Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 162: 261-265 (2006)
45		Michael W. Mislove: Monoids over domains. Mathematical Structures in Computer Science 16(2): 255-277 (2006)
44		Sergei N. Artëmov, Michael W. Mislove: Preface. Theor. Comput. Sci. 357(1-3): 1-3 (2006)
	2005
43		Michael W. Mislove: Discrete Random Variables over Domains. ICALP 2005: 1006-1017
42		Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: Domain theory, testing and simulation for labelled Markov processes. Theor. Comput. Sci. 333(1-2): 171-197 (2005)
	2004
41		Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell: Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407
40		Michael W. Mislove: Editorial. Electr. Notes Theor. Comput. Sci. 100: 1- (2004)
39		Michael W. Mislove, Joël Ouaknine, James Worrell: Axioms for Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 96: 7-28 (2004)
38		Paul Gastin, Michael W. Mislove: A simple process algebra based on atomic actions with resources. Mathematical Structures in Computer Science 14(1): 1-55 (2004)
37		Keye Martin, Michael W. Mislove, James Worrell: Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312(1): 99-119 (2004)
36		Michael W. Mislove: Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. Theor. Comput. Sci. 315(1): 1-2 (2004)
	2003
35		Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS 2003: 200-215
	2002
34		Keye Martin, Michael W. Mislove, James Worrell: Measuring the Probabilistic Powerdomain. ICALP 2002: 463-475
33		Stephen D. Brookes, Michael W. Mislove: Foreword - MFPS 1996. Theor. Comput. Sci. 278(1-2): 1-2 (2002)
32		Stephen D. Brookes, Michael W. Mislove: Dedication. Theor. Comput. Sci. 278(1-2): 23 (2002)
31		Paul Gastin, Michael W. Mislove: A truly concurrent semantics for a process algebra using resource pomsets. Theor. Comput. Sci. 281(1-2): 369-421 (2002)
	2001
30		Stephen D. Brookes, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 45: (2001)
29		Giorgio Ausiello, Donald Sannella, Michael W. Mislove: 25 Years. Theor. Comput. Sci. 250(1-2): (2001)
	2000
28		Michael W. Mislove: Nondeterminism and Probabilistic Choice: Obeying the Laws. CONCUR 2000: 350-364
27		Michael W. Mislove: Models Supporting Nondeterminism and Probabilistic Choice. IPDPS Workshops 2000: 993-1000
26		Klaus Keimel, Michael W. Mislove, Constantine Tsinakis: Modern Algebra - Foreword. Theor. Comput. Sci. 249(1): 1 (2000)
	1999
25		Paul Gastin, Michael W. Mislove: A Truly Concurrent Semantics for a Simple Parallel Programming Language. CSL 1999: 515-529
24		Michael W. Mislove: Trace Theory and State Explosion. PDPTA 1999: 288-294
23		Michael W. Mislove: Local Dcpos, Local Cpos and Local Completions. Electr. Notes Theor. Comput. Sci. 20: (1999)
22		Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 20: (1999)
	1998
21		Michael W. Mislove: Generalizing Domain Theory. FoSSaCS 1998: 1-19
20		Rance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. Electr. Notes Theor. Comput. Sci. 14: (1998)
	1997
19		Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword. Electr. Notes Theor. Comput. Sci. 6: (1997)
18		Michael W. Mislove: Using duality to solve domain equations. Electr. Notes Theor. Comput. Sci. 6: (1997)
	1995
17		Michael W. Mislove: Denotational models for unbounded nondeterminism. Electr. Notes Theor. Comput. Sci. 1: (1995)
16		Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword and Dedication. Electr. Notes Theor. Comput. Sci. 1: (1995)
15		Karl Heinz Hofmann, Michael W. Mislove: All Compact Hausdorff Lambda Models are Degenerate. Fundam. Inform. 22(1/2): 23-52 (1995)
14		Michael W. Mislove, Frank J. Oles: Adjunctions Between Categories of Domains. Fundam. Inform. 22(1/2): 93-116 (1995)
13		Michael W. Mislove, A. W. Roscoe, Steve Schneider: Fixed Points Without Completeness. Theor. Comput. Sci. 138(2): 273-314 (1995)
12		Michael W. Mislove, Frank J. Oles: Full Abstraction and Recursion. Theor. Comput. Sci. 151(1): 207-256 (1995)
	1994
11		Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings Springer 1994
	1992
10		Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings Springer 1992
9		Michael W. Mislove, Frank J. Oles: Full Abstraction and Unnested Recursion. REX Workshop 1992: 384-397
	1991
8		Michael W. Mislove, Frank J. Oles: A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. MFPS 1991: 77-101
7		Michael W. Mislove, Lawrence S. Moss, Frank J. Oles: Non-Well-Founded Sets Modeled as Ideal Fixed Points Inf. Comput. 93(1): 16-54 (1991)
	1990
6		Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings Springer 1990
	1989
5		Michael W. Mislove, Lawrence S. Moss, Frank J. Oles: Non-Well-Founded Sets Obtained from Ideal Fixed Points LICS 1989: 263-272
	1988
4		Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings Springer 1988
	1987
3		Michael W. Mislove: On the Smyth Power Domain. MFPS 1987: 161-172
2		Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley: Ordered sets with no infinite antichains. Discrete Mathematics 63(2-3): 225-230 (1987)
	1985
1		Michael W. Mislove: Detecting Local Finite Breadth in Continuous Lattices and Semilattices. Mathematical Foundations of Programming Semantics 1985: 205-214

Coauthor Index

1	Samson Abramsky	[54]
2	Sergei N. Artëmov	[44]
3	Giorgio Ausiello	[29]
4	Andrej Bauer	[53]
5	Franck van Breugel	[35] [42]
6	Stephen D. Brookes	[10] [11] [16] [19] [22] [30] [32] [33]
7	Steve Brookes	[47]
8	Rance Cleaveland	[20]
9	Martín Hötzel Escardó	[48]
10	Paul Gastin	[25] [31] [38]
11	Karl Heinz Hofmann	[15]
12	Achim Jung	[22] [48]
13	Klaus Keimel	[26]
14	Jimmie D. Lawson	[2]
15	Michael G. Main	[4] [6] [10] [11] [16] [19]
16	Keye Martin	[34] [37]
17	Austin Melton	[4] [6] [10] [11] [16] [19]
18	Lawrence S. Moss	[5] [7]
19	Philip S. Mulry	[20]
20	Frank J. Oles	[5] [7] [8] [9] [12] [14]
21	Joël Ouaknine	[35] [39] [41] [42]
22	Catuscia Palamidessi	[54]
23	Dusko Pavlovic	[41] [49] [52]
24	Hilary A. Priestley	[2]
25	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[13]
26	Donald Sannella	[29]
27	Andre Scedrov	[22]
28	David A. Schmidt	[4] [6] [10] [11]
29	Steve A. Schneider (Steve Schneider)	[13]
30	Constantine Tsinakis	[26]
31	James Worrell	[34] [35] [37] [39] [41] [42] [49] [52]

Colors in the list of coauthors