Lisa Willemsen

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.

Search results

  • 2023

    Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    Willemsen, L., Remke, A. & Ábrahám, E., Sept 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. Jansen, N. & Tribastone, M. (eds.). Cham, Switzerland: Springer Nature, p. 238-254 17 p. Chapter 17. (Lecture Notes in Computer Science; vol. 14287).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review