基本信息
views: 994
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Research: He received numerous research awards including the Guillemin-Cauer Award (1982-1983), the Darlington Award (1987-1988) of the IEEE for the best paper bridging theory and applications, and two awards for the best paper published in the IEEE Transactions on CAS and CAD, five best paper awards and one best presentation awards at the Design Automation Conference, the best paper award at the International Conference on CyberPhysical Systems, other best paper awards at the Real-Time Systems Symposium, and the VLSI Conference.
Research Interests
Papers共 1195 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMSno. 1 (2024): 30-43
Karim Elmaaroufi, Devan Shanker, Ana Cismaru,Marcell Vazquez-Chanlatte,Alberto Sangiovanni-Vincentelli,Matei Zaharia,Sanjit A. Seshia
CoRR (2024)
Cited0Views0EIBibtex
0
0
Sci. Comput. Program.no. C (2024): 103116
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCEno. 1 (2024): 267-279
arXiv (Cornell University) (2023)
CoRR (2023)
arXiv (Cornell University)no. 6 (2023): 1638-1649
2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODEpp.111-121, (2023)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn