Kai Engelhardt

16 papers and 204 indexed citations i.

About

Kai Engelhardt has authored 16 papers that have received a total of 204 indexed citations. This includes 5 papers in Computer Networks and Communications, 4 papers in Artificial Intelligence and 4 papers in Mechanical Engineering. The topics of these papers are Advanced Measurement and Metrology Techniques (4 papers), Formal Methods in Verification (3 papers) and Astronomical Observations and Instrumentation (3 papers). Kai Engelhardt is often cited by papers focused on Advanced Measurement and Metrology Techniques (4 papers), Formal Methods in Verification (3 papers) and Astronomical Observations and Instrumentation (3 papers) and collaborates with scholars based in Switzerland, Australia and Germany. Kai Engelhardt's co-authors include Peter Seitz, Ron van der Meyden, K. Knop, Michael Norrish and Ina Reiche and has published in prestigious journals such as Communications of the ACM, Optical Engineering and ACM SIGPLAN Notices

In The Last Decade

Rankless by CCL
2025