Ernst-Erich Doberkat

102 papers A* 2A 2B 6C 7Journal 63Unranked 13

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Congruences for Stochastic Automata. CoRR Ernst-Erich Doberkat
2017	J	`jnl`	A stochastic interpretation of game logic. J. Log. Algebraic Methods Program. Ernst-Erich Doberkat
2017	J	`jnl`	Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. Ernst-Erich Doberkat, Alexander Kurz
2017	J	`jnl`	Stochastic non-determinism and effectivity functions. J. Log. Comput. Ernst-Erich Doberkat, Pedro Sánchez Terraf
2017	J	`jnl`	Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. CoRR Ernst-Erich Doberkat
2017	J	`jnl`	Using coalgebras and the Giry monad for interpreting game logics - a tutorial. Frontiers Comput. Sci. Ernst-Erich Doberkat
2016	J	`jnl`	Bisimulation Cuts For Structuring Markov Transition Systems. Fundam. Informaticae Ernst-Erich Doberkat
2015	—	`book`	Special Topics in Mathematics for Computer Scientists - Sets, Categories, Topologies and Measures Ernst-Erich Doberkat
2015	C	`conf`	Towards a Probabilistic Interpretation of Game Logic. RAMiCS Ernst-Erich Doberkat
2014	J	`jnl`	Algebraic Properties of Stochastic Effectivity Functions. CoRR Ernst-Erich Doberkat
2014	J	`jnl`	Algebraic properties of stochastic effectivity functions. J. Log. Algebraic Methods Program. Ernst-Erich Doberkat
2014	J	`jnl`	Categories and all that - A Tutorial. CoRR Ernst-Erich Doberkat
2014	J	`jnl`	Sets, the Axiom of Choice, And All That: A Tutorial. CoRR Ernst-Erich Doberkat
2014	J	`jnl`	Stochastic Interpretation of Game Logic. CoRR Ernst-Erich Doberkat
2014	J	`jnl`	Stochastic Nondeterminism and Effectivity Functions. CoRR Ernst-Erich Doberkat, Pedro Sánchez Terraf
2012	J	`jnl`	A stochastic interpretation of propositional dynamic logic: expressivity. J. Symb. Log. Ernst-Erich Doberkat
2012	J	`jnl`	Coalgebraic Logics (Dagstuhl Seminar 12411). Dagstuhl Reports Ernst-Erich Doberkat, Alexander Kurz
2012	J	`jnl`	Ernst-Erich Doberkat über Softwaretechnik-Trends Ernst-Erich Doberkat
2012	J	`jnl`	Lattice properties of congruences for stochastic relations. Ann. Pure Appl. Log. Ernst-Erich Doberkat
2011	—	`conf`	A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity. ICLA Ernst-Erich Doberkat
2011	J	`jnl`	Coalgebraic logic over general measurable spaces - a survey. Math. Struct. Comput. Sci. Ernst-Erich Doberkat, Christoph Schubert
2011	J	`jnl`	Foreword: special issue on coalgebraic logic. Math. Struct. Comput. Sci. Ernst-Erich Doberkat, Alexander Kurz
2011	J	`jnl`	Towards a Coalgebraic Interpretation of Propositional Dynamic Logic CoRR Ernst-Erich Doberkat
2010	J	`jnl`	Weak bisimulations for the Giry monad. Math. Struct. Comput. Sci. Ernst-Erich Doberkat
2009	—	`conf`	09502 Abstracts Collection - Coalgebraic Logics. Coalgebraic Logics Ernst-Erich Doberkat, Alexander Kurz
2009	C	`conf`	Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces. TAMC Ernst-Erich Doberkat
2009	—	`ed.`	Coalgebraic Logics, 06.12. - 09.12.2009 Coalgebraic Logics Ernst-Erich Doberkat, Alexander Kurz
2009	J	`jnl`	Coalgebraic logic for stochastic right coalgebras. Ann. Pure Appl. Log. Ernst-Erich Doberkat, Christoph Schubert
2009	—	`conf`	Preface. ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2009	—	`ed.`	Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009 ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2009	—	`book`	Stochastic Coalgebraic Logic. Ernst-Erich Doberkat
2008	—	`conf`	Bisimilarity of Distributionally Equivalent Markov Transition Systems. FICS Ernst-Erich Doberkat
2008	J	`jnl`	Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations. Inf. Comput. Ernst-Erich Doberkat
2008	J	`jnl`	Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. Ann. Pure Appl. Log. Ernst-Erich Doberkat
2008	C	`conf`	Weak Bisimulations for the Giry Monad (Extended Abstract). TAMC Ernst-Erich Doberkat
2007	J	`jnl`	The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. J. Appl. Log. Ernst-Erich Doberkat
2006	J	`jnl`	Eilenberg-Moore algebras for stochastic relations. Inf. Comput. Ernst-Erich Doberkat
2006	—	`conf`	Hyperfinite Approximations to Labeled Markov Transition Systems. AMAST Ernst-Erich Doberkat
2005	C	`conf`	Congruences and Bisimulations for Continuous-Time Stochastic Logic. ICTAC Ernst-Erich Doberkat
2005	B	`conf`	Look: Simple Stochastic Relations Are Just, Well, Simple. CALCO Ernst-Erich Doberkat
2005	J	`jnl`	Semi-pullbacks for stochastic relations over analytic spaces. Math. Struct. Comput. Sci. Ernst-Erich Doberkat
2005	J	`jnl`	Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. SIAM J. Comput. Ernst-Erich Doberkat
2005	J	`jnl`	The converse of a stochastic relation. J. Log. Algebraic Methods Program. Ernst-Erich Doberkat
2005	J	`jnl`	Tracing Relations Probabilistically. Fundam. Informaticae Ernst-Erich Doberkat
2005	J	`jnl`	Tracing Relations Probabilistically. Fundam. Informaticae Ernst-Erich Doberkat
2004	J	`jnl`	ER modelling from first relational principles. Theor. Comput. Sci. Ernst-Erich Doberkat, Eugenio G. Omodeo
2004	J	`jnl`	Ein interdisziplinäres methodisches Vorgehen zur Gestaltung webbasierter Studieneinheiten für die Altertumswissenschaften. Inform. Forsch. Entwickl. Alexander Fronk, Ernst-Erich Doberkat, Johannes Bergemann, Ulrich-Walter Gans
2004	J	`jnl`	Factoring stochastic relations. Inf. Process. Lett. Ernst-Erich Doberkat
2004	J	`jnl`	MuSofT - Multimedia in der SoftwareTechnik. Softwaretechnik-Trends Ernst-Erich Doberkat, Corina Kopka, Gregor Engels
2003	—	`conf`	MuSofT: Multimedia in der SoftwareTechnik. DeLFI Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels
2003	—	`conf`	MuSoft: Multimedia in der Softwaretechnik. SEUH Klaus Alfert, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, Andy Schürr
2003	J	`jnl`	Pipelines: Modelling a software architecture through relations. Acta Informatica Ernst-Erich Doberkat
2003	A*	`conf`	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ICALP Ernst-Erich Doberkat
2003	B	`conf`	The Converse of a Stochastic Relation. FoSSaCS Ernst-Erich Doberkat
2003	—	`conf`	Tracing Relations Probabilistically. RelMiCS Ernst-Erich Doberkat
2002	—	`book`	Einführung in die objektorientierte Programmierung mit Java, 2. Auflage Ernst-Erich Doberkat, Stefan Dißmann
2002	J	`jnl`	Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer. Softwaretechnik-Trends Ernst-Erich Doberkat
2002	J	`jnl`	MuSofT - Multimedia in der Softwaretechnik. Inform. Forsch. Entwickl. Ernst-Erich Doberkat, Gregor Engels
2002	—	`conf`	Multimedia in der Informatik-Lehre. GI Jahrestagung Ernst-Erich Doberkat, Gregor Engels
2002	J	`jnl`	Multimedia in der Informatik-Lehre. Softwaretechnik-Trends Ernst-Erich Doberkat, Gregor Engels
2002	B	`conf`	The Demonic Product of Probabilistic Relations. FoSSaCS Ernst-Erich Doberkat
2001	—	`conf`	Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. RelMiCS Ernst-Erich Doberkat, Eugenio G. Omodeo
2001	—	`conf`	Algebraic semantics of ER-models in the context of the calculus of relations. RelMiS Eugenio G. Omodeo, Ernst-Erich Doberkat
2001	J	`jnl`	Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. Softwaretechnik-Trends Ernst-Erich Doberkat
2000	J	`jnl`	Agenten - Ein kleiner Überblick. LOG IN Ernst-Erich Doberkat
2000	J	`jnl`	Ernst-Erich Doberkat über E. Freeman, S. Hüpfer, K. Arnold: JavaSpaces Principles, Patterns and Practice. Softwaretechnik-Trends Ernst-Erich Doberkat
2000	J	`jnl`	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 Ernst-Erich Doberkat
2000	J	`jnl`	Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline. Softwaretechnik-Trends Ernst-Erich Doberkat
2000	J	`jnl`	Re-engineering IMIS, the German integrated system for measuring and assessing environmental radioactivity. Environ. Model. Softw. Ernst-Erich Doberkat, Fritz Schmidt, Christof Veltmann
2000	J	`jnl`	Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten Modellierung. LOG IN Ernst-Erich Doberkat
1999	—	`book`	Einführung in die objektorientierte Programmierung mit Java, 1. Auflage Ernst-Erich Doberkat, Stefan Dißmann
1997	J	`jnl`	Generating an Algebraic Specification from an ER-Model. Int. J. Softw. Eng. Knowl. Eng. Ernst-Erich Doberkat
1996	J	`jnl`	A Language for Specifying Hyperdocuments. Softw. Concepts Tools Ernst-Erich Doberkat
1996	—	`book`	Einführung in die objektorientierte Programmierung mit BETA. Ernst-Erich Doberkat, Stefan Dißmann
1996	C	`conf`	If Software Reuse Can Lead IT, How? APSEC Masao J. Matsumoto, Ernst-Erich Doberkat, Stan Jarzabek, Kyo Chul Kang
1996	C	`conf`	Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation. COORDINATION Ernst-Erich Doberkat, Wilhelm Hasselbring, Claus Pahl
1996	J	`jnl`	Themenheft Softwaretechnik. Inform. Forsch. Entwickl. Ernst-Erich Doberkat
1993	—	`conf`	Prototyping Through Lindenbaum Algebras. ICLP Workshop on Logic Programming with Sets Ernst-Erich Doberkat
1993	A	`ed.`	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 Requirements Engineering Heinz Züllighoven, Werner Altmann, Ernst-Erich Doberkat
1993	A	`conf`	Verwaltung persistenter Daten in einer Prototyping-Umgebung. Requirements Engineering Ernst-Erich Doberkat, Wolfgang Franke, Udo Kelter, Wolfgang Seelbach
1992	J	`jnl`	Integrating Persistence into a Set-Oriented Prototyping Language. Struct. Program. Ernst-Erich Doberkat
1992	C	`conf`	ProSet-a language for prototyping with sets. RSP Ernst-Erich Doberkat, Wilhelm Hasselbring, Wolfgang Franke, Ulrich Lammers, Ulrich Gutenbeil, Claus Pahl
1991	B	`conf`	An approach to reusable software through prototyping and set-oriented languages. COMPSAC Ernst-Erich Doberkat
1990	—	`book`	Praktischer Übersetzerbau. Ernst-Erich Doberkat, Dietmar Fox
1989	J	`jnl`	Topological Completeness in an Ideal Model for Polymorphic Types. SIAM J. Comput. Ernst-Erich Doberkat
1989	J	`jnl`	Zur Wiederaufbereitung von Software. Inform. Forsch. Entwickl. Ernst-Erich Doberkat
1987	J	`jnl`	An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force. J. Inf. Process. Cybern. Ernst-Erich Doberkat
1987	B	`conf`	Topological Completeness in an Ideal Model for Polymorphic Types. MFPS Ernst-Erich Doberkat
1985	J	`jnl`	Inline expansion of SETL procedures. ACM SIGPLAN Notices Kio C. Hyun, Ernst-Erich Doberkat
1984	J	`jnl`	An Average Case Analysis of Floyd's Algorithm to Construct Heaps Inf. Control. Ernst-Erich Doberkat
1984	—	`conf`	Der vollcomputerisierte Campus: Erste Erfahrungen. INFOS Ernst-Erich Doberkat
1983	J	`jnl`	Continuous models that are equivalent to randomness for the analysis of many sorting algorithms. Computing Ernst-Erich Doberkat
1982	J	`jnl`	Asymptotic Estimates for the Higher Moments of the Expected Behavior of Straight Insertion Sort. Inf. Process. Lett. Ernst-Erich Doberkat
1982	J	`jnl`	Deleting the Root of a Heap. Acta Informatica Ernst-Erich Doberkat
1982	J	`jnl`	Some remarks on the stability problem for linear space automata and semicontinuity of cut point languages. Kybernetika Ernst-Erich Doberkat
1981	J	`jnl`	Inserting a New Element in a Heap. BIT Ernst-Erich Doberkat
1981	—	`book`	Stochastic Automata: Stability, Nondeterminism, and Prediction Ernst-Erich Doberkat
1980	J	`jnl`	Good State Transition Policies for Nondeterministic and Stochastic Automata Inf. Control. Ernst-Erich Doberkat
1980	A*	`conf`	Some Observations on the Average Behavior of Heapsort (Preliminary Report) FOCS Ernst-Erich Doberkat
1979	J	`jnl`	Convergence Theorems for Stochastic Automata and Learning Systems. Math. Syst. Theory Ernst-Erich Doberkat
1979	B	`conf`	Stability of linear space automata and semicontinuity of cut point languages. FCT Ernst-Erich Doberkat
1979	J	`jnl`	Zur Existenz und Berechnung optimaler Vorhersagen für die Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen. J. Inf. Process. Cybern. Ernst-Erich Doberkat