Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Milius
@inproceedings{DBLP:conf/fossacs/BirkmannUM24,
author = {Fabian Birkmann and
Henning Urbat and
Stefan Milius},
editor = {Naoki Kobayashi and
James Worrell},
title = {Monoidal Extended Stone Duality},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
pages = {144--165},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9\_8},
doi = {10.1007/978-3-031-57228-9\_8},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BirkmannUM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-08219,
author = {Fabian Birkmann and
Henning Urbat and
Stefan Milius},
title = {Monoidal Extended Stone Duality},
journal = {CoRR},
volume = {abs/2401.08219},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.08219},
doi = {10.48550/ARXIV.2401.08219},
eprinttype = {arXiv},
eprint = {2401.08219},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-08219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-08445,
author = {Jan Jurka and
Stefan Milius and
Henning Urbat},
title = {Algebraic Reasoning over Relational Structures},
journal = {CoRR},
volume = {abs/2401.08445},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.08445},
doi = {10.48550/ARXIV.2401.08445},
eprinttype = {arXiv},
eprint = {2401.08445},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-08445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00625,
author = {Sergey Goncharov and
Stefan Milius and
Stelios Tsampas and
Henning Urbat},
title = {Bialgebraic Reasoning on Higher-Order Program Equivalence},
journal = {CoRR},
volume = {abs/2402.00625},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00625},
doi = {10.48550/ARXIV.2402.00625},
eprinttype = {arXiv},
eprint = {2402.00625},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GoncharovMSTU23,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
title = {Towards a Higher-Order Mathematical Operational Semantics},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {632--658},
year = {2023},
url = {https://doi.org/10.1145/3571215},
doi = {10.1145/3571215},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GoncharovMSTU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekMM23,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic
pearls)},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {21:1--21:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.21},
doi = {10.4230/LIPICS.CALCO.2023.21},
timestamp = {Mon, 04 Sep 2023 17:05:19 +0200},
biburl = {https://dblp.org/rec/conf/calco/AdamekMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0001MS0U23,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {Higher-Order Mathematical Operational Semantics (Early Ideas)},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2023, June 19-21, 2023, Indiana University Bloomington, IN, {USA}},
series = {LIPIcs},
volume = {270},
pages = {24:1--24:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.24},
doi = {10.4230/LIPICS.CALCO.2023.24},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/0001MS0U23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BirkmannMU23,
author = {Fabian Birkmann and
Stefan Milius and
Henning Urbat},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Nominal Topology for Data Languages},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {114:1--114:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.114},
doi = {10.4230/LIPICS.ICALP.2023.114},
timestamp = {Wed, 05 Jul 2023 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BirkmannMU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Urbat00MS23,
author = {Henning Urbat and
Stelios Tsampas and
Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Weak Similarity in Higher-Order Mathematical Operational Semantics},
booktitle = {{LICS}},
pages = {1--13},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175706},
doi = {10.1109/LICS56636.2023.10175706},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Urbat00MS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FrankMU23,
author = {Florian Frank and
Stefan Milius and
Henning Urbat},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Positive Data Languages},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {48:1--48:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.48},
doi = {10.4230/LIPICS.MFCS.2023.48},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FrankMU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-08200,
author = {Henning Urbat and
Stelios Tsampas and
Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Weak Similarity in Higher-Order Mathematical Operational Semantics},
journal = {CoRR},
volume = {abs/2302.08200},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.08200},
doi = {10.48550/ARXIV.2302.08200},
eprinttype = {arXiv},
eprint = {2302.08200},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-08200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-11071,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
title = {On Kripke, Vietoris and Hausdorff Polynomial Functors},
journal = {CoRR},
volume = {abs/2303.11071},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.11071},
doi = {10.48550/ARXIV.2303.11071},
eprinttype = {arXiv},
eprint = {2303.11071},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-11071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12947,
author = {Florian Frank and
Stefan Milius and
Henning Urbat},
title = {Positive Data Languages},
journal = {CoRR},
volume = {abs/2304.12947},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12947},
doi = {10.48550/ARXIV.2304.12947},
eprinttype = {arXiv},
eprint = {2304.12947},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13337,
author = {Henning Urbat and
Stefan Milius and
Fabian Birkmann},
title = {Nominal Topology for Data Languages},
journal = {CoRR},
volume = {abs/2304.13337},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13337},
doi = {10.48550/ARXIV.2304.13337},
eprinttype = {arXiv},
eprint = {2304.13337},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/WissmannMS22,
author = {Thorsten Wi{\ss}mann and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Quasilinear-time Computation of Generic Modal Witnesses for Behavioural
Inequivalence},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:6)2022},
doi = {10.46298/LMCS-18(4:6)2022},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/WissmannMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/FrankMU22,
author = {Florian Frank and
Stefan Milius and
Henning Urbat},
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Coalgebraic Semantics for Nominal Automata},
booktitle = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
pages = {45--66},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8\_3},
doi = {10.1007/978-3-031-10736-8\_3},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/FrankMU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/0001MS0U22,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
editor = {Amy P. Felty},
title = {Stateful Structural Operational Semantics},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {30:1--30:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.30},
doi = {10.4230/LIPICS.FSCD.2022.30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/0001MS0U22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FordMSB022,
author = {Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der and
Harsh Beohar and
Barbara K{\"{o}}nig},
editor = {Christel Baier and
Dana Fisman},
title = {Graded Monads and Behavioural Equivalence Games},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {61:1--61:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533374},
doi = {10.1145/3531130.3533374},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FordMSB022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BirkmannDM22,
author = {Fabian Birkmann and
Hans{-}Peter Deifel and
Stefan Milius},
editor = {Dana Fisman and
Grigore Rosu},
title = {Distributed Coalgebraic Partition Refinement},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {159--177},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_9},
doi = {10.1007/978-3-030-99527-0\_9},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BirkmannDM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06546,
author = {Florian Frank and
Stefan Milius and
Henning Urbat},
title = {Coalgebraic Semantics for Nominal Automata},
journal = {CoRR},
volume = {abs/2202.06546},
year = {2022},
url = {https://arxiv.org/abs/2202.06546},
eprinttype = {arXiv},
eprint = {2202.06546},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06546.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-10866,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
title = {Stateful Structural Operational Semantics},
journal = {CoRR},
volume = {abs/2202.10866},
year = {2022},
url = {https://arxiv.org/abs/2202.10866},
eprinttype = {arXiv},
eprint = {2202.10866},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-11175,
author = {Thorsten Wi{\ss}mann and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Quasilinear-time Computation of Generic Modal Witnesses for Behavioural
Inequivalence},
journal = {CoRR},
volume = {abs/2203.11175},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.11175},
doi = {10.48550/ARXIV.2203.11175},
eprinttype = {arXiv},
eprint = {2203.11175},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-11175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-15467,
author = {Harsh Beohar and
Chase Ford and
Barbara K{\"{o}}nig and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Graded Monads and Behavioural Equivalence Games},
journal = {CoRR},
volume = {abs/2203.15467},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.15467},
doi = {10.48550/ARXIV.2203.15467},
eprinttype = {arXiv},
eprint = {2203.15467},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-15467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06248,
author = {Fabian Birkmann and
Hans{-}Peter Deifel and
Stefan Milius},
title = {Distributed Coalgebraic Partition Refinement},
journal = {CoRR},
volume = {abs/2204.06248},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06248},
doi = {10.48550/ARXIV.2204.06248},
eprinttype = {arXiv},
eprint = {2204.06248},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13387,
author = {Sergey Goncharov and
Stefan Milius and
Lutz Schr{\"{o}}der and
Stelios Tsampas and
Henning Urbat},
title = {Towards a Higher-Order Mathematical Operational Semantics},
journal = {CoRR},
volume = {abs/2210.13387},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13387},
doi = {10.48550/ARXIV.2210.13387},
eprinttype = {arXiv},
eprint = {2210.13387},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WissmannDMS21,
author = {Thorsten Wi{\ss}mann and
Hans{-}Peter Deifel and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {From generic partition refinement to weighted tree automata minimization},
journal = {Formal Aspects Comput.},
volume = {33},
number = {4-5},
pages = {695--727},
year = {2021},
url = {https://doi.org/10.1007/s00165-020-00526-z},
doi = {10.1007/S00165-020-00526-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WissmannDMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AdamekMU21,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {On the behaviour of coalgebras with side effects and algebras with
effectful iteration},
journal = {J. Log. Comput.},
volume = {31},
number = {6},
pages = {1429--1481},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab049},
doi = {10.1093/LOGCOM/EXAB049},
timestamp = {Wed, 29 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AdamekMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekFMS21,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Finitary monads on the category of posets},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {7},
pages = {799--821},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000360},
doi = {10.1017/S0960129521000360},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekFMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AdamekCMU21,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Liang{-}Ting Chen and
Stefan Milius and
Henning Urbat},
title = {Reiterman's Theorem on Finite Algebras for a Monad},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {4},
pages = {23:1--23:48},
year = {2021},
url = {https://doi.org/10.1145/3464691},
doi = {10.1145/3464691},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AdamekCMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekMM21,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Initial Algebras Without Iteration ((Co)algebraic pearls)},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {5:1--5:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.5},
doi = {10.4230/LIPICS.CALCO.2021.5},
timestamp = {Mon, 08 Nov 2021 14:07:50 +0100},
biburl = {https://dblp.org/rec/conf/calco/AdamekMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FordMS21,
author = {Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {Monads on Categories of Relational Structures},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {14:1--14:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.14},
doi = {10.4230/LIPICS.CALCO.2021.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/FordMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Urbat0MS21,
author = {Henning Urbat and
Daniel Hausmann and
Stefan Milius and
Lutz Schr{\"{o}}der},
editor = {Serge Haddad and
Daniele Varacca},
title = {Nominal B{\"{u}}chi Automata with Name Allocation},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {4:1--4:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.4},
doi = {10.4230/LIPICS.CONCUR.2021.4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Urbat0MS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WissmannMS21,
author = {Thorsten Wi{\ss}mann and
Stefan Milius and
Lutz Schr{\"{o}}der},
editor = {Serge Haddad and
Daniele Varacca},
title = {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {32:1--32:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.32},
doi = {10.4230/LIPICS.CONCUR.2021.32},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/WissmannMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MyersMU21,
author = {Robert S. R. Myers and
Stefan Milius and
Henning Urbat},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Nondeterministic Syntactic Complexity},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {448--468},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_23},
doi = {10.1007/978-3-030-71995-1\_23},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MyersMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/DeifelMW21,
author = {Hans{-}Peter Deifel and
Stefan Milius and
Thorsten Wi{\ss}mann},
editor = {Naoki Kobayashi},
title = {Coalgebra Encoding for Efficient Minimization},
booktitle = {6th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina
(Virtual Conference)},
series = {LIPIcs},
volume = {195},
pages = {28:1--28:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.28},
doi = {10.4230/LIPICS.FSCD.2021.28},
timestamp = {Tue, 06 Jul 2021 15:26:45 +0200},
biburl = {https://dblp.org/rec/conf/fscd/DeifelMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BirkmannMU21,
author = {Fabian Birkmann and
Stefan Milius and
Henning Urbat},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {On Language Varieties Without Boolean Operations},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {3--15},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_1},
doi = {10.1007/978-3-030-68195-1\_1},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/BirkmannMU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FordMS21,
author = {Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Behavioural Preorders via Graded Monads},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470517},
doi = {10.1109/LICS52264.2021.9470517},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FordMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/0001MS21,
author = {Daniel Hausmann and
Stefan Milius and
Lutz Schr{\"{o}}der},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {A Linear-Time Nominal {\(\mu\)}-Calculus with Name Allocation},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {58:1--58:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.58},
doi = {10.4230/LIPICS.MFCS.2021.58},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/0001MS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-00942,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Liang{-}Ting Chen and
Stefan Milius and
Henning Urbat},
title = {Reiterman's Theorem on Finite Algebras for a Monad},
journal = {CoRR},
volume = {abs/2101.00942},
year = {2021},
url = {https://arxiv.org/abs/2101.00942},
eprinttype = {arXiv},
eprint = {2101.00942},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-00942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03039,
author = {Robert S. R. Myers and
Stefan Milius and
Henning Urbat},
title = {Nondeterministic Syntactic Complexity},
journal = {CoRR},
volume = {abs/2101.03039},
year = {2021},
url = {https://arxiv.org/abs/2101.03039},
eprinttype = {arXiv},
eprint = {2101.03039},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12842,
author = {Hans{-}Peter Deifel and
Stefan Milius and
Thorsten Wi{\ss}mann},
title = {Coalgebra Encoding for Efficient Minimization},
journal = {CoRR},
volume = {abs/2102.12842},
year = {2021},
url = {https://arxiv.org/abs/2102.12842},
eprinttype = {arXiv},
eprint = {2102.12842},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12842.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09837,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
title = {An Initial Algebra Theorem Without Iteration},
journal = {CoRR},
volume = {abs/2104.09837},
year = {2021},
url = {https://arxiv.org/abs/2104.09837},
eprinttype = {arXiv},
eprint = {2104.09837},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00669,
author = {Thorsten Wi{\ss}mann and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Explaining Behavioural Inequivalence Generically in Quasilinear Time},
journal = {CoRR},
volume = {abs/2105.00669},
year = {2021},
url = {https://arxiv.org/abs/2105.00669},
eprinttype = {arXiv},
eprint = {2105.00669},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03213,
author = {Henning Urbat and
Daniel Hausmann and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Nominal B{\"{u}}chi Automata with Name Allocation},
journal = {CoRR},
volume = {abs/2107.03213},
year = {2021},
url = {https://arxiv.org/abs/2107.03213},
eprinttype = {arXiv},
eprint = {2107.03213},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-03213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/di/SchneiderDMF20,
author = {Janine Schneider and
Hans{-}Peter Deifel and
Stefan Milius and
Felix C. Freiling},
title = {Unifying Metadata-Based Storage Reconstruction and Carving with {LAYR}},
journal = {Digit. Investig.},
volume = {33 Supplement},
pages = {301006},
year = {2020},
url = {https://doi.org/10.1016/j.fsidi.2020.301006},
doi = {10.1016/J.FSIDI.2020.301006},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/di/SchneiderDMF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MiliusPW20,
author = {Stefan Milius and
Dirk Pattinson and
Thorsten Wi{\ss}mann},
title = {A new foundation for finitary corecursion and iterative algebras},
journal = {Inf. Comput.},
volume = {271},
pages = {104456},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104456},
doi = {10.1016/J.IC.2019.104456},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MiliusPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/WissmannDMS19,
author = {Thorsten Wi{\ss}mann and
Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Efficient and Modular Coalgebraic Partition Refinement},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {1},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(1:8)2020},
doi = {10.23638/LMCS-16(1:8)2020},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/WissmannDMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GoncharovMS20,
author = {Sergey Goncharov and
Stefan Milius and
Alexandra Silva},
title = {Toward a Uniform Theory of Effectful State Machines},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {3},
pages = {23:1--23:63},
year = {2020},
url = {https://doi.org/10.1145/3372880},
doi = {10.1145/3372880},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GoncharovMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekMM20,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {On Well-Founded and Recursive Coalgebras},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {17--36},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_2},
doi = {10.1007/978-3-030-45231-5\_2},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01250,
author = {Thorsten Wi{\ss}mann and
Hans{-}Peter Deifel and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {From Generic Partition Refinement to Weighted Tree Automata Minimization},
journal = {CoRR},
volume = {abs/2004.01250},
year = {2020},
url = {https://arxiv.org/abs/2004.01250},
eprinttype = {arXiv},
eprint = {2004.01250},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10912,
author = {Daniel Hausmann and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Harnessing {LTL} With Freeze Quantification},
journal = {CoRR},
volume = {abs/2010.10912},
year = {2020},
url = {https://arxiv.org/abs/2010.10912},
eprinttype = {arXiv},
eprint = {2010.10912},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-06951,
author = {Fabian Birkmann and
Stefan Milius and
Henning Urbat},
title = {On Language Varieties Without Boolean Operations},
journal = {CoRR},
volume = {abs/2011.06951},
year = {2020},
url = {https://arxiv.org/abs/2011.06951},
eprinttype = {arXiv},
eprint = {2011.06951},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-06951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14339,
author = {Chase Ford and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Behavioural Preorders via Graded Monads},
journal = {CoRR},
volume = {abs/2011.14339},
year = {2020},
url = {https://arxiv.org/abs/2011.14339},
eprinttype = {arXiv},
eprint = {2011.14339},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14339.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdamekM19,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {On functors preserving coproducts and algebras with iterativity},
journal = {Theor. Comput. Sci.},
volume = {763},
pages = {66--87},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.01.018},
doi = {10.1016/J.TCS.2019.01.018},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AdamekM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AdamekMMU19,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Robert S. R. Myers and
Henning Urbat},
title = {Generalized Eilenberg Theorem: Varieties of Languages in a Category},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {3:1--3:47},
year = {2019},
url = {https://doi.org/10.1145/3276771},
doi = {10.1145/3276771},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AdamekMMU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Milius19,
author = {Stefan Milius},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {From Equational Specifications of Algebras with Structure to Varieties
of Data Languages (Invited Paper)},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {2:1--2:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.2},
doi = {10.4230/LIPICS.CALCO.2019.2},
timestamp = {Thu, 28 Nov 2019 12:28:06 +0100},
biburl = {https://dblp.org/rec/conf/calco/Milius19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DorschMS19,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Graded Monads and Graded Logics for the Linear Time - Branching Time
Spectrum},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {36:1--36:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.36},
doi = {10.4230/LIPICS.CONCUR.2019.36},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DorschMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DeifelMSW19,
author = {Hans{-}Peter Deifel and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Generic Partition Refinement and Weighted Tree Automata},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {280--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_18},
doi = {10.1007/978-3-030-30942-8\_18},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DeifelMSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MiliusU19,
author = {Stefan Milius and
Henning Urbat},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Equational Axiomatization of Algebras with Structure},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {400--417},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_23},
doi = {10.1007/978-3-030-17127-8\_23},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/MiliusU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/UrbatM19,
author = {Henning Urbat and
Stefan Milius},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Varieties of Data Languages},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {130:1--130:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.130},
doi = {10.4230/LIPICS.ICALP.2019.130},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/UrbatM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08053,
author = {Henning Urbat and
Stefan Milius},
title = {Varieties of Data Languages},
journal = {CoRR},
volume = {abs/1903.08053},
year = {2019},
url = {http://arxiv.org/abs/1903.08053},
eprinttype = {arXiv},
eprint = {1903.08053},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09401,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
title = {On Well-Founded and Recursive Coalgebras},
journal = {CoRR},
volume = {abs/1910.09401},
year = {2019},
url = {http://arxiv.org/abs/1910.09401},
eprinttype = {arXiv},
eprint = {1910.09401},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-06346,
author = {Stefan Milius and
Jir{\'{\i}} Ad{\'{a}}mek and
Henning Urbat},
title = {On the Behaviour of Coalgebras with Side Effects and Algebras with
Effectful Iteration},
journal = {CoRR},
volume = {abs/1911.06346},
year = {2019},
url = {http://arxiv.org/abs/1911.06346},
eprinttype = {arXiv},
eprint = {1911.06346},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-06346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AdamekMM18,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
title = {Fixed points of functors},
journal = {J. Log. Algebraic Methods Program.},
volume = {95},
pages = {41--81},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.11.003},
doi = {10.1016/J.JLAMP.2017.11.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AdamekMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AdamekMU18,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {A Categorical Approach to Syntactic Monoids},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:9)2018},
doi = {10.23638/LMCS-14(2:9)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AdamekMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Milius18,
author = {Stefan Milius},
title = {Proper Functors and Fixed Points for Finite Behaviour},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:22)2018},
doi = {10.23638/LMCS-14(3:22)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Milius18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/DorschMSW18,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
editor = {Corina C{\^{\i}}rstea},
title = {Predicate Liftings and Functor Presentations in Coalgebraic Expression
Languages},
booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
Greece, April 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {56--77},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_5},
doi = {10.1007/978-3-030-00389-0\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/DorschMSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/MiliusAU18,
author = {Stefan Milius and
Jir{\'{\i}} Ad{\'{a}}mek and
Henning Urbat},
editor = {Corina C{\^{\i}}rstea},
title = {On Algebras with Effectful Iteration},
booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
Greece, April 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {144--166},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_9},
doi = {10.1007/978-3-030-00389-0\_9},
timestamp = {Thu, 20 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/MiliusAU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08070,
author = {Stefan Milius and
Dirk Pattinson and
Thorsten Wi{\ss}mann},
title = {A New Foundation for Finitary Corecursion and Iterative Algebras},
journal = {CoRR},
volume = {abs/1802.08070},
year = {2018},
url = {http://arxiv.org/abs/1802.08070},
eprinttype = {arXiv},
eprint = {1802.08070},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-03011,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {A Categorical Approach to Syntactic Monoids},
journal = {CoRR},
volume = {abs/1804.03011},
year = {2018},
url = {http://arxiv.org/abs/1804.03011},
eprinttype = {arXiv},
eprint = {1804.03011},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07211,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
title = {Predicate Liftings and Functor Presentations in Coalgebraic Expression
Languages},
journal = {CoRR},
volume = {abs/1805.07211},
year = {2018},
url = {http://arxiv.org/abs/1805.07211},
eprinttype = {arXiv},
eprint = {1805.07211},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05654,
author = {Thorsten Wi{\ss}mann and
Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Efficient and Modular Coalgebraic Partition Refinement},
journal = {CoRR},
volume = {abs/1806.05654},
year = {2018},
url = {http://arxiv.org/abs/1806.05654},
eprinttype = {arXiv},
eprint = {1806.05654},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08850,
author = {Hans{-}Peter Deifel and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
title = {CoPaR: An Efficient Generic Partition Refiner},
journal = {CoRR},
volume = {abs/1811.08850},
year = {2018},
url = {http://arxiv.org/abs/1811.08850},
eprinttype = {arXiv},
eprint = {1811.08850},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01317,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der},
title = {Graded Monads for the Linear Time - Branching Time Spectrum},
journal = {CoRR},
volume = {abs/1812.01317},
year = {2018},
url = {http://arxiv.org/abs/1812.01317},
eprinttype = {arXiv},
eprint = {1812.01317},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02016,
author = {Stefan Milius and
Henning Urbat},
title = {Equational Axiomatization of Algebras with Structure},
journal = {CoRR},
volume = {abs/1812.02016},
year = {2018},
url = {http://arxiv.org/abs/1812.02016},
eprinttype = {arXiv},
eprint = {1812.02016},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-02016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MiliusL17a,
author = {Stefan Milius and
Tadeusz Litak},
title = {Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion},
journal = {Fundam. Informaticae},
volume = {150},
number = {3-4},
pages = {407--449},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1475},
doi = {10.3233/FI-2017-1475},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MiliusL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekM17,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {On Corecursive Algebras for Functors Preserving Coproducts},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {3:1--3:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.3},
doi = {10.4230/LIPICS.CALCO.2017.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/calco/AdamekM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Milius17,
author = {Stefan Milius},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Proper Functors and their Rational Fixed Point},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {18:1--18:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.18},
doi = {10.4230/LIPICS.CALCO.2017.18},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Milius17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DorschMSW17,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Efficient Coalgebraic Partition Refinement},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {32:1--32:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.32},
doi = {10.4230/LIPICS.CONCUR.2017.32},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DorschMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeifelGMS0L17,
author = {Hans{-}Peter Deifel and
Merlin G{\"{o}}ttlinger and
Stefan Milius and
Lutz Schr{\"{o}}der and
Christian Dietrich and
Daniel Lohmann},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Automatic verification of application-tailored {OSEK} kernels},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {196--203},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102260},
doi = {10.23919/FMCAD.2017.8102260},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeifelGMS0L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SchroderKMW17,
author = {Lutz Schr{\"{o}}der and
Dexter Kozen and
Stefan Milius and
Thorsten Wi{\ss}mann},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Nominal Automata with Name Binding},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {124--142},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_8},
doi = {10.1007/978-3-662-54458-7\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SchroderKMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/UrbatACM17,
author = {Henning Urbat and
Jir{\'{\i}} Ad{\'{a}}mek and
Liang{-}Ting Chen and
Stefan Milius},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Eilenberg Theorems for Free},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {43:1--43:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.43},
doi = {10.4230/LIPICS.MFCS.2017.43},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/UrbatACM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekM17,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {On Corecursive Algebras for Functors Preserving Coproducts},
journal = {CoRR},
volume = {abs/1703.07574},
year = {2017},
url = {http://arxiv.org/abs/1703.07574},
eprinttype = {arXiv},
eprint = {1703.07574},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DorschMSW17,
author = {Ulrich Dorsch and
Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
title = {A Coalgebraic Paige-Tarjan Algorithm},
journal = {CoRR},
volume = {abs/1705.08362},
year = {2017},
url = {http://arxiv.org/abs/1705.08362},
eprinttype = {arXiv},
eprint = {1705.08362},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DorschMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Milius17,
author = {Stefan Milius},
title = {Proper Functors and their Rational Fixed Point},
journal = {CoRR},
volume = {abs/1705.09198},
year = {2017},
url = {http://arxiv.org/abs/1705.09198},
eprinttype = {arXiv},
eprint = {1705.09198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Milius17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/MiliusSW16,
author = {Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
title = {Regular Behaviours with Names - On Rational Fixpoints of Endofunctors
on Nominal Sets},
journal = {Appl. Categorical Struct.},
volume = {24},
number = {5},
pages = {663--701},
year = {2016},
url = {https://doi.org/10.1007/s10485-016-9457-8},
doi = {10.1007/S10485-016-9457-8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/MiliusSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MiliusPW16,
author = {Stefan Milius and
Dirk Pattinson and
Thorsten Wi{\ss}mann},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint
and Its Properties},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {107--125},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_7},
doi = {10.1007/978-3-662-49630-5\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MiliusPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChenAMU16,
author = {Liang{-}Ting Chen and
Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Profinite Monads, Profinite Equations, and Reiterman's Theorem},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {531--547},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_31},
doi = {10.1007/978-3-662-49630-5\_31},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/ChenAMU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/TeichelSM16,
author = {Kristof Teichel and
Dieter Sibold and
Stefan Milius},
editor = {Indrajit Ray and
Manoj Singh Gaur and
Mauro Conti and
Dheeraj Sanghi and
V. Kamakoti},
title = {An Attack Possibility on Time Synchronization Protocols Secured with
TESLA-Like Mechanisms},
booktitle = {Information Systems Security - 12th International Conference, {ICISS}
2016, Jaipur, India, December 16-20, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10063},
pages = {3--22},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49806-5\_1},
doi = {10.1007/978-3-319-49806-5\_1},
timestamp = {Thu, 10 Sep 2020 09:33:08 +0200},
biburl = {https://dblp.org/rec/conf/iciss/TeichelSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoncharovMR16,
author = {Sergey Goncharov and
Stefan Milius and
Christoph Rauch},
editor = {Lars Birkedal},
title = {Complete Elgot Monads and Coalgebraic Resumptions},
booktitle = {The Thirty-second Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
USA, May 23-26, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {325},
pages = {147--168},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.09.036},
doi = {10.1016/J.ENTCS.2016.09.036},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GoncharovMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusPW16,
author = {Stefan Milius and
Dirk Pattinson and
Thorsten Wi{\ss}mann},
title = {A New Foundation for Finitary Corecursion},
journal = {CoRR},
volume = {abs/1601.01532},
year = {2016},
url = {http://arxiv.org/abs/1601.01532},
eprinttype = {arXiv},
eprint = {1601.01532},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/UrbatACM16,
author = {Henning Urbat and
Jir{\'{\i}} Ad{\'{a}}mek and
Liang{-}Ting Chen and
Stefan Milius},
title = {One Eilenberg Theorem to Rule Them All},
journal = {CoRR},
volume = {abs/1602.05831},
year = {2016},
url = {http://arxiv.org/abs/1602.05831},
eprinttype = {arXiv},
eprint = {1602.05831},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/UrbatACM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchroderKMW16,
author = {Lutz Schr{\"{o}}der and
Dexter Kozen and
Stefan Milius and
Thorsten Wi{\ss}mann},
title = {Nominal Automata with Name Binding},
journal = {CoRR},
volume = {abs/1603.01455},
year = {2016},
url = {http://arxiv.org/abs/1603.01455},
eprinttype = {arXiv},
eprint = {1603.01455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchroderKMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001MR16,
author = {Sergey Goncharov and
Stefan Milius and
Christoph Rauch},
title = {Complete Elgot Monads and Coalgebraic Resumptions},
journal = {CoRR},
volume = {abs/1603.02148},
year = {2016},
url = {http://arxiv.org/abs/1603.02148},
eprinttype = {arXiv},
eprint = {1603.02148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001MR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusL16,
author = {Stefan Milius and
Tadeusz Litak},
title = {Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion},
journal = {CoRR},
volume = {abs/1603.05214},
year = {2016},
url = {http://arxiv.org/abs/1603.05214},
eprinttype = {arXiv},
eprint = {1603.05214},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusSW16,
author = {Stefan Milius and
Lutz Schr{\"{o}}der and
Thorsten Wi{\ss}mann},
title = {Regular Behaviours with Names},
journal = {CoRR},
volume = {abs/1607.07828},
year = {2016},
url = {http://arxiv.org/abs/1607.07828},
eprinttype = {arXiv},
eprint = {1607.07828},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/AdamekLMMS15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Paul Blain Levy and
Stefan Milius and
Lawrence S. Moss and
Lurdes Sousa},
title = {On Final Coalgebras of Power-Set Functors and Saturated Trees - To
George Janelidze on the Occasion of His Sixtieth Birthday},
journal = {Appl. Categorical Struct.},
volume = {23},
number = {4},
pages = {609--641},
year = {2015},
url = {https://doi.org/10.1007/s10485-014-9372-9},
doi = {10.1007/S10485-014-9372-9},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/AdamekLMMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AdamekMMU15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss and
Henning Urbat},
title = {On finitary functors and their presentations},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {5},
pages = {813--833},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2014.12.002},
doi = {10.1016/J.JCSS.2014.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AdamekMMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MyersAMU15,
author = {Robert S. R. Myers and
Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {Coalgebraic constructions of canonical nondeterministic automata},
journal = {Theor. Comput. Sci.},
volume = {604},
pages = {81--101},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.035},
doi = {10.1016/J.TCS.2015.03.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MyersAMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonchiM0Z15,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
title = {Killing epsilons with a dagger: {A} coalgebraic study of systems with
algebraic label structure},
journal = {Theor. Comput. Sci.},
volume = {604},
pages = {102--126},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.024},
doi = {10.1016/J.TCS.2015.03.024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonchiM0Z15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KurzMPS15,
author = {Alexander Kurz and
Stefan Milius and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Simplified Coalgebraic Trace Equivalence},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {75--90},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_8},
doi = {10.1007/978-3-319-15545-6\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KurzMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekMU15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Syntactic Monoids in a Category},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {1--16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.1},
doi = {10.4230/LIPICS.CALCO.2015.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/AdamekMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusPS15,
author = {Stefan Milius and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Generic Trace Semantics and Graded Monads},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {253--269},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.253},
doi = {10.4230/LIPICS.CALCO.2015.253},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/MiliusPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusW15,
author = {Stefan Milius and
Thorsten Wi{\ss}mann},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Finitary Corecursion for the Infinitary Lambda Calculus},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {336--351},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.336},
doi = {10.4230/LIPICS.CALCO.2015.336},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/MiliusW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AdamekMUM15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Robert S. R. Myers and
Henning Urbat and
Stefan Milius},
title = {Varieties of Languages in a Category},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {414--425},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.46},
doi = {10.1109/LICS.2015.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AdamekMUM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secsr/TeichelSM15,
author = {Kristof Teichel and
Dieter Sibold and
Stefan Milius},
editor = {Liqun Chen and
Shin'ichiro Matsuo},
title = {First Results of a Formal Analysis of the Network Time Security Specification},
booktitle = {Security Standardisation Research - Second International Conference,
{SSR} 2015, Tokyo, Japan, December 15-16, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9497},
pages = {218--245},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27152-1\_12},
doi = {10.1007/978-3-319-27152-1\_12},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/secsr/TeichelSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekMMU15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Robert S. R. Myers and
Henning Urbat},
title = {Generalized Eilenberg Theorem {I:} Local Varieties of Languages},
journal = {CoRR},
volume = {abs/1501.02834},
year = {2015},
url = {http://arxiv.org/abs/1501.02834},
eprinttype = {arXiv},
eprint = {1501.02834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekMMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekMMU15a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Robert S. R. Myers and
Henning Urbat},
title = {Varieties of Languages in a Category},
journal = {CoRR},
volume = {abs/1501.05180},
year = {2015},
url = {http://arxiv.org/abs/1501.05180},
eprinttype = {arXiv},
eprint = {1501.05180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekMMU15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekMU15,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {Syntactic Monoids in a Category},
journal = {CoRR},
volume = {abs/1504.02694},
year = {2015},
url = {http://arxiv.org/abs/1504.02694},
eprinttype = {arXiv},
eprint = {1504.02694},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusW15,
author = {Stefan Milius and
Thorsten Wi{\ss}mann},
title = {Finitary Corecursion for the Infinitary Lambda Calculus},
journal = {CoRR},
volume = {abs/1505.07736},
year = {2015},
url = {http://arxiv.org/abs/1505.07736},
eprinttype = {arXiv},
eprint = {1505.07736},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MiliusW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenAMU15,
author = {Liang{-}Ting Chen and
Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
title = {Profinite Monads, Profinite Equations and Reiterman's Theorem},
journal = {CoRR},
volume = {abs/1511.02147},
year = {2015},
url = {http://arxiv.org/abs/1511.02147},
eprinttype = {arXiv},
eprint = {1511.02147},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ChenAMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekHM14,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Mahdieh Haddadi and
Stefan Milius},
title = {Corecursive Algebras, Corecursive Monads and Bloom Monads},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:19)2014},
doi = {10.2168/LMCS-10(3:19)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HuhnM14,
author = {Michaela Huhn and
Stefan Milius},
title = {Observations on formal safety analysis in practice},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {150--168},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.01.001},
doi = {10.1016/J.SCICO.2013.01.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HuhnM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdamekMV14,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Base modules for parametrized iterativity},
journal = {Theor. Comput. Sci.},
volume = {523},
pages = {56--85},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.12.019},
doi = {10.1016/J.TCS.2013.12.019},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AdamekMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BonchiM0Z14,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
editor = {Marcello M. Bonsangue},
title = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
with Algebraic Label Structure},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {53--74},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_4},
doi = {10.1007/978-3-662-44124-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/BonchiM0Z14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/MyersAMU14,
author = {Robert S. R. Myers and
Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Henning Urbat},
editor = {Marcello M. Bonsangue},
title = {Canonical Nondeterministic Automata},
booktitle = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8446},
pages = {189--210},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44124-4\_11},
doi = {10.1007/978-3-662-44124-4\_11},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/MyersAMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BasoldGHM14,
author = {Henning Basold and
Henning G{\"{u}}nther and
Michaela Huhn and
Stefan Milius},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {An Open Alternative for SMT-Based Verification of Scade Models},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {124--139},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_9},
doi = {10.1007/978-3-319-10702-8\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BasoldGHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekMMU14,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Robert S. R. Myers and
Henning Urbat},
editor = {Anca Muscholl},
title = {Generalized Eilenberg Theorem {I:} Local Varieties of Languages},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {366--380},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_24},
doi = {10.1007/978-3-642-54830-7\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekMMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GoncharovM014,
author = {Sergey Goncharov and
Stefan Milius and
Alexandra Silva},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {265--280},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_21},
doi = {10.1007/978-3-662-44602-7\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/GoncharovM014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMUM14,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Robert S. R. Myers and
Henning Urbat and
Stefan Milius},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {On Continuous Nondeterminism and State Minimality},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {3--23},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.002},
doi = {10.1016/J.ENTCS.2014.10.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMUM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoncharovMS14,
author = {Sergey Goncharov and
Stefan Milius and
Alexandra Silva},
title = {Towards a Coalgebraic Chomsky Hierarchy},
journal = {CoRR},
volume = {abs/1401.5277},
year = {2014},
url = {http://arxiv.org/abs/1401.5277},
eprinttype = {arXiv},
eprint = {1401.5277},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GoncharovMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiMSZ14,
author = {Filippo Bonchi and
Stefan Milius and
Alexandra Silva and
Fabio Zanasi},
title = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems
with Algebraic Label Structure},
journal = {CoRR},
volume = {abs/1402.4062},
year = {2014},
url = {http://arxiv.org/abs/1402.4062},
eprinttype = {arXiv},
eprint = {1402.4062},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiMSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekBLM14,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Nathan J. Bowler and
Paul Blain Levy and
Stefan Milius},
title = {Coproducts of Monads on Set},
journal = {CoRR},
volume = {abs/1409.3804},
year = {2014},
url = {http://arxiv.org/abs/1409.3804},
eprinttype = {arXiv},
eprint = {1409.3804},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AdamekBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzMPS14,
author = {Alexander Kurz and
Stefan Milius and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Simplified Coalgebraic Trace Equivalence},
journal = {CoRR},
volume = {abs/1410.2463},
year = {2014},
url = {http://arxiv.org/abs/1410.2463},
eprinttype = {arXiv},
eprint = {1410.2463},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KurzMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MiliusMS13,
author = {Stefan Milius and
Lawrence S. Moss and
Daniel Schwencke},
title = {Abstract {GSOS} Rules and a Modular Treatment of Recursive Definitions},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:28)2013},
doi = {10.2168/LMCS-9(3:28)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0576,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss and
Lurdes Sousa},
title = {Well-Pointed Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:2)2013},
doi = {10.2168/LMCS-9(3:2)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekMV13,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {How iterative reflections of monads are constructed},
journal = {Inf. Comput.},
volume = {225},
pages = {83--118},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.02.003},
doi = {10.1016/J.IC.2013.02.003},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AdamekMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonsangueMS13,
author = {Marcello M. Bonsangue and
Stefan Milius and
Alexandra Silva},
title = {Sound and Complete Axiomatizations of Coalgebraic Language Equivalence},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {7:1--7:52},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422092},
doi = {10.1145/2422085.2422092},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonsangueMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MiliusL13,
author = {Stefan Milius and
Tadeusz Litak},
editor = {David Baelde and
Arnaud Carayol},
title = {Guard Your Daggers and Traces: On The Equational Properties of Guarded
(Co-)recursion},
booktitle = {Proceedings Workshop on Fixed Points in Computer Science, {FICS} 2013,
Turino, Italy, September 1st, 2013},
series = {{EPTCS}},
volume = {126},
pages = {72--86},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.126.6},
doi = {10.4204/EPTCS.126.6},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MiliusL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MiliusBMR13,
author = {Stefan Milius and
Marcello M. Bonsangue and
Robert S. R. Myers and
Jurriaan Rot},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {Rational Operational Models},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {257--282},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.017},
doi = {10.1016/J.ENTCS.2013.09.017},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MiliusBMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2013,
editor = {Reiko Heckel and
Stefan Milius},
title = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7},
doi = {10.1007/978-3-642-40206-7},
isbn = {978-3-642-40205-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/AdamekMM12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {On Finitary Functors and Their Presentations},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {51--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_4},
doi = {10.1007/978-3-642-32784-1\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/AdamekMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekBHKMS12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Filippo Bonchi and
Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Stefan Milius and
Alexandra Silva},
editor = {Lars Birkedal},
title = {A Coalgebraic Perspective on Minimization and Determinization},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {58--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_4},
doi = {10.1007/978-3-642-28729-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekBHKMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekMMS12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss and
Lurdes Sousa},
editor = {Lars Birkedal},
title = {Well-Pointed Coalgebras (Extended Abstract)},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {89--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_6},
doi = {10.1007/978-3-642-28729-9\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekMMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AdamekMBL12,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Nathan J. Bowler and
Paul Blain Levy},
title = {Coproducts of Monads on Set},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {45--54},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.16},
doi = {10.1109/LICS.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AdamekMBL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/MiliusGPMLSHZ12,
author = {Stefan Milius and
Henning G{\"{u}}nther and
Jan Peleska and
Oliver M{\"{o}}ller and
Helge L{\"{o}}ding and
Martin Sulzmann and
Ramin Hedayati and
Axel Zechner},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {A framework for formal verification of systems of synchronous components},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {145--154},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/MiliusGPMLSHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GuntherMM12,
author = {Henning G{\"{u}}nther and
Stefan Milius and
Oliver M{\"{o}}ller},
editor = {Frank Ortmeier and
Peter Daniel},
title = {On the Formal Verification of Systems of Synchronous Software Components},
booktitle = {Computer Safety, Reliability, and Security - 31st International Conference,
{SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7612},
pages = {291--304},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33678-2\_25},
doi = {10.1007/978-3-642-33678-2\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GuntherMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2746,
author = {Marcello M. Bonsangue and
Stefan Milius and
Jurriaan Rot},
editor = {Bas Luttik and
Michel A. Reniers},
title = {On the specification of operations on the rational behaviour of systems},
booktitle = {Proceedings Combined 19th International Workshop on Expressiveness
in Concurrency and 9th Workshop on Structured Operational Semantics,
{EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
series = {{EPTCS}},
volume = {89},
pages = {3--18},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.2},
doi = {10.4204/EPTCS.89.2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-4929,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Semantics of Higher-Order Recursion Schemes},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:15)2011},
doi = {10.2168/LMCS-7(1:15)2011},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV11,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Elgot theories: a new perspective on the equational properties of
iteration},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {417--480},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000496},
doi = {10.1017/S0960129510000496},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdamekMV11,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {On second-order iterative monads},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {38},
pages = {4969--4988},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.027},
doi = {10.1016/J.TCS.2011.04.027},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AdamekMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekHM11,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Mahdieh Haddadi and
Stefan Milius},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {From Corecursive Algebras to Corecursive Monads},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {55--69},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_5},
doi = {10.1007/978-3-642-22944-2\_5},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AdamekHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AdamekMMS11,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Lawrence S. Moss and
Lurdes Sousa},
editor = {Marc Bezem},
title = {Power-Set Functors and Saturated Trees},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {5--19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.5},
doi = {10.4230/LIPICS.CSL.2011.5},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/AdamekMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DaskayaHM11,
author = {Ilyas Daskaya and
Michaela Huhn and
Stefan Milius},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Formal Safety Analysis in Industrial Practice},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {68--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_7},
doi = {10.1007/978-3-642-24431-5\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/DaskayaHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2803,
author = {Marcello M. Bonsangue and
Stefan Milius and
Alexandra Silva},
title = {Sound and complete axiomatizations of coalgebraic language equivalence},
journal = {CoRR},
volume = {abs/1104.2803},
year = {2011},
url = {http://arxiv.org/abs/1104.2803},
eprinttype = {arXiv},
eprint = {1104.2803},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekMV10,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Equational properties of iterative monads},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1306--1348},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.10.006},
doi = {10.1016/J.IC.2009.10.006},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AdamekMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV10,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Iterative reflections of monads},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {3},
pages = {419--452},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990326},
doi = {10.1017/S0960129509990326},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MiliusMS10,
author = {Stefan Milius and
Lawrence S. Moss and
Daniel Schwencke},
editor = {C.{-}H. Luke Ong},
title = {{CIA} Structures and the Semantics of Recursion},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {312--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_22},
doi = {10.1007/978-3-642-12032-9\_22},
timestamp = {Wed, 16 Mar 2022 23:55:17 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/MiliusMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Milius10,
author = {Stefan Milius},
title = {A Sound and Complete Calculus for Finite Stream Circuits},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {421--430},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.11},
doi = {10.1109/LICS.2010.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Milius10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV10,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Recursive Program Schemes and Context-Free Monads},
booktitle = {Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer
Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {2},
pages = {3--23},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.011},
doi = {10.1016/J.ENTCS.2010.07.011},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusPS09,
author = {Stefan Milius and
Thorsten Palm and
Daniel Schwencke},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Complete Iterativity for Algebras with Effects},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {34--48},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_4},
doi = {10.1007/978-3-642-03741-2\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/MiliusPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AdamekMV09,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Semantics of Higher-Order Recursion Schemes},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {49--63},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_5},
doi = {10.1007/978-3-642-03741-2\_5},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AdamekMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AdamekMV09,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Luca de Alfaro},
title = {A Description of Iterative Reflections of Monads (Extended Abstract)},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {152--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_12},
doi = {10.1007/978-3-642-00596-1\_12},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AdamekMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV09,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Elgot Theories: {A} New Perspective of Iteration Theories (Extended
Abstract)},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {407--427},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.100},
doi = {10.1016/J.ENTCS.2009.07.100},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2385,
author = {Stefan Milius and
Lawrence S. Moss},
title = {The Category Theoretic Solution of Recursive Program Schemes},
journal = {CoRR},
volume = {abs/0904.2385},
year = {2009},
url = {http://arxiv.org/abs/0904.2385},
eprinttype = {arXiv},
eprint = {0904.2385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekMV08,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Bases for parametrized iterativity},
journal = {Inf. Comput.},
volume = {206},
number = {8},
pages = {966--1002},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.05.002},
doi = {10.1016/J.IC.2008.05.002},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AdamekMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AdamekBM08,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stephen L. Bloom and
Stefan Milius},
title = {On Algebras with Iteration},
journal = {J. Log. Comput.},
volume = {18},
number = {6},
pages = {1047--1085},
year = {2008},
url = {https://doi.org/10.1093/logcom/exn035},
doi = {10.1093/LOGCOM/EXN035},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AdamekBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiliusM08,
author = {Stefan Milius and
Lawrence S. Moss},
title = {Corrigendum to: "The category theoretic solution of recursive
program schemes" {[TCS} 366 {(2006)} 3-59]},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {409--415},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.05.009},
doi = {10.1016/J.TCS.2008.05.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiliusM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/MiliusS08,
author = {Stefan Milius and
Uwe Steinke},
editor = {Holger Giese and
Michaela Huhn and
Ulrich Nickel and
Bernhard Sch{\"{a}}tz},
title = {Modelbasierte Softwareentwicklung mit {SCADE} in der Eisenbahnautomatisierung},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2008-2},
pages = {68--77},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2008},
url = {http://www.ips.cs.tu-bs.de/images/mbees/MBEES08Proceedings.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/MiliusS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AdamekLM07,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Dominik L{\"{u}}cke and
Stefan Milius},
title = {Recursive coalgebras of finitary functors},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {41},
number = {4},
pages = {447--462},
year = {2007},
url = {https://doi.org/10.1051/ita:2007028},
doi = {10.1051/ITA:2007028},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AdamekLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdamekMV07,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Algebras with parametrized iterativity},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {130--151},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.06.015},
doi = {10.1016/J.TCS.2007.06.015},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AdamekMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AdamekMV07,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Ludek Kucera and
Anton{\'{\i}}n Kucera},
title = {What Are Iteration Theories?},
booktitle = {Mathematical Foundations of Computer Science 2007, 32nd International
Symposium, {MFCS} 2007, Cesk{\'{y}} Krumlov, Czech Republic,
August 26-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4708},
pages = {240--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74456-6\_23},
doi = {10.1007/978-3-540-74456-6\_23},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AdamekMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekM06,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Special Issue: Seventh Workshop on Coalgebraic Methods in Computer
Science 2004},
journal = {Inf. Comput.},
volume = {204},
number = {4},
pages = {435--436},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.003},
doi = {10.1016/J.IC.2006.01.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AdamekM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekM06a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Terminal coalgebras and free iterative theories},
journal = {Inf. Comput.},
volume = {204},
number = {7},
pages = {1139--1172},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.11.005},
doi = {10.1016/J.IC.2005.11.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AdamekM06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AdamekMV06,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Elgot Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {5},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(5:4)2006},
doi = {10.2168/LMCS-2(5:4)2006},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AdamekMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV06,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Iterative algebras at work},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {6},
pages = {1085--1131},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005706},
doi = {10.1017/S0960129506005706},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiliusM06,
author = {Stefan Milius and
Lawrence S. Moss},
title = {The category-theoretic solution of recursive program schemes},
journal = {Theor. Comput. Sci.},
volume = {366},
number = {1-2},
pages = {3--59},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.002},
doi = {10.1016/J.TCS.2006.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MiliusM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV06a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Neil Ghani and
John Power},
title = {How Iterative are Iterative Algebras?},
booktitle = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {1},
pages = {157--175},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.010},
doi = {10.1016/J.ENTCS.2006.06.010},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609040,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Elgot Algebras},
journal = {CoRR},
volume = {abs/cs/0609040},
year = {2006},
url = {http://arxiv.org/abs/cs/0609040},
eprinttype = {arXiv},
eprint = {cs/0609040},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0016495,
author = {Stefan Milius},
title = {Coalgebras, monads and semantics},
school = {Braunschweig University of Technology, Germany},
year = {2005},
url = {https://d-nb.info/979988985},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0016495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Milius05,
author = {Stefan Milius},
title = {Completely iterative algebras and completely iterative monads},
journal = {Inf. Comput.},
volume = {196},
number = {1},
pages = {1--41},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2004.05.003},
doi = {10.1016/J.IC.2004.05.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Milius05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV05,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {A general final coalgebra theorem},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {3},
pages = {409--432},
year = {2005},
url = {https://doi.org/10.1017/S0960129505004731},
doi = {10.1017/S0960129505004731},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MiliusM05,
author = {Stefan Milius and
Lawrence S. Moss},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {The Category Theoretic Solution of Recursive Program Schemes},
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 = {293--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_19},
doi = {10.1007/11548133\_19},
timestamp = {Wed, 19 May 2021 08:32:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/MiliusM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV06,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {Elgot Algebras: (Extended Abstract)},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {87--109},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.053},
doi = {10.1016/J.ENTCS.2005.11.053},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Milius05,
author = {Stefan Milius},
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Dorothea Wagner},
title = {Koalgebren Monaden und Semantik},
booktitle = {Ausgezeichnete Informatikdissertationen 2005},
series = {{LNI}},
volume = {{D-6}},
pages = {67--76},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/4536},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Milius05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AdamekMV04,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {On coalgebra based on classes},
journal = {Theor. Comput. Sci.},
volume = {316},
number = {1},
pages = {3--23},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.12.022},
doi = {10.1016/J.TCS.2003.12.022},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AdamekMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekM04,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Preface},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.023},
doi = {10.1016/J.ENTCS.2004.09.023},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AdamekM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV04,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {From Iterative Algebras to Iterative Theories (Extended Abstract)},
booktitle = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
pages = {3--24},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.033},
doi = {10.1016/J.ENTCS.2004.02.033},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV05,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Lars Birkedal},
title = {Iterative Algebras for a Base},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {147--170},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.056},
doi = {10.1016/J.ENTCS.2004.06.056},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2004,
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Proceedings of the Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2004, Barcelona, Spain, March 27-29, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {106},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/106/suppl/C},
timestamp = {Thu, 16 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Milius03,
author = {Stefan Milius},
title = {On Colimits in Categories of Relations},
journal = {Appl. Categorical Struct.},
volume = {11},
number = {3},
pages = {287--312},
year = {2003},
url = {https://doi.org/10.1023/A:1024201720423},
doi = {10.1023/A:1024201720423},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Milius03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/AdamekMV03,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Some Remarks on Finitary and Iterative Monads},
journal = {Appl. Categorical Struct.},
volume = {11},
number = {6},
pages = {521--541},
year = {2003},
url = {https://doi.org/10.1023/A:1026153529959},
doi = {10.1023/A:1026153529959},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/AdamekMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV03,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Free Iterative Theories: {A} Coalgebraic View},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {259--320},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003924},
doi = {10.1017/S0960129502003924},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AczelAMV03,
author = {Peter Aczel and
Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Infinite trees and completely iterative theories: a coalgebraic view},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {1--45},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00728-4},
doi = {10.1016/S0304-3975(02)00728-4},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AczelAMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0306118,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {On coalgebra based on classes},
journal = {CoRR},
volume = {cs.LO/0306118},
year = {2003},
url = {http://arxiv.org/abs/cs/0306118},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0306118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/AdamekMV02,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Parametric corecursion and completely iterative monads},
booktitle = {Fixed Points in Computer Science, {FICS} 2002, Copenhagen, Denmark,
20-21 July 2002, Preliminary Proceedings},
series = {{BRICS} Notes Series},
volume = {{NS-02-2}},
pages = {2--5},
publisher = {University of Aarhus},
year = {2002},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/AdamekMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV02,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Lawrence S. Moss},
title = {Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2002, Satellite Event
of {ETAPS} 2002, Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {1},
pages = {1--28},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80357-8},
doi = {10.1016/S1571-0661(04)80357-8},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekMV02a,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
editor = {Richard Blute and
Peter Selinger},
title = {On Rational Monads and Free Iterative Theories},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {23--46},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80557-7},
doi = {10.1016/S1571-0661(04)80557-7},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AdamekMV02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Milius02,
author = {Stefan Milius},
editor = {Richard Blute and
Peter Selinger},
title = {On Iteratable Endofunctors},
booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada,
August 15-17, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {69},
pages = {287--304},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80570-X},
doi = {10.1016/S1571-0661(04)80570-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Milius02.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 2024-04-17 20: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:
