Mathai Joseph
About
Mathai Joseph has authored 15 papers that have received a total of 156 indexed citations.
This includes 8 papers in Hardware and Architecture, 7 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (7 papers), Embedded Systems Design Techniques (7 papers) and Real-Time Systems Scheduling (6 papers). Mathai Joseph is often cited by papers focused on Formal Methods in Verification (7 papers), Embedded Systems Design Techniques (7 papers) and Real-Time Systems Scheduling (6 papers) and collaborates with scholars based in United Kingdom, India and United States. Mathai Joseph's co-authors include Zhiming Liu, Tomasz Janowski, Bertrand Meyer, Doron Peled and Abha Moitra and has published in prestigious journals such as Nature, Theoretical Computer Science and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Kari Kostiainen are published in Top journals papers by Mara Cossa are published in Top journals papers by Yuri V. Gulyaev are published in Top fields papers by S. R. Munasinghe are about Top fields papers by László Tálas are about Top countries impacted by papers by Christine Rappaport Top fields papers by Jane Peterson are about Top countries impacted by papers by J. E. Cole