Anders Schlichtkrull

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