Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Open computation tree logic with fairness., , and . ISCAS (5), page 249-252. IEEE, (2003)Multi-mode Sampling Period Selection for Embedded Real Time Control., , , and . CoRR, (2015)Complexity of Scheduling in High Level Synthesis., , and . VLSI Design, 7 (4): 337-346 (1998)Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems., , , and . CoRR, (2020)Anytime Pack Heuristic Search., , and . PReMI, volume 8251 of Lecture Notes in Computer Science, page 628-634. Springer, (2013)RELSPEC: a framework for reliability aware design of component based embedded systems., , , , , and . Des. Autom. Embed. Syst., 21 (1): 37-87 (2017)Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks., , , and . CoRR, (2022)National digital library of India: democratizing education in India., , , and . Commun. ACM, 65 (11): 58-61 (2022)Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability., , and . CoRR, (2021)City-Scale Simulation of Covid-19 Pandemic & Intervention Policies Using Agent-Based Modelling., , , and . WSC, page 1-12. IEEE, (2021)