Approximation and Heuristics for Community Detection. - Jing Yuan 002; Weili Wu 001; Sarat Chandra Varanasi (Handbook of Approximation Algorithms and Metaheuristics (2), 2018)

Synthesizing Imperative Code from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Elmer Salazar; Neeraj Mittal; Gopal Gupta 001 (LOPSTR, 2019)

Imperative Program Synthesis from Answer Set Programs. - Sarat Chandra Varanasi (ICLP Technical Communications, 2019)

Pointer Data Structure Synthesis from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

SQuARE: Semantics-based Question Answering and Reasoning Engine. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Gopal Gupta 001 (ICLP Technical Communications, 2020)

Generating Concurrent Programs From Sequential Data Structure Knowledge. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

Knowledge-driven Natural Language Understanding of English Text and its Applications. - Kinjal Basu 002; Sarat Chandra Varanasi; Farhad Shakerin; Joaquín Arias; Gopal Gupta 001 (AAAI, 2021)

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Brendan Hall; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Kevin Driscoll 001; Gopal Gupta 001 (ICLP Workshops, 2021)

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (ICLP Technical Communications, 2021)

CASPR: A Commonsense Reasoning-based Conversational Socialbot. - Kinjal Basu 002; Huaduo Wang; Nancy Dominguez; Xiangci Li; Fang Li 010; Sarat Chandra Varanasi; Gopal Gupta 001 (CoRR, 2021)

Tutorial: Automating Commonsense Reasoning. - Gopal Gupta 001; Elmer Salazar; Sarat Chandra Varanasi; Kinjal Basu 002; Joaquín Arias; Farhad Shakerin; Fang Li 010; Huaduo Wang (ICLP Workshops, 2022)

Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (ICLP Workshops, 2022)

LTL Model Checking using Coinductive Answer Set Programming. - Sarat Chandra Varanasi; Neda Saeedloei; Elmer Salazar; Joaquín Arias; Gopal Gupta 001 (ICLP Workshops, 2022)

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP). - Sarat Chandra Varanasi; Joaquín Arias; Elmer Salazar; Fang Li 010; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2022)

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (CoRR, 2022)

Towards a Correct-by-Construction Design of Integrated Modular Avionics. - 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 001 (FMCAD, 2023)

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos (PADL, 2023)

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming. - Zesheng Xu; Joaquín Arias; Elmer Salazar; Zhuo Chen; Sarat Chandra Varanasi; Kinjal Basu 002; Gopal Gupta 001 (PADL, 2023)

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 2023)

Logic-Based Explainable and Incremental Machine Learning. - Gopal Gupta 001; Huaduo Wang; Kinjal Basu 002; Farhad Shakerin; Elmer Salazar; Sarat Chandra Varanasi; Parth Padalkar; Sopam Dasgupta (Prolog: The Next 50 Years, 2023)

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (Theory Pract. Log. Program., 2023)

Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions. - Sarat Chandra Varanasi; Baoluo Meng (ICLP Workshops, 2024)

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 2024)

Formal Methods in Requirements Engineering: Survey and Future Directions. - Robert Lorch; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling; Saswata Paul; Sarat Chandra Varanasi; Craig McMillan (FormaliSE@ICSE, 2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 2024)

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation. - Sarat Chandra Varanasi; Baoluo Meng; Robert Lorch; Abha Moitra; Kit Siu; Saswata Paul; Michael Durling; Neha Beniwal; Nikita Visnevski (NFM, 2025)