Formalization of the resolution calculus for first-order logic A Schlichtkrull Journal of Automated Reasoning 61 (1), 455-484, 2018 | 42 | 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 | 32 | 2020 |
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 | 24 | 2021 |
NaDeA: A natural deduction assistant with a formalization in Isabelle J Villadsen, AB Jensen, A Schlichtkrull arXiv preprint arXiv:1507.04002, 2015 | 21 | 2015 |
Natural deduction assistant (nadea) J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1904.00618, 2019 | 20 | 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 | 20 | 2018 |
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 |
Natural deduction and the Isabelle proof assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 14 | 2018 |
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 | 12 | 2021 |
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 |
A verified simple prover for first-order logic J Villadsen, A Schlichtkrull, AH From 6th Workshop on Practical Aspects of Automated Reasoning (PAAR), 88-104, 2018 | 12 | 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 | 11 | 2018 |
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 | 10 | 2023 |
Formalizing a paraconsistent logic in the Isabelle proof assistant J Villadsen, A Schlichtkrull Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV …, 2017 | 7 | 2017 |
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 | 6 | 2018 |
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 |