Matias David Lee

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 9

Top Topics

Probabilistic Relational

Conditional Probabilities

State Transitions

Internal States

Top Venues

Fundam. Informaticae

Publications

Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172 (2019)
Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159 (3) (2018)
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. CoRR (2018)
Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd (2017)
Filippo Bonchi, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. FSEN (2017)
Matias David Lee, Bas Luttik
Unique Parallel Decomposition for the Pi-calculus. EXPRESS/SOS (2016)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
A general SOS theory for the specification of probabilistic transition systems. Inf. Comput. 249 (2016)
Matias David Lee, Erik P. de Vink
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS (2016)
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti
Input/Output Stochastic Automata - Compositionality and Determinism. FORMATS (2016)
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS (2015)
Matias David Lee, Erik P. de Vink
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL (2015)
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. FoSSaCS (2014)
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
Tree rules in probabilistic transition system specifications with negative and quantitative premises EXPRESS/SOS (2012)
Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS (2012)
Pedro R. D'Argenio, Matias David Lee
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. FoSSaCS (2012)
Matias David Lee, Pedro R. D'Argenio
Semantics for Interactive Sequential Systems and Non-Interference Properties. CLEI Electron. J. 14 (3) (2011)
Matias David Lee, Pedro R. D'Argenio
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. SCCC (2010)
Matias David Lee, Pedro R. D'Argenio
Describing Secure Interfaces with Interface Automata. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)