Martin Rau

According to our database, Martin Rau authored at least 7 papers between 1995 and 2023.

Collaborative distances:

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

2023

Earley Parser.

Martin Rau

Arch. Formal Proofs, 2023

2020

Closest Pair of Points Algorithms.

Martin Rau, Tobias Nipkow

Arch. Formal Proofs, 2020

Verification of Closest Pair of Points Algorithms.

Martin Rau, Tobias Nipkow

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Multidimensional Binary Search Trees.

Martin Rau

Arch. Formal Proofs, 2019

2016

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, Luca Selmi, Kurt Stokbro

Proceedings of the 46th European Solid-State Device Research Conference, 2016

2002

Compensation of Periodic Disturbances in Continuous Processing Plants by Means of a Neural Controller.

Martin Rau, Dierk Schröder

Proceedings of the Advances in Computational Intelligence and Learning: Methods and Applications, 2002

1995

An ECL to CMOS level converter with complementary bipolar output stage.

Martin Rau, Hans-Jörg Pfleiderer

IEEE J. Solid State Circuits, July, 1995