Matias David Lee (Famaf

Identifiers

• name variant Matias David Lee (Famaf 0.60 · backfill

Papers (2)

1. SOS rule formats for convex and abstract probabilistic bisimulations cs.LO · 2015 · author #3
2. Tree rules in probabilistic transition system specifications with negative and quantitative premises cs.PL · 2012 · author #1

Mentions

• 1208.2752 #1 · backfill · confidence 0.70 Matias David Lee (Famaf

Frequent Coauthors

• Pedro R. D'Argenio (Famaf 2 shared papers
• Daniel Gebler (Department of Computer Science 1 shared papers
• Daniel Gebler (VU University Amsterdam) 1 shared papers
• UNC - Conicet) 1 shared papers
• Universidad Nacional de C\'ordoba - CONICET) 1 shared papers
• VU University Amsterdam) 1 shared papers