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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
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

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

2015
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

2014
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

2012
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

2011
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

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

2009
Preface.
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

2008
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

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

2006
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

2005
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

2004
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

2003
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

2002
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

2001
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

2000
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

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

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

1996
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

1993
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

1992
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

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

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

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

1987
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

1985
Inline expansion of SETL procedures.
SIGPLAN Notices, 1985

1984
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

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

1982
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

1981
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

1980
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

1979
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


  Loading...