Michael Mislove

Cited by

	All	Since 2018
Citations	6398	1409
h-index	22	12
i10-index	46	13

280

140

210

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 42 35 38 31 37 43 70 65 83 65 88 102 101 103 103 107 90 114 151 162 212 244 265 254 270 224 241 214 249 238 224 228 253 216 252 237 211 252 239

Public access

View all

11 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)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 Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Vladimir PestovuOttawa 🇨🇦 (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	2341	2003
A Compendium of Continuous Lattices G Gierz, KH Hofmann, K Keimel, JD Lawson, M Mislove, DS Scott Springer, Berlin, 1980	2275*	1980
The Pontryagin duality of compact O-dimensional semilattices and its applications KH Hofmann, M Mislove, A Stralka Springer, 2006	177	2006
Local compactness and continuous lattices KH Hofmann, MW Mislove Continuous Lattices: Proceedings of the Conference on Topological and …, 2006	175	2006
Topology, domain theory and theoretical computer science MW Mislove Topology and its Applications 89 (1-2), 3-59, 1998	133	1998
Nondeterminism and probabilistic choice: Obeying the laws M Mislove International Conference on Concurrency Theory, 350-365, 2000	94	2000
Axioms for probability and nondeterminism M Mislove, J Ouaknine, J Worrell Electronic Notes in Theoretical Computer Science 96, 7-28, 2004	80	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	71	2005
Testing semantics: connecting processes and process logics D Pavlovic, M Mislove, JB Worrell Algebraic Methodology and Software Technology: 11th International Conference …, 2006	50	2006
Problems in domain theory and topology JD Lawson, M Mislove Open Problems in Topology, North-Holland, Amsterdam, 349-372, 1990	50	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	43	2003
Fixed points without completeness MW Mislove, AW Roscoe, SA Schneider Theoretical Computer Science 138 (2), 273-314, 1995	41	1995
Local DCPOs, local CPOs and local completions MW Mislove Electronic Notes in Theoretical Computer Science 20, 399-412, 1999	38	1999
Duality for labelled Markov processes M Mislove, J Ouaknine, D Pavlovic, J Worrell Foundations of Software Science and Computation Structures: 7th …, 2004	33	2004
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	30	2018
Algebraic posets, algebraic cpo's and models of concurrency MW Mislove Topology and category theory in computer science, 75-111, 1991	29	1991
Non-well-founded sets modeled as ideal fixed points MW Mislove, LS Moss, FJ Oles Information and Computation 93 (1), 16-54, 1991	29	1991
Local product structures on homogeneous continua MW Mislove, JT Rogers Jr Topology and its Applications 31 (3), 259-267, 1989	26*	1989
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7-10, 1993. Proceedings S Brookes Springer Science & Business Media, 1994	25	1994
When are Oorder Scattered and Toplogically Scattered the Same? M Mislove Ordres--description et rôles, 61, 1984	23	1984

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