Daniel Gebler (Department of Computer Science

Identifiers

• name variant Daniel Gebler (Department of Computer Science 0.60 · backfill

Papers (3)

1. SOS rule formats for convex and abstract probabilistic bisimulations cs.LO · 2015 · author #5
2. Algebraic Meta-Theory of Processes with Data cs.LO · 2013 · author #1
3. Compositionality of Approximate Bisimulation for Probabilistic Systems cs.LO · 2013 · author #1

Mentions

• 1307.7444 #1 · backfill · confidence 0.70 Daniel Gebler (Department of Computer Science
• 1307.7442 #1 · backfill · confidence 0.70 Daniel Gebler (Department of Computer Science

Frequent Coauthors

• VU University Amsterdam) 2 shared papers
• Eugen-Ioan Goriac (ICE-TCS 1 shared papers
• Halmstad University) 1 shared papers
• Iceland) 1 shared papers
• Matias David Lee (Famaf 1 shared papers
• Mohammad Reza Mousavi (Center for Research on Embedded Systems (CERES) 1 shared papers
• Pedro R. D'Argenio (Famaf 1 shared papers
• Reykjavik University 1 shared papers
• School of Computer Science 1 shared papers
• Simone Tini (Department of Scienza e Alta Tecnologia 1 shared papers
• Universidad Nacional de C\'ordoba - CONICET) 1 shared papers
• University of Insubria) 1 shared papers
• VU University Amsterdam (VU)) 1 shared papers