BibTeX records: Tobias Kappé

download as .bib file

@inproceedings{DBLP:conf/fossacs/HeerdtKR021,
  author    = {Gerco van Heerdt and
               Tobias Kapp{\'{e}} and
               Jurriaan Rot and
               Alexandra Silva},
  title     = {Learning Pomset Automata},
  booktitle = {FoSSaCS},
  series    = {Lecture Notes in Computer Science},
  volume    = {12650},
  pages     = {510--530},
  publisher = {Springer},
  year      = {2021}
}
@inproceedings{DBLP:conf/icalp/SchmidKK021,
  author    = {Todd Schmid and
               Tobias Kapp{\'{e}} and
               Dexter Kozen and
               Alexandra Silva},
  title     = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness},
  booktitle = {{ICALP}},
  series    = {LIPIcs},
  volume    = {198},
  pages     = {142:1--142:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/concur/WagemakerBDKR020,
  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},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {171},
  pages     = {20:1--20:22},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020}
}
@inproceedings{DBLP:conf/fossacs/KappeB0WZ20,
  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},
  booktitle = {FoSSaCS},
  series    = {Lecture Notes in Computer Science},
  volume    = {12077},
  pages     = {381--400},
  publisher = {Springer},
  year      = {2020}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/calco/HeerdtKRS019,
  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},
  booktitle = {{CALCO}},
  series    = {LIPIcs},
  volume    = {139},
  pages     = {6:1--6:22},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019}
}
@inproceedings{DBLP:conf/concur/KappeBRSWZ19,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Jurriaan Rot and
               Alexandra Silva and
               Jana Wagemaker and
               Fabio Zanasi},
  title     = {Kleene Algebra with Observations},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {140},
  pages     = {41:1--41:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019}
}
@inproceedings{DBLP:conf/mpc/WagemakerBKR019,
  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},
  booktitle = {{MPC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11825},
  pages     = {385--413},
  publisher = {Springer},
  year      = {2019}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/birthday/HeerdtJK018,
  author    = {Gerco van Heerdt and
               Bart Jacobs and
               Tobias Kapp{\'{e}} and
               Alexandra Silva},
  title     = {Learning to Coordinate},
  booktitle = {It's All About Coordination},
  series    = {Lecture Notes in Computer Science},
  volume    = {10865},
  pages     = {139--159},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/esop/KappeB0Z18,
  author    = {Tobias Kapp{\'{e}} and
               Paul Brunet and
               Alexandra Silva and
               Fabio Zanasi},
  title     = {Concurrent Kleene Algebra: Free Model and Completeness},
  booktitle = {{ESOP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {856--882},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/icgi/KanazawaK18,
  author    = {Makoto Kanazawa and
               Tobias Kapp{\'{e}}},
  title     = {Decision problems for Clark-congruential languages},
  booktitle = {{ICGI}},
  series    = {Proceedings of Machine Learning Research},
  volume    = {93},
  pages     = {3--16},
  publisher = {{PMLR}},
  year      = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/concur/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},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {85},
  pages     = {25:1--25:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
  author    = {Tobias Kapp{\'{e}} and
               Farhad Arbab and
               Carolyn L. Talcott},
  title     = {A Component-Oriented Framework for Autonomous Agents},
  booktitle = {{FACS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10487},
  pages     = {20--38},
  publisher = {Springer},
  year      = {2017}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
  author    = {Carolyn L. Talcott and
               Vivek Nigam and
               Farhad Arbab and
               Tobias Kapp{\'{e}}},
  title     = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
               Systems},
  booktitle = {{SFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  pages     = {1--35},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
  author    = {Tobias Kapp{\'{e}} and
               Farhad Arbab and
               Carolyn L. Talcott},
  title     = {A Compositional Framework for Preference-Aware Agents},
  booktitle = {V2CPS@IFM},
  series    = {{EPTCS}},
  volume    = {232},
  pages     = {21--35},
  year      = {2016}
}
@inproceedings{DBLP:conf/facs2/JongmansKA15,
  author    = {Sung{-}Shik T. Q. Jongmans and
               Tobias Kapp{\'{e}} and
               Farhad Arbab},
  title     = {Composing Constraint Automata, State-by-State},
  booktitle = {{FACS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  pages     = {217--236},
  publisher = {Springer},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics