Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Doberkat, Ernst-Erich"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Erratum and Addendum to``Eilenberg-Moore algebras for stochastic relations''
Ernst-Erich Doberkat
Information and Computation
206
(12), 2008, pp. 1476-1484
Eilenberg-Moore algebras for stochastic relations
Ernst-Erich Doberkat
Information and Computation
204
(12), 2006, pp. 1756-1781
Stochastic relations: Congruences, bisimulations and the Hennessy-Milner theorem
Ernst-Erich Doberkat
SIAM Journal on Computing
35
(3), 2005-2006, pp. 590-626
ER modelling from first relational principles
Ernst-Erich Doberkat
,
Eugenio G. Omodeo
Theoretical Computer Science
311
(1-3), 2004, pp. 285-323
Factoring stochastic relations
Ernst-Erich Doberkat
Information Processing Letters
90
(4), 2004, pp. 161-166
Pipelines: Modelling a software architecture through relations
Ernst-Erich Doberkat
Acta Informatica
40
(1), 2003, pp. 37-79
Semi-pullbacks and bisimulations in categories of stochastic relations
Ernst-Erich Doberkat
Lecture Notes in Computer Science
2719
, 2003, pp. 996-1007
Topological completeness in an ideal model for polymorphic types
Ernst-Erich Doberkat
SIAM Journal on Computing
18
, 1989, pp. 977-989
Convergence theorems for stochastic automata and learning systems
Ernst-Erich Doberkat
Math. Systems Theory
12
, 1978/79, pp. 347-359