 | 2009 |
|---|
| 65 |       | Ernst-Erich Doberkat:
Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces.
TAMC 2009: 192-200 |
| 64 | | Ernst-Erich Doberkat,
Christoph Schubert:
Coalgebraic logic for stochastic right coalgebras.
Ann. Pure Appl. Logic 159(3): 268-284 (2009) |
| 2008 |
|---|
| 63 | | Ernst-Erich Doberkat:
Weak Bisimulations for the Giry Monad (Extended Abstract).
TAMC 2008: 400-409 |
| 62 | | Ernst-Erich Doberkat:
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.
Ann. Pure Appl. Logic 155(1): 46-68 (2008) |
| 61 | | Ernst-Erich Doberkat:
Bisimilarity of Distributionally Equivalent Markov Transition Systems.
Electr. Notes Theor. Comput. Sci. 212: 41-53 (2008) |
| 60 | | Ernst-Erich Doberkat:
Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations.
Inf. Comput. 206(12): 1476-1484 (2008) |
| 2007 |
|---|
| 59 | | Ernst-Erich Doberkat:
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator.
J. Applied Logic 5(3): 519-544 (2007) |
| 2006 |
|---|
| 58 | | Ernst-Erich Doberkat:
Hyperfinite Approximations to Labeled Markov Transition Systems.
AMAST 2006: 127-141 |
| 57 | | Ernst-Erich Doberkat:
Eilenberg-Moore algebras for stochastic relations.
Inf. Comput. 204(12): 1756-1781 (2006) |
| 2005 |
|---|
| 56 | | Ernst-Erich Doberkat:
Look: Simple Stochastic Relations Are Just, Well, Simple.
CALCO 2005: 127-141 |
| 55 | | Ernst-Erich Doberkat:
Congruences and Bisimulations for Continuous-Time Stochastic Logic.
ICTAC 2005: 409-423 |
| 54 | | Ernst-Erich Doberkat:
Tracing Relations Probabilistically.
Fundam. Inform. 65(3): 193-209 (2005) |
| 53 | | Ernst-Erich Doberkat:
Tracing Relations Probabilistically.
Fundam. Inform. 66(3): 259-275 (2005) |
| 52 | | Ernst-Erich Doberkat:
The converse of a stochastic relation.
J. Log. Algebr. Program. 62(1): 133-154 (2005) |
| 51 | | Ernst-Erich Doberkat:
Semi-pullbacks for stochastic relations over analytic spaces.
Mathematical Structures in Computer Science 15(4): 647-670 (2005) |
| 50 | | Ernst-Erich Doberkat:
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem.
SIAM J. Comput. 35(3): 590-626 (2005) |
| 2004 |
|---|
| 49 | | Ernst-Erich Doberkat:
Factoring stochastic relations.
Inf. Process. Lett. 90(4): 161-166 (2004) |
| 48 | | 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) |
| 47 | | Ernst-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 |
| 45 | | Ernst-Erich Doberkat:
The Converse of a Stochastic Relation.
FoSSaCS 2003: 233-249 |
| 44 | | Ernst-Erich Doberkat:
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.
ICALP 2003: 996-1007 |
| 43 | | Ernst-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 |
| 41 | | Ernst-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 |
| 39 | | Ernst-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 |
| 37 | | Ernst-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 |
|---|
| 34 | | 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 |
| 33 | | Eugenio 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 |
|---|
| 24 | | Ernst-Erich Doberkat:
Generating an Algebraic Specification from an ER-Model.
International Journal of Software Engineering and Knowledge Engineering 7(4): 525-552 (1997) |
| 1996 |
|---|
| 23 | | Masao 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 |
|---|
| 14 | | Ernst-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 |
|---|
| 10 | | Ernst-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) |
