Klaus Becker
About
Klaus Becker has authored 6 papers that have received a total of 117 indexed citations.
This includes 3 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Real-Time Systems Scheduling (3 papers), Advanced Software Engineering Methodologies (2 papers) and Formal Methods in Verification (2 papers). Klaus Becker is often cited by papers focused on Real-Time Systems Scheduling (3 papers), Advanced Software Engineering Methodologies (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Germany. Klaus Becker's co-authors include Stephan Sommer, Alois Knoll, Christian Buckl, Cornel Klein and Marc Zeller and has published in prestigious journals such as Science of Computer Programming and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by H. Trimiño Mora Top fields papers by Shozo Hirose are about Top fields papers by R.E. Lappöhn are about Top journals papers by A.C. Babini are published in Top fields papers by Wojciech Czyżycki are about Top authors papers by Jessie S. Freeman are co-authored with Top journals papers by Natalia Strzelecka are published in Top countries impacted by papers by E. Di Labio