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

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
  • The Concurrent Calculi Formalisation Benchmark

    Carbone, M., Castro-Perez, D., Ferreira, F., Gheri, L., Jacobsen, F. K., Momigliano, A., Padovani, L., Scalas, A., Tirore, D., Vassor, M., Yoshida, N. & Zackon, D., 2024, Proceedings of 26th International Conference on Coordination Models and Languages. Springer, Vol. 14676. p. 149-158

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 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-76

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    56 Downloads (Pure)
  • ProofBuddy: A Proof Assistant for Learning and Monitoring

    Karsten, N., Jacobsen, F. K., Eiken, K. J., Nestmann, U. & Villadsen, J., 2023, Proceedings of the Twelfth International Workshop on Trends in Functional Programming in Education. Machkasova, E. (ed.). Open Publishing Association, Vol. 382. p. 1-21 (Electronic Proceedings in Theoretical Computer Science, Vol. 382).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    62 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 journalJournal articleResearchpeer-review

    Open Access
    File
    105 Downloads (Pure)
  • Formal Methods Online: Sequent Calculus Verifier (SeCaV)

    From, A. H., Jacobsen, F. K. & Villadsen, J., 2022. 1 p.

    Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

    Open Access
    File
    31 Downloads (Pure)