Klaus Schneider

89 papers and 1.1k indexed citations i.

About

Klaus Schneider has authored 89 papers that have received a total of 1.1k indexed citations. This includes 39 papers in Hardware and Architecture, 34 papers in Computational Theory and Mathematics and 21 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (32 papers) and Parallel Computing and Optimization Techniques (20 papers). Klaus Schneider is often cited by papers focused on Formal Methods in Verification (34 papers), Embedded Systems Design Techniques (32 papers) and Parallel Computing and Optimization Techniques (20 papers) and collaborates with scholars based in Germany, United States and France. Klaus Schneider's co-authors include Oliver Sawodny, Jörg Neupert, Jens Brandt, Eckhard Arnold and Tobias Schuele and has published in prestigious journals such as Child Development, Tetrahedron and Journal of Biomechanics

In The Last Decade

Rankless by CCL
2025