Martin Jensen

According to our database, Martin Jensen authored at least 4 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq.

Wolfgang Meier, Martin Jensen, Jean Pichon-Pharabod, Bas Spitters

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2020

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

2018

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

Proceedings of the Computing in Cardiology, 2018

2010

Availability of a SCADA/OMS/DMS system - A case study.

Martin Jensen, Cumhur Sel, Ulrik Franke, Hannes Holm, Lars Nordström

Proceedings of the IEEE PES Conference on Innovative Smart Grid Technologies, 2010