×

Doberkat, Ernst-Erich

Author ID: doberkat.ernst-erich Recent zbMATH articles by "Doberkat, Ernst-Erich"
Published as: Doberkat, Ernst-Erich; Doberkat, Ernst E.; Doberkat, E.-E.; Doberkat, Ernst Erich; Doberkat, E. E.
Homepage: http://www.andrej.com/mathematicians/D/Doberkat_Ernst-Erich.html
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 213 times in 108 Documents Cited by Year
Stochastic relations. Foundations for Markov transition systems. Zbl 1137.60002
Doberkat, Ernst-Erich
28
2007
Eilenberg–Moore algebras for stochastic relations. Zbl 1116.18002
Doberkat, Ernst-Erich
19
2006
Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. Zbl 1095.68063
Doberkat, Ernst-Erich
15
2006
Erratum and addendum: “Eilenberg-Moore algebras for stochastic relations”. Zbl 1156.18300
Doberkat, Ernst-Erich
15
2008
Coalgebraic logic for stochastic right coalgebras. Zbl 1179.03023
Doberkat, Ernst-Erich; Schubert, Christoph
13
2009
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
11
1984
Kleisli morphisms and randomized congruences for the Giry monad. Zbl 1122.18004
Doberkat, Ernst-Erich
11
2007
Semi-pullbacks for stochastic relations over analytic spaces. Zbl 1073.18003
Doberkat, Ernst-Erich
10
2005
Stochastic coalgebraic logic. Zbl 1207.03039
Doberkat, Ernst-Erich
9
2010
Semi-pullbacks and bisimulations in categories of stochastic relations. Zbl 1041.18006
Doberkat, Ernst-Erich
8
2003
Deleting the root of a heap. Zbl 0474.68051
Doberkat, Ernst E.
5
1982
Stochastic automata: stability, nondeterminism, and prediction. Zbl 0473.68051
Doberkat, Ernst-Erich
5
1981
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. Zbl 1137.03014
Doberkat, Ernst-Erich
5
2007
Coalgebraic logic over general measurable spaces – a survey. Zbl 1235.03065
Doberkat, Ernst-Erich; Schubert, Christoph
5
2011
Inserting a new element into a heap. Zbl 0456.60009
Doberkat, Ernst E.
4
1981
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
3
2017
Special topics in mathematics for computer scientists. Sets, categories, topologies and measures. Zbl 1334.68002
Doberkat, Ernst-Erich
3
2015
Stochastic coalgebraic logic: bisimilarity and behavioral equivalence. Zbl 1147.03014
Doberkat, Ernst-Erich
3
2008
A stochastic interpretation of propositional dynamic logic: expressivity. Zbl 1252.03074
Doberkat, Ernst-Erich
3
2012
Algebraic properties of stochastic effectivity functions. Zbl 1434.68336
Doberkat, Ernst-Erich
3
2014
The converse of a stochastic relation. Zbl 1029.68107
Doberkat, Ernst-Erich
2
2003
Pipelines: modelling a software architecture through relations. Zbl 1069.68544
Doberkat, Ernst-Erich
2
2003
Asymptotic estimates for the higher moments of the expected behavior of straight insertion sort. Zbl 0534.68043
Doberkat, Ernst E.
2
1982
Gute Strategien für bewertete Zustandsautomaten über metrischen Räumen. Zbl 0377.94060
Doberkat, Ernst-Erich
2
1980
Optimal strategies in measurable learning systems on metric spaces. Zbl 0385.68069
Doberkat, Ernst-Erich
2
1977
On a representation of measurable automaton transformations by stochastic automata. Zbl 0365.94076
Doberkat, Ernst-Erich
2
1979
Software prototyping mit SETL. Zbl 0699.68039
Doberkat, Ernst-Erich; Fox, Dietmar
2
1989
Behavioral and logical equivalence of stochastic Kripke models in general measurable spaces. Zbl 1241.68084
Doberkat, Ernst-Erich
2
2009
A note on the coalgebraic interpretation of game logic. Zbl 1244.03064
Doberkat, Ernst-Erich
2
2010
A stochastic interpretation of propositional dynamic logic: expressivity. Zbl 1303.03049
Doberkat, Ernst-Erich
2
2010
Congruences and bisimulations for continuous-time stochastic logic. Zbl 1169.68503
Doberkat, Ernst-Erich
1
2005
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2002
A stochastic interpretation of game logic. Zbl 1471.03045
Doberkat, Ernst-Erich
1
2017
The demonic product of probabilistic relations. Zbl 1077.68715
Doberkat, Ernst-Erich
1
2002
ER modelling from first relational principles. Zbl 1070.68027
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2004
Topological completeness in an ideal model for polymorphic types. Zbl 0678.68079
Doberkat, Ernst-Erich
1
1989
Stochastic behavior of initial nondeterministic automata. Zbl 0469.68063
Doberkat, Ernst-Erich
1
1982
Heaps. Zbl 0494.68035
Doberkat, E.-E.
1
1982
Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Zbl 0504.68037
Doberkat, E. E.
1
1983
Some investigations of learning by means of dynamic programming. Zbl 0384.93031
Doberkat, Ernst-Erich
1
1978
Good state transition policies for nondeterministic and stochastic automata. Zbl 0426.68033
Doberkat, Ernst-Erich
1
1980
Towards a probabilistic interpretation of game logic. Zbl 1471.03044
Doberkat, Ernst-Erich
1
2015
Factoring stochastic relations. Zbl 1171.93390
Doberkat, Ernst-Erich
1
2004
Weak bisimulations for the Giry monad (extended abstract). Zbl 1139.68388
Doberkat, Ernst-Erich
1
2008
Lattice properties of congruences for stochastic relations. Zbl 1251.03053
Doberkat, Ernst-Erich
1
2012
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
3
2017
A stochastic interpretation of game logic. Zbl 1471.03045
Doberkat, Ernst-Erich
1
2017
Special topics in mathematics for computer scientists. Sets, categories, topologies and measures. Zbl 1334.68002
Doberkat, Ernst-Erich
3
2015
Towards a probabilistic interpretation of game logic. Zbl 1471.03044
Doberkat, Ernst-Erich
1
2015
Algebraic properties of stochastic effectivity functions. Zbl 1434.68336
Doberkat, Ernst-Erich
3
2014
A stochastic interpretation of propositional dynamic logic: expressivity. Zbl 1252.03074
Doberkat, Ernst-Erich
3
2012
Lattice properties of congruences for stochastic relations. Zbl 1251.03053
Doberkat, Ernst-Erich
1
2012
Coalgebraic logic over general measurable spaces – a survey. Zbl 1235.03065
Doberkat, Ernst-Erich; Schubert, Christoph
5
2011
Stochastic coalgebraic logic. Zbl 1207.03039
Doberkat, Ernst-Erich
9
2010
A note on the coalgebraic interpretation of game logic. Zbl 1244.03064
Doberkat, Ernst-Erich
2
2010
A stochastic interpretation of propositional dynamic logic: expressivity. Zbl 1303.03049
Doberkat, Ernst-Erich
2
2010
Coalgebraic logic for stochastic right coalgebras. Zbl 1179.03023
Doberkat, Ernst-Erich; Schubert, Christoph
13
2009
Behavioral and logical equivalence of stochastic Kripke models in general measurable spaces. Zbl 1241.68084
Doberkat, Ernst-Erich
2
2009
Erratum and addendum: “Eilenberg-Moore algebras for stochastic relations”. Zbl 1156.18300
Doberkat, Ernst-Erich
15
2008
Stochastic coalgebraic logic: bisimilarity and behavioral equivalence. Zbl 1147.03014
Doberkat, Ernst-Erich
3
2008
Weak bisimulations for the Giry monad (extended abstract). Zbl 1139.68388
Doberkat, Ernst-Erich
1
2008
Stochastic relations. Foundations for Markov transition systems. Zbl 1137.60002
Doberkat, Ernst-Erich
28
2007
Kleisli morphisms and randomized congruences for the Giry monad. Zbl 1122.18004
Doberkat, Ernst-Erich
11
2007
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. Zbl 1137.03014
Doberkat, Ernst-Erich
5
2007
Eilenberg–Moore algebras for stochastic relations. Zbl 1116.18002
Doberkat, Ernst-Erich
19
2006
Stochastic relations: congruences, bisimulations and the Hennessy-Milner theorem. Zbl 1095.68063
Doberkat, Ernst-Erich
15
2006
Semi-pullbacks for stochastic relations over analytic spaces. Zbl 1073.18003
Doberkat, Ernst-Erich
10
2005
Congruences and bisimulations for continuous-time stochastic logic. Zbl 1169.68503
Doberkat, Ernst-Erich
1
2005
ER modelling from first relational principles. Zbl 1070.68027
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2004
Factoring stochastic relations. Zbl 1171.93390
Doberkat, Ernst-Erich
1
2004
Semi-pullbacks and bisimulations in categories of stochastic relations. Zbl 1041.18006
Doberkat, Ernst-Erich
8
2003
The converse of a stochastic relation. Zbl 1029.68107
Doberkat, Ernst-Erich
2
2003
Pipelines: modelling a software architecture through relations. Zbl 1069.68544
Doberkat, Ernst-Erich
2
2003
Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view. Zbl 1027.03028
Doberkat, Ernst-Erich; Omodeo, Eugenio G.
1
2002
The demonic product of probabilistic relations. Zbl 1077.68715
Doberkat, Ernst-Erich
1
2002
Software prototyping mit SETL. Zbl 0699.68039
Doberkat, Ernst-Erich; Fox, Dietmar
2
1989
Topological completeness in an ideal model for polymorphic types. Zbl 0678.68079
Doberkat, Ernst-Erich
1
1989
An average case analysis of Floyd’s algorithm to construct heaps. Zbl 0589.68046
Doberkat, Ernst E.
11
1984
Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Zbl 0504.68037
Doberkat, E. E.
1
1983
Deleting the root of a heap. Zbl 0474.68051
Doberkat, Ernst E.
5
1982
Asymptotic estimates for the higher moments of the expected behavior of straight insertion sort. Zbl 0534.68043
Doberkat, Ernst E.
2
1982
Stochastic behavior of initial nondeterministic automata. Zbl 0469.68063
Doberkat, Ernst-Erich
1
1982
Heaps. Zbl 0494.68035
Doberkat, E.-E.
1
1982
Stochastic automata: stability, nondeterminism, and prediction. Zbl 0473.68051
Doberkat, Ernst-Erich
5
1981
Inserting a new element into a heap. Zbl 0456.60009
Doberkat, Ernst E.
4
1981
Gute Strategien für bewertete Zustandsautomaten über metrischen Räumen. Zbl 0377.94060
Doberkat, Ernst-Erich
2
1980
Good state transition policies for nondeterministic and stochastic automata. Zbl 0426.68033
Doberkat, Ernst-Erich
1
1980
On a representation of measurable automaton transformations by stochastic automata. Zbl 0365.94076
Doberkat, Ernst-Erich
2
1979
Some investigations of learning by means of dynamic programming. Zbl 0384.93031
Doberkat, Ernst-Erich
1
1978
Optimal strategies in measurable learning systems on metric spaces. Zbl 0385.68069
Doberkat, Ernst-Erich
2
1977
all top 5

Cited by 121 Authors

24 Doberkat, Ernst-Erich
7 Silva, Alexandra
7 Sokolova, Ana
4 Bonchi, Filippo
4 Panangaden, Prakash
3 Carlsson, Svante
3 Jacobs, Bart
3 Kozen, Dexter C.
3 Miculan, Marino
3 Omodeo, Eugenio Giovanni
3 Sánchez Terraf, Pedro
3 Schubert, Christoph
3 Zhou, Chunlai
2 Apostolatos, Nikolaos
2 Bacci, Giorgio
2 Chen, Jingsen
2 Chen, Yixiang
2 Danos, Vincent
2 Kurz, Alexander
2 Leal, Raul Andres
2 Lucyshyn-Wright, Rory B. B.
2 Mardare, Radu
2 Milius, Stefan
2 Sánchez, Terraf Pedro
2 Schröder, Lutz
2 Sturtz, Kirk
2 Vignudelli, Valeria
2 Vlassopoulos, V.
2 Wegener, Ingo
2 Wild, Sebastian
2 Woracek, Harald
2 Wu, Hengyang
1 Allwein, Gerard
1 Avery, Tom
1 Bahamonde, Antonio
1 Barbosa, Luís Soares
1 Benveniste, Albert
1 Bertrand, Nathalie
1 Bonsangue, Marcello Maria
1 Bouyer, Patricia
1 Brengos, Tomasz
1 Brihaye, Thomas
1 Buchholz, Peter
1 Budde, Carlos Ernesto
1 Caltais, Georgiana
1 Cantone, Domenico
1 Cardelli, Luca
1 Carlier, Pierre
1 Chaput, Philippe
1 Chen, Linan
1 Cho, Kenta
1 Cincotti, Gianluca
1 Cleaveland, Rance
1 Clerc, Florence
1 Culbertson, Jared
1 Daduna, Hans
1 D’Argenio, Pedro Rubén
1 Desharnais, Josée
1 Dessai, Anand Naique
1 Dorsch, Ulrich
1 Edelkamp, Stefan
1 Ferlez, James
1 Foster, Nate
1 Fritz, Tobias
1 Goubault-Larrecq, Jean
1 Gu, Tao
1 Gumm, Heinz-Peter
1 Harrison, William L.
1 Heinsalu, Sander
1 Hofmann, Dirk
1 Horne, Ross
1 Keimel, Klaus
1 Kianpi, Maurice
1 Larsen, Kim Guldstrand
1 Laviolette, François
1 Lele, Celestin
1 Lent, Janice
1 Luengo Hendriks, Cris L.
1 Mahmoud, Hosam M.
1 Mamouras, Konstantinos
1 Marcus, Steve
1 Martins, Manuel António
1 Mattsson, Christer
1 Mauw, Sjouke
1 Mijatović, Aleksandar
1 Mio, Matteo
1 Moroni, Martín Santiago
1 Mramor, Veno
1 Neves, Renato
1 Nganteu, Cyrille
1 Nykyforchyn, Oleh R.
1 Pachl, Jan K.
1 Panny, Wolfgang
1 Parlamento, Franco
1 Peressotti, Marco
1 Perrone, Paolo
1 Plotkin, Gordon D.
1 Policriti, Alberto
1 Pucella, Riccardo
1 Raclet, Jean-Baptiste
...and 21 more Authors

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.