Matias David Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MFCS | Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. | Matias David Lee, Erik P. de Vink |
| 2014 | FOSSACS | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
| 2012 | FOSSACS | Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. | Pedro R. D'Argenio, Matias David Lee |