Martin Becker
About
Martin Becker has authored 15 papers that have received a total of 101 indexed citations.
This includes 6 papers in Hardware and Architecture, 4 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Real-Time Systems Scheduling (6 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (3 papers). Martin Becker is often cited by papers focused on Real-Time Systems Scheduling (6 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in Germany, India and Italy. Martin Becker's co-authors include Alejandro Masrur, Samarjit Chakraborty, Giovanni Cantone, Davide Falessi and Reinhard Schneider and has published in prestigious journals such as Journal of Systems and Software, ACM SIGPLAN Notices and Journal of Systems Architecture
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Peter Makarov are published in Top authors papers by Sara Mannheimer are co-authored with Top journals papers by Antony Selvadoss Thanamani are published in Top fields papers by Miguel de are about Top fields papers by O Akpata are about Top authors papers by Awa Traoré are co-authored with Top authors papers by Y. Bedfer are co-authored with Top authors papers by Nam-Sup Choi are co-authored with