Author of the publication

Smart Connected Buildings Design Automation: Foundations and Trends.

, and . Foundations and Trends in Electronic Design Automation, 10 (1-2): 1-143 (2016)

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

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 7-12. Elsevier, (2018)A Metric for Linear Temporal Logic., , , , and . CoRR, (2018)A hierarchical coordination language for interacting real-time tasks., , , , and . EMSOFT, page 132-141. ACM, (2006)A vision for embedded software., and . CASES, page 1-7. ACM, (2001)Mixed-level fault coverage estimation., and . DAC, page 553-559. IEEE Computer Society Press, (1986)Two-dimensional compaction by "zone refining"., , and . DAC, page 115-122. IEEE Computer Society Press, (1986)Chameleon: a new multi-layer channel router., , , , , , and . DAC, page 495-502. IEEE Computer Society Press, (1986)Exact Minimization of Binary Decision Diagrams Using Implicit Techniques., , , and . IEEE Trans. Computers, 47 (11): 1282-1296 (1998)Guest Editors' Introduction: Trends and Directions in Microelectronics., and . IEEE Micro, 23 (3): 6-7 (2003)Iterative Node Deployment in an Unknown Environment., , and . GLOBECOM, page 1-6. IEEE, (2009)