Gopal Gupta - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Infinite Computation, Co-induction and Computational LogicGopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak. calco 2011: 40-54 [doi]

2010

2009

ActionScript bytecode verification with co-logic programmingBrian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar. PLDI 2009: 9-15 [doi]

Dynamic reordering of alternatives for definite logic programsHai-Feng Guo, Gopal Gupta. Comp. Lang., Syst. \& Struct., 35(3):252-265, 2009. [doi]

USDL: A Service-Semantics Description Language for Automatic Service Discovery and CompositionSrividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite. jwsr, 6(1):20-48, 2009. [doi]

Coinductive Logic Programming with NegationRichard Min, Gopal Gupta. LOPSTR 2010: 97-112 [doi]

Towards Predicate Answer Set Programming via Coinductive Logic ProgrammingRichard Min, Ajay Bansal, Gopal Gupta. ifip12 2009: 499-508 [doi]

Coinductive Logic Programming and its Application to Boolean SATRichard Min, Gopal Gupta. flairs 2009:

A Scalable Wireless Body Area Network for Bio-TelemetryAdnan Saeed, Miad Faezipour, Mehrdad Nourani, Subhash Banerjee, Gil Lee, Gopal Gupta, Lakshman Tamil. jips, 5(2):77-86, 2009. [doi]

2008

2007

Winsight: Towards Completely Automatic Backtranslation of Nemeth CodeDeepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer. hci 2007: 309-318 [doi]

Coinductive Logic Programming and Its ApplicationsGopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya. ICLP 2007: 27-44 [doi]

VoxBoox: A System for Automatic Generation of Interactive Talking BooksAanchal Jain, Gopal Gupta. hci 2007: 329-338 [doi]

Semantics-basedWeb Service Composition engineSrividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite. wecwis 2007: 521-524 [doi]

Automatic Composition of SemanticWeb ServicesSrividya Kona, Ajay Bansal, Gopal Gupta. icws 2007: 150-158 [doi]

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clustersEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta. tplp, 7(6):633-695, 2007. [doi]

Co-Logic Programming: Extending Logic Programming with CoinductionLuke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta. icalp 2007: 472-483 [doi]

2006

2005

Towards Intelligent Services: A Case Study in Chemical Emergency ResponseAjay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves. icws 2005: 751-758 [doi]

Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, ProceedingsMaurizio Gabbrielli, Gopal Gupta, editors, Volume 3668 of Lecture Notes in Computer Science, Springer, 2005.

Optimization with mode-directed preferencesHai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu. ppdp 2005: 242-251 [doi]

Software Engineering Track Chair s MessageGopal Gupta. icdcit 2005: 433 [doi]

A Universal Service Description LanguageLuke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite. icws 2005: 823-824 [doi]

Design and Implementation of A::T::: A Real-Time Action Description LanguageLuke Simon, Ajay Mallya, Gopal Gupta. LOPSTR 2006: 44-60 [doi]

Towards Provably Correct Code Generation via Horn Logical Continuation SemanticsQian Wang, Gopal Gupta, Michael Leuschel. padl 2005: 98-112 [doi]

Provably Correct Code Generation: A Case StudyQian Wang, Gopal Gupta. ENTCS, 118:87-109, 2005. [doi]

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approachQian Wang, Gopal Gupta. SAC 2005: 1419-1426 [doi]

::::k::::-Nearest Neighbors Associative Memory Model for Face RecognitionBailing Zhang, Yuan Miao, Gopal Gupta. ausai 2005: 540-549 [doi]

Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face RecognitionBailing Zhang, Gopal Gupta. cimca 2005: 15-19

2004

Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML ConversionNarayan Annamalai, Gopal Gupta, B. Prabhakaran. icchp 2004: 339-346 [doi]

Towards a Universal Maths Conversion LibraryDominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli. icchp 2004: 664-669 [doi]

Simplifying Dynamic Programming via TablingHai-Feng Guo, Gopal Gupta. padl 2004: 163-177 [doi]

UMA: a system for universal mathematics accessibilityArthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo. assets 2004: 55-62 [doi]

Listener-Controlled Dynamic Navigation of VoiceXML DocumentsHemambaradara Reddy, Narayan Annamalai, Gopal Gupta. icchp 2004: 347-354 [doi]

Framework for Safe Reuse of Software BinariesRamakrishnan Venkitaraman, Gopal Gupta. icdcit 2004: 283-293 [doi]

Static program analysis of embedded executable assembly codeRamakrishnan Venkitaraman, Gopal Gupta. cases 2004: 157-166 [doi]

2003

2002

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based ApproachGopal Gupta, Enrico Pontelli. BIRTHDAY 2002: 211-239 [doi]

Semantics-Based Filtering: Logic Programming s Killer App?Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou. padl 2002: 82-100 [doi]

Towards a Logic Programming Based Environment for Automatic Generation of TranslatorsGopal Gupta, Deepa Gopal. lpe 2002: 87-88

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based ApproachGopal Gupta, Enrico Pontelli. 2002. [doi]

A constraint logic programming approach for generating all perfect matchingsFrank Harary, Gopal Gupta. appml, 15(8):969-973, 2002. [doi]

Architecting an Auditory Browser for Navigating Mathematical ExpressionsArthur I. Karshmer, Gopal Gupta, Douglas J. Gillan. icchp 2002: 477-485 [doi]

Intelligent non-visual navigation of complex HTML structuresEnrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong. uais, 2(1):56-69, 2002. [doi]

Navigation of HTML tables, frames, and XML fragmentsEnrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer. assets 2002: 25-32 [doi]

F-LOG: A Domain Specific Language for Solving Phylogenetic Inference ProblemsEnrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta. csb 2002: 9-20 [doi]

2001

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of AlternativesHai-Feng Guo, Gopal Gupta. ICLP 2001: 181-196 [doi]

Parallel execution of prolog programs: a surveyGopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo. TOPLAS, 23(4):472-602, 2001. [doi]

Optimization schemas for parallel implementation of non-deterministic languages and systemsGopal Gupta, Enrico Pontelli. SPE, 31(12):1143-1181, 2001.

Interoperability between Bioinformatics Tools: A Logic Programming ApproachJuan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan. padl 2001: 153-168 [doi]

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation applianceArthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo. hci 2001: 929-933

Backtracking in Independent And-Parallel Implementations of Logic Programming LanguagesEnrico Pontelli, Gopal Gupta. tpds, 12(11):1169-1189, 2001. [doi]

Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI SystemsKaren Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta. icpp 2001: 287-294 [doi]

PALS: An Or-Parallel Implementation of Prolog on Beowulf ArchitecturesKaren Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta. ICLP 2001: 27-42 [doi]

2000

1999

PrefaceInês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk. TCS, 30(3), 1999. [doi]

Stack-splitting: Or-/And-parallelism on Distributed Memory MachinesGopal Gupta, Enrico Pontelli. ICLP 1999: 290-304

Efficient Techniques for Distributed Implementation of Search-Based AI SystemsGopal Gupta, Enrico Pontelli. icpp 1999: 319 [doi]

Software technology and computer interfaces for the disabled: non-visual WWW browsingArthur I. Karshmer, Enrico Pontelli, Gopal Gupta. hci 1999: 792-796

Extended Dynamic Dependent And-Parallelism in ACEEnrico Pontelli, Gopal Gupta. jflp, 1999(Special Issue 1), 1999.

Complexity Analysis of Late Binding in Dynamic Object-Oriented LanguagesEnrico Pontelli, Desh Ranjan, Gopal Gupta. jflp, 1999(Special Issue 2), 1999.

On the Complexity of Or-ParallelismDesh Ranjan, Enrico Pontelli, Gopal Gupta. ngc, 17(3):285-307, 1999.

1998

Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, ProceedingsGopal Gupta, editor, Volume 1551 of Lecture Notes in Computer Science, Springer, 1998.

Horn Logic DenotationsGopal Gupta. ICLP 1998: 357-358

Automatic Generation of Provably Correct Parallelizing CompilersGopal Gupta, Enrico Pontelli, Amado Lara-Rodriguez, Roberto Felix-Cardenas. icpp 1998: 579-586 [doi]

Reading and Writing Mathematics: the MAVIS ProjectArthur I. Karshmer, Gopal Gupta, S. Geiiger, C. Weaver. assets 1998: 136-143 [doi]

Efficient Backtracking in And-Parallel Implementations of Non-deterministic LanguagesEnrico Pontelli, Gopal Gupta. icpp 1998: 338-345 [doi]

Natural Language Multiprocessing: A Case StudyEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell. ICLP 1998: 101-112

Natural Language Multiprocessing: A Case StudyEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell. AAAI 1998: 76-82

The Complexity of Late-Binding in Dynamic Object-Oriented LanguagesEnrico Pontelli, Desh Ranjan, Gopal Gupta. plilp 1998: 213-229 [doi]

Efficient Algorithms for the Temporal Precedence ProblemDesh Ranjan, Enrico Pontelli, Gopal Gupta. ipl, 68(2):71-81, 1998. [doi]

1997

Extended dynamic dependent and-parallelism in ACEGopal Gupta, Enrico Pontelli. cap 1997: 68-79 [doi]

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and SystemsGopal Gupta, Enrico Pontelli. ipps 1997: 428-435 [doi]

High Performance Parallel Logic Programming: The ACE Parallel Prolog SystemGopal Gupta, Enrico Pontelli. agp 1997: 25-32

A constraint-based approach for specification and verification of real-time systemsGopal Gupta, Enrico Pontelli. rtss 1997: 230-239 [doi]

Parallel Symbolic Computation in ACEEnrico Pontelli, Gopal Gupta. AMAI, 21(2-4):359-395, 1997.

Implementation Mechanisms for Dependent And-ParallelismEnrico Pontelli, Gopal Gupta. ICLP 1997: 123-137

On the Complexity of Parallel Implementation of Logic ProgramsEnrico Pontelli, Desh Ranjan, Gopal Gupta. fsttcs 1997: 123-137 [doi]

W-ACE: A Logic Language for Intelligent Internet ProgrammingEnrico Pontelli, Gopal Gupta. ictai 1997: 2-10 [doi]

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-ParallelismEnrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro. ICLP 1997: 108-122

VACE: A Tool for Visualization of And-Or Parallel ExecutionRick Vaupel, Enrico Pontelli, Gopal Gupta. lpe 1997: 51-54

Visualization of And/Or-Parallel Execution of Logic ProgramsRick Vaupel, Enrico Pontelli, Gopal Gupta. ICLP 1997: 271-285

1996

Improving the Efficiency of Nondeterministic Independent and-Parallel SystemsEnrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo. Comp. Lang., Syst. \& Struct., 22(2/3):115-142, 1996.

Dependent And-Parallelism Revisited (Poster Abstract)Enrico Pontelli, Gopal Gupta. ICLP 1996: 542

PreviousNext