Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Hieda, T.
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
J-L Risler
Simin Zhang
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MICHAEL MISLOVE
Author Info
Open Visualization
Name
Affiliation
Papers
MICHAEL MISLOVE
Department of Mathematics, Tulane University, New Orleans, LA 70118
13
Collaborators
Citations
PageRank
15
96
8.78
Referers
Referees
References
137
169
151
Search Limit
100
169
Publications (13 rows)
Collaborators (15 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Commutative Monads for Probabilistic Programming Languages
0
0.34
2021
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams.
2
0.37
2018
Anatomy of a domain of continuous random variables I
2
0.42
2014
Reasoning about probabilistic security using task-PIOAs
1
0.36
2010
Discrete random variables over domains
6
0.69
2007
Testing semantics: connecting processes and process logics
21
1.04
2006
Monoids over domains
3
0.48
2006
Domain theory, testing and simulation for labelled Markov processes
20
1.02
2005
A simple process algebra based on atomic actions with resources
16
1.30
2004
Measuring the probabilistic powerdomain
2
0.45
2004
An intrinsic characterization of approximate probabilistic bisimilarity
19
1.46
2003
A truly concurrent semantics for a process algebra using resource pomsets
4
0.53
2002
Detecting local finite breadth in continuous lattices and semilattices
0
0.34
1985
1