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 fields papers by M. Boswell are about Top journals papers by Margaret Harr are published in Top fields papers by Hannah Johnston are about Top journals papers by Jeanne Sibiude are published in Top journals papers by Rosemarie Sadsad are published in Top fields papers by Alexi Glover are about Top authors papers by Jad Abou‐Khalil are co-authored with Top authors papers by Andrew Gacek are co-authored with