Daniel Gebler

28 papers B 6Misc 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Take a photo of the river! Assessing the feasibility of using Google Street View images as source materials for assessing river hydromorphology.
Int. J. Appl. Earth Obs. Geoinformation
Pawel Marcinkowski, Marek Gielczewski, Szymon Jusik, Piotr Zielinski, Daniel Gebler, Krzysztof Szoszkiewicz, Mateusz Grygoruk
2022 J jnl
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
Sci. Ann. Comput. Sci.
Wenjie Du, Yuxin Deng, Daniel Gebler
2018 J jnl
SOS specifications for uniformly continuous operators.
J. Comput. Syst. Sci.
Daniel Gebler, Simone Tini
2018 J jnl
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.
Log. Methods Comput. Sci.
Valentina Castiglioni, Daniel Gebler, Simone Tini
2017 J jnl
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.
CoRR
Valentina Castiglioni, Daniel Gebler, Simone Tini
2016 J jnl
A general SOS theory for the specification of probabilistic transition systems.
Inf. Comput.
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2016 Misc conf
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
SETTA
Wenjie Du, Yuxin Deng, Daniel Gebler
2016 J jnl
Compositional bisimulation metric reasoning with Probabilistic Process Calculi.
Log. Methods Comput. Sci.
Daniel Gebler, Kim G. Larsen, Simone Tini
2016 — conf
Logical Characterization of Bisimulation Metrics.
QAPL
Valentina Castiglioni, Daniel Gebler, Simone Tini
2016 B conf
Modal Decomposition on Nondeterministic Probabilistic Processes.
CONCUR
Valentina Castiglioni, Daniel Gebler, Simone Tini
2016 — ed.
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016.
EXPRESS/SOS
Daniel Gebler, Kirstin Peters
2015 B conf
Compositional Metric Reasoning with Probabilistic Process Calculi.
FoSSaCS
Daniel Gebler, Kim Guldstrand Larsen, Simone Tini
2015 J jnl
Editorial for the Special Issue on Open Problems in Concurrency Theory.
J. Log. Algebraic Methods Program.
Marco Bernardo, Daniel Gebler, Michele Loreti
2015 J jnl
Modal Characterisations of Behavioural Pseudometrics.
CoRR
Yuxin Deng, Wenjie Du, Daniel Gebler
2015 — ed.
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015.
EXPRESS/SOS
Silvia Crafa, Daniel Gebler
2015 B conf
SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators.
CONCUR
Daniel Gebler, Simone Tini
2015 — conf
SOS rule formats for convex and abstract probabilistic bisimulations.
EXPRESS/SOS
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
2014 B conf
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.
FoSSaCS
Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2014 — conf
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.
EXPRESS/SOS
Daniel Gebler, Simone Tini
2014 B conf
Generalized Bisimulation Metrics.
CONCUR
Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
2014 J jnl
Report on OPCT 2014.
Bull. EATCS
Marco Bernardo, Daniel Gebler, Michele Loreti
2013 — conf
Algebraic Meta-Theory of Processes with Data.
EXPRESS/SOS
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
2013 — conf
Compositionality of Approximate Bisimulation for Probabilistic Systems.
EXPRESS/SOS
Daniel Gebler, Simone Tini
2012 — conf
A Tutorial on Interactive Markov Chains.
ROCKS
Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi
2012 B conf
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics.
CONCUR
Daniel Gebler, Wan J. Fokkink
2012 — conf
Computing Behavioral Relations for Probabilistic Concurrent Systems.
ROCKS
Daniel Gebler, Vahid Hashemi, Andrea Turrini
2012 — conf
On Abstraction of Probabilistic Systems.
ROCKS
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen
2012 — conf
Tree rules in probabilistic transition system specifications with negative and quantitative premises
EXPRESS/SOS
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio