Anders Schlichtkrull

According to our database, Anders Schlichtkrull authored at least 33 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A sequent calculus for first-order logic formalized in Isabelle/HOL.

Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen

J. Log. Comput., June, 2023

Pushdown Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Labeled Transition Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Soundness of the Q0 proof system for higher-order logic.

Anders Schlichtkrull

Arch. Formal Proofs, 2023

Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull

Proceedings of the Implementation and Application of Automata, 2023

An Experience with and Reflections on Live Coding with Active Learning.

Anders Schlichtkrull

Proceedings of the 4th International Computer Programming Education Conference, 2023

2022

Differential Testing of Pushdown Reachability with a Formally Verified Oracle.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

A Survey of European Cybersecurity in Higher Education Programs.

Nicola Dragoni, Fabio Massacci, Alberto Lluch-Lafuente, Anders Schlichtkrull

Dataset, July, 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

Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World.

Lukas Alber, Stefan More, Sebastian Mödersheim, Anders Schlichtkrull

Proceedings of the Open Identity Summit 2021, Copenhagen, Denmark, Juni 1-2, 2021., 2021

Performing Security Proofs of Stateful Protocols.

Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover.

Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann

J. Autom. Reason., 2020

Automated Stateful Protocol Verification.

Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull

Arch. Formal Proofs, 2020

Accountable Trust Decisions: A Semantic Approach.

Anders Schlichtkrull, Sebastian Mödersheim

Proceedings of the Open Identity Summit 2020, 26. - 27.05.2020, Copenhagen, Denmark., 2020

2019

Teaching a Formalized Logical Calculus.

Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

TPL: A Trust Policy Language.

Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber

Proceedings of the Trust Management XIII - 13th IFIP WG 11.11 International Conference, 2019

A verified prover based on ordered resolution.

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Formalization of Logic in the Isabelle Proof Assistant.

Anders Schlichtkrull

PhD thesis, 2018

Formalization of the Resolution Calculus for First-Order Logic.

Anders Schlichtkrull

J. Autom. Reason., 2018

Natural Deduction Assistant (NaDeA).

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).

Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 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

A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover.

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel

Arch. Formal Proofs, 2018

Formalization of Bachmair and Ganzinger's Ordered Resolution Prover.

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann

Arch. Formal Proofs, 2018

New Formalized Results on the Meta-Theory of a Paraconsistent Logic.

Anders Schlichtkrull

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

A Verified Simple Prover for First-Order Logic.

Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant.

Jørgen Villadsen, Anders Schlichtkrull

Trans. Large Scale Data Knowl. Centered Syst., 2017

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.

Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull

FLAP, 2017

Natural Deduction and the Isabelle Proof Assistant.

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

First-Order Logic According to Harrison.

Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Arch. Formal Proofs, 2017

2016

Paraconsistency.

Anders Schlichtkrull, Jørgen Villadsen

Arch. Formal Proofs, 2016

The Resolution Calculus for First-Order Logic.

Anders Schlichtkrull

Arch. Formal Proofs, 2016

2015

Formalization of Algorithms and Logical Inference Systems in Proof Assistants.

Anders Schlichtkrull

Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence, 2015