default search action
Ernst-Erich Doberkat
Person information
- affiliation: Technical University of Dortmund, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [i10]Ernst-Erich Doberkat:
Congruences for Stochastic Automata. CoRR abs/2011.06954 (2020)
2010 – 2019
- 2017
- [j54]Ernst-Erich Doberkat:
Using coalgebras and the Giry monad for interpreting game logics - a tutorial. Frontiers Comput. Sci. 11(6): 948-970 (2017) - [j53]Ernst-Erich Doberkat:
A stochastic interpretation of game logic. J. Log. Algebraic Methods Program. 88: 64-98 (2017) - [j52]Ernst-Erich Doberkat, Pedro Sánchez Terraf
:
Stochastic non-determinism and effectivity functions. J. Log. Comput. 27(1): 357-394 (2017) - [j51]Ernst-Erich Doberkat, Alexander Kurz:
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 27(7): 1108-1110 (2017) - [i9]Ernst-Erich Doberkat:
Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. CoRR abs/1701.00280 (2017) - 2016
- [j50]Ernst-Erich Doberkat:
Bisimulation Cuts For Structuring Markov Transition Systems. Fundam. Informaticae 149(4): 363-383 (2016) - 2015
- [b7]Ernst-Erich Doberkat:
Special Topics in Mathematics for Computer Scientists - Sets, Categories, Topologies and Measures. Springer 2015, ISBN 978-3-319-22749-8, pp. 1-683 - [c28]Ernst-Erich Doberkat:
Towards a Probabilistic Interpretation of Game Logic. RAMiCS 2015: 43-47 - 2014
- [j49]Ernst-Erich Doberkat:
Algebraic properties of stochastic effectivity functions. J. Log. Algebraic Methods Program. 83(3-4): 339-358 (2014) - [i8]Ernst-Erich Doberkat:
Algebraic Properties of Stochastic Effectivity Functions. CoRR abs/1403.7745 (2014) - [i7]Ernst-Erich Doberkat:
Categories and all that - A Tutorial. CoRR abs/1403.7760 (2014) - [i6]Ernst-Erich Doberkat:
Stochastic Interpretation of Game Logic. CoRR abs/1403.7765 (2014) - [i5]Ernst-Erich Doberkat, Pedro Sánchez Terraf:
Stochastic Nondeterminism and Effectivity Functions. CoRR abs/1405.7141 (2014) - [i4]Ernst-Erich Doberkat:
Sets, the Axiom of Choice, And All That: A Tutorial. CoRR abs/1408.6475 (2014) - 2012
- [j48]Ernst-Erich Doberkat:
Lattice properties of congruences for stochastic relations. Ann. Pure Appl. Log. 163(8): 1016-1029 (2012) - [j47]Ernst-Erich Doberkat:
A stochastic interpretation of propositional dynamic logic: expressivity. J. Symb. Log. 77(2): 687-716 (2012) - [j46]Ernst-Erich Doberkat:
Ernst-Erich Doberkat über Olaf E. Kraus (Hrsg.): Managementwissen für Naturwissenschaftler und Ingenieure. Softwaretechnik-Trends 32(2) (2012) - [i3]Ernst-Erich Doberkat, Alexander Kurz:
Coalgebraic Logics (Dagstuhl Seminar 12411). Dagstuhl Reports 2(10): 38-59 (2012) - 2011
- [j45]Ernst-Erich Doberkat, Alexander Kurz
Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. 21(2): 171-174 (2011) - [j44]Ernst-Erich Doberkat, Christoph Schubert:
Coalgebraic logic over general measurable spaces - a survey. Math. Struct. Comput. Sci. 21(2): 175-234 (2011) - [c27]Ernst-Erich Doberkat:
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. ICLA 2011: 50-64 - [i2]Ernst-Erich Doberkat:
Towards a Coalgebraic Interpretation of Propositional Dynamic Logic. CoRR abs/1109.3685 (2011) - 2010
- [j43]Ernst-Erich Doberkat:
Weak bisimulations for the Giry monad. Math. Struct. Comput. Sci. 20(5): 781-798 (2010)
2000 – 2009
- 2009
- [b6]Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2009, ISBN 978-3-642-02994-3, pp. I-XV, 1-231 - [j42]Ernst-Erich Doberkat, Christoph Schubert:
Coalgebraic logic for stochastic right coalgebras. Ann. Pure Appl. Log. 159(3): 268-284 (2009) - [c26]Ernst-Erich Doberkat:
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. TAMC 2009: 192-200 - [c25]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Preface. ISDT 2009: 1-2 - [e3]Ernst-Erich Doberkat, Alexander Kurz:
Coalgebraic Logics, 06.12. - 09.12.2009. Dagstuhl Seminar Proceedings 09502, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e2]Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents] - [i1]Ernst-Erich Doberkat, Alexander Kurz:
09502 Abstracts Collection - Coalgebraic Logics. Coalgebraic Logics 2009 - 2008
- [j41]Ernst-Erich Doberkat:
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. Ann. Pure Appl. Log. 155(1): 46-68 (2008) - [j40]Ernst-Erich Doberkat:
Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 206(12): 1476-1484 (2008) - [c24]Ernst-Erich Doberkat:
Weak Bisimulations for the Giry Monad (Extended Abstract). TAMC 2008: 400-409 - [c23]Ernst-Erich Doberkat:
Bisimilarity of Distributionally Equivalent Markov Transition Systems. FICS 2008: 41-53 - 2007
- [j39]Ernst-Erich Doberkat:
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. J. Appl. Log. 5(3): 519-544 (2007) - 2006
- [j38]Ernst-Erich Doberkat:
Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 204(12): 1756-1781 (2006) - [c22]Ernst-Erich Doberkat:
Hyperfinite Approximations to Labeled Markov Transition Systems. AMAST 2006: 127-141 - 2005
- [j37]Ernst-Erich Doberkat:
Tracing Relations Probabilistically. Fundam. Informaticae 65(3): 193-209 (2005) - [j36]Ernst-Erich Doberkat:
Tracing Relations Probabilistically. Fundam. Informaticae 66(3): 259-275 (2005) - [j35]Ernst-Erich Doberkat:
The converse of a stochastic relation. J. Log. Algebraic Methods Program. 62(1): 133-154 (2005) - [j34]Ernst-Erich Doberkat:
Semi-pullbacks for stochastic relations over analytic spaces. Math. Struct. Comput. Sci. 15(4): 647-670 (2005) - [j33]Ernst-Erich Doberkat:
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM J. Comput. 35(3): 590-626 (2005) - [c21]Ernst-Erich Doberkat:
Look: Simple Stochastic Relations Are Just, Well, Simple. CALCO 2005: 127-141 - [c20]Ernst-Erich Doberkat:
Congruences and Bisimulations for Continuous-Time Stochastic Logic. ICTAC 2005: 409-423 - 2004
- [j32]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): 189-200 (2004) - [j31]Ernst-Erich Doberkat:
Factoring stochastic relations. Inf. Process. Lett. 90(4): 161-166 (2004) - [j30]Ernst-Erich Doberkat, Corina Kopka, Gregor Engels:
MuSofT - Multimedia in der SoftwareTechnik. Softwaretechnik-Trends 24(1) (2004) - [j29]Ernst-Erich Doberkat, Eugenio G. Omodeo
ER modelling from first relational principles. Theor. Comput. Sci. 311(1-3): 285-323 (2004) - 2003
- [j28]Ernst-Erich Doberkat:
Pipelines: Modelling a software architecture through relations. Acta Informatica 40(1): 37-79 (2003) - [c19]Ernst-Erich Doberkat:
Tracing Relations Probabilistically. RelMiCS 2003: 86-98 - [c18]Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels:
MuSofT: Multimedia in der SoftwareTechnik. DeLFI 2003: 115-119 - [c17]Ernst-Erich Doberkat:
The Converse of a Stochastic Relation. FoSSaCS 2003: 233-249 - [c16]Ernst-Erich Doberkat:
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ICALP 2003: 996-1007 - [c15]Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr:
MuSoft: Multimedia in der Softwaretechnik. SEUH 2003: 70-80 - 2002
- [b5]Ernst-Erich Doberkat, Stefan Dißmann:
Einführung in die objektorientierte Programmierung mit Java, 2. Auflage. Oldenbourg 2002, ISBN 3-486-25342-5 - [j27]Ernst-Erich Doberkat, Gregor Engels:
MuSofT - Multimedia in der Softwaretechnik. Inform. Forsch. Entwickl. 17(1): 41-44 (2002) - [j26]Ernst-Erich Doberkat:
Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer. Softwaretechnik-Trends 22(1) (2002) - [j25]Ernst-Erich Doberkat, Gregor Engels:
Multimedia in der Informatik-Lehre. Softwaretechnik-Trends 22(3) (2002) - [c14]Ernst-Erich Doberkat:
The Demonic Product of Probabilistic Relations. FoSSaCS 2002: 114-128 - [c13]Ernst-Erich Doberkat, Gregor Engels:
Multimedia in der Informatik-Lehre. GI Jahrestagung 2002: 377-384 - 2001
- [j24]Ernst-Erich Doberkat:
Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. Softwaretechnik-Trends 21(1) (2001) - [c12]Ernst-Erich Doberkat, Eugenio G. Omodeo:
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. RelMiCS 2001: 50-65 - [c11]Eugenio G. Omodeo
Algebraic semantics of ER-models in the context of the calculus of relations. RelMiS 2001: 136-152 - 2000
- [j23]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): 267-278 (2000) - [j22]Ernst-Erich Doberkat:
Agenten - Ein kleiner Überblick. LOG IN 20(3/4): 10- (2000) - [j21]Ernst-Erich Doberkat:
Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung. LOG IN 20(3/4): 71- (2000) - [j20]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) - [j19]Ernst-Erich Doberkat:
Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline. Softwaretechnik-Trends 20(2) (2000) - [j18]Ernst-Erich Doberkat:
Ernst-Erich Doberkat über E. Freeman, S. Hüpfer, K. Arnold: JavaSpaces Principles, Patterns and Practice. Softwaretechnik-Trends 20(4) (2000)
1990 – 1999
- 1999
- [b4]Ernst-Erich Doberkat, Stefan Dißmann:
Einführung in die objektorientierte Programmierung mit Java, 1. Auflage. Oldenbourg 1999, ISBN 3-486-24786-7 - 1997
- [j17]Ernst-Erich Doberkat:
Generating an Algebraic Specification from an ER-Model. Int. J. Softw. Eng. Knowl. Eng. 7(4): 525-552 (1997) - 1996
- [b3]Ernst-Erich Doberkat, Stefan Dißmann:
Einführung in die objektorientierte Programmierung mit BETA. Addison-Wesley-Longman 1996, ISBN 978-3-8273-1026-2, pp. 1-320 - [j16]Ernst-Erich Doberkat:
Themenheft Softwaretechnik. Inform. Forsch. Entwickl. 11(4): 167 (1996) - [j15]Ernst-Erich Doberkat:
A Language for Specifying Hyperdocuments. Softw. Concepts Tools 17(4): 163-172 (1996) - [c10]Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang:
If Software Reuse Can Lead IT, How? APSEC 1996: 329-329 - [c9]Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl:
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. COORDINATION 1996: 416-419 - 1993
- [c8]Ernst-Erich Doberkat:
Prototyping Through Lindenbaum Algebras. ICLP Workshop on Logic Programming with Sets 1993 - [c7]Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach:
Verwaltung persistenter Daten in einer Prototyping-Umgebung. Requirements Engineering 1993: 147-163 - [e1]Heinz Züllighoven, Werner Altmann, Ernst-Erich Doberkat:
Requirements Engineering '93: Prototyping, Gemeinsame Fachtagung des Fachausschusses 4.3 Requirements Engineering der Gesellschaft für Informatik (GI) und des Verbunds Software-Technik NRW in Kooperation mit dem German Chapter of the ACM und dem Fachausschuß 2.1.1 Software Engineering vom 25. bis 27.4.1993 in Bonn. Berichte des German Chapter of the ACM 41, Teubner 1993, ISBN 3-519-02682-1 [contents] - 1992
- [j14]Ernst-Erich Doberkat:
Integrating Persistence into a Set-Oriented Prototyping Language. Struct. Program. 13(3): 137-153 (1992) - [c6]Ernst-Erich Doberkat, Wilhelm Hasselbring
ProSet-a language for prototyping with sets. RSP 1992: 235-248 - 1991
- [c5]Ernst-Erich Doberkat:
An approach to reusable software through prototyping and set-oriented languages. COMPSAC 1991: 4-5 - 1990
- [b2]Ernst-Erich Doberkat, Dietmar Fox:
Praktischer Übersetzerbau. Teubner 1990, ISBN 978-3-519-02288-6, pp. 1-142
1980 – 1989
- 1989
- [j13]Ernst-Erich Doberkat:
Zur Wiederaufbereitung von Software. Inform. Forsch. Entwickl. 4(1): 14-24 (1989) - [j12]Ernst-Erich Doberkat:
Topological Completeness in an Ideal Model for Polymorphic Types. SIAM J. Comput. 18(5): 977-989 (1989) - 1987
- [j11]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): 195-208 (1987) - [c4]Ernst-Erich Doberkat:
Topological Completeness in an Ideal Model for Polymorphic Types. MFPS 1987: 289-302 - 1985
- [j10]Kio C. Hyun, Ernst-Erich Doberkat:
Inline expansion of SETL procedures. ACM SIGPLAN Notices 20(12): 33-38 (1985) - 1984
- [j9]Ernst-Erich Doberkat:
An Average Case Analysis of Floyd's Algorithm to Construct Heaps. Inf. Control. 61(2): 114-131 (1984) - [c3]Ernst-Erich Doberkat:
Der vollcomputerisierte Campus: Erste Erfahrungen. INFOS 1984: 313-316 - 1983
- [j8]Ernst-Erich Doberkat:
Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Computing 31(1): 11-31 (1983) - 1982
- [j7]Ernst-Erich Doberkat:
Deleting the Root of a Heap. Acta Informatica 17: 245-265 (1982) - [j6]Ernst-Erich Doberkat:
Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort. Inf. Process. Lett. 14(4): 179-182 (1982) - [j5]Ernst-Erich Doberkat:
Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages. Kybernetika 18(2): 89-105 (1982) - 1981
- [b1]Ernst-Erich Doberkat:
Stochastic Automata: Stability, Nondeterminism, and Prediction. Lecture Notes in Computer Science 113, Springer 1981, ISBN 3-540-10835-1 - [j4]Ernst-Erich Doberkat:
Inserting a New Element in a Heap. BIT 21(3): 255-269 (1981) - 1980
- [j3]Ernst-Erich Doberkat:
Good State Transition Policies for Nondeterministic and Stochastic Automata. Inf. Control. 46(2): 135-155 (1980) - [c2]Ernst-Erich Doberkat:
Some Observations on the Average Behavior of Heapsort (Preliminary Report). FOCS 1980: 229-237
1970 – 1979
- 1979
- [j2]Ernst-Erich Doberkat:
Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen. J. Inf. Process. Cybern. 15(3): 133-142 (1979) - [j1]Ernst-Erich Doberkat:
Convergence Theorems for Stochastic Automata and Learning Systems. Math. Syst. Theory 12: 347-359 (1979) - [c1]Ernst-Erich Doberkat:
Stability of linear space automata and semicontinuity of cut point languages. FCT 1979: 112-116
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: