Publications per year
Publications per year
Fingerprint
Dive into the research topics where Frederik Krogsdal Jacobsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
On Exams with the Isabelle Proof Assistant
Jacobsen, F. K. & Villadsen, J., 2023, Proceedings of the 11th International Workshop on Theorem Proving Components for Educational Software. EPTCS, Vol. 375. p. 63-76Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile4 Downloads (Pure) -
A Sequent Calculus Prover for First-Order Logic with Functions
From, A. H. & Jacobsen, F. K., 2022, In: Archive of Formal Proofs. 69 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile48 Downloads (Pure) -
Formal Methods Online: Sequent Calculus Verifier (SeCaV)
From, A. H., Jacobsen, F. K. & Villadsen, J., 2022. 1 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Open AccessFile3 Downloads (Pure) -
Lessons of Teaching Formal Methods with Isabelle
Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile24 Downloads (Pure) -
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL
From, A. H., Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of 16th Logical and Semantic Frameworks with Applications. Open Publishing Association, Vol. 357. p. 38-55 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 357).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile8 Downloads (Pure)
Projects
- 1 Active
-
User-Friendly Formal Methods
Jacobsen, F. K., Villadsen, J. & Scalas, A.
01/07/2021 → 30/06/2024
Project: PhD