Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Kurz 0001
@article{DBLP:journals/lmcs/BalcoK23,
author = {Samuel Balco and
Alexander Kurz},
title = {Completeness of Nominal PROPs},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:8)2023},
doi = {10.46298/LMCS-19(1:8)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalcoK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/0005P23,
author = {Alexander Kurz and
Wolfgang Poiger},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties},
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 = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.17},
doi = {10.4230/LIPICS.CALCO.2023.17},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/0005P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14581,
author = {Alexander Kurz and
Wolfgang Poiger and
Bruno Teheux},
title = {Many-valued coalgebraic logic over semi-primal varieties},
journal = {CoRR},
volume = {abs/2308.14581},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14581},
doi = {10.48550/ARXIV.2308.14581},
eprinttype = {arXiv},
eprint = {2308.14581},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-13290,
author = {Adriana Balan and
Alexander Kurz},
title = {An equational approach to enriched distributivity},
journal = {CoRR},
volume = {abs/2112.13290},
year = {2021},
url = {https://arxiv.org/abs/2112.13290},
eprinttype = {arXiv},
eprint = {2112.13290},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-13290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GrootH020,
author = {Jim de Groot and
Helle Hvid Hansen and
Alexander Kurz},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {Logic-Induced Bisimulations},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {289--308},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/deGroot-Hansen-Kurz.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GrootH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08380,
author = {Samuel Balco and
Alexander Kurz},
title = {Completeness of Nominal PROPs},
journal = {CoRR},
volume = {abs/2004.08380},
year = {2020},
url = {https://arxiv.org/abs/2004.08380},
eprinttype = {arXiv},
eprint = {2004.08380},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09238,
author = {Jim de Groot and
Helle Hvid Hansen and
Alexander Kurz},
title = {Logic-Induced Bisimulations},
journal = {CoRR},
volume = {abs/2008.09238},
year = {2020},
url = {https://arxiv.org/abs/2008.09238},
eprinttype = {arXiv},
eprint = {2008.09238},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BalanKV19,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Extending set functors to generalised metric spaces},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:5)2019},
doi = {10.23638/LMCS-15(1:5)2019},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BalanKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Balco019,
author = {Samuel Balco and
Alexander Kurz},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Nominal String Diagrams},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {18:1--18:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.18},
doi = {10.4230/LIPICS.CALCO.2019.18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/Balco019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-05967,
author = {Hao Zeng and
Alexander Kurz and
Emilio Tuosto},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Interface Automata for Choreographies},
booktitle = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
pages = {1--19},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304.1},
doi = {10.4204/EPTCS.304.1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07534,
author = {Samuel Balco and
Alexander Kurz},
title = {Nominal String Diagrams},
journal = {CoRR},
volume = {abs/1904.07534},
year = {2019},
url = {http://arxiv.org/abs/1904.07534},
eprinttype = {arXiv},
eprint = {1904.07534},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-08418,
author = {Alexander Kurz and
M. Andrew Moshier and
Achim Jung},
title = {Stone Duality for Relations},
journal = {CoRR},
volume = {abs/1912.08418},
year = {2019},
url = {http://arxiv.org/abs/1912.08418},
eprinttype = {arXiv},
eprint = {1912.08418},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-08418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BalcoF00P18,
author = {Samuel Balco and
Sabine Frittella and
Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Software Tool Support for Modular Reasoning in Modal Logics of Actions},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {48--67},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_4},
doi = {10.1007/978-3-319-94821-8\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BalcoF00P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-02229,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Extending set functors to generalised metric spaces},
journal = {CoRR},
volume = {abs/1809.02229},
year = {2018},
url = {http://arxiv.org/abs/1809.02229},
eprinttype = {arXiv},
eprint = {1809.02229},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-07288,
author = {Fredrik Dahlqvist and
Alexander Kurz},
title = {The positivication of coalgebraic logics},
journal = {CoRR},
volume = {abs/1812.07288},
year = {2018},
url = {http://arxiv.org/abs/1812.07288},
eprinttype = {arXiv},
eprint = {1812.07288},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-07288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalanKV17,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {An institutional approach to positive coalgebraic logic},
journal = {J. Log. Comput.},
volume = {27},
number = {6},
pages = {1799--1824},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv074},
doi = {10.1093/LOGCOM/EXV074},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BalanKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK17,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1108--1110},
year = {2017},
url = {https://doi.org/10.1017/S096012951500047X},
doi = {10.1017/S096012951500047X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KurzV17,
author = {Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Quasivarieties and varieties of ordered algebras: regularity and exactness},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1153--1194},
year = {2017},
url = {https://doi.org/10.1017/S096012951500050X},
doi = {10.1017/S096012951500050X},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KurzV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/DahlqvistK17,
author = {Fredrik Dahlqvist and
Alexander Kurz},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {The Positivication of Coalgebraic Logics},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.9},
doi = {10.4230/LIPICS.CALCO.2017.9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/DahlqvistK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-09496,
author = {Reiko Heckel and
Alexander Kurz and
Edmund Chattoe{-}Brown},
editor = {Timo Kehrer and
Alice Miller},
title = {Features of Agent-based Models},
booktitle = {Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala,
Sweden, 23rd April 2017},
series = {{EPTCS}},
volume = {263},
pages = {31--37},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.263.3},
doi = {10.4204/EPTCS.263.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-09496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KurzV16,
author = {Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Relation lifting, a survey},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {475--499},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.08.002},
doi = {10.1016/J.JLAMP.2015.08.002},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KurzV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrittellaGKPS16,
author = {Sabine Frittella and
Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano and
Vlasta Sikimic},
title = {A proof-theoretic semantic analysis of dynamic epistemic logic},
journal = {J. Log. Comput.},
volume = {26},
number = {6},
pages = {1961--2015},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu063},
doi = {10.1093/LOGCOM/EXU063},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FrittellaGKPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrittellaGKPS16a,
author = {Sabine Frittella and
Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano and
Vlasta Sikimic},
title = {Multi-type display calculus for dynamic epistemic logic},
journal = {J. Log. Comput.},
volume = {26},
number = {6},
pages = {2017--2065},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu068},
doi = {10.1093/LOGCOM/EXU068},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FrittellaGKPS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FrittellaGKP16,
author = {Sabine Frittella and
Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
title = {Multi-type display calculus for propositional dynamic logic},
journal = {J. Log. Comput.},
volume = {26},
number = {6},
pages = {2067--2104},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu064},
doi = {10.1093/LOGCOM/EXU064},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FrittellaGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/BabusK16,
author = {Octavian Babus and
Alexander Kurz},
editor = {Ichiro Hasuo},
title = {On the Logic of Generalised Metric Spaces},
booktitle = {Coalgebraic Methods in Computer Science - 13th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2016, Colocated with {ETAPS} 2016, Eindhoven, The
Netherlands, April 2-3, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9608},
pages = {136--155},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40370-0\_9},
doi = {10.1007/978-3-319-40370-0\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/BabusK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalcoFGKP16,
author = {Samuel Balco and
Sabine Frittella and
Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
title = {Tool support for reasoning in display calculi},
journal = {CoRR},
volume = {abs/1601.01113},
year = {2016},
url = {http://arxiv.org/abs/1601.01113},
eprinttype = {arXiv},
eprint = {1601.01113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalcoFGKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BalanKV14,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Positive fragments of coalgebraic logics},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:18)2015},
doi = {10.2168/LMCS-11(3:18)2015},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BalanKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonsangueHKR15,
author = {Marcello M. Bonsangue and
Helle Hvid Hansen and
Alexander Kurz and
Jurriaan Rot},
title = {Presenting Distributive Laws},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:2)2015},
doi = {10.2168/LMCS-11(3:2)2015},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BonsangueHKR15.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/BalanKV15,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Extensions of Functors From Set to V-cat},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {17--34},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.17},
doi = {10.4230/LIPICS.CALCO.2015.17},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BalanKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzPPSV15,
author = {Alexander Kurz and
Alberto Pardo and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric
Dataypes},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {205--220},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205},
doi = {10.4230/LIPICS.CALCO.2015.205},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbramskyKLW15,
author = {Samson Abramsky and
Alexander Kurz and
Pierre Lescanne and
Viktor Winschel},
title = {Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042)},
journal = {Dagstuhl Reports},
volume = {5},
number = {1},
pages = {197--206},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.1.197},
doi = {10.4230/DAGREP.5.1.197},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbramskyKLW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacl/2013,
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
publisher = {EasyChair},
year = {2014},
url = {https://easychair.org/publications/volume/TACL\_2013},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/2013.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/acs/KurzV13,
author = {Alexander Kurz and
Jir{\'{\i}} Velebil},
title = {Enriched Logical Connections},
journal = {Appl. Categorical Struct.},
volume = {21},
number = {4},
pages = {349--377},
year = {2013},
url = {https://doi.org/10.1007/s10485-011-9267-y},
doi = {10.1007/S10485-011-9267-Y},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/KurzV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BilkovaKPV13,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Relation lifting, with an application to the many-valued cover modality},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:8)2013},
doi = {10.2168/LMCS-9(4:8)2013},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BilkovaKPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzP13,
author = {Alexander Kurz and
Alessandra Palmigiano},
title = {Epistemic Updates on Algebras},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:17)2013},
doi = {10.2168/LMCS-9(4:17)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KurzP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzPSV13,
author = {Alexander Kurz and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
title = {Nominal Coalgebraic Data Types with Applications to Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:20)2013},
doi = {10.2168/LMCS-9(4:20)2013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KurzPSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BalanKV13,
author = {Adriana Balan and
Alexander Kurz and
Jir{\'{\i}} Velebil},
editor = {Reiko Heckel and
Stefan Milius},
title = {Positive Fragments of Coalgebraic Logics},
booktitle = {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},
pages = {51--65},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_6},
doi = {10.1007/978-3-642-40206-7\_6},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BalanKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BonsangueHKR13,
author = {Marcello M. Bonsangue and
Helle Hvid Hansen and
Alexander Kurz and
Jurriaan Rot},
editor = {Reiko Heckel and
Stefan Milius},
title = {Presenting Distributive Laws},
booktitle = {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},
pages = {95--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_9},
doi = {10.1007/978-3-642-40206-7\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/BonsangueHKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/GrecoKP13,
author = {Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Dynamic Epistemic Logic Displayed},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {135--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_11},
doi = {10.1007/978-3-642-40948-6\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/GrecoKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/GrecoKP13,
author = {Giuseppe Greco and
Alexander Kurz and
Alessandra Palmigiano},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {85--87},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/mwpp},
doi = {10.29007/MWPP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/GrecoKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kurz0T13,
author = {Alexander Kurz and
Tomoyuki Suzuki and
Emilio Tuosto},
title = {Nominal Regular Expressions for Languages over Infinite Alphabets.
Extended Abstract},
journal = {CoRR},
volume = {abs/1310.7093},
year = {2013},
url = {http://arxiv.org/abs/1310.7093},
eprinttype = {arXiv},
eprint = {1310.7093},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kurz0T13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BojanczykKKP13,
author = {Mikolaj Bojanczyk and
Bartek Klin and
Alexander Kurz and
Andrew M. Pitts},
title = {Nominal Computation Theory (Dagstuhl Seminar 13422)},
journal = {Dagstuhl Reports},
volume = {3},
number = {10},
pages = {58--71},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.10.58},
doi = {10.4230/DAGREP.3.10.58},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BojanczykKKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4935,
author = {Clemens Kupke and
Alexander Kurz and
Yde Venema},
title = {Completeness for the coalgebraic cover modality},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:2)2012},
doi = {10.2168/LMCS-8(3:2)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-4935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2732,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Strongly Complete Logics for Coalgebras},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:14)2012},
doi = {10.2168/LMCS-8(3:14)2012},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KurzL12,
author = {Alexander Kurz and
Raul Andres Leal},
title = {Modalities in the Stone age: {A} comparison of coalgebraic logics},
journal = {Theor. Comput. Sci.},
volume = {430},
pages = {88--116},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.027},
doi = {10.1016/J.TCS.2012.03.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KurzL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KapulkinKV12,
author = {Krzysztof Kapulkin and
Alexander Kurz and
Jir{\'{\i}} Velebil},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Expressiveness of Positive Coalgebraic Logic},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {368--385},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Kapulkin-Kurz-Velebil.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KapulkinKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/KurzPSV12,
author = {Alexander Kurz and
Daniela Petrisan and
Paula Severi and
Fer{-}Jan de Vries},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {An Alpha-Corecursion Principle for the Infinitary Lambda Calculus},
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 = {130--149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_8},
doi = {10.1007/978-3-642-32784-1\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/KurzPSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KurzST12,
author = {Alexander Kurz and
Tomoyuki Suzuki and
Emilio Tuosto},
editor = {Lars Birkedal},
title = {On Nominal Regular Languages with Binders},
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 = {255--269},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_17},
doi = {10.1007/978-3-642-28729-9\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/KurzST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Kurz0T12,
author = {Alexander Kurz and
Tomoyuki Suzuki and
Emilio Tuosto},
editor = {Jos C. M. Baeten and
Thomas Ball and
Frank S. de Boer},
title = {A Characterisation of Languages on Infinite Alphabets with Nominal
Regular Expressions},
booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7604},
pages = {193--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33475-7\_14},
doi = {10.1007/978-3-642-33475-7\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/Kurz0T12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1433,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Relation Liftings on Preorders and Posets},
journal = {CoRR},
volume = {abs/1210.1433},
year = {2012},
url = {http://arxiv.org/abs/1210.1433},
eprinttype = {arXiv},
eprint = {1210.1433},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DoberkatK12,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics (Dagstuhl Seminar 12411)},
journal = {Dagstuhl Reports},
volume = {2},
number = {10},
pages = {38--59},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.10.38},
doi = {10.4230/DAGREP.2.10.38},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DoberkatK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CirsteaKPSV11,
author = {Corina C{\^{\i}}rstea and
Alexander Kurz and
Dirk Pattinson and
Lutz Schr{\"{o}}der and
Yde Venema},
title = {Modal Logics are Coalgebraic},
journal = {Comput. J.},
volume = {54},
number = {1},
pages = {31--41},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxp004},
doi = {10.1093/COMJNL/BXP004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CirsteaKPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoberkatK11,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Foreword: special issue on coalgebraic logic},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {171--174},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000538},
doi = {10.1017/S0960129510000538},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/DoberkatK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/VelebilK11,
author = {Jir{\'{\i}} Velebil and
Alexander Kurz},
title = {Equational presentations of functors and monads},
journal = {Math. Struct. Comput. Sci.},
volume = {21},
number = {2},
pages = {363--381},
year = {2011},
url = {https://doi.org/10.1017/S0960129510000575},
doi = {10.1017/S0960129510000575},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/VelebilK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BalanK11,
author = {Adriana Balan and
Alexander Kurz},
title = {On coalgebras over algebras},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {38},
pages = {4989--5005},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.03.021},
doi = {10.1016/J.TCS.2011.03.021},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BalanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BalanK11,
author = {Adriana Balan and
Alexander Kurz},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Finitary Functors: From Set to Preord and Poset},
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 = {85--99},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_7},
doi = {10.1007/978-3-642-22944-2\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/BalanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BilkovaKPV11,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {Relation Liftings on Preorders and Posets},
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 = {115--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_9},
doi = {10.1007/978-3-642-22944-2\_9},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BilkovaKPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3174,
author = {Alexander Kurz and
Tomoyuki Suzuki and
Emilio Tuosto},
title = {Towards Nominal Formal Languages},
journal = {CoRR},
volume = {abs/1102.3174},
year = {2011},
url = {http://arxiv.org/abs/1102.3174},
eprinttype = {arXiv},
eprint = {1102.3174},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3239,
author = {Christian Kissig and
Alexander Kurz},
title = {Generic Trace Logics},
journal = {CoRR},
volume = {abs/1103.3239},
year = {2011},
url = {http://arxiv.org/abs/1103.3239},
eprinttype = {arXiv},
eprint = {1103.3239},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KurzP10,
author = {Alexander Kurz and
Daniela Petrisan},
title = {Presenting functors on many-sorted varieties and applications},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1421--1446},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.11.007},
doi = {10.1016/J.IC.2009.11.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KurzP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KurzPV10,
author = {Alexander Kurz and
Alessandra Palmigiano and
Yde Venema},
title = {Coalgebra and Logic: {A} Brief Overview},
journal = {J. Log. Comput.},
volume = {20},
number = {5},
pages = {985--990},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn094},
doi = {10.1093/LOGCOM/EXN094},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KurzPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KurzP10,
author = {Alexander Kurz and
Daniela Petrisan},
title = {On universal algebra over nominal sets},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {2},
pages = {285--318},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990399},
doi = {10.1017/S0960129509990399},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KurzP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BezhanishviliBGK10,
author = {Guram Bezhanishvili and
Nick Bezhanishvili and
David Gabelaia and
Alexander Kurz},
title = {Bitopological duality for distributive lattices and Heyting algebras},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {3},
pages = {359--393},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990302},
doi = {10.1017/S0960129509990302},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BezhanishviliBGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KurzV10,
author = {Alexander Kurz and
Yde Venema},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Coalgebraic Lindstr{\"{o}}om Theorems},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
pages = {292--309},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Kurz-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KurzV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BalanK10,
author = {Adriana Balan and
Alexander Kurz},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {On Coalgebras over Algebras},
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 = {47--62},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.013},
doi = {10.1016/J.ENTCS.2010.07.013},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BalanK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CianciaKM10,
author = {Vincenzo Ciancia and
Alexander Kurz and
Ugo Montanari},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Families of Symmetries as Efficient Models of Resource Binding},
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 = {63--81},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.014},
doi = {10.1016/J.ENTCS.2010.07.014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CianciaKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3027,
author = {Alexander Kurz and
Daniela Petrisan and
Jir{\'{\i}} Velebil},
title = {Algebraic Theories over Nominal Sets},
journal = {CoRR},
volume = {abs/1006.3027},
year = {2010},
url = {http://arxiv.org/abs/1006.3027},
eprinttype = {arXiv},
eprint = {1006.3027},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzL09,
author = {Alexander Kurz and
Raul Andres Leal},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Equational Coalgebraic Logic},
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 = {333--356},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.097},
doi = {10.1016/J.ENTCS.2009.07.097},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2009,
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {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},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2},
doi = {10.1007/978-3-642-03741-2},
isbn = {978-3-642-03740-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9502,
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09502/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DoberkatK09,
author = {Ernst{-}Erich Doberkat and
Alexander Kurz},
editor = {Ernst{-}Erich Doberkat and
Alexander Kurz},
title = {09502 Abstracts Collection - Coalgebraic Logics},
booktitle = {Coalgebraic Logics, 06.12. - 09.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09502},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2420/},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DoberkatK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KupkeKV08,
author = {Clemens Kupke and
Alexander Kurz and
Yde Venema},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Completeness of the finitary Moss logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {193--217},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KupkeKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/CirsteaKPSV08,
author = {Corina C{\^{\i}}rstea and
Alexander Kurz and
Dirk Pattinson and
Lutz Schr{\"{o}}der and
Yde Venema},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {Modal Logics are Coalgebraic},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {128--140},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22873},
timestamp = {Sat, 29 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcs/CirsteaKPSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP08,
author = {Alexander Kurz and
Daniela Petrisan},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Functorial Coalgebraic Logic: The Case of Many-sorted Varieties},
booktitle = {Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2008, Budapest, Hungary, April 4-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {5},
pages = {175--194},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.025},
doi = {10.1016/J.ENTCS.2008.05.025},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BezhanishviliK07,
author = {Nick Bezhanishvili and
Alexander Kurz},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Free Modal Algebras: {A} Coalgebraic Perspective},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {143--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_10},
doi = {10.1007/978-3-540-73859-6\_10},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BezhanishviliK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GhaniK07,
author = {Neil Ghani and
Alexander Kurz},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Higher Dimensional Trees, Algebraically},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {226--241},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_16},
doi = {10.1007/978-3-540-73859-6\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/GhaniK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzR07,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {The Goldblatt-Thomason Theorem for Coalgebras},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {342--355},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_23},
doi = {10.1007/978-3-540-73859-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KurzR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonsangueK07,
author = {Marcello M. Bonsangue and
Alexander Kurz},
title = {Pi-Calculus in Logical Form},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.36},
doi = {10.1109/LICS.2007.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonsangueK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kurz06,
author = {Alexander Kurz},
title = {Coalgebras and their logics},
journal = {{SIGACT} News},
volume = {37},
number = {2},
pages = {57--77},
year = {2006},
url = {https://doi.org/10.1145/1140612.1140628},
doi = {10.1145/1140612.1140628},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Kurz06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueK06,
author = {Marcello M. Bonsangue and
Alexander Kurz},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Presenting Functors by Operations and Equations},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {172--186},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_12},
doi = {10.1007/11690634\_12},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BonsangueK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605128,
author = {Alexander Kurz},
title = {Logic Column 15: Coalgebras and Their Logics},
journal = {CoRR},
volume = {abs/cs/0605128},
year = {2006},
url = {http://arxiv.org/abs/cs/0605128},
eprinttype = {arXiv},
eprint = {cs/0605128},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/KurzR05,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Weak Factorizations, Fractions and Homotopies},
journal = {Appl. Categorical Struct.},
volume = {13},
number = {2},
pages = {141--160},
year = {2005},
url = {https://doi.org/10.1007/s10485-004-6730-z},
doi = {10.1007/S10485-004-6730-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/KurzR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KurzR05,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
title = {Operations and equations for coalgebras},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {1},
pages = {149--166},
year = {2005},
url = {https://doi.org/10.1017/S0960129504004402},
doi = {10.1017/S0960129504004402},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KurzR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KurzP05,
author = {Alexander Kurz and
Dirk Pattinson},
title = {Coalgebraic modal logic of finite rank},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {3},
pages = {453--473},
year = {2005},
url = {https://doi.org/10.1017/S0960129505004755},
doi = {10.1017/S0960129505004755},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KurzP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KupkeKP05,
author = {Clemens Kupke and
Alexander Kurz and
Dirk Pattinson},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Neil Harman and
Markus Roggenbach and
Jan J. M. M. Rutten},
title = {Ultrafilter Extensions for Coalgebras},
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 = {263--277},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11548133\_17},
doi = {10.1007/11548133\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KupkeKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonsangueK05,
author = {Marcello M. Bonsangue and
Alexander Kurz},
editor = {Vladimiro Sassone},
title = {Duality for Logics of Transition Systems},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {455--469},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_29},
doi = {10.1007/978-3-540-31982-5\_29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BonsangueK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KupkeKV04,
author = {Clemens Kupke and
Alexander Kurz and
Yde Venema},
title = {Stone coalgebras},
journal = {Theor. Comput. Sci.},
volume = {327},
number = {1-2},
pages = {109--134},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.023},
doi = {10.1016/J.TCS.2004.07.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KupkeKV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KupkeKP04,
author = {Clemens Kupke and
Alexander Kurz and
Dirk Pattinson},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Algebraic Semantics for Coalgebraic Logics},
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 = {219--241},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.037},
doi = {10.1016/J.ENTCS.2004.02.037},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KupkeKP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP04,
author = {Alexander Kurz and
Alessandra Palmigiano},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {Coalgebras and Modal Expansions of Logics},
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 = {243--259},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.010},
doi = {10.1016/J.ENTCS.2004.05.010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2003,
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/100/suppl/C},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BidoitHK03,
author = {Michel Bidoit and
Rolf Hennicker and
Alexander Kurz},
title = {Observational logic, constructor-based logic, and their duality},
journal = {Theor. Comput. Sci.},
volume = {298},
number = {3},
pages = {471--510},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00865-4},
doi = {10.1016/S0304-3975(02)00865-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BidoitHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HildebrandtK04,
author = {Thomas T. Hildebrandt and
Alexander Kurz},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Preface},
booktitle = {Combined Proceedings of the Second Workshop on Categorical Methods
for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
Fifth Workshop on Geometric and Topological Methods in Concurrency,
{GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
September 6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {3},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.09.002},
doi = {10.1016/J.ENTCS.2004.09.002},
timestamp = {Thu, 08 Dec 2022 22:54:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HildebrandtK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KupkeKV03,
author = {Clemens Kupke and
Alexander Kurz and
Yde Venema},
editor = {H. Peter Gumm},
title = {Stone Coalgebras},
booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {1},
pages = {170--190},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80638-8},
doi = {10.1016/S1571-0661(04)80638-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KupkeKV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KurzH02,
author = {Alexander Kurz and
Rolf Hennicker},
title = {On institutions for modular coalgebraic specifications},
journal = {Theor. Comput. Sci.},
volume = {280},
number = {1-2},
pages = {69--103},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00021-4},
doi = {10.1016/S0304-3975(01)00021-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KurzH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kurz02,
author = {Alexander Kurz},
editor = {Mogens Nielsen and
Uffe Engberg},
title = {Logics Admitting Final Semantics},
booktitle = {Foundations of Software Science and Computation Structures, 5th International
Conference, {FOSSACS} 2002. Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2002 Grenoble, France,
April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2303},
pages = {238--249},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45931-6\_17},
doi = {10.1007/3-540-45931-6\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Kurz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Kurz02,
author = {Alexander Kurz},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Notions of Behaviour and Reachable-Part and Their Institutions},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {312--327},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_18},
doi = {10.1007/978-3-540-40020-2\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wadt/Kurz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kurz02,
author = {Alexander Kurz},
editor = {Alexander Kurz},
title = {Preface},
booktitle = {Categorical Methods for Concurrency, Interaction, and Mobility 2002,
{CONCUR} 2002 Satellite Workshop, Brno, Czech Republic, August 24,
2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {1},
pages = {86},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80502-X},
doi = {10.1016/S1571-0661(05)80502-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kurz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP02,
author = {Alexander Kurz and
Dirk Pattinson},
editor = {Lawrence S. Moss},
title = {Definability, Canonical Models, and Compactness for Finitary Coalgebraic
Modal Logic},
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 = {135--155},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80363-3},
doi = {10.1016/S1571-0661(04)80363-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzR02,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
editor = {Lawrence S. Moss},
title = {Modal Predicates and Co-equations},
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 = {156--175},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80364-5},
doi = {10.1016/S1571-0661(04)80364-5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2002cmcim,
editor = {Alexander Kurz},
title = {Categorical Methods for Concurrency, Interaction, and Mobility 2002,
{CONCUR} 2002 Satellite Workshop, Brno, Czech Republic, August 24,
2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {1},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2002cmcim.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kurz01,
author = {Alexander Kurz},
title = {Specifying coalgebras with modal logic},
journal = {Theor. Comput. Sci.},
volume = {260},
number = {1-2},
pages = {119--138},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00125-0},
doi = {10.1016/S0304-3975(00)00125-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kurz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BidoitHK01,
author = {Michel Bidoit and
Rolf Hennicker and
Alexander Kurz},
editor = {Furio Honsell and
Marino Miculan},
title = {On the Duality between Observability and Reachability},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {72--87},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_5},
doi = {10.1007/3-540-45315-6\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BidoitHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kurz01,
author = {Alexander Kurz},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Modal Rules are Co-Implications},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {241--253},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80911-3},
doi = {10.1016/S1571-0661(04)80911-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kurz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KurzP00,
author = {Alexander Kurz and
Dirk Pattinson},
editor = {Horst Reichel},
title = {Notes on Coalgebras, Cofibrations and Concurrency},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2000, Berlin, Germany,
March 25-26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {33},
pages = {196--229},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80349-4},
doi = {10.1016/S1571-0661(05)80349-4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KurzP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HennickerK99,
author = {Rolf Hennicker and
Alexander Kurz},
editor = {Bart Jacobs and
Jan J. M. M. Rutten},
title = {(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
Netherlands, March 20-21, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {19},
pages = {164--180},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80275-0},
doi = {10.1016/S1571-0661(05)80275-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HennickerK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Kurz98,
author = {Alexander Kurz},
editor = {Michael Zakharyaschev and
Krister Segerberg and
Maarten de Rijke and
Heinrich Wansing},
title = {A Co-Variety-Theorem for Modal Logic},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on "Advances
in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
pages = {367--380},
publisher = {{CSLI} Publications},
year = {1998},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Kurz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kurz98,
author = {Alexander Kurz},
editor = {Bart Jacobs and
Larry Moss and
Horst Reichel and
Jan J. M. M. Rutten},
title = {Specifying Coalgebras with Modal Logic},
booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
1998, Lisbon, Portugal, March 28-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {11},
pages = {56--70},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00053-2},
doi = {10.1016/S1571-0661(04)00053-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kurz98.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-05-02 23:59 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:
