Michael Mislove

Cited by

	All	Since 2019
Citations	6665	1450
h-index	22	13
i10-index	48	16

280

140

210

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202444 34 36 31 36 44 63 68 83 65 91 105 105 101 101 109 89 116 152 166 215 238 263 254 267 228 251 198 245 239 223 224 252 224 255 238 214 249 244 248

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Dana ScottVisiting Scholar, UC BerkeleyVerified email at cs.cmu.edu
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, PhilosophyVerified email at indiana.edu
Paul GastinProfessor, LMF, ENS Paris-SaclayVerified email at lmf.cnrs.fr
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Vladimir PestovUFSC 🇧🇷 (professor visitante titular), uOttawa 🇨🇦 (professeur émérite)Verified email at uottawa.ca
Michael HuthProfessor of Computer Science, Computing, Imperial College LondonVerified email at imperial.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Aaron D. JaggardU.S. Naval Research LaboratoryVerified email at dimacs.rutgers.edu
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu

Michael Mislove

Tulane University

Verified email at tulane.edu - Homepage

Domain theory ordered structures topological algebra semantics of high-level programming langauages concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Continuous lattices and domains G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Cambridge university press, 2003	2497	2003
A Compendium of Continuous Lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer, Berlin, 1980	2312*	1980
The Pontryagin duality of compact O-dimensional semilattices and its applications KH Hofmann, M Mislove, A Stralka Springer, 2006	184	2006
Local compactness and continuous lattices KH Hofmann, MW Mislove Continuous Lattices: Proceedings of the Conference on Topological and …, 2006	178	2006
Topology, domain theory and theoretical computer science MW Mislove Topology and its Applications 89 (1-2), 3-59, 1998	141	1998
Nondeterminism and probabilistic choice: Obeying the laws M Mislove International Conference on Concurrency Theory, 350-365, 2000	99	2000
Axioms for probability and nondeterminism M Mislove, J Ouaknine, J Worrell Electronic Notes in Theoretical Computer Science 96, 7-28, 2004	87	2004
Domain theory, testing and simulation for labelled Markov processes F Van Breugel, M Mislove, J Ouaknine, J Worrell Theoretical Computer Science 333 (1-2), 171-197, 2005	74	2005
Testing semantics: Connecting processes and process logics D Pavlovic, M Mislove, JB Worrell Algebraic Methodology and Software Technology: 11th International Conference …, 2006	51	2006
Problems in domain theory and topology JD Lawson, M Mislove Open Problems in Topology, North-Holland, Amsterdam, 349-372, 1990	51	1990
An intrinsic characterization of approximate probabilistic bisimilarity F van Breugel, M Mislove, J Ouaknine, J Worrell International Conference on Foundations of Software Science and Computation …, 2003	44	2003
Local DCPOs, local CPOs and local completions MW Mislove Electronic Notes in Theoretical Computer Science 20, 399-412, 1999	38	1999
Fixed points without completeness MW Mislove, AW Roscoe, SA Schneider Theoretical Computer Science 138 (2), 273-314, 1995	38	1995
Enriching a linear/non-linear lambda calculus: A programming language for string diagrams B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the 33rd annual ACM/IEEE symposium on logic in computer …, 2018	33	2018
Duality for labelled Markov processes M Mislove, J Ouaknine, D Pavlovic, J Worrell Foundations of Software Science and Computation Structures: 7th …, 2004	33	2004
Algebraic posets, algebraic cpo's and models of concurrency MW Mislove Topology and category theory in computer science, 75-111, 1991	29	1991
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings S Brookes Springer Science & Business Media, 1994	27	1994
Non-well-founded sets modeled as ideal fixed points MW Mislove, LS Moss, FJ Oles Information and Computation 93 (1), 16-54, 1991	27	1991
Local product structures on homogeneous continua MW Mislove, JT Rogers Jr Topology and its Applications 31 (3), 259-267, 1989	25*	1989
Symmetry in Fourier-Stieltjes algebras JR Liukkonen, MW Mislove Mathematische Annalen 217 (2), 97-112, 1975	25	1975

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors