Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Clemens Kupke
@inproceedings{DBLP:conf/aplas/KupkeFW23,
author = {Clemens Kupke and
Fredrik Nordvall Forsberg and
Sean Watters},
editor = {Chung{-}Kil Hur},
title = {A Fresh Look at Commutativity: Free Algebraic Structures via Fresh
Lists},
booktitle = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14405},
pages = {135--154},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8311-7\_7},
doi = {10.1007/978-981-99-8311-7\_7},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/KupkeFW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/TurkenburgBKR23,
author = {Ruben Turkenburg and
Harsh Beohar and
Clemens Kupke and
Jurriaan Rot},
editor = {Paolo Baldan and
Valeria de Paiva},
title = {Forward and Backward Steps in a Fibration},
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 = {6:1--6:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2023.6},
doi = {10.4230/LIPICS.CALCO.2023.6},
timestamp = {Mon, 04 Sep 2023 17:05:19 +0200},
biburl = {https://dblp.org/rec/conf/calco/TurkenburgBKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CirsteaK23,
author = {Corina C{\^{\i}}rstea and
Clemens Kupke},
editor = {Bartek Klin and
Elaine Pimentel},
title = {Measure-Theoretic Semantics for Quantitative Parity Automata},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {14:1--14:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.14},
doi = {10.4230/LIPICS.CSL.2023.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/CirsteaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/TurkenburgKRS23,
author = {Ruben Turkenburg and
Clemens Kupke and
Jurriaan Rot and
Ezra Schoen},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {Preservation and Reflection of Bisimilarity via Invertible Steps},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {328--348},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_16},
doi = {10.1007/978-3-031-30829-1\_16},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/TurkenburgKRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-02065,
author = {Ezra Schoen and
Jade Master and
Clemens Kupke},
title = {Beyond Initial Algebras and Final Coalgebras},
journal = {CoRR},
volume = {abs/2303.02065},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.02065},
doi = {10.48550/ARXIV.2303.02065},
eprinttype = {arXiv},
eprint = {2303.02065},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-02065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-03445,
author = {Ezra Schoen and
Jade Master and
Clemens Kupke},
title = {Relative fixed points of functors},
journal = {CoRR},
volume = {abs/2310.03445},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.03445},
doi = {10.48550/ARXIV.2310.03445},
eprinttype = {arXiv},
eprint = {2310.03445},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-03445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KupkePS22,
author = {Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal
Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {2},
pages = {11:1--11:34},
year = {2022},
url = {https://doi.org/10.1145/3501300},
doi = {10.1145/3501300},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/KupkePS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KupkeMV22,
author = {Clemens Kupke and
Johannes Marti and
Yde Venema},
editor = {Florin Manea and
Alex Simpson},
title = {Succinct Graph Representations of {\(\mu\)}-Calculus Formulas},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {29:1--29:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.29},
doi = {10.4230/LIPICS.CSL.2022.29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/KupkeMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KupkeMV22,
author = {Clemens Kupke and
Johannes Marti and
Yde Venema},
editor = {Christel Baier and
Dana Fisman},
title = {Size measures and alphabetic equivalence in the {\(\mu\)}-calculus},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {18:1--18:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533339},
doi = {10.1145/3531130.3533339},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KupkeMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GottlobHKL21,
author = {Georg Gottlob and
Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz},
title = {Stable Model Semantics for Guarded Existential Rules and Description
Logics: Decidability and Complexity},
journal = {J. {ACM}},
volume = {68},
number = {5},
pages = {35:1--35:87},
year = {2021},
url = {https://doi.org/10.1145/3447508},
doi = {10.1145/3447508},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GottlobHKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KupkeR21,
author = {Clemens Kupke and
Jurriaan Rot},
title = {Expressive Logics for Coinductive Predicates},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:19)2021},
doi = {10.46298/LMCS-17(4:19)2021},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KupkeR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KomoridaKKRH21,
author = {Yuichi Komorida and
Shin{-}ya Katsumata and
Clemens Kupke and
Jurriaan Rot and
Ichiro Hasuo},
title = {Expressivity of Quantitative Modal Logics : Categorical Foundations
via Codensity and Approximation},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470656},
doi = {10.1109/LICS52264.2021.9470656},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KomoridaKKRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08310,
author = {Clemens Kupke and
Johannes Marti and
Yde Venema},
editor = {Pierre Ganty and
Davide Bresolin},
title = {On the size of disjunctive formulas in the {\(\mu\)}-calculus},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {291--307},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.19},
doi = {10.4204/EPTCS.346.19},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10164,
author = {Yuichi Komorida and
Shin{-}ya Katsumata and
Clemens Kupke and
Jurriaan Rot and
Ichiro Hasuo},
title = {Expressivity of Quantitative Modal Logics: Categorical Foundations
via Codensity and Approximation},
journal = {CoRR},
volume = {abs/2105.10164},
year = {2021},
url = {https://arxiv.org/abs/2105.10164},
eprinttype = {arXiv},
eprint = {2105.10164},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10164.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KupkeR20,
author = {Clemens Kupke and
Jurriaan Rot},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Expressive Logics for Coinductive Predicates},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {26:1--26:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.26},
doi = {10.4230/LIPICS.CSL.2020.26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/KupkeR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HeerdtKR020,
author = {Gerco van Heerdt and
Clemens Kupke and
Jurriaan Rot and
Alexandra Silva},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Learning Weighted Automata over Principal Ideal Domains},
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 = {602--621},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_31},
doi = {10.1007/978-3-030-45231-5\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/HeerdtKR020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2101-12045,
author = {Robert Atkey and
Bruno Gavranovic and
Neil Ghani and
Clemens Kupke and
J{\'{e}}r{\'{e}}my Ledent and
Fredrik Nordvall Forsberg},
editor = {David I. Spivak and
Jamie Vicary},
title = {Compositional Game Theory, Compositionally},
booktitle = {Proceedings of the 3rd Annual International Applied Category Theory
Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
series = {{EPTCS}},
volume = {333},
pages = {198--214},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.333.14},
doi = {10.4204/EPTCS.333.14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11551,
author = {Nick Bezhanishvili and
Marcello M. Bonsangue and
Helle Hvid Hansen and
Dexter Kozen and
Clemens Kupke and
Prakash Panangaden and
Alexandra Silva},
title = {Minimisation in Logical Form},
journal = {CoRR},
volume = {abs/2005.11551},
year = {2020},
url = {https://arxiv.org/abs/2005.11551},
eprinttype = {arXiv},
eprint = {2005.11551},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-12465,
author = {Clemens Kupke and
Jurriaan Rot},
title = {Expressive Logics for Coinductive Predicates},
journal = {CoRR},
volume = {abs/2006.12465},
year = {2020},
url = {https://arxiv.org/abs/2006.12465},
eprinttype = {arXiv},
eprint = {2006.12465},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-12465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-00971,
author = {Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal
Logics},
journal = {CoRR},
volume = {abs/2009.00971},
year = {2020},
url = {https://arxiv.org/abs/2009.00971},
eprinttype = {arXiv},
eprint = {2009.00971},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-00971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14430,
author = {Clemens Kupke and
Johannes Marti and
Yde Venema},
title = {Size matters in the modal {\(\mu\)}-calculus},
journal = {CoRR},
volume = {abs/2010.14430},
year = {2020},
url = {https://arxiv.org/abs/2010.14430},
eprinttype = {arXiv},
eprint = {2010.14430},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BarloccoKR19,
author = {Simone Barlocco and
Clemens Kupke and
Jurriaan Rot},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Coalgebra Learning via Duality},
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 = {62--79},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_4},
doi = {10.1007/978-3-030-17127-8\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BarloccoKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EnqvistHKMV19,
author = {Sebastian Enqvist and
Helle Hvid Hansen and
Clemens Kupke and
Johannes Marti and
Yde Venema},
title = {Completeness for Game Logic},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785676},
doi = {10.1109/LICS.2019.8785676},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/EnqvistHKMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-06831,
author = {Neil Ghani and
Clemens Kupke and
Alasdair Lambert and
Fredrik Nordvall Forsberg},
editor = {John Baez and
Bob Coecke},
title = {Compositional Game Theory with Mixed Strategies: Probabilistic Open
Games Using a Distributive Law},
booktitle = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
Oxford, UK, 15-19 July 2019},
series = {{EPTCS}},
volume = {323},
pages = {95--105},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.323.7},
doi = {10.4204/EPTCS.323.7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-06831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05762,
author = {Simone Barlocco and
Clemens Kupke and
Jurriaan Rot},
title = {Coalgebra Learning via Duality},
journal = {CoRR},
volume = {abs/1902.05762},
year = {2019},
url = {http://arxiv.org/abs/1902.05762},
eprinttype = {arXiv},
eprint = {1902.05762},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07691,
author = {Sebastian Enqvist and
Helle Hvid Hansen and
Clemens Kupke and
Johannes Marti and
Yde Venema},
title = {Completeness for Game Logic},
journal = {CoRR},
volume = {abs/1904.07691},
year = {2019},
url = {http://arxiv.org/abs/1904.07691},
eprinttype = {arXiv},
eprint = {1904.07691},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04404,
author = {Gerco van Heerdt and
Clemens Kupke and
Jurriaan Rot and
Alexandra Silva},
title = {Learning Weighted Automata over Principal Ideal Domains},
journal = {CoRR},
volume = {abs/1911.04404},
year = {2019},
url = {http://arxiv.org/abs/1911.04404},
eprinttype = {arXiv},
eprint = {1911.04404},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GhaniKLF18,
author = {Neil Ghani and
Clemens Kupke and
Alasdair Lambert and
Fredrik Nordvall Forsberg},
title = {A compositional treatment of iterated open games},
journal = {Theor. Comput. Sci.},
volume = {741},
pages = {48--57},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.05.026},
doi = {10.1016/J.TCS.2018.05.026},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GhaniKLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Kupke18,
author = {Clemens Kupke},
editor = {Corina C{\^{\i}}rstea},
title = {Coalgebraic Logics {\&} Duality},
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 = {6--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_2},
doi = {10.1007/978-3-030-00389-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/Kupke18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BarloccoK18,
author = {Simone Barlocco and
Clemens Kupke},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Angluin Learning via Logic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {72--90},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_5},
doi = {10.1007/978-3-319-72056-2\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/BarloccoK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HansenKR16,
author = {Helle Hvid Hansen and
Clemens Kupke and
Jan Rutten},
title = {Stream Differential Equations: Specification Formats and Solution
Methods},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:3)2017},
doi = {10.23638/LMCS-13(1:3)2017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HansenKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HansenKMV17,
author = {Helle Hvid Hansen and
Clemens Kupke and
Johannes Marti and
Yde Venema},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Parity Games and Automata for Game Logic},
booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,
{DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10669},
pages = {115--132},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_8},
doi = {10.1007/978-3-319-73579-5\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/HansenKMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-00777,
author = {Helle Hvid Hansen and
Clemens Kupke and
Johannes Marti and
Yde Venema},
title = {Parity Games and Automata for Game Logic (Extended Version)},
journal = {CoRR},
volume = {abs/1709.00777},
year = {2017},
url = {http://arxiv.org/abs/1709.00777},
eprinttype = {arXiv},
eprint = {1709.00777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-07968,
author = {Neil Ghani and
Clemens Kupke and
Alasdair Lambert and
Fredrik Nordvall Forsberg},
title = {A Compositional Treatment of Iterated Open Games},
journal = {CoRR},
volume = {abs/1711.07968},
year = {2017},
url = {http://arxiv.org/abs/1711.07968},
eprinttype = {arXiv},
eprint = {1711.07968},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-07968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BezhanishviliK16,
author = {Nick Bezhanishvili and
Clemens Kupke},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Games for Topological Fixpoint Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {46--60},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.4},
doi = {10.4204/EPTCS.226.4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BezhanishviliK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KupkePS15,
author = {Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Reasoning with Global Assumptions in Arithmetic Modal Logics},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
pages = {367--380},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9\_28},
doi = {10.1007/978-3-319-22177-9\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/KupkePS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HansenK15,
author = {Helle Hvid Hansen and
Clemens Kupke},
editor = {Ralph Matthes and
Matteo Mio},
title = {Weak Completeness of Coalgebraic Dynamic Logics},
booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer
Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
series = {{EPTCS}},
volume = {191},
pages = {90--104},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.191.9},
doi = {10.4204/EPTCS.191.9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HansenK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tbillc/2013,
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46906-4},
doi = {10.1007/978-3-662-46906-4},
isbn = {978-3-662-46905-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HansenKRW14,
author = {Helle Hvid Hansen and
Clemens Kupke and
Jan Rutten and
Joost Winter},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {A Final Coalgebra for k-regular Sequences},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {363--383},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_19},
doi = {10.1007/978-3-319-06880-0\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HansenKRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/HansenKL14,
author = {Helle Hvid Hansen and
Clemens Kupke and
Raul Andres Leal},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics},
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 = {281--295},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_22},
doi = {10.1007/978-3-662-44602-7\_22},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/HansenKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GottlobHKL14,
author = {Georg Gottlob and
Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Stable Model Semantics for Guarded Existential Rules and Description
Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8011},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/GottlobHKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauHKKMMW14,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
title = {Acyclicity Notions for Existential Rules and Their Application to
Query Answering in Ontologies},
journal = {CoRR},
volume = {abs/1406.4110},
year = {2014},
url = {http://arxiv.org/abs/1406.4110},
eprinttype = {arXiv},
eprint = {1406.4110},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrauHKKMMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKKMMW13,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
title = {Acyclicity Notions for Existential Rules and Their Application to
Query Answering in Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {47},
pages = {741--808},
year = {2013},
url = {https://doi.org/10.1613/jair.3949},
doi = {10.1613/JAIR.3949},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GrauHKKMMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HernichKLG13,
author = {Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz and
Georg Gottlob},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Well-Founded Semantics for Extended Datalog and Ontological Reasoning},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {209--220},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_78.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HernichKLG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HernichKLG13,
author = {Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz and
Georg Gottlob},
editor = {Richard Hull and
Wenfei Fan},
title = {Well-founded semantics for extended datalog and ontological reasoning},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {225--236},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465229},
doi = {10.1145/2463664.2465229},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HernichKLG13.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}
}
@inproceedings{DBLP:conf/aaai/GottlobHKL12,
author = {Georg Gottlob and
Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Equality-Friendly Well-Founded Semantics and Applications to Description
Logics},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {757--764},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8227},
doi = {10.1609/AAAI.V26I1.8227},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GottlobHKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KupkeR12,
author = {Clemens Kupke and
Jan J. M. M. Rutten},
editor = {Robert L. Constable and
Alexandra Silva},
title = {On the Final Coalgebra of Automatic Sequences},
booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7230},
pages = {149--164},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29485-3\_10},
doi = {10.1007/978-3-642-29485-3\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KupkeR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GottlobHKL12,
author = {Georg Gottlob and
Andr{\'{e}} Hernich and
Clemens Kupke and
Thomas Lukasiewicz},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Equality-Friendly Well-Founded Semantics and Applications to Description
Logics},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GottlobHKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauHKKMMW12,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Acyclicity Conditions and their Application to Query Answering in
Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GrauHKKMMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BezhanishviliKP12,
author = {Nick Bezhanishvili and
Clemens Kupke and
Prakash Panangaden},
editor = {C.{-}H. Luke Ong and
Ruy J. G. B. de Queiroz},
title = {Minimization via Duality},
booktitle = {Logic, Language, Information and Computation - 19th International
Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7456},
pages = {191--205},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32621-9\_14},
doi = {10.1007/978-3-642-32621-9\_14},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/BezhanishviliKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2246,
author = {Corina C{\^{\i}}rstea and
Clemens Kupke and
Dirk Pattinson},
title = {{EXPTIME} Tableaux for the Coalgebraic mu-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(3:3)2011},
doi = {10.2168/LMCS-7(3:3)2011},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KupkeP11,
author = {Clemens Kupke and
Dirk Pattinson},
title = {Coalgebraic semantics of modal logics: An overview},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {38},
pages = {5070--5094},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.023},
doi = {10.1016/J.TCS.2011.04.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KupkeP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AdamekK10,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Preface},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1305},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.05.001},
doi = {10.1016/J.IC.2010.05.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AdamekK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KupkeR10,
author = {Clemens Kupke and
Jan J. M. M. Rutten},
title = {Complete sets of cooperations},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1398--1420},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.10.009},
doi = {10.1016/J.IC.2009.10.009},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KupkeR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KupkeP10,
author = {Clemens Kupke and
Dirk Pattinson},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {On Modal Logics of Linear Inequalities},
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 = {235--255},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Kupke-Pattinson.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KupkeP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GoreKPS10,
author = {Rajeev Gor{\'{e}} and
Clemens Kupke and
Dirk Pattinson and
Lutz Schr{\"{o}}der},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Global Caching for Coalgebraic Description Logics},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {46--60},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_5},
doi = {10.1007/978-3-642-14203-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/GoreKPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GoreKP10,
author = {Rajeev Gor{\'{e}} and
Clemens Kupke and
Dirk Pattinson},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Optimal Tableau Algorithms for Coalgebraic Logics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 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 = {6015},
pages = {114--128},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_9},
doi = {10.1007/978-3-642-12002-2\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GoreKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-4430,
author = {Helle Hvid Hansen and
Clemens Kupke and
Eric Pacuit},
title = {Neighbourhood Structures: Bisimilarity and Basic Model Theory},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0901.4430},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-4430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KupkeL09,
author = {Clemens Kupke and
Raul Andres Leal},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Characterising Behavioural Equivalence: Three Sides of One Coin},
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 = {97--112},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_8},
doi = {10.1007/978-3-642-03741-2\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KupkeL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CirsteaKP09,
author = {Corina C{\^{\i}}rstea and
Clemens Kupke and
Dirk Pattinson},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {{EXPTIME} Tableaux for the Coalgebraic \emph{{\(\mathrm{\mu}\)}}-Calculus},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {179--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_15},
doi = {10.1007/978-3-642-04027-6\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/CirsteaKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchroderPK09,
author = {Lutz Schr{\"{o}}der and
Dirk Pattinson and
Clemens Kupke},
editor = {Craig Boutilier},
title = {Nominals for Everyone},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {917--922},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/156.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchroderPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KupkeV08,
author = {Clemens Kupke and
Yde Venema},
title = {Coalgebraic Automata Theory: Basic Results},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:10)2008},
doi = {10.2168/LMCS-4(4:10)2008},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KupkeV08.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:journals/entcs/AdamekK08,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Preface},
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 = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.016},
doi = {10.1016/J.ENTCS.2008.05.016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AdamekK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KupkeR08,
author = {Clemens Kupke and
Jan J. M. M. Rutten},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {Observational Coalgebras and Complete Sets of Co-operations},
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 = {153--174},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.024},
doi = {10.1016/J.ENTCS.2008.05.024},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KupkeR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2008,
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {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},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/203/issue/5},
timestamp = {Thu, 16 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmcs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1976,
author = {Clemens Kupke and
Yde Venema},
title = {Coalgebraic Automata Theory: Basic Results},
journal = {CoRR},
volume = {abs/0811.1976},
year = {2008},
url = {http://arxiv.org/abs/0811.1976},
eprinttype = {arXiv},
eprint = {0811.1976},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HansenKP07,
author = {Helle Hvid Hansen and
Clemens Kupke and
Eric Pacuit},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bisimulation for Neighbourhood Structures},
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 = {279--293},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_19},
doi = {10.1007/978-3-540-73859-6\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/HansenKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Kupke07,
author = {Clemens Kupke},
editor = {Peter Bosch and
David Gabelaia and
J{\'{e}}r{\^{o}}me Lang},
title = {Terminal Sequence Induction via Games},
booktitle = {Logic, Language, and Computation, 7th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia,
October 1-5, 2007. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5422},
pages = {257--271},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-00665-4\_21},
doi = {10.1007/978-3-642-00665-4\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tbillc/Kupke07.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/lics/KupkeV05,
author = {Clemens Kupke and
Yde Venema},
title = {Closure Properties of Coalgebra Automata},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.10},
doi = {10.1109/LICS.2005.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KupkeV05.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/HansenK04,
author = {Helle Hvid Hansen and
Clemens Kupke},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius},
title = {A Coalgebraic Perspective on Monotone Modal Logic},
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 = {121--143},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.028},
doi = {10.1016/J.ENTCS.2004.02.028},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HansenK04.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/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}
}
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-25 05:54 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:
