Ernst-Erich Doberkat

According to our database1, Ernst-Erich Doberkat
  • authored at least 95 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





Stochastic non-determinism and effectivity functions.
J. Log. Comput., 2017

A stochastic interpretation of game logic.
J. Log. Algebr. Meth. Program., 2017

Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial.
CoRR, 2017

Bisimulation Cuts For Structuring Markov Transition Systems.
Fundam. Inform., 2016

Towards a Probabilistic Interpretation of Game Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Special Topics in Mathematics for Computer Scientists - Sets, Categories, Topologies and Measures
Springer, ISBN: 978-3-319-22750-4, 2015

Algebraic properties of stochastic effectivity functions.
J. Log. Algebr. Meth. Program., 2014

Stochastic Nondeterminism and Effectivity Functions.
CoRR, 2014

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

Stochastic Interpretation of Game Logic.
CoRR, 2014

Categories and all that - A Tutorial.
CoRR, 2014

Algebraic Properties of Stochastic Effectivity Functions.
CoRR, 2014

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

A stochastic interpretation of propositional dynamic logic: expressivity.
J. Symb. Log., 2012

Coalgebraic Logics (Dagstuhl Seminar 12411).
Dagstuhl Reports, 2012

Lattice properties of congruences for stochastic relations.
Ann. Pure Appl. Logic, 2012

Coalgebraic logic over general measurable spaces - a survey.
Mathematical Structures in Computer Science, 2011

Foreword: special issue on coalgebraic logic.
Mathematical Structures in Computer Science, 2011

Towards a Coalgebraic Interpretation of Propositional Dynamic Logic
CoRR, 2011

A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity.
Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

Weak bisimulations for the Giry monad.
Mathematical Structures in Computer Science, 2010

Electr. Notes Theor. Comput. Sci., 2009

Coalgebraic logic for stochastic right coalgebras.
Ann. Pure Appl. Logic, 2009

Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

09502 Abstracts Collection - Coalgebraic Logics.
Proceedings of the Coalgebraic Logics, 06.12. - 09.12.2009, 2009

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

Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations.
Inf. Comput., 2008

Bisimilarity of Distributionally Equivalent Markov Transition Systems.
Electr. Notes Theor. Comput. Sci., 2008

Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.
Ann. Pure Appl. Logic, 2008

Weak Bisimulations for the Giry Monad (Extended Abstract).
Proceedings of the Theory and Applications of Models of Computation, 2008

The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator.
J. Applied Logic, 2007

Eilenberg-Moore algebras for stochastic relations.
Inf. Comput., 2006

Hyperfinite Approximations to Labeled Markov Transition Systems.
Proceedings of the Algebraic Methodology and Software Technology, 2006

Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.
SIAM J. Comput., 2005

Semi-pullbacks for stochastic relations over analytic spaces.
Mathematical Structures in Computer Science, 2005

The converse of a stochastic relation.
J. Log. Algebr. Program., 2005

Tracing Relations Probabilistically.
Fundam. Inform., 2005

Tracing Relations Probabilistically.
Fundam. Inform., 2005

Congruences and Bisimulations for Continuous-Time Stochastic Logic.
Proceedings of the Theoretical Aspects of Computing, 2005

Look: Simple Stochastic Relations Are Just, Well, Simple.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

ER modelling from first relational principles.
Theor. Comput. Sci., 2004

MuSofT - Multimedia in der SoftwareTechnik.
Softwaretechnik-Trends, 2004

Factoring stochastic relations.
Inf. Process. Lett., 2004

Ein interdisziplinäres methodisches Vorgehen zur Gestaltung webbasierter Studieneinheiten für die Altertumswissenschaften.
Inform., Forsch. Entwickl., 2004

Pipelines: Modelling a software architecture through relations.
Acta Inf., 2003

MuSoft: Multimedia in der Softwaretechnik.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2003

Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

The Converse of a Stochastic Relation.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

MuSofT: Multimedia in der SoftwareTechnik.
Proceedings of the DeLFI 2003, 2003

Tracing Relations Probabilistically.
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

Multimedia in der Informatik-Lehre.
Softwaretechnik-Trends, 2002

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

MuSofT - Multimedia in der Softwaretechnik.
Inform., Forsch. Entwickl., 2002

Multimedia in der Informatik-Lehre.
Proceedings of the Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September, 2002

The Demonic Product of Probabilistic Relations.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

Einführung in die objektorientierte Programmierung mit Java, 2. Auflage
Oldenbourg, ISBN: 3-486-25342-5, 2002

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

Algebraic semantics of ER-models in the context of the calculus of relations.
Electr. Notes Theor. Comput. Sci., 2001

Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.
Proceedings of the Relational Methods in Computer Science, 2001

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

Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline.
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.
Softwaretechnik-Trends, 2000

Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung.
LOG IN, 2000

Agenten - Ein kleiner Überblick.
LOG IN, 2000

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

Einführung in die objektorientierte Programmierung mit Java, 1. Auflage
Oldenbourg, ISBN: 3-486-24786-7, 1999

Generating an Algebraic Specification from an ER-Model.
International Journal of Software Engineering and Knowledge Engineering, 1997

A Language for Specifying Hyperdocuments.
Software - Concepts and Tools, 1996

Themenheft Softwaretechnik.
Inform., Forsch. Entwickl., 1996

Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

If Software Reuse Can Lead IT, How?
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

Einführung in die objektorientierte Programmierung mit BETA.
Addison-Wesley-Longman, ISBN: 978-3-8273-1026-2, 1996

Verwaltung persistenter Daten in einer Prototyping-Umgebung.
Proceedings of the Requirements Engineering '93: Prototyping, 1993

Prototyping Through Lindenbaum Algebras.
Proceedings of the Workshop on Logic Programming with Sets, 1993

Integrating Persistence into a Set-Oriented Prototyping Language.
Structured Programming, 1992

ProSet-a language for prototyping with sets.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

Praktischer Übersetzerbau.
Teubner, ISBN: 978-3-519-02288-6, 1990

Topological Completeness in an Ideal Model for Polymorphic Types.
SIAM J. Comput., 1989

Zur Wiederaufbereitung von Software.
Inform., Forsch. Entwickl., 1989

An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force.
Elektronische Informationsverarbeitung und Kybernetik, 1987

Topological Completeness in an Ideal Model for Polymorphic Types.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

Inline expansion of SETL procedures.
SIGPLAN Notices, 1985

An Average Case Analysis of Floyd's Algorithm to Construct Heaps
Information and Control, May, 1984

Der vollcomputerisierte Campus: Erste Erfahrungen.
Proceedings of the Informatik als Herausforderung an Schule und Ausbildung, 1984

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

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

Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort.
Inf. Process. Lett., 1982

Deleting the Root of a Heap.
Acta Inf., 1982

Inserting a New Element in a Heap.
BIT, 1981

Stochastic Automata: Stability, Nondeterminism, and Prediction
Lecture Notes in Computer Science 113, Springer, ISBN: 3-540-10835-1, 1981

Good State Transition Policies for Nondeterministic and Stochastic Automata
Information and Control, August, 1980

Some Observations on the Average Behavior of Heapsort (Preliminary Report)
Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

Convergence Theorems for Stochastic Automata and Learning Systems.
Mathematical Systems Theory, 1979

Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen.
Elektronische Informationsverarbeitung und Kybernetik, 1979

Stability of linear space automata and semicontinuity of cut point languages.
FCT, 1979