Lukas Armborst

Lukas Armborst

Calculated based on number of publications stored in Pure and citations from Scopus
20212024

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Lukas Armborst 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
  • Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

    Armborst, L., Lathouwers, S. & Huisman, M., 2024, iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). p. 153-171 19 p. (Lecture notes in computer science; vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Permission-Based Verification of Red-Black Trees and Their Merging

    Armborst, L. & Huisman, M., 24 Jun 2021, FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering. Vol. 1. p. 111-123 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    285 Downloads (Pure)