Anders Schlichtkrull

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 37

Top Topics

Natural Deduction

Quantifier Elimination

Sequent Calculus

Top Venues

Arch. Formal Proofs

Open Identity Summit

Publications

Esther Ploeger, Wessel Poelman, Andreas Holck Høeg-Petersen, Anders Schlichtkrull, Miryam de Lhoneux, Johannes Bjerva
A Principled Framework for Evaluating on Typologically Diverse Languages. CoRR (2024)
Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
Isabelle-verified correctness of Datalog programs for program analysis. SAC (2024)
Anders Schlichtkrull
An Experience with and Reflections on Live Coding with Active Learning. ICPEC (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Labeled Transition Systems. Arch. Formal Proofs 2023 (2023)
Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull
Verified Verifying: SMT-LIB for Strings in Isabelle. CIAA (2023)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A sequent calculus for first-order logic formalized in Isabelle/HOL. J. Log. Comput. 33 (4) (2023)
Anders Schlichtkrull
Soundness of the Q0 proof system for higher-order logic. Arch. Formal Proofs 2023 (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Pushdown Systems. Arch. Formal Proofs 2023 (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD (2022)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Performing Security Proofs of Stateful Protocols. CSF (2021)
Nicola Dragoni, Alberto Lluch-Lafuente, Fabio Massacci, Anders Schlichtkrull
Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs [Education]. IEEE Secur. Priv. 19 (1) (2021)
Lukas Alber, Stefan More, Sebastian Mödersheim, Anders Schlichtkrull
Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. Open Identity Summit (2021)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. CILC (2021)
Anders Schlichtkrull, Sebastian Mödersheim
Accountable Trust Decisions: A Semantic Approach. Open Identity Summit (2020)
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. J. Autom. Reason. 64 (7) (2020)
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)
Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber
TPL: A Trust Policy Language. IFIPTM (2019)
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Teaching a Formalized Logical Calculus. ThEdu@CADE (2019)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel
A verified prover based on ordered resolution. CPP (2019)
Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From
Students' Proof Assistant (SPA). ThEdu@FLoC (2018)
Anders Schlichtkrull
New Formalized Results on the Meta-Theory of a Paraconsistent Logic. TYPES (2018)
Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen
Programming and verifying a declarative first-order prover in Isabelle/HOL. AI Commun. 31 (3) (2018)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover. Arch. Formal Proofs 2018 (2018)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction Assistant (NaDeA). ThEdu@FLoC (2018)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. IJCAR (2018)
Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From
A Verified Simple Prover for First-Order Logic. PAAR@FLoC (2018)
Anders Schlichtkrull
Formalization of the Resolution Calculus for First-Order Logic. J. Autom. Reason. 61 (1-4) (2018)
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. Arch. Formal Proofs 2018 (2018)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction and the Isabelle Proof Assistant. ThEdu@CADE (2017)
Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
First-Order Logic According to Harrison. Arch. Formal Proofs 2017 (2017)
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. FLAP 4 (1) (2017)
Jørgen Villadsen, Anders Schlichtkrull
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. Trans. Large Scale Data Knowl. Centered Syst. 34 (2017)
Anders Schlichtkrull
Formalization of the Resolution Calculus for First-Order Logic. ITP (2016)
Anders Schlichtkrull, Jørgen Villadsen
Paraconsistency. Arch. Formal Proofs 2016 (2016)
Anders Schlichtkrull
The Resolution Calculus for First-Order Logic. Arch. Formal Proofs 2016 (2016)
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. CoRR (2015)
Anders Schlichtkrull
Formalization of Algorithms and Logical Inference Systems in Proof Assistants. SCAI (2015)