| Visual studio code vdm support JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen Proceedings of the 18th International Overture Workshop, 35-49, 2021 | 24 | 2021 |
| The specification language server protocol: A proposal for standardised LSP extensions JK Rask, FP Madsen, N Battle, HD Macedo, PG Larsen arXiv preprint arXiv:2108.02961, 2021 | 23 | 2021 |
| Movable factory—A systematic literature review of concepts, requirements, applications, and gaps Z Kazemi, JK Rask, C Gomes, E Yildiz, PG Larsen Journal of Manufacturing Systems 69, 189-207, 2023 | 12 | 2023 |
| Virtual prototyping: evaluating the digital twin based virtual factory for new product introduction E Yildiz, C Møller, A Bilberg, JK Rask Complex Systems Informatics and Modeling Quarterly, 1-16, 2021 | 5 | 2021 |
| Advanced VDM Support in Visual Studio Code JK Rask, FP Madsen, N Battle, L Freitas, HD Macedo, PG Larsen Hugo Daniel Macedo and Ken Pierce (Editors), 34, 2022 | 3 | 2022 |
| Decoupling of Core Analysis Support for Specification Languages from User Interfaces in Integrated Development Environments JK Rask, FP Madsen Aarhus University, 2021 | 3 | 2021 |
| Synthesis and Characterization of Highly Selective Sulfonated Poly (arylene thioether sulfone) Cation-Conductive Membranes MB Kristensen Euromembrane Conference 2015, 2015 | | 2015 |
