Concepedia

Michael Mislove

MM

Statistics

Publications

20

Citations

605

H-Index

14

Active since

1971

Affiliations

Tulane University(Current)

Université de Lorraine

Centre National de la Recherche Scientifique

Carnegie Mellon University

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Michael Mislove is an author at Tulane University specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProbabilityEntropyFormal VerificationDiscrete MathematicsFunctional AnalysisMathematical Programming

Publications per year

1971–2021

20

Publications

20

A foundation for computation

Keye Martin, Michael Mislove · 2000 · 94 citations

Mathematical Structure, Computational Complexity Theory, Engineering +16

Topology, domain theory and theoretical computer science

Michael Mislove · Topology and its Applications · 1998 · 86 citations

Computational Topology, Computer Science, Domain Characteristic +1

Axioms for Probability and Nondeterminism

Michael Mislove, Joël Ouaknine, James Worrell · Electronic Notes in Theoretical Computer Science · 2004 · 66 citations · Full text

Probabilistic Ontology, Engineering, Operational Semantics +14

Domain theory, testing and simulation for labelled Markov processes

Franck van Breugel, Michael Mislove, Joël Ouaknine et al. · Theoretical Computer Science · 2004 · 50 citations

Engineering, Domain Theory, Hidden Markov Model +6

AN INTRODUCTION TO THE THEORY OF

Michael Mislove · 1982 · 46 citations

Theoretical Mathematics, Theoretical Analysis, Foundational Theory

1–5 of 20