Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ernst-Erich Doberkat
@article{DBLP:journals/corr/abs-2011-06954,
author = {Ernst{-}Erich Doberkat},
title = {Congruences for Stochastic Automata},
journal = {CoRR},
volume = {abs/2011.06954},
year = {2020},
url = {https://arxiv.org/abs/2011.06954},
eprinttype = {arXiv},
eprint = {2011.06954},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-06954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/Doberkat17,
author = {Ernst{-}Erich Doberkat},
title = {Using coalgebras and the Giry monad for interpreting game logics -
a tutorial},
journal = {Frontiers Comput. Sci.},
volume = {11},
number = {6},
pages = {948--970},
year = {2017},
url = {https://doi.org/10.1007/s11704-016-6155-5},
doi = {10.1007/S11704-016-6155-5},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/Doberkat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Doberkat17,
author = {Ernst{-}Erich Doberkat},
title = {A stochastic interpretation of game logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {88},
pages = {64--98},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.02.001},
doi = {10.1016/J.JLAMP.2017.02.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Doberkat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DoberkatT17,
author = {Ernst{-}Erich Doberkat and
Pedro S{\'{a}}nchez Terraf},
title = {Stochastic non-determinism and effectivity functions},
journal = {J. Log. Comput.},
volume = {27},
number = {1},
pages = {357--394},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv049},
doi = {10.1093/LOGCOM/EXV049},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DoberkatT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK17,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1108--1110},
year = {2017},
url = {https://doi.org/10.1017/S096012951500047X},
doi = {10.1017/S096012951500047X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Doberkat17,
author = {Ernst{-}Erich Doberkat},
title = {Using Coalgebras and the Giry Monad for Interpreting Game Logics -
{A} Tutorial},
journal = {CoRR},
volume = {abs/1701.00280},
year = {2017},
url = {http://arxiv.org/abs/1701.00280},
eprinttype = {arXiv},
eprint = {1701.00280},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Doberkat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Doberkat16,
author = {Ernst{-}Erich Doberkat},
title = {Bisimulation Cuts For Structuring Markov Transition Systems},
journal = {Fundam. Informaticae},
volume = {149},
number = {4},
pages = {363--383},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1452},
doi = {10.3233/FI-2016-1452},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Doberkat16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Doberkat15,
author = {Ernst{-}Erich Doberkat},
title = {Special Topics in Mathematics for Computer Scientists - Sets, Categories,
Topologies and Measures},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22750-4},
doi = {10.1007/978-3-319-22750-4},
isbn = {978-3-319-22749-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Doberkat15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Doberkat15,
author = {Ernst{-}Erich Doberkat},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Towards a Probabilistic Interpretation of Game Logic},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {43--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_3},
doi = {10.1007/978-3-319-24704-5\_3},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Doberkat15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Doberkat14,
author = {Ernst{-}Erich Doberkat},
title = {Algebraic properties of stochastic effectivity functions},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {3-4},
pages = {339--358},
year = {2014},
url = {https://doi.org/10.1016/j.jlamp.2014.03.002},
doi = {10.1016/J.JLAMP.2014.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Doberkat14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Doberkat14,
author = {Ernst{-}Erich Doberkat},
title = {Algebraic Properties of Stochastic Effectivity Functions},
journal = {CoRR},
volume = {abs/1403.7745},
year = {2014},
url = {http://arxiv.org/abs/1403.7745},
eprinttype = {arXiv},
eprint = {1403.7745},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Doberkat14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Doberkat14a,
author = {Ernst{-}Erich Doberkat},
title = {Categories and all that - {A} Tutorial},
journal = {CoRR},
volume = {abs/1403.7760},
year = {2014},
url = {http://arxiv.org/abs/1403.7760},
eprinttype = {arXiv},
eprint = {1403.7760},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Doberkat14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Doberkat14b,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Interpretation of Game Logic},
journal = {CoRR},
volume = {abs/1403.7765},
year = {2014},
url = {http://arxiv.org/abs/1403.7765},
eprinttype = {arXiv},
eprint = {1403.7765},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Doberkat14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DoberkatT14,
author = {Ernst{-}Erich Doberkat and
Pedro S{\'{a}}nchez Terraf},
title = {Stochastic Nondeterminism and Effectivity Functions},
journal = {CoRR},
volume = {abs/1405.7141},
year = {2014},
url = {http://arxiv.org/abs/1405.7141},
eprinttype = {arXiv},
eprint = {1405.7141},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DoberkatT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Doberkat14c,
author = {Ernst{-}Erich Doberkat},
title = {Sets, the Axiom of Choice, And All That: {A} Tutorial},
journal = {CoRR},
volume = {abs/1408.6475},
year = {2014},
url = {http://arxiv.org/abs/1408.6475},
eprinttype = {arXiv},
eprint = {1408.6475},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Doberkat14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Doberkat12,
author = {Ernst{-}Erich Doberkat},
title = {Lattice properties of congruences for stochastic relations},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {8},
pages = {1016--1029},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.024},
doi = {10.1016/J.APAL.2011.12.024},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Doberkat12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Doberkat12,
author = {Ernst{-}Erich Doberkat},
title = {A stochastic interpretation of propositional dynamic logic: expressivity},
journal = {J. Symb. Log.},
volume = {77},
number = {2},
pages = {687--716},
year = {2012},
url = {https://doi.org/10.2178/jsl/1333566646},
doi = {10.2178/JSL/1333566646},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Doberkat12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat12,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber \emph{Olaf E. Kraus (Hrsg.):
Managementwissen f{\"{u}}r Naturwissenschaftler und Ingenieure}},
journal = {Softwaretechnik-Trends},
volume = {32},
number = {2},
year = {2012},
url = {http://pi.informatik.uni-siegen.de/stt/32\_2/07\_Buchbesprechungen/BuchbesprechungKraus24iv12.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DoberkatK12,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics (Dagstuhl Seminar 12411)},
journal = {Dagstuhl Reports},
volume = {2},
number = {10},
pages = {38--59},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.10.38},
doi = {10.4230/DAGREP.2.10.38},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DoberkatK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK11,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {171--174},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000538},
doi = {10.1017/S0960129510000538},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatS11,
author = {Ernst{-}Erich Doberkat and
Christoph Schubert},
title = {Coalgebraic logic over general measurable spaces - a survey},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {175--234},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000526},
doi = {10.1017/S0960129510000526},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Doberkat11,
author = {Ernst{-}Erich Doberkat},
editor = {Mohua Banerjee and
Anil Seth},
title = {A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {50--64},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_6},
doi = {10.1007/978-3-642-18026-2\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Doberkat11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-3685,
author = {Ernst{-}Erich Doberkat},
title = {Towards a Coalgebraic Interpretation of Propositional Dynamic Logic},
journal = {CoRR},
volume = {abs/1109.3685},
year = {2011},
url = {http://arxiv.org/abs/1109.3685},
eprinttype = {arXiv},
eprint = {1109.3685},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-3685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Doberkat10,
author = {Ernst{-}Erich Doberkat},
title = {Weak bisimulations for the Giry monad},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {5},
pages = {781--798},
year = {2010},
url = {https://doi.org/10.1017/S0960129510000204},
doi = {10.1017/S0960129510000204},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Doberkat10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023745,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Coalgebraic Logic},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02995-0},
doi = {10.1007/978-3-642-02995-0},
isbn = {978-3-642-02994-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DoberkatS09,
author = {Ernst{-}Erich Doberkat and
Christoph Schubert},
title = {Coalgebraic logic for stochastic right coalgebras},
journal = {Ann. Pure Appl. Log.},
volume = {159},
number = {3},
pages = {268--284},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2008.06.018},
doi = {10.1016/J.APAL.2008.06.018},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DoberkatS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Doberkat09,
author = {Ernst{-}Erich Doberkat},
editor = {Jianer Chen and
S. Barry Cooper},
title = {Behavioral and Logical Equivalence of Stochastic Kripke Models in
General Measurable Spaces},
booktitle = {Theory and Applications of Models of Computation, 6th Annual Conference,
{TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5532},
pages = {192--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02017-9\_22},
doi = {10.1007/978-3-642-02017-9\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Doberkat09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenDJ09,
author = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Preface},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.022},
doi = {10.1016/J.ENTCS.2009.11.022},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9502,
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09502/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2009,
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/257/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DoberkatK09,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {09502 Abstracts Collection - Coalgebraic Logics},
booktitle = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2420/},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DoberkatK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Doberkat08,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence},
journal = {Ann. Pure Appl. Log.},
volume = {155},
number = {1},
pages = {46--68},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.01.010},
doi = {10.1016/J.APAL.2008.01.010},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat08,
author = {Ernst{-}Erich Doberkat},
title = {Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations},
journal = {Inf. Comput.},
volume = {206},
number = {12},
pages = {1476--1484},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.08.002},
doi = {10.1016/J.IC.2008.08.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Doberkat08,
author = {Ernst{-}Erich Doberkat},
editor = {Manindra Agrawal and
Ding{-}Zhu Du and
Zhenhua Duan and
Angsheng Li},
title = {Weak Bisimulations for the Giry Monad (Extended Abstract)},
booktitle = {Theory and Applications of Models of Computation, 5th International
Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4978},
pages = {400--409},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79228-4\_35},
doi = {10.1007/978-3-540-79228-4\_35},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Doberkat08,
author = {Ernst{-}Erich Doberkat},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Bisimilarity of Distributionally Equivalent Markov Transition Systems},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {41--53},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.052},
doi = {10.1016/J.ENTCS.2008.04.052},
timestamp = {Fri, 17 Feb 2023 09:48:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Doberkat07,
author = {Ernst{-}Erich Doberkat},
title = {The Hennessy-Milner equivalence for continuous time stochastic logic
with mu-operator},
journal = {J. Appl. Log.},
volume = {5},
number = {3},
pages = {519--544},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2006.05.001},
doi = {10.1016/J.JAL.2006.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Doberkat07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat06,
author = {Ernst{-}Erich Doberkat},
title = {Eilenberg-Moore algebras for stochastic relations},
journal = {Inf. Comput.},
volume = {204},
number = {12},
pages = {1756--1781},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.09.001},
doi = {10.1016/J.IC.2006.09.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Doberkat06,
author = {Ernst{-}Erich Doberkat},
editor = {Michael Johnson and
Varmo Vene},
title = {Hyperfinite Approximations to Labeled Markov Transition Systems},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {127--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_12},
doi = {10.1007/11784180\_12},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/Doberkat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Doberkat05,
author = {Ernst{-}Erich Doberkat},
title = {Tracing Relations Probabilistically},
journal = {Fundam. Informaticae},
volume = {65},
number = {3},
pages = {193--209},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Doberkat05a,
author = {Ernst{-}Erich Doberkat},
title = {Tracing Relations Probabilistically},
journal = {Fundam. Informaticae},
volume = {66},
number = {3},
pages = {259--275},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Doberkat05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Doberkat05,
author = {Ernst{-}Erich Doberkat},
title = {The converse of a stochastic relation},
journal = {J. Log. Algebraic Methods Program.},
volume = {62},
number = {1},
pages = {133--154},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.007},
doi = {10.1016/J.JLAP.2004.01.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Doberkat05,
author = {Ernst{-}Erich Doberkat},
title = {Semi-pullbacks for stochastic relations over analytic spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {4},
pages = {647--670},
year = {2005},
url = {https://doi.org/10.1017/S096012950500472X},
doi = {10.1017/S096012950500472X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Doberkat05,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner
Theorem},
journal = {{SIAM} J. Comput.},
volume = {35},
number = {3},
pages = {590--626},
year = {2005},
url = {https://doi.org/10.1137/S009753970444346X},
doi = {10.1137/S009753970444346X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Doberkat05,
author = {Ernst{-}Erich Doberkat},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Look: Simple Stochastic Relations Are Just, Well, Simple},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference,
{CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3629},
pages = {127--141},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_9},
doi = {10.1007/11548133\_9},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Doberkat05,
author = {Ernst{-}Erich Doberkat},
editor = {Dang Van Hung and
Martin Wirsing},
title = {Congruences and Bisimulations for Continuous-Time Stochastic Logic},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {409--423},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_27},
doi = {10.1007/11560647\_27},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Doberkat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/FronkDBG04,
author = {Alexander Fronk and
Ernst{-}Erich Doberkat and
Johannes Bergemann and
Ulrich{-}Walter Gans},
title = {Ein interdisziplin{\"{a}}res methodisches Vorgehen zur Gestaltung
webbasierter Studieneinheiten f{\"{u}}r die Altertumswissenschaften},
journal = {Inform. Forsch. Entwickl.},
volume = {18},
number = {3-4},
pages = {189--200},
year = {2004},
url = {https://doi.org/10.1007/s00450-004-0147-7},
doi = {10.1007/S00450-004-0147-7},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/FronkDBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Doberkat04,
author = {Ernst{-}Erich Doberkat},
title = {Factoring stochastic relations},
journal = {Inf. Process. Lett.},
volume = {90},
number = {4},
pages = {161--166},
year = {2004},
url = {https://doi.org/10.1016/j.ipl.2004.02.009},
doi = {10.1016/J.IPL.2004.02.009},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Doberkat04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/DoberkatKE04,
author = {Ernst{-}Erich Doberkat and
Corina Kopka and
Gregor Engels},
title = {MuSofT - Multimedia in der SoftwareTechnik},
journal = {Softwaretechnik-Trends},
volume = {24},
number = {1},
year = {2004},
url = {http://pi.informatik.uni-siegen.de/stt/24\_1/Abschlussworkshop/musoft.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/DoberkatKE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DoberkatO04,
author = {Ernst{-}Erich Doberkat and
Eugenio G. Omodeo},
title = {{ER} modelling from first relational principles},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {285--323},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.09.001},
doi = {10.1016/J.TCS.2003.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DoberkatO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Doberkat03,
author = {Ernst{-}Erich Doberkat},
title = {Pipelines: Modelling a software architecture through relations},
journal = {Acta Informatica},
volume = {40},
number = {1},
pages = {37--79},
year = {2003},
url = {https://doi.org/10.1007/s00236-003-0121-z},
doi = {10.1007/S00236-003-0121-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Doberkat03,
author = {Ernst{-}Erich Doberkat},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {Tracing Relations Probabilistically},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {86--98},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_8},
doi = {10.1007/978-3-540-24771-5\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/AlfertDE03,
author = {Klaus Alfert and
Ernst{-}Erich Doberkat and
Gregor Engels},
editor = {Arndt Bode and
J{\"{o}}rg Desel and
Sabine Rathmayer and
Martin Wessner},
title = {MuSofT: Multimedia in der SoftwareTechnik},
booktitle = {DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18.
September 2003 in Garching bei M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-37}},
pages = {115--119},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/15077},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/delfi/AlfertDE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Doberkat03,
author = {Ernst{-}Erich Doberkat},
editor = {Andrew D. Gordon},
title = {The Converse of a Stochastic Relation},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {233--249},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_15},
doi = {10.1007/3-540-36576-1\_15},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Doberkat03,
author = {Ernst{-}Erich Doberkat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Semi-pullbacks and Bisimulations in Categories of Stochastic Relations},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {996--1007},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_77},
doi = {10.1007/3-540-45061-0\_77},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/AlfertDELMS03,
author = {Klaus Alfert and
Ernst{-}Erich Doberkat and
Gregor Engels and
Marc Lohmann and
Johannes Magenheim and
Andy Sch{\"{u}}rr},
editor = {Johannes Siedersleben and
Debora Weber{-}Wulff},
title = {MuSoft: Multimedia in der Softwaretechnik},
booktitle = {Software Engineering im Unterricht der Hochschulen, {SEUH} 8, Berlin
2003},
pages = {70--80},
publisher = {dpunkt},
year = {2003},
timestamp = {Mon, 10 May 2004 13:39:09 +0200},
biburl = {https://dblp.org/rec/conf/seuh/AlfertDELMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ol/DoberkatD02,
author = {Ernst{-}Erich Doberkat and
Stefan Di{\ss}mann},
title = {Einf{\"{u}}hrung in die objektorientierte Programmierung mit
Java, 2. Auflage},
publisher = {Oldenbourg},
year = {2002},
url = {http://ls10-www.cs.uni-dortmund.de/java-buch/},
isbn = {3-486-25342-5},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ol/DoberkatD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/DoberkatE02,
author = {Ernst{-}Erich Doberkat and
Gregor Engels},
title = {MuSofT - Multimedia in der Softwaretechnik},
journal = {Inform. Forsch. Entwickl.},
volume = {17},
number = {1},
pages = {41--44},
year = {2002},
url = {https://doi.org/10.1007/s004500100092},
doi = {10.1007/S004500100092},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/DoberkatE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat02,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber Martin Davis: Engines of Logic
-Mathematicians and the Origins of the Computer},
journal = {Softwaretechnik-Trends},
volume = {22},
number = {1},
year = {2002},
url = {http://pi.informatik.uni-siegen.de/stt/22\_1/07\_Buchbesprechungen/EED.ps},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/DoberkatE02,
author = {Ernst{-}Erich Doberkat and
Gregor Engels},
title = {Multimedia in der Informatik-Lehre},
journal = {Softwaretechnik-Trends},
volume = {22},
number = {3},
year = {2002},
url = {http://pi.informatik.uni-siegen.de/stt/22\_3/GI\_WSNMIL/GI-WSDoberkat.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/DoberkatE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Doberkat02,
author = {Ernst{-}Erich Doberkat},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {The Demonic Product of Probabilistic Relations},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {114--128},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_9},
doi = {10.1007/3-540-45931-6\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Doberkat02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DoberkatE02,
author = {Ernst{-}Erich Doberkat and
Gregor Engels},
editor = {Sigrid E. Schubert and
Bernd Reusch and
Norbert Jesse},
title = {Multimedia in der Informatik-Lehre},
booktitle = {32. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
bewegt, {INFORMATIK} 2002, Dortmund, Germany, September 30 - October
3, 2002},
series = {{LNI}},
volume = {{P-19}},
pages = {377--384},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30369},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/DoberkatE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat01,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber G. P. Smith: The Object-Z Specification
Language},
journal = {Softwaretechnik-Trends},
volume = {21},
number = {1},
year = {2001},
url = {http://pi.informatik.uni-siegen.de/stt/21\_1/07\_Buchbesprechungen/winter\_doberkat.ps},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DoberkatO01,
author = {Ernst{-}Erich Doberkat and
Eugenio G. Omodeo},
editor = {Harrie C. M. de Swart},
title = {Algebraic Semantics of ER-Models in the Context of the Calculus of
Relations. {II:} Dynamic View},
booktitle = {Relational Methods in Computer Science, 6th International Conference,
RelMICS 2001, and 1st Workshop of {COST} Action 274 {TARSKI} Oisterwijk,
The Netherlands, October 16-21, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2561},
pages = {50--65},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36280-0\_4},
doi = {10.1007/3-540-36280-0\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DoberkatO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmodeoD01,
author = {Eugenio G. Omodeo and
Ernst{-}Erich Doberkat},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Algebraic semantics of ER-models in the context of the calculus of
relations},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {136--152},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80935-6},
doi = {10.1016/S1571-0661(04)80935-6},
timestamp = {Thu, 01 Dec 2022 11:11:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmodeoD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/DoberkatSV00,
author = {Ernst{-}Erich Doberkat and
Fritz Schmidt and
Christof Veltmann},
title = {Re-engineering IMIS, the German integrated system for measuring and
assessing environmental radioactivity},
journal = {Environ. Model. Softw.},
volume = {15},
number = {2-3},
pages = {267--278},
year = {2000},
url = {https://doi.org/10.1016/S1364-8152(00)00005-0},
doi = {10.1016/S1364-8152(00)00005-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/envsoft/DoberkatSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/login/Doberkat00,
author = {Ernst{-}Erich Doberkat},
title = {Agenten - Ein kleiner {\"{U}}berblick},
journal = {{LOG} {IN}},
volume = {20},
number = {3/4},
pages = {10},
year = {2000},
timestamp = {Mon, 02 Jun 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/login/Doberkat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/login/Doberkat00a,
author = {Ernst{-}Erich Doberkat},
title = {Werkstatt: Die Hofzwerge - Ein kurzes Tutorium zur objektorientierten
Modellierung},
journal = {{LOG} {IN}},
volume = {20},
number = {3/4},
pages = {71},
year = {2000},
timestamp = {Mon, 02 Jun 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/login/Doberkat00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat00,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber J. Leslie {KEEDY:} In Stufen
zum Ziel - Zur Einf{\"{u}}hrung von Bachelor- und Master-Graden
an deutschen Universit{\"{a}}ten},
journal = {Softwaretechnik-Trends},
volume = {20},
number = {1},
year = {2000},
url = {http://pi.informatik.uni-siegen.de/stt/20\_1/20\_1\_bb.html},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat00a,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber Mary Shaw und David Garlan: Software
Architecture - Perspectives on an Emerging Discipline},
journal = {Softwaretechnik-Trends},
volume = {20},
number = {2},
year = {2000},
url = {http://pi.informatik.uni-siegen.de/stt/20\_2/20\_2\_bb\_EED.html},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/Doberkat00b,
author = {Ernst{-}Erich Doberkat},
title = {Ernst-Erich Doberkat {\"{u}}ber E. Freeman, S. H{\"{u}}pfer,
K. Arnold: JavaSpaces Principles, Patterns and Practice},
journal = {Softwaretechnik-Trends},
volume = {20},
number = {4},
year = {2000},
url = {http://pi.informatik.uni-siegen.de/stt/20\_4/07\_Buchbesprechungen/JavaSpaces20v00.ps},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/Doberkat00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ol/DoberkatD99,
author = {Ernst{-}Erich Doberkat and
Stefan Di{\ss}mann},
title = {Einf{\"{u}}hrung in die objektorientierte Programmierung mit
Java, 1. Auflage},
publisher = {Oldenbourg},
year = {1999},
url = {http://ls10-www.cs.uni-dortmund.de/java-buch/},
isbn = {3-486-24786-7},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ol/DoberkatD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Doberkat97,
author = {Ernst{-}Erich Doberkat},
title = {Generating an Algebraic Specification from an ER-Model},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {7},
number = {4},
pages = {525--552},
year = {1997},
url = {https://doi.org/10.1142/S0218194097000291},
doi = {10.1142/S0218194097000291},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/Doberkat97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0085063,
author = {Ernst{-}Erich Doberkat and
Stefan Di{\ss}mann},
title = {Einf{\"{u}}hrung in die objektorientierte Programmierung mit
{BETA}},
publisher = {Addison-Wesley-Longman},
year = {1996},
isbn = {978-3-8273-1026-2},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0085063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/Doberkat96,
author = {Ernst{-}Erich Doberkat},
title = {Themenheft Softwaretechnik},
journal = {Inform. Forsch. Entwickl.},
volume = {11},
number = {4},
pages = {167},
year = {1996},
url = {https://doi.org/10.1007/s004500050058},
doi = {10.1007/S004500050058},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/Doberkat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Doberkat96,
author = {Ernst{-}Erich Doberkat},
title = {A Language for Specifying Hyperdocuments},
journal = {Softw. Concepts Tools},
volume = {17},
number = {4},
pages = {163--172},
year = {1996},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/Doberkat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MatsumotoDJK96,
author = {Masao J. Matsumoto and
Ernst{-}Erich Doberkat and
Stan Jarzabek and
Kyo Chul Kang},
title = {If Software Reuse Can Lead IT, How?},
booktitle = {3rd Asia-Pacific Software Engineering Conference {(APSEC} '96), December
4-7, 1996, Seoul, South Korea},
pages = {329--329},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1996.10008},
doi = {10.1109/APSEC.1996.10008},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MatsumotoDJK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/DoberkatHP96,
author = {Ernst{-}Erich Doberkat and
Wilhelm Hasselbring and
Claus Pahl},
editor = {Paolo Ciancarini and
Chris Hankin},
title = {Investigating Strategies for Cooperative Planning of Independent Agents
through Prototype Evaluation},
booktitle = {Coordination Languages and Models, First International Conference,
{COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1061},
pages = {416--419},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61052-9\_62},
doi = {10.1007/3-540-61052-9\_62},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/DoberkatHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Doberkat93,
author = {Ernst{-}Erich Doberkat},
editor = {Eugenio G. Omodeo and
Gianfranco Rossi},
title = {Prototyping Through Lindenbaum Algebras},
booktitle = {Workshop on Logic Programming with Sets, in conjunction with {ICLP}
1993, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Doberkat93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/DoberkatFKS93,
author = {Ernst{-}Erich Doberkat and
Wolfgang Franke and
Udo Kelter and
Wolfgang Seelbach},
editor = {Heinz Z{\"{u}}llighoven and
Werner Altmann and
Ernst{-}Erich Doberkat},
title = {Verwaltung persistenter Daten in einer Prototyping-Umgebung},
booktitle = {Requirements Engineering '93: Prototyping, Gemeinsame Fachtagung des
Fachausschusses 4.3 Requirements Engineering der Gesellschaft f{\"{u}}r
Informatik {(GI)} und des Verbunds Software-Technik {NRW} in Kooperation
mit dem German Chapter of the {ACM} und dem Fachausschu{\ss} 2.1.1
Software Engineering vom 25. bis 27.4.1993 in Bonn},
series = {Berichte des German Chapter of the {ACM}},
volume = {41},
pages = {147--163},
publisher = {Teubner},
year = {1993},
timestamp = {Wed, 26 Feb 2003 11:28:49 +0100},
biburl = {https://dblp.org/rec/conf/re/DoberkatFKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/1993,
editor = {Heinz Z{\"{u}}llighoven and
Werner Altmann and
Ernst{-}Erich Doberkat},
title = {Requirements Engineering '93: Prototyping, Gemeinsame Fachtagung des
Fachausschusses 4.3 Requirements Engineering der Gesellschaft f{\"{u}}r
Informatik {(GI)} und des Verbunds Software-Technik {NRW} in Kooperation
mit dem German Chapter of the {ACM} und dem Fachausschu{\ss} 2.1.1
Software Engineering vom 25. bis 27.4.1993 in Bonn},
series = {Berichte des German Chapter of the {ACM}},
volume = {41},
publisher = {Teubner},
year = {1993},
isbn = {3-519-02682-1},
timestamp = {Wed, 26 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Doberkat92,
author = {Ernst{-}Erich Doberkat},
title = {Integrating Persistence into a Set-Oriented Prototyping Language},
journal = {Struct. Program.},
volume = {13},
number = {3},
pages = {137--153},
year = {1992},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/Doberkat92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/DoberkatHFLGP92,
author = {Ernst{-}Erich Doberkat and
Wilhelm Hasselbring and
Wolfgang Franke and
Ulrich Lammers and
Ulrich Gutenbeil and
Claus Pahl},
title = {ProSet-a language for prototyping with sets},
booktitle = {Proceedings of the Third International Workshop on Rapid System Prototyping,
{RSP} 1992, Research Triangle Park, North Carolina, USA, June 23-15,
1992},
pages = {235--248},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/IWRSP.1992.243903},
doi = {10.1109/IWRSP.1992.243903},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/DoberkatHFLGP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Doberkat91,
author = {Ernst{-}Erich Doberkat},
title = {An approach to reusable software through prototyping and set-oriented
languages},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {4--5},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170142},
doi = {10.1109/CMPSAC.1991.170142},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Doberkat91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067943,
author = {Ernst{-}Erich Doberkat and
Dietmar Fox},
title = {Praktischer {\"{U}}bersetzerbau},
publisher = {Teubner},
year = {1990},
isbn = {978-3-519-02288-6},
timestamp = {Tue, 03 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/Doberkat89,
author = {Ernst{-}Erich Doberkat},
title = {Zur Wiederaufbereitung von Software},
journal = {Inform. Forsch. Entwickl.},
volume = {4},
number = {1},
pages = {14--24},
year = {1989},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/Doberkat89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Doberkat89,
author = {Ernst{-}Erich Doberkat},
title = {Topological Completeness in an Ideal Model for Polymorphic Types},
journal = {{SIAM} J. Comput.},
volume = {18},
number = {5},
pages = {977--989},
year = {1989},
url = {https://doi.org/10.1137/0218067},
doi = {10.1137/0218067},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Doberkat89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Doberkat87,
author = {Ernst{-}Erich Doberkat},
title = {An Upper Bound for the Expected Complexity of Finding All Zeros of
a Continuous Function by Brute Force},
journal = {J. Inf. Process. Cybern.},
volume = {23},
number = {4/5},
pages = {195--208},
year = {1987},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Doberkat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Doberkat87,
author = {Ernst{-}Erich Doberkat},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Topological Completeness in an Ideal Model for Polymorphic Types},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {289--302},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_14},
doi = {10.1007/3-540-19020-1\_14},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Doberkat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HyunD85,
author = {Kio C. Hyun and
Ernst{-}Erich Doberkat},
title = {Inline expansion of {SETL} procedures},
journal = {{ACM} {SIGPLAN} Notices},
volume = {20},
number = {12},
pages = {33--38},
year = {1985},
url = {https://doi.org/10.1145/382086.382624},
doi = {10.1145/382086.382624},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/HyunD85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat84,
author = {Ernst{-}Erich Doberkat},
title = {An Average Case Analysis of Floyd's Algorithm to Construct Heaps},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {114--131},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80053-4},
doi = {10.1016/S0019-9958(84)80053-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/schule/Doberkat84,
author = {Ernst{-}Erich Doberkat},
editor = {Wolfgang Arlt and
Klaus Haefner},
title = {Der vollcomputerisierte Campus: Erste Erfahrungen},
booktitle = {Informatik als Herausforderung an Schule und Ausbildung, GI-Fachtagung
Berlin, 8.-10. Oktober 1984},
series = {Informatik-Fachberichte},
volume = {90},
pages = {313--316},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70089-7\_47},
doi = {10.1007/978-3-642-70089-7\_47},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/schule/Doberkat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Doberkat83,
author = {Ernst{-}Erich Doberkat},
title = {Continuous models that are equivalent to randomness for the analysis
of many sorting algorithms},
journal = {Computing},
volume = {31},
number = {1},
pages = {11--31},
year = {1983},
url = {https://doi.org/10.1007/BF02247934},
doi = {10.1007/BF02247934},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Doberkat83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Doberkat82,
author = {Ernst{-}Erich Doberkat},
title = {Deleting the Root of a Heap},
journal = {Acta Informatica},
volume = {17},
pages = {245--265},
year = {1982},
url = {https://doi.org/10.1007/BF00264353},
doi = {10.1007/BF00264353},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Doberkat82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Doberkat82,
author = {Ernst{-}Erich Doberkat},
title = {Asymptotic Estimates for the Higher Moments of the Expected Behavior
of Straight Insertion Sort},
journal = {Inf. Process. Lett.},
volume = {14},
number = {4},
pages = {179--182},
year = {1982},
url = {https://doi.org/10.1016/0020-0190(82)90032-1},
doi = {10.1016/0020-0190(82)90032-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Doberkat82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/Doberkat82,
author = {Ernst{-}Erich Doberkat},
title = {Some remarks on the stability problem for linear space automata and
semicontinuity of cut point languages},
journal = {Kybernetika},
volume = {18},
number = {2},
pages = {89--105},
year = {1982},
url = {http://www.kybernetika.cz/content/1982/2/89},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/Doberkat82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Doberkat81,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Automata: Stability, Nondeterminism, and Prediction},
series = {Lecture Notes in Computer Science},
volume = {113},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10835-1},
doi = {10.1007/3-540-10835-1},
isbn = {3-540-10835-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Doberkat81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bit/Doberkat81,
author = {Ernst{-}Erich Doberkat},
title = {Inserting a New Element in a Heap},
journal = {{BIT}},
volume = {21},
number = {3},
pages = {255--269},
year = {1981},
url = {https://doi.org/10.1007/BF01941462},
doi = {10.1007/BF01941462},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bit/Doberkat81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat80,
author = {Ernst{-}Erich Doberkat},
title = {Good State Transition Policies for Nondeterministic and Stochastic
Automata},
journal = {Inf. Control.},
volume = {46},
number = {2},
pages = {135--155},
year = {1980},
url = {https://doi.org/10.1016/S0019-9958(80)90703-2},
doi = {10.1016/S0019-9958(80)90703-2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Doberkat80,
author = {Ernst{-}Erich Doberkat},
title = {Some Observations on the Average Behavior of Heapsort (Preliminary
Report)},
booktitle = {21st Annual Symposium on Foundations of Computer Science, Syracuse,
New York, USA, 13-15 October 1980},
pages = {229--237},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SFCS.1980.38},
doi = {10.1109/SFCS.1980.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Doberkat80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Doberkat79,
author = {Ernst{-}Erich Doberkat},
title = {Zur Existenz und Berechnung optimaler Vorhersagen f{\"{u}}r die
Ausgabe stochastischer Automaten unter Kompaktheitsbedingungen},
journal = {J. Inf. Process. Cybern.},
volume = {15},
number = {3},
pages = {133--142},
year = {1979},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Doberkat79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Doberkat79,
author = {Ernst{-}Erich Doberkat},
title = {Convergence Theorems for Stochastic Automata and Learning Systems},
journal = {Math. Syst. Theory},
volume = {12},
pages = {347--359},
year = {1979},
url = {https://doi.org/10.1007/BF01776582},
doi = {10.1007/BF01776582},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Doberkat79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Doberkat79,
author = {Ernst{-}Erich Doberkat},
editor = {Lothar Budach},
title = {Stability of linear space automata and semicontinuity of cut point
languages},
booktitle = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
pages = {112--116},
publisher = {Akademie-Verlag, Berlin},
year = {1979},
timestamp = {Mon, 29 Jul 2019 11:58:23 +0200},
biburl = {https://dblp.org/rec/conf/fct/Doberkat79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
