Formalization of Algorithms and Logical Inference Systems in Proof Assistants. - Anders Schlichtkrull (SCAI, 2015)

The Resolution Calculus for First-Order Logic. - Anders Schlichtkrull (Arch. Formal Proofs, 2016)

Paraconsistency. - Anders Schlichtkrull; Jørgen Villadsen (Arch. Formal Proofs, 2016)

First-Order Logic According to Harrison. - Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (Arch. Formal Proofs, 2017)

Natural Deduction and the Isabelle Proof Assistant. - Jørgen Villadsen; Asta Halkjær From; Anders Schlichtkrull (ThEdu@CADE, 2017)

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. - Jørgen Villadsen; Alexander Birch Jensen; Anders Schlichtkrull (FLAP, 2017)

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. - Jørgen Villadsen; Anders Schlichtkrull (Trans. Large Scale Data Knowl. Centered Syst., 2017)

A Verified Simple Prover for First-Order Logic. - Jørgen Villadsen; Anders Schlichtkrull; Asta Halkjær From (PAAR@FLoC, 2018)

New Formalized Results on the Meta-Theory of a Paraconsistent Logic. - Anders Schlichtkrull (TYPES, 2018)

Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. - Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann (Arch. Formal Proofs, 2018)

A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover. - Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel (Arch. Formal Proofs, 2018)

Programming and verifying a declarative first-order prover in Isabelle/HOL. - Alexander Birch Jensen; John Bruntse Larsen; Anders Schlichtkrull; Jørgen Villadsen (AI Commun., 2018)

Students' Proof Assistant (SPA). - Anders Schlichtkrull; Jørgen Villadsen; Asta Halkjær From (ThEdu@FLoC, 2018)

Natural Deduction Assistant (NaDeA). - Jørgen Villadsen; Asta Halkjær From; Anders Schlichtkrull (ThEdu@FLoC, 2018)

Formalization of the Resolution Calculus for First-Order Logic. - Anders Schlichtkrull (J. Autom. Reason., 2018)

Formalization of Logic in the Isabelle Proof Assistant. - Anders Schlichtkrull (2018)

A verified prover based on ordered resolution. - Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel (CPP, 2019)

TPL: A Trust Policy Language. - Sebastian Mödersheim; Anders Schlichtkrull; Georg Wagner; Stefan More; Lukas Alber (IFIPTM, 2019)

Teaching a Formalized Logical Calculus. - Asta Halkjær From; Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (ThEdu@CADE, 2019)

Accountable Trust Decisions: A Semantic Approach. - Anders Schlichtkrull; Sebastian Mödersheim (Open Identity Summit, 2020)

Automated Stateful Protocol Verification. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (Arch. Formal Proofs, 2020)

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. - Anders Schlichtkrull; Jasmin Blanchette; Dmitriy Traytel; Uwe Waldmann (J. Autom. Reason., 2020)

Performing Security Proofs of Stateful Protocols. - Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull (CSF, 2021)

Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. - Lukas Alber; Stefan More; Sebastian Mödersheim; Anders Schlichtkrull (Open Identity Summit, 2021)

Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education]. - Nicola Dragoni; Alberto Lluch-Lafuente; Fabio Massacci; Anders Schlichtkrull (IEEE Secur. Priv., 2021)

A Survey of European Cybersecurity in Higher Education Programs. - Nicola Dragoni; Fabio Massacci; Alberto Lluch-Lafuente; Anders Schlichtkrull (IEEE DataPort, 2021)

Differential Testing of Pushdown Reachability with a Formally Verified Oracle. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (FMCAD, 2022)

An Experience with and Reflections on Live Coding with Active Learning. - Anders Schlichtkrull (ICPEC, 2023)

Verified Verifying: SMT-LIB for Strings in Isabelle. - Kevin Lotz; Mitja Kulczynski; Dirk Nowotka; Danny Bøgsted Poulsen; Anders Schlichtkrull (CIAA, 2023)

Soundness of the Q0 proof system for higher-order logic. - Anders Schlichtkrull (Arch. Formal Proofs, 2023)

Labeled Transition Systems. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (Arch. Formal Proofs, 2023)

Pushdown Systems. - Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel (Arch. Formal Proofs, 2023)

A sequent calculus for first-order logic formalized in Isabelle/HOL. - Asta Halkjær From; Anders Schlichtkrull; Jørgen Villadsen (J. Log. Comput., 2023)

Isabelle-verified correctness of Datalog programs for program analysis. - Anders Schlichtkrull; René Rydhof Hansen; Flemming Nielson (SAC, 2024)

A Principled Framework for Evaluating on Typologically Diverse Languages. - Esther Ploeger; Wessel Poelman; Andreas Holck Høeg-Petersen; Anders Schlichtkrull; Miryam de Lhoneux; Johannes Bjerva (CoRR, 2024)