Pedro R. D'Argenio (Famaf

Identifiers

• name variant Pedro R. D'Argenio (Famaf 0.60 · backfill

Papers (2)

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

Mentions

• 1508.06710 #1 · backfill · confidence 0.70 Pedro R. D'Argenio (Famaf
• 1208.2752 #4 · backfill · confidence 0.70 Pedro R. D'Argenio (Famaf

Frequent Coauthors

• Matias David Lee (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