Matthias Althoff

238 papers and 4.5k indexed citations i.

About

Matthias Althoff has authored 238 papers that have received a total of 4.5k indexed citations. This includes 122 papers in Control and Systems Engineering, 104 papers in Computational Theory and Mathematics and 92 papers in Automotive Engineering. The topics of these papers are Formal Methods in Verification (96 papers), Autonomous Vehicle Technology and Safety (88 papers) and Robotic Path Planning Algorithms (59 papers). Matthias Althoff is often cited by papers focused on Formal Methods in Verification (96 papers), Autonomous Vehicle Technology and Safety (88 papers) and Robotic Path Planning Algorithms (59 papers) and collaborates with scholars based in Germany, United States and Italy. Matthias Althoff's co-authors include Martin Buss, Christian Pek, Olaf Stursberg, Bastian Schürmann and Andrea Giusti and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Communications of the ACM

In The Last Decade

Rankless by CCL
2025