Madhukar Anand

13 papers and 112 indexed citations i.

Madhukar Anand has authored 13 papers that have received a total of 112 indexed citations. This includes 11 papers in Hardware and Architecture, 8 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Real-Time Systems Scheduling (11 papers), Embedded Systems Design Techniques (9 papers) and Formal Methods in Verification (6 papers). Madhukar Anand is often cited by papers focused on Real-Time Systems Scheduling (11 papers), Embedded Systems Design Techniques (9 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, Hong Kong and Canada. Madhukar Anand's co-authors include Insup Lee, Sebastian Fischmeister, Arvind Easwaran, Jesung Kim and Linh Thi Xuan Phan and has published in prestigious journals such as IEEE Transactions on Computers, Real-Time Systems and ACM Transactions on Embedded Computing Systems.