| Formalization of the resolution calculus for first-order logic A Schlichtkrull Journal of Automated Reasoning 61 (1), 455-484, 2018 | 40 | 2018 |
| A verified prover based on ordered resolution A Schlichtkrull, JC Blanchette, D Traytel Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 35 | 2019 |
| Formalizing Bachmair and Ganzinger’s ordered resolution prover A Schlichtkrull, J Blanchette, D Traytel, U Waldmann Journal of Automated Reasoning 64 (7), 1169-1195, 2020 | 33 | 2020 |
| Natural deduction assistant (nadea) J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1904.00618, 2019 | 21 | 2019 |
| Programming and verifying a declarative first-order prover in Isabelle/HOL AB Jensen, JB Larsen, A Schlichtkrull, J Villadsen AI Communications 31 (3), 281-299, 2018 | 21 | 2018 |
| Are we preparing students to build security in? A survey of European cybersecurity in higher education programs N Dragoni, AL Lafuente, F Massacci, A Schlichtkrull IEEE Security and Privacy 19 (1), 81-88, 2021 | 20 | 2021 |
| NaDeA: A natural deduction assistant with a formalization in Isabelle J Villadsen, AB Jensen, A Schlichtkrull arXiv preprint arXiv:1507.04002, 2015 | 20 | 2015 |
| Teaching a formalized logical calculus AH From, AB Jensen, A Schlichtkrull, J Villadsen arXiv preprint arXiv:2002.12555, 2020 | 18 | 2020 |
| Students' Proof Assistant (SPA) A Schlichtkrull, J Villadsen, AH From arXiv preprint arXiv:1904.00617, 2019 | 16 | 2019 |
| TPL: A trust policy language S Mödersheim, A Schlichtkrull, G Wagner, S More, L Alber Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM …, 2019 | 14 | 2019 |
| Adapting the TPL trust policy language for a self-sovereign identity world L Alber, S More, S Mödersheim, A Schlichtkrull Open Identity Summit 2021, 2021 | 12 | 2021 |
| Natural deduction and the Isabelle proof assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 12 | 2018 |
| A Verified Simple Prover for First-Order Logic. J Villadsen, A Schlichtkrull, AH From PAAR@ FLoC, 88-104, 2018 | 11 | 2018 |
| Formalization of Bachmair and Ganzinger's Ordered Resolution Prover A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann Archive of Formal Proofs, 1-117, 2018 | 10 | 2018 |
| Formalizing a paraconsistent logic in the Isabelle proof assistant J Villadsen, A Schlichtkrull Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV …, 2017 | 8 | 2017 |
| A sequent calculus for first-order logic formalized in Isabelle/HOL AH From, A Schlichtkrull, J Villadsen Journal of Logic and Computation 33 (4), 818-836, 2023 | 7 | 2023 |
| Performing security proofs of stateful protocols AV Hess, S Mödersheim, AD Brucker, A Schlichtkrull 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 7 | 2021 |
| Formalization of logic in the Isabelle proof assistant A Schlichtkrull DTU Compute, 2018 | 6 | 2018 |
| IsaFoL: Isabelle formalization of logic H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ... | 5 | 2018 |
| A verified functional implementation of Bachmair and Ganzinger’s ordered resolution prover A Schlichtkrull, JC Blanchette, D Traytel Archive of Formal Proofs, 1-60, 2018 | 5 | 2018 |
