Follow
Anders Schlichtkrull
Anders Schlichtkrull
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Formalization of the resolution calculus for first-order logic
A Schlichtkrull
Journal of Automated Reasoning 61 (1), 455-484, 2018
422018
A verified prover based on ordered resolution
A Schlichtkrull, JC Blanchette, D Traytel
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
352019
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
322020
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
242021
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
212015
Natural deduction assistant (nadea)
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1904.00618, 2019
202019
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
202018
Teaching a formalized logical calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
182020
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
arXiv preprint arXiv:1904.00617, 2019
162019
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
142019
Natural deduction and the Isabelle proof assistant
J Villadsen, AH From, A Schlichtkrull
arXiv preprint arXiv:1803.01473, 2018
142018
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
122021
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
122021
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
122018
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann
Archive of Formal Proofs, 1-117, 2018
112018
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
102023
Formalizing a paraconsistent logic in the Isabelle proof assistant
J Villadsen, A Schlichtkrull
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV …, 2017
72017
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
62018
Formalization of logic in the Isabelle proof assistant
A Schlichtkrull
DTU Compute, 2018
62018
IsaFoL: Isabelle formalization of logic
H Becker, JC Blanchette, M Fleury, AH From, AB Jensen, P Lammich, ...
52018
The system can't perform the operation now. Try again later.
Articles 1–20