| A Toolbox for Mechanised First-Order Logic J Hostert, M Koch, D Kirst The Coq Workshop 2021, 2021 | 13 | 2021 |
| A Coq Library for Mechanised First-Order Logic D Kirst, J Hostert, A Dudenhefner, Y Forster, M Hermes, M Koch, ... The Coq Workshop 2022, 2022 | 10 | 2022 |
| A Program Logic for Verified Interoperability Between OCaml and C A Guéneau, J Hostert, S Spies, M Sammler, L Birkedal, D Dreyer Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 716-744, 2023 | 7 | 2023 |
| Undecidability of Dyadic First-Order Logic in Coq J Hostert, A Dudenhefner, D Kirst 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022 | 7 | 2022 |
| Logical Foundations Of Language Interoperability Between OCaml And C J Hostert Saarland University, 2023 | | 2023 |
| The Undecidability of First-Order Logic over Small Signatures J Hostert Saarland University, 2021 | | 2021 |
