| 2009 | TAMC | Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. | Ernst-Erich Doberkat |
| 2008 | TAMC | Weak Bisimulations for the Giry Monad (Extended Abstract). | Ernst-Erich Doberkat |
| 2005 | CALCO | Look: Simple Stochastic Relations Are Just, Well, Simple. | Ernst-Erich Doberkat |
| 2005 | ICTAC | Congruences and Bisimulations for Continuous-Time Stochastic Logic. | Ernst-Erich Doberkat |
| 2003 | FOSSACS | The Converse of a Stochastic Relation. | Ernst-Erich Doberkat |
| 2003 | ICALP | Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. | Ernst-Erich Doberkat |
| 2002 | FOSSACS | The Demonic Product of Probabilistic Relations. | Ernst-Erich Doberkat |
| 2002 | GI | Multimedia in der Informatik-Lehre. | Ernst-Erich Doberkat, Gregor Engels |
| 1996 | APSEC | If Software Reuse Can Lead IT, How? | Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang |
| 1996 | Coordination | Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. | Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl |
| 1993 | ICLP | Prototyping Through Lindenbaum Algebras. | Ernst-Erich Doberkat |
| 1993 | RE | Verwaltung persistenter Daten in einer Prototyping-Umgebung. | Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach |
| 1992 | RSP | ProSet-a language for prototyping with sets. | Ernst-Erich Doberkat, Wilhelm Hasselbring, Wolfgang Franke, Ulrich Lammers, Ulrich Gutenbeil, Claus Pahl |
| 1991 | COMPSAC | An approach to reusable software through prototyping and set-oriented languages. | Ernst-Erich Doberkat |
| 1987 | MFPS | Topological Completeness in an Ideal Model for Polymorphic Types. | Ernst-Erich Doberkat |
| 1980 | FOCS | Some Observations on the Average Behavior of Heapsort (Preliminary Report) | Ernst-Erich Doberkat |
| 1979 | FCT | Stability of linear space automata and semicontinuity of cut point languages. | Ernst-Erich Doberkat |