Michael W. Mislove

2008
53	EE	Andrej Bauer, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 218: 1-4 (2008)
2007
52	EE	Michael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007)
51	EE	Michael W. Mislove: Editor's Note. Electr. Notes Theor. Comput. Sci. 174(8): 1 (2007)
50	EE	Michael W. Mislove: Discrete random variables over domains. Theor. Comput. Sci. 380(1-2): 181-198 (2007)
2006
49	EE	Dusko Pavlovic, Michael W. Mislove, James Worrell: Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322
48	EE	Martín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
47	EE	Steve Brookes, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 158: 1-2 (2006)
46	EE	Michael W. Mislove: On Combining Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 162: 261-265 (2006)
45	EE	Michael W. Mislove: Monoids over domains. Mathematical Structures in Computer Science 16(2): 255-277 (2006)
44	EE	Sergei N. Artëmov, Michael W. Mislove: Preface. Theor. Comput. Sci. 357(1-3): 1-3 (2006)
2005
43	EE	Michael W. Mislove: Discrete Random Variables over Domains. ICALP 2005: 1006-1017
42	EE	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	EE	Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell: Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407
40	EE	Michael W. Mislove: Editorial. Electr. Notes Theor. Comput. Sci. 100: 1- (2004)
39	EE	Michael W. Mislove, Joël Ouaknine, James Worrell: Axioms for Probability and Nondeterminism. Electr. Notes Theor. Comput. Sci. 96: 7-28 (2004)
38	EE	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	EE	Keye Martin, Michael W. Mislove, James Worrell: Measuring the probabilistic powerdomain. Theor. Comput. Sci. 312(1): 99-119 (2004)
36	EE	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	EE	Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS 2003: 200-215
2002
34	EE	Keye Martin, Michael W. Mislove, James Worrell: Measuring the Probabilistic Powerdomain. ICALP 2002: 463-475
33	EE	Stephen D. Brookes, Michael W. Mislove: Foreword - MFPS 1996. Theor. Comput. Sci. 278(1-2): 1-2 (2002)
32	EE	Stephen D. Brookes, Michael W. Mislove: Dedication. Theor. Comput. Sci. 278(1-2): 23 (2002)
31	EE	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	EE	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	EE	Michael W. Mislove: Nondeterminism and Probabilistic Choice: Obeying the Laws. CONCUR 2000: 350-364
27	EE	Michael W. Mislove: Models Supporting Nondeterminism and Probabilistic Choice. IPDPS Workshops 2000: 993-1000
26	EE	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	EE	Michael W. Mislove: Local Dcpos, Local Cpos and Local Completions. Electr. Notes Theor. Comput. Sci. 20: (1999)
22	EE	Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 20: (1999)
1998
21	EE	Michael W. Mislove: Generalizing Domain Theory. FoSSaCS 1998: 1-19
20	EE	Rance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. Electr. Notes Theor. Comput. Sci. 14: (1998)
1997
19	EE	Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword. Electr. Notes Theor. Comput. Sci. 6: (1997)
18	EE	Michael W. Mislove: Using duality to solve domain equations. Electr. Notes Theor. Comput. Sci. 6: (1997)
1995
17	EE	Michael W. Mislove: Denotational models for unbounded nondeterminism. Electr. Notes Theor. Comput. Sci. 1: (1995)
16	EE	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	EE	Michael W. Mislove, A. W. Roscoe, Steve Schneider: Fixed Points Without Completeness. Theor. Comput. Sci. 138(2): 273-314 (1995)
12	EE	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	EE	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	Sergei N. Artëmov	[44]
2	Giorgio Ausiello	[29]
3	Andrej Bauer	[53]
4	Franck van Breugel	[35] [42]
5	Stephen D. Brookes	[10] [11] [16] [19] [22] [30] [32] [33]
6	Steve Brookes	[47]
7	Rance Cleaveland	[20]
8	Martín Hötzel Escardó	[48]
9	Paul Gastin	[25] [31] [38]
10	Karl Heinz Hofmann	[15]
11	Achim Jung	[22] [48]
12	Klaus Keimel	[26]
13	Jimmie D. Lawson	[2]
14	Michael G. Main	[4] [6] [10] [11] [16] [19]
15	Keye Martin	[34] [37]
16	Austin Melton	[4] [6] [10] [11] [16] [19]
17	Lawrence S. Moss	[5] [7]
18	Philip S. Mulry	[20]
19	Frank J. Oles	[5] [7] [8] [9] [12] [14]
20	Joël Ouaknine	[35] [39] [41] [42]
21	Dusko Pavlovic	[41] [49] [52]
22	Hilary A. Priestley	[2]
23	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[13]
24	Donald Sannella	[29]
25	Andre Scedrov	[22]
26	David A. Schmidt	[4] [6] [10] [11]
27	Steve A. Schneider (Steve Schneider)	[13]
28	Constantine Tsinakis	[26]
29	James Worrell	[34] [35] [37] [39] [41] [42] [49] [52]

Colors in the list of coauthors