Gopal Gupta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Locksynth: deriving synchronization code for concurrent data structures with ASP Theory and Practice of Logic Programming	2025-02-14	Paper
Parallel Logic Programming: A Sequel Theory and Practice of Logic Programming	2023-12-12	Paper
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming Theory and Practice of Logic Programming	2023-12-12	Paper
An ASP-based Approach to Answering Natural Language Questions for Texts Theory and Practice of Logic Programming	2023-12-12	Paper
Proof-theoretic foundations of normal logic programs Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Timed -calculus Trustworthy Global Computing	2016-11-09	Paper
Efficient algorithms for the temporal precedence problem Information Processing Letters	2016-06-09	Paper
Provably correct code generation: a case study	2013-09-20	Paper
Coinductive constraint logic programming Functional and Logic Programming	2012-07-20	Paper
Timed definite clause -grammars	2012-05-11	Paper
Optimization schemas for parallel implementation of non-deterministic languages and systems Software. Practice & Experience	2002-05-14	Paper
Verification of a controller for BART: An approach based on Horn logic and denotational semantics	2002-04-08	Paper

Research outcomes over time

This page was built for person: Gopal Gupta