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

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)Uncertainty Estimation based on Geometric Separation., , , and . CoRR, (2023)Non-well-founded Deduction for Induction and Coinduction.. CADE, volume 12699 of Lecture Notes in Computer Science, page 3-24. Springer, (2021)A Verified Theorem Prover Backend Supported by a Monotonic Library., , and . LPAR, volume 57 of EPiC Series in Computing, page 564-582. EasyChair, (2018)Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks., , , , , , , , , and 2 other author(s). SOCS, page 151-158. AAAI Press, (2019)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)Computability Beyond Church-Turing via Choice Sequences., , , and . LICS, page 245-254. ACM, (2018)$TT^\Box_C$: a Family of Extensional Type Theories with Effectful Realizers of Continuity., and . Log. Methods Comput. Sci., (2024)Applicable Mathematics in a Minimal Computational Theory of Sets., and . CoRR, (2018)