( en | de | ru )

 

Disambiguation of "Varanasi, Sarat Chandra"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

, , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kiran Varanasi

Niculin Andri Saratz

Josef Saratka

Sarat Kumar Singh

Umananda Chandra

 

Other publications of authors with the same name

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP., , and . Theory Pract. Log. Program., 23 (4): 812-831 (July 2023)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , and . HCVS@ETAPS, volume 344 of EPTCS, page 79-90. (2021)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , and 2 other author(s). FMCAD, page 221-227. IEEE, (2023)SQuARE: Semantics-based Question Answering and Reasoning Engine., , , and . ICLP Technical Communications, volume 325 of EPTCS, page 73-86. (2020)Generating Concurrent Programs From Sequential Data Structure Knowledge., , and . CoRR, (2020)Imperative Program Synthesis from Answer Set Programs.. ICLP Technical Communications, volume 306 of EPTCS, page 413-417. (2019)CASPR: A Commonsense Reasoning-based Conversational Socialbot., , , , , , and . CoRR, (2021)Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming., , and . ICLP Technical Communications, volume 345 of EPTCS, page 219-233. (2021)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 261-278. Springer, (2023)