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)Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems., , , and . CoRR, (2020)RELSPEC: a framework for reliability aware design of component based embedded systems., , , , , and . Des. Autom. Embed. Syst., 21 (1): 37-87 (2017)Complexity of Scheduling in High Level Synthesis., , and . VLSI Design, 7 (4): 337-346 (1998)Multi-mode Sampling Period Selection for Embedded Real Time Control., , , and . CoRR, (2015)Anytime Pack Heuristic Search., , and . PReMI, volume 8251 of Lecture Notes in Computer Science, page 628-634. Springer, (2013)Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability., , and . CoRR, (2021)Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks., , , and . CoRR, (2022)Accurate Prediction of Alzheimer's Disease Progression Trajectory via a Novel Encoder-Decoder LSTM Architecture., , and . EMBC, page 1-4. IEEE, (2023)Approaches to Design Intent Verification.. ICIIS, page 1. IEEE, (2008)