default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tobias Kappé
@article{DBLP:journals/pacmpl/MohanLFKK23,
author = {Anshuman Mohan and
Yunhe Liu and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen},
title = {Formal Abstractions for Packet Scheduling},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1338--1362},
year = {2023},
url = {https://doi.org/10.1145/3622845},
doi = {10.1145/3622845},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MohanLFKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Kappe23,
author = {Tobias Kapp{\'{e}}},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {Completeness and the Finite Model Property for Kleene Algebra, Reconsidered},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {158--175},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_10},
doi = {10.1007/978-3-031-28083-2\_10},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Kappe23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SchmidKS23,
author = {Todd Schmid and
Tobias Kapp{\'{e}} and
Alexandra Silva},
editor = {Thomas Wies},
title = {A Complete Inference System for Skip-free Guarded Kleene Algebra with
Tests},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 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 = {13990},
pages = {309--336},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_12},
doi = {10.1007/978-3-031-30044-8\_12},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/SchmidKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozowskiKKS023,
author = {Wojciech Rozowski and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Todd Schmid and
Alexandra Silva},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and
Complexity},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {136:1--136:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.136},
doi = {10.4230/LIPICS.ICALP.2023.136},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RozowskiKKS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11301,
author = {Todd Schmid and
Tobias Kapp{\'{e}} and
Alexandra Silva},
title = {A Complete Inference System for Skip-free Guarded Kleene Algebra with
Tests},
journal = {CoRR},
volume = {abs/2301.11301},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11301},
doi = {10.48550/ARXIV.2301.11301},
eprinttype = {arXiv},
eprint = {2301.11301},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01755,
author = {Wojciech Rozowski and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Todd Schmid and
Alexandra Silva},
title = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and
Complexity},
journal = {CoRR},
volume = {abs/2305.01755},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01755},
doi = {10.48550/ARXIV.2305.01755},
eprinttype = {arXiv},
eprint = {2305.01755},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01755.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/HeerdtKRSS22,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Matteo Sammartino and
Alexandra Silva},
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {A Categorical Framework for Learning Generalised Tree Automata},
booktitle = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
pages = {67--87},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8\_4},
doi = {10.1007/978-3-031-10736-8\_4},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/HeerdtKRSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/WagemakerFKKRS22,
author = {Jana Wagemaker and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Jurriaan Rot and
Alexandra Silva},
editor = {Ilya Sergey},
title = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {575--602},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_21},
doi = {10.1007/978-3-030-99336-8\_21},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/WagemakerFKKRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DoengesKSFM22,
author = {Ryan Doenges and
Tobias Kapp{\'{e}} and
John Sarracino and
Nate Foster and
Greg Morrisett},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Leapfrog: certified equivalence for protocol parsers},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {950--965},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523715},
doi = {10.1145/3519939.3523715},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DoengesKSFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10485,
author = {Jana Wagemaker and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Jurriaan Rot and
Alexandra Silva},
title = {Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks},
journal = {CoRR},
volume = {abs/2201.10485},
year = {2022},
url = {https://arxiv.org/abs/2201.10485},
eprinttype = {arXiv},
eprint = {2201.10485},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08762,
author = {Ryan Doenges and
Tobias Kapp{\'{e}} and
John Sarracino and
Nate Foster and
Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
journal = {CoRR},
volume = {abs/2205.08762},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08762},
doi = {10.48550/ARXIV.2205.08762},
eprinttype = {arXiv},
eprint = {2205.08762},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11659,
author = {Anshuman Mohan and
Yunhe Liu and
Nate Foster and
Tobias Kapp{\'{e}} and
Dexter Kozen},
title = {Formal Abstractions for Packet Scheduling},
journal = {CoRR},
volume = {abs/2211.11659},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.11659},
doi = {10.48550/ARXIV.2211.11659},
eprinttype = {arXiv},
eprint = {2211.11659},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10931,
author = {Tobias Kapp{\'{e}}},
title = {Completeness and the Finite Model Property for Kleene Algebra, Reconsidered},
journal = {CoRR},
volume = {abs/2212.10931},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.10931},
doi = {10.48550/ARXIV.2212.10931},
eprinttype = {arXiv},
eprint = {2212.10931},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-10931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KappeBLSZ21,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Equivalence checking for weak bi-Kleene algebra},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:19)2021},
doi = {10.46298/LMCS-17(3:19)2021},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KappeBLSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HeerdtKR021,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Learning Pomset Automata},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {510--530},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_26},
doi = {10.1007/978-3-030-71995-1\_26},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HeerdtKR021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SchmidKK021,
author = {Todd Schmid and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {142:1--142:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.142},
doi = {10.4230/LIPICS.ICALP.2021.142},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SchmidKK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07504,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
title = {Learning Pomset Automata},
journal = {CoRR},
volume = {abs/2102.07504},
year = {2021},
url = {https://arxiv.org/abs/2102.07504},
eprinttype = {arXiv},
eprint = {2102.07504},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08286,
author = {Todd Schmid and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
title = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
journal = {CoRR},
volume = {abs/2102.08286},
year = {2021},
url = {https://arxiv.org/abs/2102.08286},
eprinttype = {arXiv},
eprint = {2102.08286},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Kappe20,
author = {Tobias Kapp{\'{e}}},
title = {Concurrent Kleene Algebra: completeness and decidability},
school = {University College London, {UK}},
year = {2020},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.819818},
timestamp = {Wed, 14 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/ethos/Kappe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmolkaFHKKS20,
author = {Steffen Smolka and
Nate Foster and
Justin Hsu and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
title = {Guarded Kleene algebra with tests: verification of uninterpreted programs
in nearly linear time},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {61:1--61:28},
year = {2020},
url = {https://doi.org/10.1145/3371129},
doi = {10.1145/3371129},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WagemakerBDKR020,
author = {Jana Wagemaker and
Paul Brunet and
Simon Docherty and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Partially Observable Concurrent Kleene Algebra},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {20:1--20:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.20},
doi = {10.4230/LIPICS.CONCUR.2020.20},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/WagemakerBDKR020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KappeB0WZ20,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness},
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 = {381--400},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_20},
doi = {10.1007/978-3-030-45231-5\_20},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KappeB0WZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05786,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Matteo Sammartino and
Alexandra Silva},
title = {A Categorical Framework for Learning Generalised Tree Automata},
journal = {CoRR},
volume = {abs/2001.05786},
year = {2020},
url = {https://arxiv.org/abs/2001.05786},
eprinttype = {arXiv},
eprint = {2001.05786},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09682,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
title = {Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness},
journal = {CoRR},
volume = {abs/2002.09682},
year = {2020},
url = {https://arxiv.org/abs/2002.09682},
eprinttype = {arXiv},
eprint = {2002.09682},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07593,
author = {Jana Wagemaker and
Paul Brunet and
Simon Docherty and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
title = {Partially Observable Concurrent Kleene Algebra},
journal = {CoRR},
volume = {abs/2007.07593},
year = {2020},
url = {https://arxiv.org/abs/2007.07593},
eprinttype = {arXiv},
eprint = {2007.07593},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07593.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KappeBLSZ19,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {On series-parallel pomset languages: Rationality, context-freeness
and automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {103},
pages = {130--153},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.12.001},
doi = {10.1016/J.JLAMP.2018.12.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KappeBLSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KappeLAT19,
author = {Tobias Kapp{\'{e}} and
Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Soft component automata: Composition, compilation, logic, and verification},
journal = {Sci. Comput. Program.},
volume = {183},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.08.001},
doi = {10.1016/J.SCICO.2019.08.001},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KappeLAT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HeerdtKRS019,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Matteo Sammartino and
Alexandra Silva},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Tree Automata as Algebras: Minimisation and Determinisation},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {6:1--6:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.6},
doi = {10.4230/LIPICS.CALCO.2019.6},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/HeerdtKRS019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBRSWZ19,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Jurriaan Rot and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Kleene Algebra with Observations},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {41:1--41:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.41},
doi = {10.4230/LIPICS.CONCUR.2019.41},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KappeBRSWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WagemakerBKR019,
author = {Jana Wagemaker and
Marcello M. Bonsangue and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
editor = {Graham Hutton},
title = {Completeness and Incompleteness of Synchronous Kleene Algebra},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {385--413},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_14},
doi = {10.1007/978-3-030-33636-3\_14},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/WagemakerBKR019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08802,
author = {Gerco van Heerdt and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Matteo Sammartino and
Alexandra Silva},
title = {Tree Automata as Algebras: Minimisation and Determinisation},
journal = {CoRR},
volume = {abs/1904.08802},
year = {2019},
url = {http://arxiv.org/abs/1904.08802},
eprinttype = {arXiv},
eprint = {1904.08802},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08554,
author = {Jana Wagemaker and
Marcello M. Bonsangue and
Tobias Kapp{\'{e}} and
Jurriaan Rot and
Alexandra Silva},
title = {Completeness and Incompleteness of Synchronous Kleene Algebra},
journal = {CoRR},
volume = {abs/1905.08554},
year = {2019},
url = {http://arxiv.org/abs/1905.08554},
eprinttype = {arXiv},
eprint = {1905.08554},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05920,
author = {Steffen Smolka and
Nate Foster and
Justin Hsu and
Tobias Kapp{\'{e}} and
Dexter Kozen and
Alexandra Silva},
title = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs
in Nearly Linear Time},
journal = {CoRR},
volume = {abs/1907.05920},
year = {2019},
url = {http://arxiv.org/abs/1907.05920},
eprinttype = {arXiv},
eprint = {1907.05920},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05920.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HeerdtJK018,
author = {Gerco van Heerdt and
Bart Jacobs and
Tobias Kapp{\'{e}} and
Alexandra Silva},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {Learning to Coordinate},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {139--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6\_10},
doi = {10.1007/978-3-319-90089-6\_10},
timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HeerdtJK018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KappeB0Z18,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Fabio Zanasi},
editor = {Amal Ahmed},
title = {Concurrent Kleene Algebra: Free Model and Completeness},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {856--882},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_30},
doi = {10.1007/978-3-319-89884-1\_30},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/KappeB0Z18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/KanazawaK18,
author = {Makoto Kanazawa and
Tobias Kapp{\'{e}}},
editor = {Olgierd Unold and
Witold Dyrka and
Wojciech Wieczorek},
title = {Decision problems for Clark-congruential languages},
booktitle = {Proceedings of the 14th International Conference on Grammatical Inference,
{ICGI} 2018, Wroc{\l}aw, Poland, September 5-7, 2018},
series = {Proceedings of Machine Learning Research},
volume = {93},
pages = {3--16},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v93/kanazawa19a.html},
timestamp = {Wed, 03 Apr 2019 18:17:25 +0200},
biburl = {https://dblp.org/rec/conf/icgi/KanazawaK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04402,
author = {Makoto Kanazawa and
Tobias Kapp{\'{e}}},
title = {Decision problems for Clark-congruential languages},
journal = {CoRR},
volume = {abs/1805.04402},
year = {2018},
url = {http://arxiv.org/abs/1805.04402},
eprinttype = {arXiv},
eprint = {1805.04402},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02102,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Equivalence checking for weak bi-Kleene algebra},
journal = {CoRR},
volume = {abs/1807.02102},
year = {2018},
url = {http://arxiv.org/abs/1807.02102},
eprinttype = {arXiv},
eprint = {1807.02102},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10401,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Jurriaan Rot and
Alexandra Silva and
Jana Wagemaker and
Fabio Zanasi},
title = {Kleene Algebra with Observations},
journal = {CoRR},
volume = {abs/1811.10401},
year = {2018},
url = {http://arxiv.org/abs/1811.10401},
eprinttype = {arXiv},
eprint = {1811.10401},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10401.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03058,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {On Series-Parallel Pomset Languages: Rationality, Context-Freeness
and Automata},
journal = {CoRR},
volume = {abs/1812.03058},
year = {2018},
url = {http://arxiv.org/abs/1812.03058},
eprinttype = {arXiv},
eprint = {1812.03058},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JongmansKA17,
author = {Sung{-}Shik T. Q. Jongmans and
Tobias Kapp{\'{e}} and
Farhad Arbab},
title = {Constraint automata with memory cells and their composition},
journal = {Sci. Comput. Program.},
volume = {146},
pages = {50--86},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.03.006},
doi = {10.1016/J.SCICO.2017.03.006},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JongmansKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KappeBL0Z17,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {25:1--25:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.25},
doi = {10.4230/LIPICS.CONCUR.2017.25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KappeBL0Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {A Component-Oriented Framework for Autonomous Agents},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {20--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_2},
doi = {10.1007/978-3-319-68034-7\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/KappeAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KappeBL0Z17,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Bas Luttik and
Alexandra Silva and
Fabio Zanasi},
title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages},
journal = {CoRR},
volume = {abs/1704.07199},
year = {2017},
url = {http://arxiv.org/abs/1704.07199},
eprinttype = {arXiv},
eprint = {1704.07199},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KappeBL0Z17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00072,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Component-oriented Framework for Autonomous Agents},
journal = {CoRR},
volume = {abs/1708.00072},
year = {2017},
url = {http://arxiv.org/abs/1708.00072},
eprinttype = {arXiv},
eprint = {1708.00072},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02787,
author = {Tobias Kapp{\'{e}} and
Paul Brunet and
Alexandra Silva and
Fabio Zanasi},
title = {Concurrent Kleene Algebra: Free Model and Completeness},
journal = {CoRR},
volume = {abs/1710.02787},
year = {2017},
url = {http://arxiv.org/abs/1710.02787},
eprinttype = {arXiv},
eprint = {1710.02787},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
author = {Carolyn L. Talcott and
Vivek Nigam and
Farhad Arbab and
Tobias Kapp{\'{e}}},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {1--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_1},
doi = {10.1007/978-3-319-34096-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Mehdi Kargahi and
Ashutosh Trivedi},
title = {A Compositional Framework for Preference-Aware Agents},
booktitle = {Proceedings of the The First Workshop on Verification and Validation
of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
Iceland, June 4-5, 2016},
series = {{EPTCS}},
volume = {232},
pages = {21--35},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.232.6},
doi = {10.4204/EPTCS.232.6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KappeAT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/JongmansKA15,
author = {Sung{-}Shik T. Q. Jongmans and
Tobias Kapp{\'{e}} and
Farhad Arbab},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Composing Constraint Automata, State-by-State},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {217--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_12},
doi = {10.1007/978-3-319-28934-2\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/JongmansKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-06-03 01:00 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:
