Research output per year
Research output per year
Fingerprint
Dive into the research topics where Simon Tobias Lund is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formalizing Axiomatics for First-Order Logic
Villadsen, J., Lund, S. T. & Schlichtkrull, A., 2025. 8 p.Research output: Contribution to conference › Paper › Research › peer-review
Open AccessFile6 Downloads (Orbit) -
On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Lund, S. T. & Villadsen, J., 2024, In: Vietnam Journal of Computer Science. 11, 4, p. 621-644Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile114 Downloads (Orbit) -
Teaching Higher-Order Logic Using Isabelle
Lund, S. T. & Villadsen, J., 2024, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 400, p. 59-78Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile263 Downloads (Orbit) -
A Case Study in Computer-Assisted Meta-reasoning
From, A. H., Lund, S. T. & Villadsen, J., 2022, Distributed Computing and Artificial Intelligence: Special Sessions: 18th International Conference. González, S. R., Machado, J. M., González-Briones, A., Wikarek, J., Loukanova, R., Katranas, G. & Casado-Vara, R. (eds.). Springer, Vol. 2. p. 53-63 (Lecture Notes in Networks and Systems, Vol. 332).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
On Verified Automated Reasoning in Propositional Logic
Lund, S. T. & Villadsen, J., 2022, Intelligent Information and Database Systems.. Springer, p. 390–402 (Lecture Notes in Computer Science, Vol. 13757).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile256 Downloads (Orbit)
-
Secure TaRDIS
Lund, S. T. (PhD Student), Mödersheim, S. A. (Main Supervisor), Scalas, A. (Supervisor) & Villadsen, J. (Supervisor)
01/08/2023 → 31/07/2026
Project: PhD
-