Martin Rau

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 5

Top Topics

Multidimensional Signals

Binary Search Trees

Dependency Parser

Top Venues

Arch. Formal Proofs

Publications

Martin Rau
Earley Parser. Arch. Formal Proofs 2023 (2023)
Martin Rau, Tobias Nipkow
Verification of Closest Pair of Points Algorithms. IJCAR (2) (2020)
Martin Rau, Tobias Nipkow
Closest Pair of Points Algorithms. Arch. Formal Proofs 2020 (2020)
Martin Rau
Multidimensional Binary Search Trees. Arch. Formal Proofs 2019 (2019)
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, Luca Selmi, Kurt Stokbro
Performance study of strained III-V materials for ultra-thin body transistor applications. ESSDERC (2016)
Martin Rau, Dierk Schröder
Compensation of Periodic Disturbances in Continuous Processing Plants by Means of a Neural Controller. Advances in Computational Intelligence and Learning (2002)
Martin Rau, Hans-Jörg Pfleiderer
An ECL to CMOS level converter with complementary bipolar output stage. IEEE J. Solid State Circuits 30 (7) (1995)