A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. - Matias David Lee; Pedro R. D'Argenio (SCCC, 2010)

Describing Secure Interfaces with Interface Automata. - Matias David Lee; Pedro R. D'Argenio (FESCA@ETAPS, 2010)

Semantics for Interactive Sequential Systems and Non-Interference Properties. - Matias David Lee; Pedro R. D'Argenio (CLEI Electron. J., 2011)

A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Immo Grabe; Matias David Lee; Martin Steffen; Gianluigi Zavattaro (FACS, 2012)

Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. - Pedro R. D'Argenio; Matias David Lee (FoSSaCS, 2012)

Tree rules in probabilistic transition system specifications with negative and quantitative premises - Matias David Lee; Daniel Gebler; Pedro R. D'Argenio (EXPRESS/SOS, 2012)

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. - Pedro R. D'Argenio; Daniel Gebler; Matias David Lee (FoSSaCS, 2014)

SOS rule formats for convex and abstract probabilistic bisimulations. - Pedro R. D'Argenio; Matias David Lee; Daniel Gebler (EXPRESS/SOS, 2015)

Rooted branching bisimulation as a congruence for probabilistic transition systems. - Matias David Lee; Erik P. de Vink (QAPL, 2015)

Input/Output Stochastic Automata - Compositionality and Determinism. - Pedro R. D'Argenio; Matias David Lee; Raúl E. Monti (FORMATS, 2016)

Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. - Matias David Lee; Erik P. de Vink (MFCS, 2016)

Unique Parallel Decomposition for the Pi-calculus. - Matias David Lee; Bas Luttik (EXPRESS/SOS, 2016)

A general SOS theory for the specification of probabilistic transition systems. - Pedro R. D'Argenio; Daniel Gebler; Matias David Lee (Inf. Comput., 2016)

The Road from Stochastic Automata to the Simulation of Rare Events. - Pedro R. D'Argenio; Carlos E. Budde; Matias David Lee; Raúl E. Monti; Leonardo Rodríguez; Nicolás Wolovick (ModelEd, TestEd, TrustEd, 2017)

Bisimilarity of Open Terms in Stream GSOS. - Filippo Bonchi; Matias David Lee; Jurriaan Rot (FSEN, 2017)

A Petri Net Based Modeling of Active Objects and Futures. - Frank S. de Boer; Mario Bravetti; Matias David Lee; Gianluigi Zavattaro (Fundam. Informaticae, 2018)

Bisimilarity of open terms in stream GSOS. - Filippo Bonchi; Tom van Bussel; Matias David Lee; Jurriaan Rot (Sci. Comput. Program., 2019)