Nestan Tsiskaridze
发表
Sharad Malik,
Pramod Subramanyan,
Yinlei Yu,
2014,
2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.
John Shalf,
George Michelogiannakis,
Timothy Sherwood,
2020,
ASPLOS.
Cesare Tinelli,
Nestan Tsiskaridze,
Andrew Reynolds,
2016,
HotSoS.
Tevfik Bultan,
Joseph McMahan,
Timothy Sherwood,
2018,
ATVA.
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2014,
IEEE Transactions on Emerging Topics in Computing.
Andrei Voronkov,
Nestan Tsiskaridze,
Konstantin Korovin,
2011,
Ershov Memorial Conference.
Nestan Tsiskaridze,
Konstantin Korovin,
Andrei Voronkov,
2009,
CP.
George Michelogiannakis,
Joseph McMahan,
Timothy Sherwood,
2019,
ACM J. Emerg. Technol. Comput. Syst..
Cesare Tinelli,
Nestan Tsiskaridze,
Andrew Reynolds,
2016,
Formal Methods Syst. Des..
Nestan Tsiskaridze,
2017
.
Cesare Tinelli,
Nestan Tsiskaridze,
Andrew Reynolds,
2015,
FroCos.
Cesare Tinelli,
Nestan Tsiskaridze,
Morgan Deters,
2015
.
Christopher Torng,
Pat Hanrahan,
Aina Niemetz,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Tevfik Bultan,
Tegan Brennan,
Nestan Tsiskaridze,
2017,
ESEC/SIGSOFT FSE.
Sharad Malik,
Pramod Subramanyan,
Nestan Tsiskaridze,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
John Shalf,
George Michelogiannakis,
Timothy Sherwood,
2021,
IEEE Micro.
Mark Horowitz,
Nestan Tsiskaridze,
Clark Barrett,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).