Martin Rau

Orcid: 0000-0002-7111-4828

According to our database1, Martin Rau authored at least 8 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Verified Earley Parser.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023
Earley Parser.
Arch. Formal Proofs, 2023

2020
Closest Pair of Points Algorithms.
Arch. Formal Proofs, 2020

Verification of Closest Pair of Points Algorithms.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Multidimensional Binary Search Trees.
Arch. Formal Proofs, 2019

2016
Performance study of strained III-V materials for ultra-thin body transistor applications.
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.
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.
IEEE J. Solid State Circuits, July, 1995


  Loading...