| 2021 | CALCO | The Central Valuations Monad (Early Ideas). | Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev |
| 2021 | LICS | Commutative Monads for Probabilistic Programming Languages. | Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2018 | LICS | Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
| 2005 | ICALP | Discrete Random Variables over Domains. | Michael W. Mislove |
| 2004 | FOSSACS | Duality for Labelled Markov Processes. | Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell |
| 2003 | FOSSACS | An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. | Franck van Breugel, Michael W. Mislove, Jol Ouaknine, James Worrell |
| 2002 | ICALP | Measuring the Probabilistic Powerdomain. | Keye Martin, Michael W. Mislove, James Worrell |
| 2000 | CONCUR | Nondeterminism and Probabilistic Choice: Obeying the Laws. | Michael W. Mislove |
| 1999 | CSL | A Truly Concurrent Semantics for a Simple Parallel Programming Language. | Paul Gastin, Michael W. Mislove |
| 1999 | PDPTA | Trace Theory and State Explosion. | Michael W. Mislove |
| 1998 | FOSSACS | Generalizing Domain Theory. | Michael W. Mislove |
| 1991 | MFPS | A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. | Michael W. Mislove, Frank J. Oles |
| 1989 | LICS | Non-Well-Founded Sets Obtained from Ideal Fixed Points | Michael W. Mislove, Lawrence S. Moss, Frank J. Oles |
| 1987 | MFPS | On the Smyth Power Domain. | Michael W. Mislove |
| 1985 | MFPS | Detecting Local Finite Breadth in Continuous Lattices and Semilattices. | Michael W. Mislove |