No photo of Lisa Willemsen

Lisa Willemsen

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

Research activity per year

Fingerprint

Dive into the research topics where Lisa Willemsen 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
  • ARCH-COMP23 Category Report: Stochastic Models

    Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., Huijgevoort, B. V., Lavaei, A., Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S., Willemsen, L. & Zuliani, P., 18 Oct 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 126-150 25 p. (EPiC Series in Computing; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    81 Downloads (Pure)
  • 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

    Open Access
    File
    13 Downloads (Pure)
  • Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    Willemsen, L., Remke, A. & Ábrahám, E., 16 Jul 2023, ArXiv.org, 18 p.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    16 Downloads (Pure)
  • Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study

    Mense, S., Höveler, K., Blohm, P. & Willemsen, L., 2023, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  • ARCH-COMP22 Category Report: Stochastic Models

    Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 113–141 29 p. (EPiC Series in Computing; vol. 90).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    2 Citations (Scopus)
    71 Downloads (Pure)