Availability of a SCADA/OMS/DMS system - A case study. - Martin Jensen; Cumhur Sel; Ulrik Franke; Hannes Holm; Lars Nordström (ISGT Europe, 2010)

Determining the Respiratory State From a Seismocardiographic Signal-A Machine Learning Approach. - Christian Ulrich; Martin Jensen; Rolf Hansen; Kouhyar Tavakolian; Farzad Khosrow-Khavar; Andrew P. Blaber; Kasper Sørensen; Samuel Emil Schmidt (CinC, 2018)

Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes. - Anne Ejsing; Martin Jensen; Marco Muñiz; Jacob Nørhave; Lars Rechter (CoRR, 2020)

CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. - Wolfgang Meier; Martin Jensen; Jean Pichon-Pharabod; Bas Spitters (CPP, 2025)