Research output per year
Research output per year
Search results
-
2023
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 conference › Paper › peer-review
-
2022
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 proceeding › Conference contribution › Academic
Open AccessFile8 Downloads (Pure)