Conflict Resolution. - Konstantin Korovin; Nestan Tsiskaridze; Andrei Voronkov (CP, 2009)

Implementing Conflict Resolution. - Konstantin Korovin; Nestan Tsiskaridze; Andrei Voronkov (Ershov Memorial Conference, 2011)

Conflict resolution. - Nestan Tsiskaridze (2011)

Reverse engineering digital circuits using functional analysis. - Pramod Subramanyan; Nestan Tsiskaridze; Kanika Pasricha; Dillon Reisman; Adriana Susnea; Sharad Malik (DATE, 2013)

All-SAT Using Minimal Blocking Clauses. - Yinlei Yu; Pramod Subramanyan; Nestan Tsiskaridze; Sharad Malik (VLSID, 2014)

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. - Pramod Subramanyan; Nestan Tsiskaridze; Wenchao Li 001; Adrià Gascón; Wei Yang Tan; Ashish Tiwari 001; Natarajan Shankar; Sanjit A. Seshia; Sharad Malik (IEEE Trans. Emerg. Top. Comput., 2014)

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. - Tianyi Liang; Nestan Tsiskaridze; Andrew Reynolds 001; Cesare Tinelli; Clark W. Barrett (FroCos, 2015)

Efficient solving of string constraints for security analysis. - Clark W. Barrett; Cesare Tinelli; Morgan Deters; Tianyi Liang; Andrew Reynolds 001; Nestan Tsiskaridze (HotSoS, 2016)

An efficient SMT solver for string constraints. - Tianyi Liang; Andrew Reynolds 001; Nestan Tsiskaridze; Cesare Tinelli; Clark W. Barrett; Morgan Deters (Formal Methods Syst. Des., 2016)

Constraint normalization and parameterized caching for quantitative program analysis. - Tegan Brennan; Nestan Tsiskaridze; Nicolás Rosner; Abdulbaki Aydin; Tevfik Bultan (ESEC/SIGSOFT FSE, 2017)

Information Leakage in Arbiter Protocols. - Nestan Tsiskaridze; Lucas Bang; Joseph McMahan; Tevfik Bultan; Timothy Sherwood (ATVA, 2018)

A Computational Temporal Logic for Superconducting Accelerators. - Georgios Tzimpragos; Dilip Vasudevan; Nestan Tsiskaridze; George Michelogiannakis; Advait Madhavan; Jennifer Volk; John Shalf; Timothy Sherwood (ASPLOS, 2020)

Creating an Agile Hardware Design Flow. - Rick Bahr; Clark W. Barrett; Nikhil Bhagdikar; Alex Carsello; Ross Daly; Caleb Donovick; David Durst; Kayvon Fatahalian; Kathleen Feng; Pat Hanrahan; Teguh Hofstee; Mark Horowitz; et al. (DAC, 2020)

Language Support for Navigating Architecture Design in Closed Form. - Weilong Cui; Georgios Tzimpragos; Yu Tao; Joseph McMahan; Deeksha Dangwal; Nestan Tsiskaridze; George Michelogiannakis; Dilip P. Vasudevan; Timothy Sherwood (ACM J. Emerg. Technol. Comput. Syst., 2020)

Automating System Configuration. - Nestan Tsiskaridze; Maxwell Strange; Makai Mann; Kavya Sreedhar; Qiaoyi Liu; Mark Horowitz; Clark W. Barrett (FMCAD, 2021)

Temporal Computing With Superconductors. - Georgios Tzimpragos; Jennifer Volk; Dilip Vasudevan; Nestan Tsiskaridze; George Michelogiannakis; Advait Madhavan; John Shalf; Timothy Sherwood (IEEE Micro, 2021)

Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. - Ross Daly; Caleb Donovick; Jackson Melchert; Rajsekhar Setaluri; Nestan Tsiskaridze; Priyanka Raina; Clark W. Barrett; Pat Hanrahan (FMCAD, 2022)

AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers. - Kalhan Koul; Jackson Melchert; Kavya Sreedhar; Leonard Truong; Gedeon Nyengele; Keyi Zhang; Qiaoyi Liu; Jeff Setter; Po-Han Chen; Yuchen Mei; Maxwell Strange; Ross Daly; et al. (ACM Trans. Embed. Comput. Syst., 2023)

The FMCAD 2024 Student Forum. - Martin Blicha; Nestan Tsiskaridze (FMCAD, 2024)

Generalized Optimization Modulo Theories. - Nestan Tsiskaridze; Clark W. Barrett; Cesare Tinelli (IJCAR (1), 2024)