| Formalization of the resolution calculus for first-order logic A Schlichtkrull Journal of Automated Reasoning 61 (1-4), 455-484, 2018 | 38 | 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 | 34 | 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 |
| 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 | 19 | 2018 |
| NaDeA: A natural deduction assistant with a formalization in Isabelle J Villadsen, AB Jensen, A Schlichtkrull arXiv preprint arXiv:1507.04002, 2015 | 19 | 2015 |
| Natural deduction assistant (NaDeA) J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1904.00618, 2019 | 18 | 2019 |
| Are we preparing students to build security in? N Dragoni, AL Lafuente, F Massacci, A Schlichkrull A Survey of European Cybersecurity Education Programs, IEEE on Security and …, 2021 | 15 | 2021 |
| Teaching a formalized logical calculus AH From, AB Jensen, A Schlichtkrull, J Villadsen arXiv preprint arXiv:2002.12555, 2020 | 15 | 2020 |
| Students' Proof Assistant (SPA) A Schlichtkrull, J Villadsen, AH From arXiv preprint arXiv:1904.00617, 2019 | 15 | 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 | 12 | 2019 |
| Natural deduction and the Isabelle proof assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 10 | 2018 |
| A Verified Simple Prover for First-Order Logic. J Villadsen, A Schlichtkrull, AH From PAAR@ FLoC, 88-104, 2018 | 10 | 2018 |
| 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 | 9 | 2021 |
| Formalization of Bachmair and Ganzinger’s ordered resolution prover. Archive of Formal Proofs 2018 (2018) A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann | 8 | |
| Formalizing a paraconsistent logic in the Isabelle proof assistant J Villadsen, A Schlichtkrull Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV …, 2017 | 6 | 2017 |
| 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 | 5 | 2021 |
| 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 |
| Formalization of logic in the Isabelle proof assistant A Schlichtkrull Ph. D. Thesis, 2018 | 5 | 2018 |
| Formalization of Bachmair and Ganzinger’s ordered resolution prover A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann Archive of Formal Proofs 2018, 2018 | 5 | 2018 |
| IsaFoL: Isabelle Formalization of Logic H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ... | 5 | 2018 |
