Ernst-Erich Doberkat

According to our database, Ernst-Erich Doberkat authored at least 89 papers between 1979 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Congruences for Stochastic Automata.

Ernst-Erich Doberkat

CoRR, 2020

2017

Stochastic non-determinism and effectivity functions.

Ernst-Erich Doberkat, Pedro Sánchez Terraf

J. Log. Comput., 2017

A stochastic interpretation of game logic.

Ernst-Erich Doberkat

J. Log. Algebraic Methods Program., 2017

Using coalgebras and the Giry monad for interpreting game logics - a tutorial.

Ernst-Erich Doberkat

Frontiers Comput. Sci., 2017

2016

Bisimulation Cuts For Structuring Markov Transition Systems.

Ernst-Erich Doberkat

Fundam. Informaticae, 2016

2015

Towards a Probabilistic Interpretation of Game Logic.

Ernst-Erich Doberkat

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Special Topics in Mathematics for Computer Scientists - Sets, Categories, Topologies and Measures

Ernst-Erich Doberkat

Springer, ISBN: 978-3-319-22750-4, 2015

2014

Algebraic properties of stochastic effectivity functions.

Ernst-Erich Doberkat

J. Log. Algebraic Methods Program., 2014

Stochastic Nondeterminism and Effectivity Functions.

Ernst-Erich Doberkat, Pedro Sánchez Terraf

CoRR, 2014

Sets, the Axiom of Choice, And All That: A Tutorial.

Ernst-Erich Doberkat

CoRR, 2014

Categories and all that - A Tutorial.

Ernst-Erich Doberkat

CoRR, 2014

2012

Ernst-Erich Doberkat über <i>Olaf E. Kraus (Hrsg.): Managementwissen für Naturwissenschaftler und Ingenieure</i>.

Ernst-Erich Doberkat

Softwaretechnik-Trends, 2012

A stochastic interpretation of propositional dynamic logic: expressivity.

Ernst-Erich Doberkat

J. Symb. Log., 2012

Coalgebraic Logics (Dagstuhl Seminar 12411).

Ernst-Erich Doberkat, Alexander Kurz

Dagstuhl Reports, 2012

Lattice properties of congruences for stochastic relations.

Ernst-Erich Doberkat

Ann. Pure Appl. Log., 2012

2011

Coalgebraic logic over general measurable spaces - a survey.

Ernst-Erich Doberkat, Christoph Schubert

Math. Struct. Comput. Sci., 2011

Foreword: special issue on coalgebraic logic.

Ernst-Erich Doberkat, Alexander Kurz

Math. Struct. Comput. Sci., 2011

Towards a Coalgebraic Interpretation of Propositional Dynamic Logic

Ernst-Erich Doberkat

CoRR, 2011

2010

Weak bisimulations for the Giry monad.

Ernst-Erich Doberkat

Math. Struct. Comput. Sci., 2010

2009

Preface.

Yixiang Chen, Ernst-Erich Doberkat, Achim Jung

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Coalgebraic logic for stochastic right coalgebras.

Ernst-Erich Doberkat, Christoph Schubert

Ann. Pure Appl. Log., 2009

Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.

Ernst-Erich Doberkat

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

09502 Abstracts Collection - Coalgebraic Logics.

Ernst-Erich Doberkat, Alexander Kurz

Proceedings of the Coalgebraic Logics, 06.12. - 09.12.2009, 2009

Stochastic Coalgebraic Logic.

Ernst-Erich Doberkat

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-02994-3, 2009

2008

Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations.

Ernst-Erich Doberkat

Inf. Comput., 2008

Bisimilarity of Distributionally Equivalent Markov Transition Systems.

Ernst-Erich Doberkat

Proceedings of the First International Conference on Foundations of Informatics, 2008

Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.

Ernst-Erich Doberkat

Ann. Pure Appl. Log., 2008

Weak Bisimulations for the Giry Monad (Extended Abstract).

Ernst-Erich Doberkat

Proceedings of the Theory and Applications of Models of Computation, 2008

2007

The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator.

Ernst-Erich Doberkat

J. Appl. Log., 2007

2006

Eilenberg-Moore algebras for stochastic relations.

Ernst-Erich Doberkat

Inf. Comput., 2006

Hyperfinite Approximations to Labeled Markov Transition Systems.

Ernst-Erich Doberkat

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.

Ernst-Erich Doberkat

SIAM J. Comput., 2005

Semi-pullbacks for stochastic relations over analytic spaces.

Ernst-Erich Doberkat

Math. Struct. Comput. Sci., 2005

The converse of a stochastic relation.

Ernst-Erich Doberkat

J. Log. Algebraic Methods Program., 2005

Tracing Relations Probabilistically.

Ernst-Erich Doberkat

Fundam. Informaticae, 2005

Congruences and Bisimulations for Continuous-Time Stochastic Logic.

Ernst-Erich Doberkat

Proceedings of the Theoretical Aspects of Computing, 2005

Look: Simple Stochastic Relations Are Just, Well, Simple.

Ernst-Erich Doberkat

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

ER modelling from first relational principles.

Ernst-Erich Doberkat, Eugenio G. Omodeo

Theor. Comput. Sci., 2004

MuSofT - Multimedia in der SoftwareTechnik.

Ernst-Erich Doberkat, Corina Kopka, Gregor Engels

Softwaretechnik-Trends, 2004

Factoring stochastic relations.

Ernst-Erich Doberkat

Inf. Process. Lett., 2004

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

2003

Pipelines: Modelling a software architecture through relations.

Ernst-Erich Doberkat

Acta Informatica, 2003

MuSoft: Multimedia in der Softwaretechnik.

Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2003

Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.

Ernst-Erich Doberkat

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

MuSofT: Multimedia in der SoftwareTechnik.

Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels

Proceedings of the DeLFI 2003, 2003

2002

Multimedia in der Informatik-Lehre.

Ernst-Erich Doberkat, Gregor Engels

Softwaretechnik-Trends, 2002

Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer.

Ernst-Erich Doberkat

Softwaretechnik-Trends, 2002

MuSofT - Multimedia in der Softwaretechnik.

Ernst-Erich Doberkat, Gregor Engels

Inform. Forsch. Entwickl., 2002

The Demonic Product of Probabilistic Relations.

Ernst-Erich Doberkat

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Einführung in die objektorientierte Programmierung mit Java, 2. Auflage

Ernst-Erich Doberkat, Stefan Dißmann

Oldenbourg, ISBN: 3-486-25342-5, 2002

2001

Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language.

Ernst-Erich Doberkat

Softwaretechnik-Trends, 2001

Algebraic semantics of ER-models in the context of the calculus of relations.

Eugenio G. Omodeo, Ernst-Erich Doberkat

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.

Ernst-Erich Doberkat, Eugenio G. Omodeo

Proceedings of the Relational Methods in Computer Science, 2001

2000

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

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 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

Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung.

Ernst-Erich Doberkat

LOG IN, 2000

Agenten - Ein kleiner Überblick.

Ernst-Erich Doberkat

LOG IN, 2000

Re-engineering IMIS, the German integrated system for measuring and assessing environmental radioactivity.

Ernst-Erich Doberkat, Fritz Schmidt, Christof Veltmann

Environ. Model. Softw., 2000

1999

Einführung in die objektorientierte Programmierung mit Java, 1. Auflage

Ernst-Erich Doberkat, Stefan Dißmann

Oldenbourg, ISBN: 3-486-24786-7, 1999

1997

Generating an Algebraic Specification from an ER-Model.

Ernst-Erich Doberkat

Int. J. Softw. Eng. Knowl. Eng., 1997

1996

A Language for Specifying Hyperdocuments.

Ernst-Erich Doberkat

Softw. Concepts Tools, 1996

Themenheft Softwaretechnik.

Ernst-Erich Doberkat

Inform. Forsch. Entwickl., 1996

Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.

Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl

Proceedings of the Coordination Languages and Models, First International Conference, 1996

If Software Reuse Can Lead IT, How?

Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Einführung in die objektorientierte Programmierung mit BETA.

Ernst-Erich Doberkat, Stefan Dißmann

Addison-Wesley-Longman, ISBN: 978-3-8273-1026-2, 1996

1993

Verwaltung persistenter Daten in einer Prototyping-Umgebung.

Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach

Proceedings of the Requirements Engineering '93: Prototyping, 1993

Prototyping Through Lindenbaum Algebras.

Ernst-Erich Doberkat

Proceedings of the Workshop on Logic Programming with Sets, 1993

1992

Integrating Persistence into a Set-Oriented Prototyping Language.

Ernst-Erich Doberkat

Struct. Program., 1992

ProSet-a language for prototyping with sets.

Ernst-Erich Doberkat, Wilhelm Hasselbring, Wolfgang Franke, Ulrich Lammers, Ulrich Gutenbeil, Claus Pahl

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

1991

An approach to reusable software through prototyping and set-oriented languages.

Ernst-Erich Doberkat

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Praktischer Übersetzerbau.

Ernst-Erich Doberkat, Dietmar Fox

Teubner, ISBN: 978-3-519-02288-6, 1990

1989

Topological Completeness in an Ideal Model for Polymorphic Types.

Ernst-Erich Doberkat

SIAM J. Comput., 1989

Zur Wiederaufbereitung von Software.

Ernst-Erich Doberkat

Inform. Forsch. Entwickl., 1989

1987

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

1985

Inline expansion of SETL procedures.

Kio C. Hyun, Ernst-Erich Doberkat

ACM SIGPLAN Notices, 1985

1984

An Average Case Analysis of Floyd's Algorithm to Construct Heaps

Ernst-Erich Doberkat

Inf. Control., May, 1984

Der vollcomputerisierte Campus: Erste Erfahrungen.

Ernst-Erich Doberkat

Proceedings of the Informatik als Herausforderung an Schule und Ausbildung, 1984

1983

Continuous models that are equivalent to randomness for the analysis of many sorting algorithms.

Ernst-Erich Doberkat

Computing, 1983

1982

Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages.

Ernst-Erich Doberkat

Kybernetika, 1982

Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort.

Ernst-Erich Doberkat

Inf. Process. Lett., 1982

Deleting the Root of a Heap.

Ernst-Erich Doberkat

Acta Informatica, 1982

1981

Inserting a New Element in a Heap.

Ernst-Erich Doberkat

BIT, 1981

Stochastic Automata: Stability, Nondeterminism, and Prediction

Ernst-Erich Doberkat

Lecture Notes in Computer Science 113, Springer, ISBN: 3-540-10835-1, 1981

1980

Good State Transition Policies for Nondeterministic and Stochastic Automata

Ernst-Erich Doberkat

Inf. Control., August, 1980

Some Observations on the Average Behavior of Heapsort (Preliminary Report)

Ernst-Erich Doberkat

Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

1979

Convergence Theorems for Stochastic Automata and Learning Systems.

Ernst-Erich Doberkat

Math. Syst. Theory, 1979

Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen.

Ernst-Erich Doberkat

J. Inf. Process. Cybern., 1979

Stability of linear space automata and semicontinuity of cut point languages.

Ernst-Erich Doberkat

Proceedings of the Fundamentals of Computation Theory, 1979