Daniel Gebler

Daniel Gebler

VU University of Amsterdam - Amsterdam / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1790682
Vrije Universiteit Amsterdam
person_outline Daniel Gebler's MOST POPULAR ARTICLES
1-) Generalized bisimulation metricsK Chatzikokolakis, D Gebler, C Palamidessi, L XuInternational Conference on Concurrency Theory, 32-46, 2014662014
2-) Compositional bisimulation metric reasoning with probabilistic process calculiS Tini, KG Larsen, D GeblerLogical Methods in Computer Science 12, 2017452017
3-) Logical characterization of bisimulation metricsV Castiglioni, D Gebler, S TiniarXiv preprint arXiv:1610.08169, 2016242016
4-) Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rulesPR D’Argenio, D Gebler, MD LeeInternational Conference on Foundations of Software Science and Computation …, 2014292014
5-) Compositional metric reasoning with probabilistic process calculiD Gebler, KG Larsen, S TiniFoundations of Software Science and Computation Structures: 18th …, 2015282015