| Natural deduction assistant (NaDeA) J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1904.00618, 2019 | 18 | 2019 |
| Isabelle/HOL as a Meta-Language for Teaching Logic A Halkjær From, J Villadsen, P Blackburn arXiv e-prints, arXiv: 2010.16014, 2020 | 15* | 2020 |
| Teaching a Formalized Logical Calculus A Halkjær From, A Birch Jensen, A Schlichtkrull, J Villadsen arXiv e-prints, arXiv: 2002.12555, 2020 | 15* | 2020 |
| Students' Proof Assistant (SPA) A Schlichtkrull, J Villadsen, AH From arXiv preprint arXiv:1904.00617, 2019 | 15 | 2019 |
| Natural deduction and the Isabelle proof assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 10 | 2018 |
| A Verified Simple Prover for First-Order Logic. J Villadsen, A Schlichtkrull, AH From PAAR@ FLoC, 88-104, 2018 | 10 | 2018 |
| Formalizing a Seligman-Style Tableau System for Hybrid Logic: (Short Paper) AH From, P Blackburn, J Villadsen Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 9 | 2020 |
| Formalizing a Seligman-style tableau system for hybrid logic. Archive of Formal Proofs, December 2019 AH From | 9 | 2019 |
| SeCaV: A sequent calculus verifier in Isabelle/HOL AH From, FK Jacobsen, J Villadsen arXiv preprint arXiv:2204.03884, 2022 | 8 | 2022 |
| Formalizing Henkin-style completeness of an axiomatic system for propositional logic AH From Proceedings of the ESSLLI & WeSSLLI Student Session, 1-12, 2020 | 7 | 2020 |
| Multi-agent programming contest 2016–the python-DTU team J Villadsen, AH From, S Jacobi, NN Larsen International Journal of Agent-Oriented Software Engineering 6 (1), 86-100, 2018 | 7 | 2018 |
| Epistemic logic: Completeness of modal logics AH From System 4, 13, 2022 | 6 | 2022 |
| Multi-agent programming contest 2018—the Jason-DTU team J Villadsen, MO Bjørn, AH From, TS Henney, JB Larsen The Multi-Agent Programming Contest 2018: Agents Teaming Up in an Urban …, 2019 | 6 | 2019 |
| Epistemic Logic. Archive of Formal Proofs, October 2018 AH From | 6 | |
| Teaching Intuitionistic and Classical Propositional Logic Using Isabelle J Villadsen, AH From, P Blackburn arXiv preprint arXiv:2202.03567, 2022 | 5 | 2022 |
| Synthetic completeness for a terminating Seligman-style tableau system AH From 26th International Conference on Types for Proofs and Programs (TYPES 2020), 2021 | 5 | 2021 |
| A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. AH From, A Schlichtkrull, J Villadsen CEUR Workshop Proceedings 3002, 107-121, 2021 | 4 | 2021 |
| Formalized soundness and completeness of epistemic logic AH From Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 4 | 2021 |
| Formalizing axiomatic systems for propositional logic in Isabelle/HOL AH From, AM Eschen, J Villadsen Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021 | 4 | 2021 |
| Teaching automated reasoning and formally verified functional programming in Agda and Isabelle/HOL AH From, J Villadsen 10th International Workshop on Trends in Functional Programming in Education …, 2021 | 4 | 2021 |
Jørgen VilladsenDTU ComputeVerificeret mail på dtu.dk
