An ECL to CMOS level converter with complementary bipolar output stage. - Martin Rau; Hans-Jörg Pfleiderer (IEEE J. Solid State Circuits, 1995)

Compensation of Periodic Disturbances in Continuous Processing Plants by Means of a Neural Controller. - Martin Rau; Dierk Schröder (Advances in Computational Intelligence and Learning, 2002)

Performance study of strained III-V materials for ultra-thin body transistor applications. - Martin Rau; Troels Markussen; Enrico Caruso; David Esseni; Elena Gnani; Antonio Gnudi; Petr A. Khomyakov; Mathieu Luisier; Patrik Osgnach; Pierpaolo Palestri; Susanna Reggiani; Andreas Schenk; et al. (ESSDERC, 2016)

Multidimensional Binary Search Trees. - Martin Rau (Arch. Formal Proofs, 2019)

Verification of Closest Pair of Points Algorithms. - Martin Rau; Tobias Nipkow (IJCAR (2), 2020)

Closest Pair of Points Algorithms. - Martin Rau; Tobias Nipkow (Arch. Formal Proofs, 2020)

Earley Parser. - Martin Rau (Arch. Formal Proofs, 2023)

A Verified Earley Parser. - Martin Rau; Tobias Nipkow (ITP, 2024)

A Note on Proofs of Earley's Recognizer. - Tobias Nipkow; Martin Rau (The Practice of Formal Methods (II), 2024)