Lukas Armborst

Lukas Armborst

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

Research activity per year

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


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
  • 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
    1 Citation (Scopus)
    176 Downloads (Pure)