dblp.uni-trier.dewww.uni-trier.de

Ernst-Erich Doberkat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
65EEErnst-Erich Doberkat: Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. TAMC 2009: 192-200
64EEErnst-Erich Doberkat, Christoph Schubert: Coalgebraic logic for stochastic right coalgebras. Ann. Pure Appl. Logic 159(3): 268-284 (2009)
2008
63EEErnst-Erich Doberkat: Weak Bisimulations for the Giry Monad (Extended Abstract). TAMC 2008: 400-409
62EEErnst-Erich Doberkat: Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. Ann. Pure Appl. Logic 155(1): 46-68 (2008)
61EEErnst-Erich Doberkat: Bisimilarity of Distributionally Equivalent Markov Transition Systems. Electr. Notes Theor. Comput. Sci. 212: 41-53 (2008)
60EEErnst-Erich Doberkat: Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 206(12): 1476-1484 (2008)
2007
59EEErnst-Erich Doberkat: The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. J. Applied Logic 5(3): 519-544 (2007)
2006
58EEErnst-Erich Doberkat: Hyperfinite Approximations to Labeled Markov Transition Systems. AMAST 2006: 127-141
57EEErnst-Erich Doberkat: Eilenberg-Moore algebras for stochastic relations. Inf. Comput. 204(12): 1756-1781 (2006)
2005
56EEErnst-Erich Doberkat: Look: Simple Stochastic Relations Are Just, Well, Simple. CALCO 2005: 127-141
55EEErnst-Erich Doberkat: Congruences and Bisimulations for Continuous-Time Stochastic Logic. ICTAC 2005: 409-423
54EEErnst-Erich Doberkat: Tracing Relations Probabilistically. Fundam. Inform. 65(3): 193-209 (2005)
53EEErnst-Erich Doberkat: Tracing Relations Probabilistically. Fundam. Inform. 66(3): 259-275 (2005)
52EEErnst-Erich Doberkat: The converse of a stochastic relation. J. Log. Algebr. Program. 62(1): 133-154 (2005)
51EEErnst-Erich Doberkat: Semi-pullbacks for stochastic relations over analytic spaces. Mathematical Structures in Computer Science 15(4): 647-670 (2005)
50EEErnst-Erich Doberkat: Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM J. Comput. 35(3): 590-626 (2005)
2004
49EEErnst-Erich Doberkat: Factoring stochastic relations. Inf. Process. Lett. 90(4): 161-166 (2004)
48EEAlexander 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)
47EEErnst-Erich Doberkat, Eugenio G. Omodeo: ER modelling from first relational principles. Theor. Comput. Sci. 311(1-3): 285-323 (2004)
2003
46 Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels: MuSofT: Multimedia in der SoftwareTechnik. DeLFI 2003: 115-119
45EEErnst-Erich Doberkat: The Converse of a Stochastic Relation. FoSSaCS 2003: 233-249
44EEErnst-Erich Doberkat: Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ICALP 2003: 996-1007
43EEErnst-Erich Doberkat: Tracing Relations Probabilistically. RelMiCS 2003: 86-98
42 Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr: MuSoft: Multimedia in der Softwaretechnik. SEUH 2003: 70-80
41EEErnst-Erich Doberkat: Pipelines: Modelling a software architecture through relations. Acta Inf. 40(1): 37-79 (2003)
2002
40 Ernst-Erich Doberkat, Stefan Dißmann: Einführung in die objektorientierte Programmierung mit Java, 2. Auflage Oldenbourg 2002
39EEErnst-Erich Doberkat: The Demonic Product of Probabilistic Relations. FoSSaCS 2002: 114-128
38 Ernst-Erich Doberkat, Gregor Engels: Multimedia in der Informatik-Lehre. GI Jahrestagung 2002: 377-384
37EEErnst-Erich Doberkat, Gregor Engels: MuSofT - Multimedia in der Softwaretechnik. Inform., Forsch. Entwickl. 17(1): 41-44 (2002)
36 Ernst-Erich Doberkat: Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer. Softwaretechnik-Trends 22(1): (2002)
35 Ernst-Erich Doberkat, Gregor Engels: Multimedia in der Informatik-Lehre. Softwaretechnik-Trends 22(3): (2002)
2001
34EEErnst-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
33EEEugenio G. Omodeo, Ernst-Erich Doberkat: Algebraic semantics of ER-models in the context of the calculus of relations. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
32 Ernst-Erich Doberkat: Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. Softwaretechnik- Trends 21(1): (2001)
2000
31 Ernst-Erich Doberkat, Fritz Schmidt, Christof Veltmann: Re-engineering IMIS, the German integrated system for measuring and assessing environmental radioactivity. Environmental Modelling and Software 15(2-3): 267-278 (2000)
30 Ernst-Erich Doberkat: Agenten - Ein kleiner Überblick. LOG IN 20(3/4): 10- (2000)
29 Ernst-Erich Doberkat: Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung. LOG IN 20(3/4): 71- (2000)
28 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)
27 Ernst-Erich Doberkat: Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline. Softwaretechnik-Trends 20(2): (2000)
26 Ernst-Erich Doberkat: Ernst-Erich Doberkat über E. Freeman, S. Hüpfer, K. Arnold: JavaSpaces Principles, Patterns and Practice. Softwaretechnik-Trends 20(4): (2000)
1999
25 Ernst-Erich Doberkat, Stefan Dißmann: Einführung in die objektorientierte Programmierung mit Java, 1. Auflage Oldenbourg 1999
1997
24EEErnst-Erich Doberkat: Generating an Algebraic Specification from an ER-Model. International Journal of Software Engineering and Knowledge Engineering 7(4): 525-552 (1997)
1996
23EEMasao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang: If Software Reuse Can Lead IT, How? APSEC 1996: 329-329
22 Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl: Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. COORDINATION 1996: 416-419
21 Ernst-Erich Doberkat: Themenheft Softwaretechnik. Inform., Forsch. Entwickl. 11(4): 167 (1996)
20 Ernst-Erich Doberkat: A Language for Specifying Hyperdocuments. Software - Concepts and Tools 17(4): 163-172 (1996)
1993
19 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 Teubner 1993
18 Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach: Verwaltung persistenter Daten in einer Prototyping-Umgebung. Requirements Engineering 1993: 147-163
1992
17 Ernst-Erich Doberkat: Integrating Persistence into a Set-Oriented Prototyping Language. Structured Programming 13(3): 137-153 (1992)
1989
16 Ernst-Erich Doberkat: Zur Wiederaufbereitung von Software. Inform., Forsch. Entwickl. 4(1): 14-24 (1989)
15 Ernst-Erich Doberkat: Topological Completeness in an Ideal Model for Polymorphic Types. SIAM J. Comput. 18(5): 977-989 (1989)
1987
14EEErnst-Erich Doberkat: Topological Completeness in an Ideal Model for Polymorphic Types. MFPS 1987: 289-302
13 Ernst-Erich Doberkat: An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force. Elektronische Informationsverarbeitung und Kybernetik 23(4/5): 195-208 (1987)
1984
12 Ernst-Erich Doberkat: Der vollcomputerisierte Campus: Erste Erfahrungen. INFOS 1984: 313-316
11 Ernst-Erich Doberkat: An Average Case Analysis of Floyd's Algorithm to Construct Heaps Information and Control 61(2): 114-131 (1984)
1983
10EEErnst-Erich Doberkat: Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Computing 31(1): 11-31 (1983)
1982
9 Ernst-Erich Doberkat: Deleting the Root of a Heap. Acta Inf. 17: 245-265 (1982)
8 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)
1981
7 Ernst-Erich Doberkat: Stochastic Automata: Stability, Nondeterminism, and Prediction Springer 1981
6 Ernst-Erich Doberkat: Inserting a New Element in a Heap. BIT 21(3): 255-269 (1981)
1980
5 Ernst-Erich Doberkat: Some Observations on the Average Behavior of Heapsort (Preliminary Report) FOCS 1980: 229-237
4 Ernst-Erich Doberkat: Good State Transition Policies for Nondeterministic and Stochastic Automata Information and Control 46(2): 135-155 (1980)
1979
3 Ernst-Erich Doberkat: Stability of linear space automata and semicontinuity of cut point languages. FCT 1979: 112-116
2 Ernst-Erich Doberkat: Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen. Elektronische Informationsverarbeitung und Kybernetik 15(3): 133-142 (1979)
1 Ernst-Erich Doberkat: Convergence Theorems for Stochastic Automata and Learning Systems. Mathematical Systems Theory 12: 347-359 (1979)

Coauthor Index

1Klaus Alfert [42] [46]
2Werner Altmann [19]
3Johannes Bergemann [48]
4Stefan Dißmann [25] [40]
5Gregor Engels [35] [37] [38] [42] [46]
6Wolfgang Franke [18]
7Alexander Fronk [48]
8Ulrich-Walter Gans [48]
9Wilhelm Hasselbring [22]
10Stan Jarzabek (Stanislaw Jarzabek) [23]
11Kyo Chul Kang [23]
12Udo Kelter [18]
13Marc Lohmann [42]
14Johannes Magenheim [42]
15Masao J. Matsumoto [23]
16Eugenio G. Omodeo [33] [34] [47]
17Claus Pahl [22]
18Fritz Schmidt [31]
19Christoph Schubert [64]
20Andy Schürr [42]
21Wolfgang Seelbach [18]
22Christof Veltmann [31]
23Heinz Züllighoven [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)