Statistics
Publications
11
Citations
527
H-Index
11
Active since
2009
Nestan Tsiskaridze is an author at Princeton University specializing in computer science, engineering, and computer engineering.
Publications per year
2009–2022
11
11
An efficient SMT solver for string constraints
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze et al. · Formal Methods in System Design · 2016 · 55 citations
A Computational Temporal Logic for Superconducting Accelerators
Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze et al. · 2020 · 47 citations
1–5 of 11