Ernst-Erich Doberkat

Publication Activity (10 Years)

Years Active: 1979-2020
Publications (10 Years): 7

Top Topics

Stochastic Optimization

Winning Strategy

Propositional Dynamic Logic

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Ernst-Erich Doberkat
Congruences for Stochastic Automata. CoRR (2020)
Ernst-Erich Doberkat
A stochastic interpretation of game logic. J. Log. Algebraic Methods Program. 88 (2017)
Ernst-Erich Doberkat, Alexander Kurz
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 27 (7) (2017)
Ernst-Erich Doberkat
Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. CoRR (2017)
Ernst-Erich Doberkat, Pedro Sánchez Terraf
Stochastic non-determinism and effectivity functions. J. Log. Comput. 27 (1) (2017)
Ernst-Erich Doberkat
Using coalgebras and the Giry monad for interpreting game logics - a tutorial. Frontiers Comput. Sci. 11 (6) (2017)
Ernst-Erich Doberkat
Bisimulation Cuts For Structuring Markov Transition Systems. Fundam. Informaticae 149 (4) (2016)
Ernst-Erich Doberkat
Towards a Probabilistic Interpretation of Game Logic. RAMiCS (2015)
Ernst-Erich Doberkat
Stochastic Interpretation of Game Logic. CoRR (2014)
Ernst-Erich Doberkat, Pedro Sánchez Terraf
Stochastic Nondeterminism and Effectivity Functions. CoRR (2014)
Ernst-Erich Doberkat
Algebraic properties of stochastic effectivity functions. J. Log. Algebraic Methods Program. 83 (3-4) (2014)
Ernst-Erich Doberkat
Categories and all that - A Tutorial. CoRR (2014)
Ernst-Erich Doberkat
Sets, the Axiom of Choice, And All That: A Tutorial. CoRR (2014)
Ernst-Erich Doberkat
Algebraic Properties of Stochastic Effectivity Functions. CoRR (2014)
Ernst-Erich Doberkat
. Softwaretechnik-Trends 32 (2) (2012)
Ernst-Erich Doberkat
A stochastic interpretation of propositional dynamic logic: expressivity. J. Symb. Log. 77 (2) (2012)
Ernst-Erich Doberkat
Lattice properties of congruences for stochastic relations. Ann. Pure Appl. Log. 163 (8) (2012)
Ernst-Erich Doberkat, Alexander Kurz
Coalgebraic Logics (Dagstuhl Seminar 12411). Dagstuhl Reports 2 (10) (2012)
Ernst-Erich Doberkat, Christoph Schubert
Coalgebraic logic over general measurable spaces - a survey. Math. Struct. Comput. Sci. 21 (2) (2011)
Ernst-Erich Doberkat, Alexander Kurz
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 21 (2) (2011)
Ernst-Erich Doberkat
Towards a Coalgebraic Interpretation of Propositional Dynamic Logic CoRR (2011)
Ernst-Erich Doberkat
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. ICLA (2011)
Ernst-Erich Doberkat
Weak bisimulations for the Giry monad. Math. Struct. Comput. Sci. 20 (5) (2010)
Ernst-Erich Doberkat
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. TAMC (2009)
Ernst-Erich Doberkat, Christoph Schubert
Coalgebraic logic for stochastic right coalgebras. Ann. Pure Appl. Log. 159 (3) (2009)
Ernst-Erich Doberkat, Alexander Kurz
09502 Abstracts Collection - Coalgebraic Logics. Coalgebraic Logics (2009)
Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
Preface. ISDT (2009)
Ernst-Erich Doberkat
Bisimilarity of Distributionally Equivalent Markov Transition Systems. Electron. Notes Theor. Comput. Sci. 212 (2008)
Ernst-Erich Doberkat
Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 206 (12) (2008)
Ernst-Erich Doberkat
Weak Bisimulations for the Giry Monad (Extended Abstract). TAMC (2008)
Ernst-Erich Doberkat
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. Ann. Pure Appl. Log. 155 (1) (2008)
Ernst-Erich Doberkat
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. J. Appl. Log. 5 (3) (2007)
Ernst-Erich Doberkat
Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 204 (12) (2006)
Ernst-Erich Doberkat
Hyperfinite Approximations to Labeled Markov Transition Systems. AMAST (2006)
Ernst-Erich Doberkat
Look: Simple Stochastic Relations Are Just, Well, Simple. CALCO (2005)
Ernst-Erich Doberkat
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM J. Comput. 35 (3) (2005)
Ernst-Erich Doberkat
Semi-pullbacks for stochastic relations over analytic spaces. Math. Struct. Comput. Sci. 15 (4) (2005)
Ernst-Erich Doberkat
Tracing Relations Probabilistically. Fundam. Informaticae 66 (3) (2005)
Ernst-Erich Doberkat
Tracing Relations Probabilistically. Fundam. Informaticae 65 (3) (2005)
Ernst-Erich Doberkat
Congruences and Bisimulations for Continuous-Time Stochastic Logic. ICTAC (2005)
Ernst-Erich Doberkat
The converse of a stochastic relation. J. Log. Algebraic Methods Program. 62 (1) (2005)
Ernst-Erich Doberkat, Eugenio G. Omodeo
ER modelling from first relational principles. Theor. Comput. Sci. 311 (1-3) (2004)
Ernst-Erich Doberkat, Corina Kopka, Gregor Engels
MuSofT - Multimedia in der SoftwareTechnik. Softwaretechnik-Trends 24 (1) (2004)
Ernst-Erich Doberkat
Factoring stochastic relations. Inf. Process. Lett. 90 (4) (2004)
Alexander Fronk, Ernst-Erich Doberkat, Johannes Bergemann, Ulrich-Walter Gans
Ein interdisziplinäres methodisches Vorgehen zur Gestaltung webbasierter Studieneinheiten für die Altertumswissenschaften. Inform. Forsch. Entwickl. 18 (3-4) (2004)
Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr
MuSoft: Multimedia in der Softwaretechnik. SEUH (2003)
Ernst-Erich Doberkat
Pipelines: Modelling a software architecture through relations. Acta Informatica 40 (1) (2003)
Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels
MuSofT: Multimedia in der SoftwareTechnik. DeLFI (2003)
Ernst-Erich Doberkat
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ICALP (2003)
Ernst-Erich Doberkat
The Converse of a Stochastic Relation. FoSSaCS (2003)
Ernst-Erich Doberkat
Tracing Relations Probabilistically. RelMiCS (2003)
Ernst-Erich Doberkat, Gregor Engels
Multimedia in der Informatik-Lehre. Softwaretechnik-Trends 22 (3) (2002)
Ernst-Erich Doberkat, Gregor Engels
MuSofT - Multimedia in der Softwaretechnik. Inform. Forsch. Entwickl. 17 (1) (2002)
Ernst-Erich Doberkat, Gregor Engels
Multimedia in der Informatik-Lehre. GI Jahrestagung (2002)
Ernst-Erich Doberkat
Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer. Softwaretechnik-Trends 22 (1) (2002)
Ernst-Erich Doberkat
The Demonic Product of Probabilistic Relations. FoSSaCS (2002)
Ernst-Erich Doberkat
Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. Softwaretechnik-Trends 21 (1) (2001)
Eugenio G. Omodeo, Ernst-Erich Doberkat
Algebraic semantics of ER-models in the context of the calculus of relations. Electron. Notes Theor. Comput. Sci. 44 (3) (2001)
Ernst-Erich Doberkat, Eugenio G. Omodeo
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. RelMiCS (2001)
Ernst-Erich Doberkat
Agenten - Ein kleiner Überblick. LOG IN 20 (3/4) (2000)
Ernst-Erich Doberkat
Ernst-Erich Doberkat über E. Freeman, S. Hüpfer, K. Arnold: JavaSpaces Principles, Patterns and Practice. Softwaretechnik-Trends 20 (4) (2000)
Ernst-Erich Doberkat, Fritz Schmidt, Christof Veltmann
Re-engineering IMIS, the German integrated system for measuring and assessing environmental radioactivity. Environ. Model. Softw. 15 (2-3) (2000)
Ernst-Erich Doberkat
Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung. LOG IN 20 (3/4) (2000)
Ernst-Erich Doberkat
Ernst-Erich Doberkat über J. Leslie KEEDY: In Stufen zum Ziel - Zur Einführung von Bachelor- und Master-Graden an deutschen Universitäten. Softwaretechnik-Trends 20 (1) (2000)
Ernst-Erich Doberkat
Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline. Softwaretechnik-Trends 20 (2) (2000)
Ernst-Erich Doberkat
Generating an Algebraic Specification from an ER-Model. Int. J. Softw. Eng. Knowl. Eng. 7 (4) (1997)
Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. COORDINATION (1996)
Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang
If Software Reuse Can Lead IT, How? APSEC (1996)
Ernst-Erich Doberkat
Themenheft Softwaretechnik. Inform. Forsch. Entwickl. 11 (4) (1996)
Ernst-Erich Doberkat
A Language for Specifying Hyperdocuments. Softw. Concepts Tools 17 (4) (1996)
Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach
Verwaltung persistenter Daten in einer Prototyping-Umgebung. Requirements Engineering (1993)
Ernst-Erich Doberkat
Prototyping Through Lindenbaum Algebras. ICLP Workshop on Logic Programming with Sets (1993)
Ernst-Erich Doberkat
Integrating Persistence into a Set-Oriented Prototyping Language. Struct. Program. 13 (3) (1992)
Ernst-Erich Doberkat, Wilhelm Hasselbring, Wolfgang Franke, Ulrich Lammers, Ulrich Gutenbeil, Claus Pahl
ProSet-a language for prototyping with sets. RSP (1992)
Ernst-Erich Doberkat
An approach to reusable software through prototyping and set-oriented languages. COMPSAC (1991)
Ernst-Erich Doberkat
Topological Completeness in an Ideal Model for Polymorphic Types. SIAM J. Comput. 18 (5) (1989)
Ernst-Erich Doberkat
Zur Wiederaufbereitung von Software. Inform. Forsch. Entwickl. 4 (1) (1989)
Ernst-Erich Doberkat
Topological Completeness in an Ideal Model for Polymorphic Types. MFPS (1987)
Ernst-Erich Doberkat
An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force. J. Inf. Process. Cybern. 23 (4/5) (1987)
Kio C. Hyun, Ernst-Erich Doberkat
Inline expansion of SETL procedures. ACM SIGPLAN Notices 20 (12) (1985)
Ernst-Erich Doberkat
An Average Case Analysis of Floyd's Algorithm to Construct Heaps Inf. Control. 61 (2) (1984)
Ernst-Erich Doberkat
Der vollcomputerisierte Campus: Erste Erfahrungen. INFOS (1984)
Ernst-Erich Doberkat
Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Computing 31 (1) (1983)
Ernst-Erich Doberkat
Deleting the Root of a Heap. Acta Informatica 17 (1982)
Ernst-Erich Doberkat
Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages. Kybernetika 18 (2) (1982)
Ernst-Erich Doberkat
Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort. Inf. Process. Lett. 14 (4) (1982)
Ernst-Erich Doberkat
Inserting a New Element in a Heap. BIT 21 (3) (1981)
Ernst-Erich Doberkat
Some Observations on the Average Behavior of Heapsort (Preliminary Report) FOCS (1980)
Ernst-Erich Doberkat
Good State Transition Policies for Nondeterministic and Stochastic Automata Inf. Control. 46 (2) (1980)
Ernst-Erich Doberkat
Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen. J. Inf. Process. Cybern. 15 (3) (1979)
Ernst-Erich Doberkat
Stability of linear space automata and semicontinuity of cut point languages. FCT (1979)
Ernst-Erich Doberkat
Convergence Theorems for Stochastic Automata and Learning Systems. Math. Syst. Theory 12 (1979)