Daniel Gebler (VU University Amsterdam)

Identifiers

• name variant Daniel Gebler (VU University Amsterdam) 0.60 · backfill

Papers (3)

1. Logical Characterization of Bisimulation Metrics cs.LO · 2016 · author #2
2. Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators cs.PL · 2014 · author #1
3. Tree rules in probabilistic transition system specifications with negative and quantitative premises cs.PL · 2012 · author #3

Mentions

• 1408.1457 #1 · backfill · confidence 0.70 Daniel Gebler (VU University Amsterdam)
• 1208.2752 #3 · backfill · confidence 0.70 Daniel Gebler (VU University Amsterdam)

Frequent Coauthors

• Simone Tini (University of Insubria) 2 shared papers
• Matias David Lee (Famaf 1 shared papers
• Pedro R. D'Argenio (Famaf 1 shared papers
• UNC - Conicet) 1 shared papers
• Valentina Castiglioni (University of Insubria) 1 shared papers