Michael W. Mislove

120 papers A* 5B 41Misc 1Journal 51Unranked 17

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Categories of quantum cpos. CoRR Andre Kornell, Bert Lindenhovius, Michael W. Mislove
2022	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2022	J	`jnl`	Semantics for variational Quantum programming. Proc. ACM Program. Lang. Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021	A*	`conf`	Commutative Monads for Probabilistic Programming Languages. LICS Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021	J	`jnl`	Commutative Monads for Probabilistic Programming Languages. CoRR Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021	J	`jnl`	LNL-FPC: The Linear/Non-linear Fixpoint Calculus. Log. Methods Comput. Sci. Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021	J	`jnl`	Semantics for Variational Quantum Programming. CoRR Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021	B	`conf`	The Central Valuations Monad (Early Ideas). CALCO Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2021	J	`jnl`	The Central Valuations Monad. CoRR Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2020	J	`jnl`	Completing Simple Valuations in K-categories. CoRR Xiaodong Jia, Michael W. Mislove
2020	J	`jnl`	Domains and stochastic processes. Theor. Comput. Sci. Michael W. Mislove
2020	—	`conf`	Quantum CPOs. QPL Andre Kornell, Bert Lindenhovius, Michael W. Mislove
2019	J	`jnl`	Mixed Linear and Non-linear Recursive Types. CoRR Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2019	J	`jnl`	Mixed linear and non-linear recursive types. Proc. ACM Program. Lang. Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2019	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2018	J	`jnl`	Domains and Stochastic Processes. CoRR Michael W. Mislove
2018	A*	`conf`	Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. LICS Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2018	J	`jnl`	Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. CoRR Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2018	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2018	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2017	—	`conf`	Discrete Random Variables Over Domains, Revisited. Concurrency, Security, and Puzzles Michael W. Mislove
2017	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2017	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2017	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2016	J	`jnl`	Domains and Random Variables. CoRR Michael W. Mislove
2016	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2016	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2016	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove, Prakash Panangaden
2015	J	`jnl`	From Haar to Lebesgue via Domain Theory, Revised version. CoRR Will Brian, Michael W. Mislove
2015	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2014	J	`jnl`	Anatomy of a domain of continuous random variables I. Theor. Comput. Sci. Michael W. Mislove
2014	—	`conf`	From Haar to Lebesgue via Domain Theory. Horizons of the Mind Will Brian, Michael W. Mislove
2014	—	`ed.`	Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013 ISDT Ying-Ming Liu, Mao-Kang Luo, Michael W. Mislove, Guo-Qiang Zhang
2014	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove
2013	—	`conf`	Anatomy of a Domain of Continuous Random Variables II. Computation, Logic, Games, and Quantum Foundations Michael W. Mislove
2013	J	`jnl`	Information Security as a Resource. Inf. Comput. Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic
2013	B	`conf`	Preface. MFPS Dexter Kozen, Michael W. Mislove
2013	—	`conf`	Preface. ISDT Ying-Ming Liu, Mao-Kang Luo, Michael W. Mislove, Guo-Qiang Zhang
2013	B	`ed.`	Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013 MFPS Dexter Kozen, Michael W. Mislove
2012	B	`conf`	Dedication. MFPS Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2012	J	`jnl`	Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports Samson Abramsky, Jean Krivine, Michael W. Mislove
2012	B	`conf`	Preface. MFPS Ulrich Berger, Michael W. Mislove
2012	J	`jnl`	Preface. Theor. Comput. Sci. Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2012	B	`ed.`	Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012 MFPS Ulrich Berger, Michael W. Mislove
2011	B	`conf`	Preface. MFPS Michael W. Mislove, Joël Ouaknine
2011	—	`conf`	Probabilistic Monads, Domains and Classical Information DCM Michael W. Mislove
2011	B	`ed.`	Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011 MFPS Michael W. Mislove, Joël Ouaknine
2010	—	`conf`	10232 Report - The Semantics of Information. The Semantics of Information Keye Martin, Michael W. Mislove
2010	B	`conf`	Preface. MFPS Michael W. Mislove, Peter Selinger
2010	J	`jnl`	Preface. Theor. Comput. Sci. Michael W. Mislove
2010	B	`ed.`	Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010 MFPS Michael W. Mislove, Peter Selinger
2010	—	`conf`	Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala
2010	—	`ed.`	The Semantics of Information, 06.06. - 11.06.2010 The Semantics of Information Keye Martin, Michael W. Mislove
2009	B	`conf`	Preface. MFPS Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2009	B	`ed.`	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009 MFPS Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2008	B	`conf`	Preface. MFPS Andrej Bauer, Michael W. Mislove
2008	B	`ed.`	Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008 MFPS Andrej Bauer, Michael W. Mislove
2007	—	`ed.`	Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006 PDPAR/PaUL@FLoC Michael W. Mislove
2007	J	`jnl`	Continuous Lattices and Domains. Stud Logica Ulrich Berger, Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott
2007	J	`jnl`	Discrete random variables over domains. Theor. Comput. Sci. Michael W. Mislove
2007	—	`conf`	Labelled Markov Processes as Generalised Stochastic Relations. Computation, Meaning, and Logic Michael W. Mislove, Dusko Pavlovic, James Worrell
2006	—	`conf`	Editor's Note. PDPAR/PaUL@FLoC Michael W. Mislove
2006	J	`jnl`	Monoids over domains. Math. Struct. Comput. Sci. Michael W. Mislove
2006	B	`conf`	Preface. MFPS Stephen D. Brookes, Michael W. Mislove
2006	J	`jnl`	Preface. Theor. Comput. Sci. Sergei N. Artëmov, Michael W. Mislove
2006	B	`ed.`	Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005 MFPS Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
2006	B	`ed.`	Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006 MFPS Stephen D. Brookes, Michael W. Mislove
2006	—	`conf`	Testing Semantics: Connecting Processes and Process Logics. AMAST Dusko Pavlovic, Michael W. Mislove, James Worrell
2005	A*	`conf`	Discrete Random Variables over Domains. ICALP Michael W. Mislove
2005	J	`jnl`	Domain theory, testing and simulation for labelled Markov processes. Theor. Comput. Sci. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2005	—	`conf`	On Combining Probability and Nondeterminism. APC 25 Michael W. Mislove
2005	B	`conf`	Preface. MFPS Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
2004	J	`jnl`	A simple process algebra based on atomic actions with resources. Math. Struct. Comput. Sci. Paul Gastin, Michael W. Mislove
2004	B	`conf`	Duality for Labelled Markov Processes. FoSSaCS Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
2004	J	`jnl`	Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. Theor. Comput. Sci. Michael W. Mislove
2004	J	`jnl`	Measuring the probabilistic powerdomain. Theor. Comput. Sci. Keye Martin, Michael W. Mislove, James Worrell
2003	B	`conf`	An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
2003	—	`conf`	Axioms for Probability and Nondeterminism. EXPRESS Michael W. Mislove, Joël Ouaknine, James Worrell
2003	—	`conf`	Editorial. CMCIM/GETCO@CONCUR Michael W. Mislove
2002	J	`jnl`	A truly concurrent semantics for a process algebra using resource pomsets. Theor. Comput. Sci. Paul Gastin, Michael W. Mislove
2002	J	`jnl`	Dedication. Theor. Comput. Sci. Stephen D. Brookes, Michael W. Mislove
2002	J	`jnl`	Foreword - MFPS 1996. Theor. Comput. Sci. Stephen D. Brookes, Michael W. Mislove
2002	A*	`conf`	Measuring the Probabilistic Powerdomain. ICALP Keye Martin, Michael W. Mislove, James Worrell
2001	J	`jnl`	25 Years. Theor. Comput. Sci. Giorgio Ausiello, Donald Sannella, Michael W. Mislove
2001	B	`conf`	Preface. MFPS Stephen D. Brookes, Michael W. Mislove
2001	B	`ed.`	Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001 MFPS Stephen D. Brookes, Michael W. Mislove
2000	—	`conf`	Models Supporting Nondeterminism and Probabilistic Choice. IPDPS Workshops Michael W. Mislove
2000	J	`jnl`	Modern Algebra - Foreword. Theor. Comput. Sci. Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
2000	B	`conf`	Nondeterminism and Probabilistic Choice: Obeying the Laws. CONCUR Michael W. Mislove
2000	J	`jnl`	Semantic models for concurrency. ACM SIGSOFT Softw. Eng. Notes Michael W. Mislove
1999	B	`conf`	A Truly Concurrent Semantics for a Simple Parallel Programming Language. CSL Paul Gastin, Michael W. Mislove
1999	B	`ed.`	Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1999	B	`conf`	Local Dcpos, Local Cpos and Local Completions. MFPS Michael W. Mislove
1999	B	`conf`	Preface. MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1999	Misc	`conf`	Trace Theory and State Explosion. PDPTA Michael W. Mislove
1998	B	`conf`	Generalizing Domain Theory. FoSSaCS Michael W. Mislove
1998	—	`ed.`	US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997 US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1997	B	`conf`	Foreword. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1997	—	`conf`	Preface. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1997	B	`ed.`	Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997 MFPS Stephen D. Brookes, Michael W. Mislove
1997	B	`conf`	Using duality to solve domain equations. MFPS Michael W. Mislove
1995	J	`jnl`	Adjunctions Between Categories of Domains. Fundam. Informaticae Michael W. Mislove, Frank J. Oles
1995	J	`jnl`	All Compact Hausdorff Lambda Models are Degenerate. Fundam. Informaticae Karl Heinz Hofmann, Michael W. Mislove
1995	B	`conf`	Denotational models for unbounded nondeterminism. MFPS Michael W. Mislove
1995	B	`ed.`	Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995 MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	J	`jnl`	Fixed Points Without Completeness. Theor. Comput. Sci. Michael W. Mislove, A. W. Roscoe, Steve A. Schneider
1995	B	`conf`	Foreword and Dedication. MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
1995	J	`jnl`	Full Abstraction and Recursion. Theor. Comput. Sci. Michael W. Mislove, Frank J. Oles
1994	B	`ed.`	Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1992	—	`conf`	Full Abstraction and Unnested Recursion. REX Workshop Michael W. Mislove, Frank J. Oles
1992	B	`ed.`	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1991	B	`conf`	A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. MFPS Michael W. Mislove, Frank J. Oles
1991	J	`jnl`	Non-Well-Founded Sets Modeled as Ideal Fixed Points Inf. Comput. Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
1990	B	`ed.`	Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1989	A*	`conf`	Non-Well-Founded Sets Obtained from Ideal Fixed Points LICS Michael W. Mislove, Lawrence S. Moss, Frank J. Oles
1988	B	`ed.`	Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1987	B	`conf`	On the Smyth Power Domain. MFPS Michael W. Mislove
1987	J	`jnl`	Ordered sets with no infinite antichains. Discret. Math. Jimmie D. Lawson, Michael W. Mislove, Hilary A. Priestley
1985	B	`conf`	Detecting Local Finite Breadth in Continuous Lattices and Semilattices. Mathematical Foundations of Programming Semantics Michael W. Mislove
1980	—	`book`	A compendium of continous lattices. Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove