Rajsekhar Setaluri
发表
Dinesh K. Pai,
Doug L. James,
Jui-Hsien Wang,
2017,
ACM Trans. Graph..
Eftychios Sifakis,
Mridul Aanjaneya,
Rajsekhar Setaluri,
2014
.
C. Barrett,
P. Hanrahan,
James J. Thomas,
2022,
ACM Transactions on Embedded Computing Systems.
P. Hanrahan,
M. Horowitz,
Kecheng Zhang,
2022,
ACM Transactions on Reconfigurable Technology and Systems.
Eftychios Sifakis,
Mridul Aanjaneya,
Nathan Mitchell,
2015,
ACM Trans. Graph..
Eftychios Sifakis,
Mridul Aanjaneya,
Sean Bauer,
2014,
ACM Trans. Graph..
Christopher Torng,
Pat Hanrahan,
Aina Niemetz,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Clark W. Barrett,
P. Hanrahan,
Rajsekhar Setaluri,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Pat Hanrahan,
Clark Barrett,
Makai Mann,
2020,
CAV.
Yu Wang,
Eftychios Sifakis,
Ladislav Kavan,
2015,
SCA '14.
P. Hanrahan,
M. Horowitz,
Kecheng Zhang,
2022,
ACM Trans. Reconfigurable Technol. Syst..
Clark W. Barrett,
P. Hanrahan,
James J. Thomas,
2022,
ACM Trans. Embed. Comput. Syst..