Mathai Joseph

15 papers and 156 indexed citations i.

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