Gopal Gupta Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neda Saeedloei, Gopal Gupta: Coinductive Constraint Logic Programming. FLOPS 2012: 243-259
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kyle Marple, Gopal Gupta: Galliwasp: A Goal-Directed Answer Set Solver. LOPSTR 2012: 122-136
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta: Goal-directed execution of answer set programs. PPDP 2012: 35-44
2011
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neda Saeedloei, Gopal Gupta: A logic-based modeling and verification of CPS. SIGBED Review 8(2): 31-34 (2011)
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak: Infinite Computation, Co-induction and Computational Logic. CALCO 2011: 40-54
2010
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Bansal, Neda Saeedloei, Gopal Gupta: Timed Planning. FLAIRS Conference 2010
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neda Saeedloei, Gopal Gupta: Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) 2010: 212-221
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neda Saeedloei, Gopal Gupta: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA 2010: 536-548
c93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta: Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE 2010: 247-252
2009
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: Dynamic reordering of alternatives for definite logic programs. Computer Languages, Systems & Structures 35(3): 252-265 (2009)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adnan Saeed, Miad Faezipour, Mehrdad Nourani, Subhash Banerjee, Gil Lee, Gopal Gupta, Lakshman Tamil: A Scalable Wireless Body Area Network for Bio-Telemetry. JIPS 5(2): 77-86 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite: USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. Int. J. Web Service Res. 6(1): 20-48 (2009)
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Min, Gopal Gupta: Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS Conference 2009
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Min, Ajay Bansal, Gopal Gupta: Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI 2009: 499-508
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Min, Gopal Gupta: Coinductive Logic Programming with Negation. LOPSTR 2009: 97-112
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar: ActionScript bytecode verification with co-logic programming. PLAS 2009: 9-15
2008
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: Simplifying dynamic programming via mode-directed tabling. Softw., Pract. Exper. 38(1): 75-94 (2008)
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta: Towards a General Framework for Web Service Composition. IEEE SCC (2) 2008: 497-498
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta: Generalized Semantics-Based Service Composition. ICWS 2008: 219-227
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta: An Agent-Based Approach for Composition of Semantic Web Services. WETICE 2008: 12-17
2007
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. TPLP 7(6): 633-695 (2007)
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer: Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aanchal Jain, Gopal Gupta: VoxBoox: A System for Automatic Generation of Interactive Talking Books. HCI (7) 2007: 329-338
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta: Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP 2007: 472-483
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya: Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, Gopal Gupta: Automatic Composition of SemanticWeb Services. ICWS 2007: 150-158
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite: Semantics-basedWeb Service Composition engine. CEC/EEE 2007: 521-524
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Siddharth Chitnis, Madhu Yennamani, Gopal Gupta: ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm. CoRR abs/cs/0701109 (2007)
2006
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006)
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aanchal Jain, Gopal Gupta: VoxBoox: : a system for automatic generation of interactive talking books. ASSETS 2006: 275-276
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta: Coinductive Logic Programming. ICLP 2006: 330-345
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite: Web Service Discovery and Composition using USDL. CEC/EEE 2006: 65
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006)
2005
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qian Wang, Gopal Gupta: Provably Correct Code Generation: A Case Study. Electr. Notes Theor. Comput. Sci. 118: 87-109 (2005)
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bailing Zhang, Yuan Miao, Gopal Gupta: k-Nearest Neighbors Associative Memory Model for Face Recognition. Australian Conference on Artificial Intelligence 2005: 540-549
c75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bailing Zhang, Gopal Gupta: Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition. CIMCA/IAWTIC 2005: 15-19
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta: Software Engineering Track Chair's Message. ICDCIT 2005: 433
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ajay Bansal, Kunal Patel, Gopal Gupta, B. Raghavachari, E. D. Harris, James C. Staves: Towards Intelligent Services: A Case Study in Chemical Emergency Response. ICWS 2005: 751-758
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite: A Universal Service Description Language. ICWS 2005: 823-824
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luke Simon, Ajay Mallya, Gopal Gupta: Design and Implementation of AT: A Real-Time Action Description Language. LOPSTR 2005: 44-60
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qian Wang, Gopal Gupta, Michael Leuschel: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL 2005: 98-112
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qian Wang, Gopal Gupta: Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. SAC 2005: 1419-1426
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Gopal Gupta (Eds.): Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668, Springer 2005, isbn 3-540-29208-X
2004
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ASSETS 2004: 55-62
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramakrishnan Venkitaraman, Gopal Gupta: Static program analysis of embedded executable assembly code. CASES 2004: 157-166
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Narayan Annamalai, Gopal Gupta, B. Prabhakaran: Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. ICCHP 2004: 339-346
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hemambaradara Reddy, Narayan Annamalai, Gopal Gupta: Listener-Controlled Dynamic Navigation of VoiceXML Documents. ICCHP 2004: 347-354
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli: Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramakrishnan Venkitaraman, Gopal Gupta: Framework for Safe Reuse of Software Binaries. ICDCIT 2004: 283-293
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: An Efficient and Flexible Engine for Computing Fixed Points. CoRR abs/cs/0412041 (2004)
2003
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. DALT 2003: 76-96
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qian Wang, Gopal Gupta: Continuation Semantics as Horn Clauses. LOPSTR 2003: 176-177
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kunal Patel, Gopal Gupta: Semantic Processing of the Semantic Web. International Semantic Web Conference 2003: 80-95
2002
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Harary, Gopal Gupta: A constraint logic programming approach for generating all perfect matchings. Appl. Math. Lett. 15(8): 969-973 (2002)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Douglas J. Gillan, Gopal Gupta, Arthur I. Karshmer, Emad Saad, W. Xiong: Intelligent non-visual navigation of complex HTML structures. Universal Access in the Information Society 2(1): 56-69 (2002)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Douglas J. Gillan, W. Xiong, Emad Saad, Gopal Gupta, Arthur I. Karshmer: Navigation of HTML tables, frames, and XML fragments. ASSETS 2002: 25-32
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. Computational Logic: Logic Programming and Beyond 2002: 211-239
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta: F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arthur I. Karshmer, Gopal Gupta, Douglas J. Gillan: Architecting an Auditory Browser for Navigating Mathematical Expressions. ICCHP 2002: 477-485
c51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Deepa Gopal: Towards a Logic Programming Based Environment for Automatic Generation of Translators. WLPE 2002: 87-88
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
2001
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw., Pract. Exper. 31(12): 1143-1181 (2001)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo: Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distrib. Syst. 12(11): 1169-1189 (2001)
c49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. HCI 2001: 929-933
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai-Feng Guo, Gopal Gupta: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta: Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan: Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168
2000
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Desh Ranjan, Enrico Pontelli, Gopal Gupta: Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Inf. 37(1): 21-43 (2000)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Desh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré: The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta: Parallel implementation of Prolog: the ACE project. ACM SIGSOFT Software Engineering Notes 25(1): 54-55 (2000)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, W. Xiong, Gopal Gupta, Arthur I. Karshmer: A domain specific language framework for non-visual browsing of complex HTML structures. ASSETS 2000: 180-187
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Shameem F. Akhter: Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000: 308-323
1999
j15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Extended Dynamic Dependent And-Parallelism in ACE. Journal of Functional and Logic Programming 1999(Special Issue 1) (1999)
j14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Desh Ranjan, Gopal Gupta: Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. Journal of Functional and Logic Programming 1999(Special Issue 2) (1999)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Desh Ranjan, Enrico Pontelli, Gopal Gupta: On the Complexity of Or-Parallelism. New Generation Comput. 17(3): 285-307 (1999)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arthur I. Karshmer, Enrico Pontelli, Gopal Gupta: Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796
c41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319-
1998
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Desh Ranjan, Enrico Pontelli, Gopal Gupta: Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arthur I. Karshmer, Gopal Gupta, S. Geiiger, C. Weaver: Reading and Writing Mathematics: the MAVIS Project. International ACM Conference on Assistive Technologies 1998: 136-143
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic 1998: 101-112
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta: Horn Logic Denotations. IJCSLP 1998: 357-358
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas: Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Desh Ranjan, Gopal Gupta: The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta (Ed.): Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Lecture Notes in Computer Science 1551, Springer 1998, isbn 3-540-65527-1
1997
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997)
c32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Extended dynamic dependent and-parallelism in ACE. PASCO 1997: 68-79
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Desh Ranjan, Gopal Gupta: On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rick Vaupel, Enrico Pontelli, Gopal Gupta: VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Enrico Pontelli: A constraint-based approach for specification and verification of real-time systems. RTSS 1997: 230-239
1996
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo: Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Mats Carlsson: Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996)
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: Nested Parallel Call Optimization. IPPS 1996: 225-229
1995
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta: On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
1994
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinancy Driven Optimization of Parallel Prolog Implementations. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 54-71
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. SLP 1994: 683-684
1993
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Bharat Jayaraman: And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. 17(1): 59-89 (1993)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Bharat Jayaraman: Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. 15(4): 659-680 (1993)
1992
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta: Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. Inf. Process. Lett. 44(5): 273-280 (1992)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Manuel V. Hermenegildo: Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992: 0-
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Vítor Santos Costa: And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Vítor Santos Costa: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295
1991
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Manuel V. Hermenegildo: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs 1991: 146-158
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anthony Beaumont, Gopal Gupta (Eds.): Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings. Lecture Notes in Computer Science 569, Springer 1991, isbn 3-540-55038-0
1990
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta: A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. ICPP (3) 1990: 346-347
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Bharat Jayaraman: Optimizing And-Or Parallel Implementations. NACLP 1990: 605-623
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Bharat Jayaraman: On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP 1990: 737-756
1989
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bharat Jayaraman, Gopal Gupta: EqL: The Language and Its Implementation. IEEE Trans. Software Eng. 15(6): 771-779 (1989)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Bharat Jayaraman: Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP 1989: 332-349
1988
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gopal Gupta, Niraj K. Jha: A universal test set for CMOS circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(5): 590-597 (1988)
1986
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bharat Jayaraman, Gopal Gupta: Parallel execution of an equational language. Graph Reduction 1986: 370-381

Coauthor Index

1Shameem F. Akhter
[c43]
2Khayri A. M. Ali
[j20]
3N. Ammalai
[c67]
4Narayan Annamalai
[c65] [c64]
5Dominique Archambault
[c63]
6Subhash Banerjee
[j29]
7Ajay Bansal
[c98] [c96] [c93] [j28] [c91] [c88] [c87] [c86] [c83] [c82] [c81] [c80] [c78] [c77] [c73] [c72]
8Srividya Kona Bansal (Srividya Kona)
[c93] [j28] [c88] [c87] [c86] [c81] [c80] [c77]
9Mario Batusic
[c67]
10Anthony Beaumont
[e1]
11M. Brian Blake
[c93] [c88] [c87] [c86]
12Mats Carlsson
[j20] [j7]
13Manuel Carro
[j12] [j9] [c14] [c12]
14Sachin V. Chitnis
[c85]
15Siddharth Chitnis
[i3]
16Vítor Santos Costa
[j12] [j8] [c18] [c15] [j5] [c10] [c9] [c8] [c6]
17Nayana Datta
[c50]
18Brian W. DeVries
[c97] [c89]
19Inês de Castro Dutra
[j12]
20Omar El-Khatib
[c50]
21Miad Faezipour
[j29]
22David Farwell
[c39] [c37]
23Roberto Felix-Cardenas
[c34]
24Alfredo Ferro
[c29]
25Donal Fitzpatrick
[c63]
26Maurizio Gabbrielli
[e3]
27S. Geiiger
[c38]
28Douglas J. Gillan
[j22] [c55] [c52]
29Deepa Gopal
[c85] [c67] [c51]
30Hai-Feng Guo
[j30] [j27] [j26] [c85] [j25] [i2] [c69] [c67] [c61] [i1] [c59] [c58] [c50] [c49] [c48] [c47] [c46]
31Kevin W. Hamlen
[c89]
32Frank Harary
[j23]
33E. D. Harris
[c73]
34Manuel V. Hermenegildo
[j20] [j9] [c17] [c16] [c15] [j5] [c11] [c10] [c7] [c6]
35Thomas D. Hite
[j28] [c80] [c77] [c72]
36Juan Raymundo Iglesias
[c50] [c45]
37Aanchal Jain
[c84] [c79]
38Bharat Jayaraman
[c69] [j6] [j4] [c4] [c3] [j2] [c2] [c1]
39Niraj K. Jha
[j1]
40Péter Kacsuk
[j12]
41Arthur I. Karshmer
[c85] [c67] [c63] [j22] [c55] [c52] [c50] [c49] [c44] [c42] [c38]
42Feliks Kluzniak
[c97]
43Amado Lara-Rodríguez
[c34]
44Gil Lee
[j29]
45Michael Leuschel
[c70]
46Miao Liu
[c69]
47Luc Longpré
[j17]
48Ajay Mallya
[j28] [c83] [c82] [c78] [c72] [c71]
49Kyle Marple
[c99] [c98] [c97]
50Yuan Miao
[c76]
51Klaus Miesenberger
[c67] [c63] [c49]
52Brook Milligan
[c60] [c53] [c50] [c45]
53Richard Min
[c98] [c97] [c92] [c91] [c90] [c82]
54Scott Moore
[c89]
55Mohammed Noamany
[c50]
56Mehrdad Nourani
[j29]
57B. Palmer
[c67]
58Kunal Patel
[c73] [c56]
59Enrico Pontelli
[j26] [j25] [i2] [c67] [c63] [c60] [c59] [j22] [c55] [c54] [c53] [c50] [j21] [j20] [j19] [c49] [c48] [c46] [c45] [j18] [j17] [c44] [j15] [j14] [j13] [j12] [c42] [c41] [c40] [j11] [c39] [c37] [c35] [c34] [c33] [j10] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [j9] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12]
60B. Prabhakaran (Balakrishnan Prabhakaran)
[c65]
61Francesco Pulvirenti
[c29]
62B. Raghavachari
[c73]
63Desh Ranjan
[c60] [c53] [c50] [c45] [j18] [j17] [j14] [j13] [j11] [c33] [c30]
64Hemambaradara Reddy
[c64]
65Emad Saad
[j22] [c55]
66Adnan Saeed
[j29]
67Neda Saeedloei
[c100] [j31] [c97] [c96] [c95] [c94]
68Luke Simon
[j28] [c83] [c82] [c78] [c72] [c71]
69Tran Cao Son
[c60]
70Meera Sridhar
[c89]
71James C. Staves
[c73]
72Bernhard Stöger
[c67]
73Lakshman Tamil (Lakshman S. Tamil)
[j29]
74Dongxing Tang
[j9] [c19] [c13] [c12]
75Rick Vaupel
[c27] [c24]
76Ramakrishnan Venkitaraman
[c66] [c62]
77Karen Villaverde
[j26] [j25] [i2] [c59] [c48] [c46]
78Q. Wang
[c85]
79Qian Wang
[j24] [c70] [c68] [c57]
80C. Weaver
[c38]
81Janyce Wiebe
[c39] [c37]
82Tang Dong Xing
[c14]
83W. Xiong
[j22] [c55] [c44]
84Rong Yang
[c6]
85Madhu Yennamani
[i3]
86Bailing Zhang
[c76] [c75]
87Xinhong Zhou
[c50]

Colors in the list of coauthors

Last update Fri May 24 23:53:51 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page