The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ernst-Erich Doberkat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  55. Weak Bisimulations for the Giry Monad (Extended Abstract). [Citation Graph (, )][DBLP]


  56. Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. [Citation Graph (, )][DBLP]


  57. Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. [Citation Graph (, )][DBLP]


  58. Coalgebraic logic for stochastic right coalgebras. [Citation Graph (, )][DBLP]


  59. Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. [Citation Graph (, )][DBLP]


  60. Bisimilarity of Distributionally Equivalent Markov Transition Systems. [Citation Graph (, )][DBLP]


  61. Preface. [Citation Graph (, )][DBLP]


Search in 0.091secs, Finished in 0.094secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002