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

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

Epistemic Logic. - Asta Halkjær From (Arch. Formal Proofs, 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)

Multi-agent programming contest 2016 - the Python-DTU team. - Jørgen Villadsen; Asta Halkjær From; Salvador Jacobi; Nikolaj Nøkkentved Larsen (Int. J. Agent Oriented Softw. Eng., 2018)

Multi-Agent Programming Contest 2018 - The Jason-DTU Team. - Jørgen Villadsen; Mads Okholm Bjørn; Asta Halkjær From; Thomas Søren Henney; John Bruntse Larsen (The Multi-Agent Programming Contest, 2018)

A Sequent Calculus for First-Order Logic. - Asta Halkjær From (Arch. Formal Proofs, 2019)

Formalizing a Seligman-Style Tableau System for Hybrid Logic. - Asta Halkjær From (Arch. Formal Proofs, 2019)

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

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). - Asta Halkjær From; Patrick Blackburn; Jørgen Villadsen (IJCAR (1), 2020)

Synthetic Completeness for a Terminating Seligman-Style Tableau System. - Asta Halkjær From (TYPES, 2020)

Isabelle/HOL as a Meta-Language for Teaching Logic. - Asta Halkjær From; Jørgen Villadsen; Patrick Blackburn (ThEdu@IJCAR, 2020)

A Case Study in Computer-Assisted Meta-reasoning. - Asta Halkjær From; Simon Tobias Lund; Jørgen Villadsen (DCAI (2), 2021)

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic. - Asta Halkjær From (ESSLLI Student Sessions, 2021)

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. - Asta Halkjær From; Agnes Moesgård Eschen; Jørgen Villadsen (CICM, 2021)

A Succinct Formalization of the Completeness of First-Order Logic. - Asta Halkjær From (TYPES, 2021)

Formalized Soundness and Completeness of Epistemic Logic. - Asta Halkjær From (WoLLIC, 2021)

Public Announcement Logic. - Asta Halkjær From (Arch. Formal Proofs, 2021)

Soundness and Completeness of an Axiomatic System for First-Order Logic. - Asta Halkjær From (Arch. Formal Proofs, 2021)

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. - Jørgen Villadsen; Asta Halkjær From; Patrick Blackburn (ThEdu@CADE, 2021)

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. - Asta Halkjær From; Frederik Krogsdal Jacobsen; Jørgen Villadsen (LSFA, 2021)

A Naive Prover for First-Order Logic. - Asta Halkjær From (Arch. Formal Proofs, 2022)

A Sequent Calculus Prover for First-Order Logic with Functions. - Asta Halkjær From; Frederik Krogsdal Jacobsen (Arch. Formal Proofs, 2022)

Soundness and Completeness of Implicational Logic. - Asta Halkjær From; Jørgen Villadsen (Arch. Formal Proofs, 2022)

Aesop: White-Box Best-First Proof Search for Lean. - Jannis Limperg; Asta Halkjær From (CPP, 2023)

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. - Asta Halkjær From; Jørgen Villadsen (TABLEAUX, 2023)

Synthetic Completeness. - Asta Halkjær From (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)

Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL. - Asta Halkjær From; Frederik Krogsdal Jacobsen (J. Autom. Reason., 2024)

An Isabelle/HOL Framework for Synthetic Completeness Proofs. - Asta Halkjær From (CPP, 2025)