Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Uncertainty Estimation based on Geometric Separation., , , and . CoRR, (2023)A Verified Theorem Prover Backend Supported by a Monotonic Library., , and . LPAR, volume 57 of EPiC Series in Computing, page 564-582. EasyChair, (2018)Non-well-founded Deduction for Induction and Coinduction.. CADE, volume 12699 of Lecture Notes in Computer Science, page 3-24. Springer, (2021)Summary: Multi-Agent Path Finding with Kinematic Constraints., , , , , , and . IJCAI, page 4869-4873. ijcai.org, (2017)Bounded Suboptimal Multi-Agent Path Finding Using Highways., and . IJCAI, page 3978-3979. IJCAI/AAAI Press, (2016)Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks., , , , , , , , , and 2 other author(s). SOCS, page 151-158. AAAI Press, (2019)Integrating Induction and Coinduction via Closure Operators and Proof Cycles., and . IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 375-394. Springer, (2020)Computability Beyond Church-Turing via Choice Sequences., , , and . LICS, page 245-254. ACM, (2018)Applicable Mathematics in a Minimal Computational Theory of Sets., and . CoRR, (2018)Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle., , , and . CSL, volume 183 of LIPIcs, page 11:1-11:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)