| 2025 |
— |
conf |
NFM
Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski
|
| 2024 |
J |
jnl |
Theory Pract. Log. Program.
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
|
| 2024 |
J |
jnl |
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
|
| 2024 |
— |
conf |
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
|
| 2024 |
— |
conf |
FormaliSE@ICSE
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
|
| 2024 |
— |
conf |
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng
|
| 2024 |
— |
ed. |
ICLP Workshops
Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
|
| 2023 |
C |
conf |
PADL
Zesheng Xu, Joaquín Arias, Elmer Salazar, Zhuo Chen, Sarat Chandra Varanasi, Kinjal Basu, Gopal Gupta
|
| 2023 |
J |
jnl |
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
|
| 2023 |
J |
jnl |
Theory Pract. Log. Program.
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
|
| 2023 |
— |
ch. |
Prolog: The Next 50 Years
Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta
|
| 2023 |
— |
ch. |
Prolog: The Next 50 Years
Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
|
| 2023 |
B |
conf |
FMCAD
Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates
|
| 2023 |
C |
conf |
PADL
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos
|
| 2022 |
J |
jnl |
CoRR
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
|
| 2022 |
— |
conf |
ICLP Workshops
Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta
|
| 2022 |
C |
conf |
PADL
Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta
|
| 2022 |
— |
conf |
ICLP Workshops
Gopal Gupta, Elmer Salazar, Sarat Chandra Varanasi, Kinjal Basu, Joaquín Arias, Farhad Shakerin, Fang Li, Huaduo Wang
|
| 2022 |
— |
conf |
ICLP Workshops
Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos, Brendan Hall
|
| 2021 |
J |
jnl |
CoRR
Kinjal Basu, Huaduo Wang, Nancy Dominguez, Xiangci Li, Fang Li, Sarat Chandra Varanasi, Gopal Gupta
|
| 2021 |
— |
conf |
ICLP Technical Communications
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
|
| 2021 |
— |
conf |
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
|
| 2021 |
A* |
conf |
AAAI
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
|
| 2021 |
J |
jnl |
CoRR
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Joaquín Arias, Gopal Gupta
|
| 2021 |
— |
conf |
ICLP Workshops
Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta
|
| 2020 |
J |
jnl |
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
|
| 2020 |
J |
jnl |
CoRR
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
|
| 2020 |
— |
conf |
ICLP Technical Communications
Kinjal Basu, Sarat Chandra Varanasi, Farhad Shakerin, Gopal Gupta
|
| 2019 |
— |
conf |
ICLP Technical Communications
Sarat Chandra Varanasi
|
| 2019 |
C |
conf |
LOPSTR
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
|
| 2018 |
— |
ch. |
Handbook of Approximation Algorithms and Metaheuristics (2)
Jing Yuan, Weili Wu, Sarat Chandra Varanasi
|