Stability of linear space automata and semicontinuity of cut point languages. - Ernst-Erich Doberkat (FCT, 1979)

Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen. - Ernst-Erich Doberkat (J. Inf. Process. Cybern., 1979)

Convergence Theorems for Stochastic Automata and Learning Systems. - Ernst-Erich Doberkat (Math. Syst. Theory, 1979)

Some Observations on the Average Behavior of Heapsort (Preliminary Report) - Ernst-Erich Doberkat (FOCS, 1980)

Good State Transition Policies for Nondeterministic and Stochastic Automata - Ernst-Erich Doberkat (Inf. Control., 1980)

Stochastic Automata: Stability, Nondeterminism, and Prediction - Ernst-Erich Doberkat (Springer, 1981)

Inserting a New Element in a Heap. - Ernst-Erich Doberkat (BIT, 1981)

Deleting the Root of a Heap. - Ernst-Erich Doberkat (Acta Informatica, 1982)

Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort. - Ernst-Erich Doberkat (Inf. Process. Lett., 1982)

Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages. - Ernst-Erich Doberkat (Kybernetika, 1982)

Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. - Ernst-Erich Doberkat (Computing, 1983)

Der vollcomputerisierte Campus: Erste Erfahrungen. - Ernst-Erich Doberkat (INFOS, 1984)

An Average Case Analysis of Floyd's Algorithm to Construct Heaps - Ernst-Erich Doberkat (Inf. Control., 1984)

Inline expansion of SETL procedures. - Kio C. Hyun; Ernst-Erich Doberkat (ACM SIGPLAN Notices, 1985)

An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force. - Ernst-Erich Doberkat (J. Inf. Process. Cybern., 1987)

Zur Wiederaufbereitung von Software. - Ernst-Erich Doberkat (Inform. Forsch. Entwickl., 1989)

Topological Completeness in an Ideal Model for Polymorphic Types. - Ernst-Erich Doberkat (SIAM J. Comput., 1989)

Praktischer Übersetzerbau. - Ernst-Erich Doberkat; Dietmar Fox (Teubner, 1990)

An approach to reusable software through prototyping and set-oriented languages. - Ernst-Erich Doberkat (COMPSAC, 1991)

ProSet-a language for prototyping with sets. - Ernst-Erich Doberkat; Wilhelm Hasselbring; Wolfgang Franke; Ulrich Lammers; Ulrich Gutenbeil; Claus Pahl (RSP, 1992)

Integrating Persistence into a Set-Oriented Prototyping Language. - Ernst-Erich Doberkat (Struct. Program., 1992)

Prototyping Through Lindenbaum Algebras. - Ernst-Erich Doberkat (ICLP Workshop on Logic Programming with Sets, 1993)

Verwaltung persistenter Daten in einer Prototyping-Umgebung. - Ernst-Erich Doberkat; Wolfgang Franke; Udo Kelter; Wolfgang Seelbach (Requirements Engineering, 1993)

Einführung in die objektorientierte Programmierung mit BETA. - Ernst-Erich Doberkat; Stefan Dißmann (Addison-Wesley-Longman, 1996)

If Software Reuse Can Lead IT, How? - Masao J. Matsumoto; Ernst-Erich Doberkat; Stan Jarzabek; Kyo Chul Kang (APSEC, 1996)

Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. - Ernst-Erich Doberkat; Wilhelm Hasselbring; Claus Pahl (COORDINATION, 1996)

Themenheft Softwaretechnik. - Ernst-Erich Doberkat (Inform. Forsch. Entwickl., 1996)

A Language for Specifying Hyperdocuments. - Ernst-Erich Doberkat (Softw. Concepts Tools, 1996)

Generating an Algebraic Specification from an ER-Model. - Ernst-Erich Doberkat (Int. J. Softw. Eng. Knowl. Eng., 1997)

Einführung in die objektorientierte Programmierung mit Java, 1. Auflage - Ernst-Erich Doberkat; Stefan Dißmann (Oldenbourg, 1999)

Re-engineering IMIS, the German integrated system for measuring and assessing environmental radioactivity. - Ernst-Erich Doberkat; Fritz Schmidt; Christof Veltmann (Environ. Model. Softw., 2000)

Agenten - Ein kleiner Überblick. - Ernst-Erich Doberkat (LOG IN, 2000)

Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung. - Ernst-Erich Doberkat (LOG IN, 2000)

Ernst-Erich Doberkat über J. Leslie KEEDY: In Stufen zum Ziel - Zur Einführung von Bachelor- und Master-Graden an deutschen Universitäten. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2000)

Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2000)

Ernst-Erich Doberkat über E. Freeman, S. Hüpfer, K. Arnold: JavaSpaces Principles, Patterns and Practice. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2000)

Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. - Ernst-Erich Doberkat; Eugenio G. Omodeo (RelMiCS, 2001)

Algebraic semantics of ER-models in the context of the calculus of relations. - Eugenio G. Omodeo; Ernst-Erich Doberkat (RelMiS, 2001)

Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2001)

Einführung in die objektorientierte Programmierung mit Java, 2. Auflage - Ernst-Erich Doberkat; Stefan Dißmann (Oldenbourg, 2002)

The Demonic Product of Probabilistic Relations. - Ernst-Erich Doberkat (FoSSaCS, 2002)

MuSofT - Multimedia in der Softwaretechnik. - Ernst-Erich Doberkat; Gregor Engels (Inform. Forsch. Entwickl., 2002)

Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2002)

Multimedia in der Informatik-Lehre. - Ernst-Erich Doberkat; Gregor Engels (Softwaretechnik-Trends, 2002)

MuSofT: Multimedia in der SoftwareTechnik. - Klaus Alfert; Ernst-Erich Doberkat; Gregor Engels (DeLFI, 2003)

Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. - Ernst-Erich Doberkat (ICALP, 2003)

MuSoft: Multimedia in der Softwaretechnik. - Klaus Alfert; Ernst-Erich Doberkat; Gregor Engels; Marc Lohmann; Johannes Magenheim; Andy Schürr (SEUH, 2003)

Pipelines: Modelling a software architecture through relations. - Ernst-Erich Doberkat (Acta Informatica, 2003)

Ein interdisziplinäres methodisches Vorgehen zur Gestaltung webbasierter Studieneinheiten für die Altertumswissenschaften. - Alexander Fronk; Ernst-Erich Doberkat; Johannes Bergemann; Ulrich-Walter Gans (Inform. Forsch. Entwickl., 2004)

Factoring stochastic relations. - Ernst-Erich Doberkat (Inf. Process. Lett., 2004)

MuSofT - Multimedia in der SoftwareTechnik. - Ernst-Erich Doberkat; Corina Kopka; Gregor Engels (Softwaretechnik-Trends, 2004)

ER modelling from first relational principles. - Ernst-Erich Doberkat; Eugenio G. Omodeo (Theor. Comput. Sci., 2004)

Look: Simple Stochastic Relations Are Just, Well, Simple. - Ernst-Erich Doberkat (CALCO, 2005)

Congruences and Bisimulations for Continuous-Time Stochastic Logic. - Ernst-Erich Doberkat (ICTAC, 2005)

Tracing Relations Probabilistically. - Ernst-Erich Doberkat (Fundam. Informaticae, 2005)

The converse of a stochastic relation. - Ernst-Erich Doberkat (J. Log. Algebraic Methods Program., 2005)

Semi-pullbacks for stochastic relations over analytic spaces. - Ernst-Erich Doberkat (Math. Struct. Comput. Sci., 2005)

Stochastic Relations: Congruences, Bisimulations and the Hennessy–Milner Theorem. - Ernst-Erich Doberkat (SIAM J. Comput., 2005)

Hyperfinite Approximations to Labeled Markov Transition Systems. - Ernst-Erich Doberkat (AMAST, 2006)

Eilenberg-Moore algebras for stochastic relations. - Ernst-Erich Doberkat (Inf. Comput., 2006)

The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. - Ernst-Erich Doberkat (J. Appl. Log., 2007)

Weak Bisimulations for the Giry Monad (Extended Abstract). - Ernst-Erich Doberkat (TAMC, 2008)

Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. - Ernst-Erich Doberkat (Ann. Pure Appl. Log., 2008)

Bisimilarity of Distributionally Equivalent Markov Transition Systems. - Ernst-Erich Doberkat (FICS, 2008)

Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations. - Ernst-Erich Doberkat (Inf. Comput., 2008)

Stochastic Coalgebraic Logic. - Ernst-Erich Doberkat (Springer, 2009)

09502 Abstracts Collection - Coalgebraic Logics. - Ernst-Erich Doberkat; Alexander Kurz 001 (Coalgebraic Logics, 2009)

Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. - Ernst-Erich Doberkat (TAMC, 2009)

Coalgebraic logic for stochastic right coalgebras. - Ernst-Erich Doberkat; Christoph Schubert (Ann. Pure Appl. Log., 2009)

Preface. - Yixiang Chen 001; Ernst-Erich Doberkat; Achim Jung (ISDT, 2009)

Weak bisimulations for the Giry monad. - Ernst-Erich Doberkat (Math. Struct. Comput. Sci., 2010)

Towards a Coalgebraic Interpretation of Propositional Dynamic Logic - Ernst-Erich Doberkat (CoRR, 2011)

Foreword: special issue on coalgebraic logic. - Ernst-Erich Doberkat; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2011)

Coalgebraic logic over general measurable spaces - a survey. - Ernst-Erich Doberkat; Christoph Schubert (Math. Struct. Comput. Sci., 2011)

Lattice properties of congruences for stochastic relations. - Ernst-Erich Doberkat (Ann. Pure Appl. Log., 2012)

Coalgebraic Logics (Dagstuhl Seminar 12411). - Ernst-Erich Doberkat; Alexander Kurz 001 (Dagstuhl Reports, 2012)

A stochastic interpretation of propositional dynamic logic: expressivity. - Ernst-Erich Doberkat (J. Symb. Log., 2012)

Ernst-Erich Doberkat über Olaf E. Kraus (Hrsg.): Managementwissen für Naturwissenschaftler und Ingenieure. - Ernst-Erich Doberkat (Softwaretechnik-Trends, 2012)

Categories and all that - A Tutorial. - Ernst-Erich Doberkat (CoRR, 2014)

Sets, the Axiom of Choice, And All That: A Tutorial. - Ernst-Erich Doberkat (CoRR, 2014)

Stochastic Nondeterminism and Effectivity Functions. - Ernst-Erich Doberkat; Pedro Sánchez Terraf (CoRR, 2014)

Algebraic properties of stochastic effectivity functions. - Ernst-Erich Doberkat (J. Log. Algebraic Methods Program., 2014)

Special Topics in Mathematics for Computer Scientists - Sets, Categories, Topologies and Measures - Ernst-Erich Doberkat (Springer, 2015)

Towards a Probabilistic Interpretation of Game Logic. - Ernst-Erich Doberkat (RAMiCS, 2015)

Bisimulation Cuts For Structuring Markov Transition Systems. - Ernst-Erich Doberkat (Fundam. Informaticae, 2016)

Using coalgebras and the Giry monad for interpreting game logics - a tutorial. - Ernst-Erich Doberkat (Frontiers Comput. Sci., 2017)

A stochastic interpretation of game logic. - Ernst-Erich Doberkat (J. Log. Algebraic Methods Program., 2017)

Stochastic non-determinism and effectivity functions. - Ernst-Erich Doberkat; Pedro Sánchez Terraf (J. Log. Comput., 2017)

Congruences for Stochastic Automata. - Ernst-Erich Doberkat (CoRR, 2020)