Search the dblp DataBase
Gopal Gupta :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Enrico Pontelli , Gopal Gupta , Janyce Wiebe , David Farwell Natural Language Multiprocessing: A Case Study. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1998, pp:76-82 [Conf ] Gopal Gupta , Enrico Pontelli High Performance Parallel Logic Programming: The ACE Parallel Prolog System. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:25-32 [Conf ] Arthur I. Karshmer , Gopal Gupta , S. Geiiger , C. Weaver Reading and Writing Mathematics: the MAVIS Project. [Citation Graph (0, 0)][DBLP ] International ACM Conference on Assistive Technologies, 1998, pp:136-143 [Conf ] Arthur I. Karshmer , Gopal Gupta , Enrico Pontelli , Klaus Miesenberger , N. Ammalai , Deepa Gopal , Mario Batusic , Bernhard Stöger , B. Palmer , Hai-Feng Guo UMA: a system for universal mathematics accessibility. [Citation Graph (0, 0)][DBLP ] ASSETS, 2004, pp:55-62 [Conf ] Enrico Pontelli , Douglas J. Gillan , W. Xiong , Emad Saad , Gopal Gupta , Arthur I. Karshmer Navigation of HTML tables, frames, and XML fragments. [Citation Graph (0, 0)][DBLP ] ASSETS, 2002, pp:25-32 [Conf ] Enrico Pontelli , W. Xiong , Gopal Gupta , Arthur I. Karshmer A domain specific language framework for non-visual browsing of complex HTML structures. [Citation Graph (0, 0)][DBLP ] ASSETS, 2000, pp:180-187 [Conf ] Aanchal Jain , Gopal Gupta VoxBoox: : a system for automatic generation of interactive talking books. [Citation Graph (0, 0)][DBLP ] ASSETS, 2006, pp:275-276 [Conf ] Bailing Zhang , Yuan Miao , Gopal Gupta k -Nearest Neighbors Associative Memory Model for Face Recognition. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2005, pp:540-549 [Conf ] Gopal Gupta , Enrico Pontelli Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:211-239 [Conf ] Ramakrishnan Venkitaraman , Gopal Gupta Static program analysis of embedded executable assembly code. [Citation Graph (0, 0)][DBLP ] CASES, 2004, pp:157-166 [Conf ] Enrico Pontelli , Desh Ranjan , Brook Milligan , Gopal Gupta F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. [Citation Graph (0, 0)][DBLP ] CSB, 2002, pp:9-20 [Conf ] Tran Cao Son , Enrico Pontelli , Desh Ranjan , Brook Milligan , Gopal Gupta An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. [Citation Graph (0, 0)][DBLP ] DALT, 2003, pp:76-96 [Conf ] Enrico Pontelli , Gopal Gupta On the Duality Between Or-parallelism and And-parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1995, pp:43-54 [Conf ] Karen Villaverde , Enrico Pontelli , Hai-Feng Guo , Gopal Gupta A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. [Citation Graph (0, 0)][DBLP ] Euro-Par, 2003, pp:694-703 [Conf ] Gopal Gupta , Manuel V. Hermenegildo Recomputation based Implementations of And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:770-782 [Conf ] Enrico Pontelli , Desh Ranjan , Gopal Gupta On the Complexity of Parallel Implementation of Logic Programs. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1997, pp:123-137 [Conf ] Bharat Jayaraman , Gopal Gupta Parallel execution of an equational language. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:370-381 [Conf ] Arthur I. Karshmer , Gopal Gupta , Klaus Miesenberger , Enrico Pontelli , Hai-Feng Guo The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. [Citation Graph (0, 0)][DBLP ] HCI, 2001, pp:929-933 [Conf ] Arthur I. Karshmer , Enrico Pontelli , Gopal Gupta Software technology and computer interfaces for the disabled: non-visual WWW browsing. [Citation Graph (0, 0)][DBLP ] HCI (2), 1999, pp:792-796 [Conf ] Narayan Annamalai , Gopal Gupta , B. Prabhakaran Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. [Citation Graph (0, 0)][DBLP ] ICCHP, 2004, pp:339-346 [Conf ] Dominique Archambault , Donal Fitzpatrick , Gopal Gupta , Arthur I. Karshmer , Klaus Miesenberger , Enrico Pontelli Towards a Universal Maths Conversion Library. [Citation Graph (0, 0)][DBLP ] ICCHP, 2004, pp:664-669 [Conf ] Arthur I. Karshmer , Gopal Gupta , Douglas J. Gillan Architecting an Auditory Browser for Navigating Mathematical Expressions. [Citation Graph (0, 0)][DBLP ] ICCHP, 2002, pp:477-485 [Conf ] Hemambaradara Reddy , Narayan Annamalai , Gopal Gupta Listener-Controlled Dynamic Navigation of VoiceXML Documents. [Citation Graph (0, 0)][DBLP ] ICCHP, 2004, pp:347-354 [Conf ] Gopal Gupta Software Engineering Track Chair's Message. [Citation Graph (0, 0)][DBLP ] ICDCIT, 2005, pp:433- [Conf ] Ramakrishnan Venkitaraman , Gopal Gupta Framework for Safe Reuse of Software Binaries. [Citation Graph (0, 0)][DBLP ] ICDCIT, 2004, pp:283-293 [Conf ] Hai-Feng Guo , Gopal Gupta A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. [Citation Graph (0, 0)][DBLP ] ICLP, 2001, pp:181-196 [Conf ] Hai-Feng Guo , Gopal Gupta A New Mode Declaration for Tabled Predicates. [Citation Graph (0, 0)][DBLP ] ICLP, 2003, pp:485-486 [Conf ] Gopal Gupta Horn Logic Denotations. [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:357-358 [Conf ] Gopal Gupta , Vítor Santos Costa , Enrico Pontelli Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1995, pp:824- [Conf ] Gopal Gupta , Manuel V. Hermenegildo ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:146-158 [Conf ] Gopal Gupta , Manuel V. Hermenegildo , Vítor Santos Costa Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. [Citation Graph (0, 0)][DBLP ] IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:0-0 [Conf ] Gopal Gupta , Manuel V. Hermenegildo , Enrico Pontelli , Vítor Santos Costa ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:93-109 [Conf ] Gopal Gupta , Enrico Pontelli Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:290-304 [Conf ] Enrico Pontelli , Gopal Gupta Dependent And-Parallelism Revisited (Poster Abstract). [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:542- [Conf ] Enrico Pontelli , Gopal Gupta Implementation Mechanisms for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:123-137 [Conf ] Enrico Pontelli , Gopal Gupta , Manuel V. Hermenegildo &ACE: the And-parallel Component of ACE (A Progress Report on ACE). [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:65-78 [Conf ] Enrico Pontelli , Gopal Gupta , Francesco Pulvirenti , Alfredo Ferro Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:108-122 [Conf ] Enrico Pontelli , Gopal Gupta , Dongxing Tang Determinacy Driven Optimizations of And-Parallel Prolog Implementations. [Citation Graph (0, 0)][DBLP ] ICLP, 1995, pp:615-629 [Conf ] Enrico Pontelli , Gopal Gupta , Janyce Wiebe , David Farwell Natural Language Multiprocessing: A Case Study. [Citation Graph (0, 0)][DBLP ] Implementation Technology for Programming Languages based on Logic, 1998, pp:101-112 [Conf ] Luke Simon , Ajay Mallya , Ajay Bansal , Gopal Gupta Coinductive Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:330-345 [Conf ] Rick Vaupel , Enrico Pontelli , Gopal Gupta Visualization of And/Or-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:271-285 [Conf ] Karen Villaverde , Enrico Pontelli , Hai-Feng Guo , Gopal Gupta PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. [Citation Graph (0, 0)][DBLP ] ICLP, 2001, pp:27-42 [Conf ] Tang Dong Xing , Enrico Pontelli , Gopal Gupta , Manuel Carro Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:93-106 [Conf ] Gopal Gupta A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. [Citation Graph (0, 0)][DBLP ] ICPP (3), 1990, pp:346-347 [Conf ] Gopal Gupta , Enrico Pontelli Efficient Techniques for Distributed Implementation of Search-Based AI Systems. [Citation Graph (0, 0)][DBLP ] ICPP, 1999, pp:319-0 [Conf ] Gopal Gupta , Enrico Pontelli , Amado Lara-Rodriguez , Roberto Felix-Cardenas Automatic Generation of Provably Correct Parallelizing Compilers. [Citation Graph (0, 0)][DBLP ] ICPP, 1998, pp:579-586 [Conf ] Enrico Pontelli , Gopal Gupta Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. [Citation Graph (0, 0)][DBLP ] ICPP, 1998, pp:338-345 [Conf ] Karen Villaverde , Hai-Feng Guo , Enrico Pontelli , Gopal Gupta Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. [Citation Graph (0, 0)][DBLP ] ICPP, 2001, pp:287-294 [Conf ] Enrico Pontelli , Gopal Gupta W-ACE: A Logic Language for Intelligent Internet Programming. [Citation Graph (0, 0)][DBLP ] ICTAI, 1997, pp:2-10 [Conf ] Ajay Bansal , Kunal Patel , Gopal Gupta , B. Raghavachari , E. D. Harris , James C. Staves Towards Intelligent Services: A Case Study in Chemical Emergency Response. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:751-758 [Conf ] Luke Simon , Ajay Mallya , Ajay Bansal , Gopal Gupta , Thomas D. Hite A Universal Service Description Language. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:823-824 [Conf ] Gopal Gupta , Enrico Pontelli Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. [Citation Graph (0, 0)][DBLP ] IPPS, 1997, pp:428-435 [Conf ] Enrico Pontelli , Gopal Gupta Nested Parallel Call Optimization. [Citation Graph (0, 0)][DBLP ] IPPS, 1996, pp:225-229 [Conf ] Enrico Pontelli , Gopal Gupta , Manuel V. Hermenegildo &ACE: a high-performance parallel Prolog system. [Citation Graph (0, 0)][DBLP ] IPPS, 1995, pp:564-571 [Conf ] Luke Simon , Ajay Mallya , Gopal Gupta Design and Implementation of AT : A Real-Time Action Description Language. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2005, pp:44-60 [Conf ] Qian Wang , Gopal Gupta Continuation Semantics as Horn Clauses. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2003, pp:176-177 [Conf ] Rick Vaupel , Enrico Pontelli , Gopal Gupta VACE: A Tool for Visualization of And-Or Parallel Execution. [Citation Graph (0, 0)][DBLP ] LPE, 1997, pp:51-54 [Conf ] Gopal Gupta , Deepa Gopal Towards a Logic Programming Based Environment for Automatic Generation of Translators. [Citation Graph (0, 0)][DBLP ] WLPE, 2002, pp:87-88 [Conf ] Juan Raymundo Iglesias , Gopal Gupta , Enrico Pontelli , Desh Ranjan , Brook Milligan Interoperability between Bioinformatics Tools: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:153-168 [Conf ] Hai-Feng Guo , Gopal Gupta Simplifying Dynamic Programming via Tabling. [Citation Graph (0, 0)][DBLP ] PADL, 2004, pp:163-177 [Conf ] Gopal Gupta , Shameem F. Akhter Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. [Citation Graph (0, 0)][DBLP ] PADL, 2000, pp:308-323 [Conf ] 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 Semantics-Based Filtering: Logic Programming's Killer App? [Citation Graph (0, 0)][DBLP ] PADL, 2002, pp:82-100 [Conf ] Qian Wang , Gopal Gupta , Michael Leuschel Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. [Citation Graph (0, 0)][DBLP ] PADL, 2005, pp:98-112 [Conf ] Gopal Gupta , Vítor Santos Costa And-Or Parallelism in Full Prolog with Paged Binding Arrays. [Citation Graph (0, 0)][DBLP ] PARLE, 1992, pp:617-632 [Conf ] Enrico Pontelli , Desh Ranjan , Gopal Gupta The Complexity of Late-Binding in Dynamic Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] PLILP/ALP, 1998, pp:213-229 [Conf ] Hai-Feng Guo , Bharat Jayaraman , Gopal Gupta , Miao Liu Optimization with mode-directed preferences. [Citation Graph (0, 0)][DBLP ] PPDP, 2005, pp:242-251 [Conf ] Gopal Gupta , Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:230-239 [Conf ] Qian Wang , Gopal Gupta Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1419-1426 [Conf ] Kunal Patel , Gopal Gupta Semantic Processing of the Semantic Web. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2003, pp:80-95 [Conf ] Gopal Gupta , Vítor Santos Costa , Rong Yang , Manuel V. Hermenegildo IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:152-166 [Conf ] Gopal Gupta , Bharat Jayaraman Combined And-Or Parallelism on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] NACLP, 1989, pp:332-349 [Conf ] Gopal Gupta , Bharat Jayaraman Optimizing And-Or Parallel Implementations. [Citation Graph (0, 0)][DBLP ] NACLP, 1990, pp:605-623 [Conf ] Gopal Gupta , Bharat Jayaraman On Criteria for Or-Parallel Execution Models of Logic Programs. [Citation Graph (0, 0)][DBLP ] NACLP, 1990, pp:737-756 [Conf ] Enrico Pontelli , Gopal Gupta , Dongxing Tang Determinancy Driven Optimization of Parallel Prolog Implementations. [Citation Graph (0, 0)][DBLP ] Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:54-71 [Conf ] Dongxing Tang , Enrico Pontelli , Gopal Gupta , Manuel Carro Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:683-684 [Conf ] Gopal Gupta , Vítor Santos Costa Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP ] SPDP, 1992, pp:288-295 [Conf ] Srividya Kona , Ajay Bansal , Gopal Gupta , Thomas D. Hite Web Service Discovery and Composition using USDL. [Citation Graph (0, 0)][DBLP ] CEC/EEE, 2006, pp:65- [Conf ] Bailing Zhang , Gopal Gupta Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition. [Citation Graph (0, 0)][DBLP ] CIMCA/IAWTIC, 2005, pp:15-19 [Conf ] Desh Ranjan , Enrico Pontelli , Gopal Gupta Data structures for order-sensitive predicates in parallel nondeterministic systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2000, v:37, n:1, pp:21-43 [Journal ] Desh Ranjan , Enrico Pontelli , Gopal Gupta , Luc Longpré The Temporal Precedence Problem. [Citation Graph (0, 0)][DBLP ] Algorithmica, 2000, v:28, n:3, pp:288-306 [Journal ] Enrico Pontelli , Gopal Gupta Parallel Symbolic Computation in ACE. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:359-395 [Journal ] Frank Harary , Gopal Gupta A constraint logic programming approach for generating all perfect matchings. [Citation Graph (0, 0)][DBLP ] Appl. Math. Lett., 2002, v:15, n:8, pp:969-973 [Journal ] Enrico Pontelli , Gopal Gupta , Dongxing Tang , Manuel Carro , Manuel V. Hermenegildo Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1996, v:22, n:2/3, pp:115-142 [Journal ] Qian Wang , Gopal Gupta Provably Correct Code Generation: A Case Study. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:87-109 [Journal ] Gopal Gupta Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:44, n:5, pp:273-280 [Journal ] Desh Ranjan , Enrico Pontelli , Gopal Gupta Efficient Algorithms for the Temporal Precedence Problem. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1998, v:68, n:2, pp:71-81 [Journal ] Enrico Pontelli , Gopal Gupta Extended Dynamic Dependent And-Parallelism in ACE. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal ] Enrico Pontelli , Desh Ranjan , Gopal Gupta Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 2, pp:- [Journal ] Gopal Gupta , Vítor Santos Costa Cuts and Side-Effects in And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1996, v:27, n:1, pp:45-71 [Journal ] Gopal Gupta , Mats Carlsson Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1996, v:29, n:1-3, pp:1-3 [Journal ] Gopal Gupta , Bharat Jayaraman And-Or Parallelism on Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:17, n:1, pp:59-89 [Journal ] Enrico Pontelli , Karen Villaverde , Hai-Feng Guo , Gopal Gupta Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:10, pp:1267-1293 [Journal ] Gopal Gupta , Manuel V. Hermenegildo , Vítor Santos Costa And-Or Parallel Prolog: A Recomputation Based Approach. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1993, v:11, n:3, pp:297-321 [Journal ] Desh Ranjan , Enrico Pontelli , Gopal Gupta On the Complexity of Or-Parallelism. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1999, v:17, n:3, pp:285-307 [Journal ] Gopal Gupta , Enrico Pontelli Optimization schemas for parallel implementation of non-deterministic languages and systems. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2001, v:31, n:12, pp:1143-1181 [Journal ] Gopal Gupta , Niraj K. Jha A universal test set for CMOS circuits. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 1988, v:7, n:5, pp:590-597 [Journal ] Inês de Castro Dutra , Vítor Santos Costa , Gopal Gupta , Enrico Pontelli , Manuel Carro , Péter Kacsuk Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal ] Gopal Gupta , Bharat Jayaraman Analysis of Or-Parallel Execution Models. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:659-680 [Journal ] Gopal Gupta , Enrico Pontelli , Khayri A. M. Ali , Mats Carlsson , Manuel V. Hermenegildo Parallel execution of prolog programs: a survey. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2001, v:23, n:4, pp:472-602 [Journal ] Enrico Pontelli , Gopal Gupta Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:11, pp:1169-1189 [Journal ] Bharat Jayaraman , Gopal Gupta EqL: The Language and Its Implementation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:6, pp:771-779 [Journal ] Enrico Pontelli , Douglas J. Gillan , Gopal Gupta , Arthur I. Karshmer , Emad Saad , W. Xiong Intelligent non-visual navigation of complex HTML structures. [Citation Graph (0, 0)][DBLP ] Universal Access in the Information Society, 2002, v:2, n:1, pp:56-69 [Journal ] Aanchal Jain , Gopal Gupta VoxBoox: A System for Automatic Generation of Interactive Talking Books. [Citation Graph (0, 0)][DBLP ] HCI (7), 2007, pp:329-338 [Conf ] Deepa Gopal , Q. Wang , Gopal Gupta , Sachin V. Chitnis , Hai-Feng Guo , Arthur I. Karshmer Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. [Citation Graph (0, 0)][DBLP ] HCI (7), 2007, pp:309-318 [Conf ] Luke Simon , Ajay Bansal , Ajay Mallya , Gopal Gupta Co-Logic Programming: Extending Logic Programming with Coinduction. [Citation Graph (0, 0)][DBLP ] ICALP, 2007, pp:472-483 [Conf ] Gopal Gupta , Ajay Bansal , Richard Min , Luke Simon , Ajay Mallya Coinductive Logic Programming and Its Applications. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:27-44 [Conf ] Srividya Kona , Ajay Bansal , Gopal Gupta Automatic Composition of SemanticWeb Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:150-158 [Conf ] Srividya Kona , Ajay Bansal , Gopal Gupta , Thomas D. Hite Semantics-basedWeb Service Composition engine. [Citation Graph (0, 0)][DBLP ] CEC/EEE, 2007, pp:521-524 [Conf ] Siddharth Chitnis , Madhu Yennamani , Gopal Gupta ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Enrico Pontelli , Karen Villaverde , Hai-Feng Guo , Gopal Gupta PALS: Efficient Or-Parallelism on Beowulf Clusters [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Hai-Feng Guo , Gopal Gupta An Efficient and Flexible Engine for Computing Fixed Points [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Towards a General Framework for Web Service Composition. [Citation Graph (, )][DBLP ] Coinductive Logic Programming and its Application to Boolean SAT. [Citation Graph (, )][DBLP ] Timed Planning. [Citation Graph (, )][DBLP ] Timed Definite Clause Omega-Grammars. [Citation Graph (, )][DBLP ] Generalized Semantics-Based Service Composition. [Citation Graph (, )][DBLP ] Towards Predicate Answer Set Programming via Coinductive Logic Programming. [Citation Graph (, )][DBLP ] Coinductive Logic Programming with Negation. [Citation Graph (, )][DBLP ] ActionScript bytecode verification with co-logic programming. [Citation Graph (, )][DBLP ] An Agent-Based Approach for Composition of Semantic Web Services. [Citation Graph (, )][DBLP ] Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). [Citation Graph (, )][DBLP ] Dynamic reordering of alternatives for definite logic programs. [Citation Graph (, )][DBLP ] Search in 0.009secs, Finished in 0.013secs