"sail: lab" - A novel Package for Sailing Simulation, Scientific Visualization and E-Learning. - Ferdinand Bünger; S. Busch; Ingenuin Gasser; Silke Günzel; Andreas Hebbel-Seeger; Martin Mohr (Int. J. Comput. Sci. Sport, 2007)

An extended finite element based model approach for permanent magnet synchronous machines including rotor eccentricity. - Martin Mohr; Oszkar Bíró; Andrej Stermecki; Franz Diwoky (IECON, 2013)

Using JOANA for Information Flow Control in Java Programs - A Practical Guide. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr (Software Engineering (Workshops), 2013)

Checking probabilistic noninterference using JOANA. - Gregor Snelting; Dennis Giffhorn; Jürgen Graf 001; Christian Hammer 001; Martin Hecker 001; Martin Mohr; Daniel Wasserrab (it Inf. Technol., 2014)

JoDroid: Adding Android Support to a Static Information Flow Control Tool. - Martin Mohr; Jürgen Graf 001; Martin Hecker 001 (Software Engineering (Workshops), 2015)

SHRIFT System-Wide HybRid Information Flow Tracking. - Enrico Lovat; Alexander Fromm; Martin Mohr; Alexander Pretschner (SEC, 2015)

A Hybrid Approach for Proving Noninterference of Java Programs. - Ralf Küsters; Tomasz Truderung; Bernhard Beckert; Daniel Bruns; Michael Kirsten; Martin Mohr (IACR Cryptol. ePrint Arch., 2015)

On Improvements of Low-Deterministic Security. - Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Tool Demonstration: JOANA. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Sicherheitsanalyse mit JOANA. - Juergen Graf; Martin Hecker 001; Martin Mohr; Gregor Snelting (Sicherheit, 2016)

Modular Verification of Information Flow Security in Component-Based Systems. - Simon Greiner; Martin Mohr; Bernhard Beckert (SEFM, 2017)

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. - Tobias Hamann; Mihai Herda; Heiko Mantel; Martin Mohr; David Schneider 002; Markus Tasch (NordSec, 2018)

Low-deterministic security for low-nondeterministic programs. - Simon Bischof; Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (J. Comput. Secur., 2018)

Hybrid taint analysis for Java EE. - Florian D. Loch; Martin Johns; Martin Hecker 001; Martin Mohr; Gregor Snelting (SAC, 2020)

Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security. - Martin Mohr (2022)

Fast and Accurate Non-Linear Time-Domain Modeling of Synchronous Machines. - Mario Vukotic; Franz Diwoky; Martin Mohr; Damijan Miljavec (IEEE Access, 2025)