Gopal Gupta Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya 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)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdnan 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)
2008
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta: Generalized Semantics-Based Service Composition. ICWS 2008: 219-227
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta: Towards a General Framework for Web Service Composition. IEEE SCC (2) 2008: 497-498
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta: An Agent-Based Approach for Composition of Semantic Web Services. WETICE 2008: 12-17
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: Simplifying dynamic programming via mode-directed tabling. Softw., Pract. Exper. 38(1): 75-94 (2008)
2007
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite: Semantics-basedWeb Service Composition engine. CEC/EEE 2007: 521-524
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepa 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAanchal Jain, Gopal Gupta: VoxBoox: A System for Automatic Generation of Interactive Talking Books. HCI (7) 2007: 329-338
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta: Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP 2007: 472-483
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya: Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya Kona, Ajay Bansal, Gopal Gupta: Automatic Composition of SemanticWeb Services. ICWS 2007: 150-158
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiddharth Chitnis, Madhu Yennamani, Gopal Gupta: ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm CoRR abs/cs/0701109: (2007)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. TPLP 7(6): 633-695 (2007)
2006
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAanchal Jain, Gopal Gupta: VoxBoox: : a system for automatic generation of interactive talking books. ASSETS 2006: 275-276
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrividya Kona, Ajay Bansal, Gopal Gupta, Thomas D. Hite: Web Service Discovery and Composition using USDL. CEC/EEE 2006: 65
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta: Coinductive Logic Programming. ICLP 2006: 330-345
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR abs/cs/0607040: (2006)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
2005
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Gopal Gupta: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Springer 2005
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBailing Zhang, Yuan Miao, Gopal Gupta: k-Nearest Neighbors Associative Memory Model for Face Recognition. Australian Conference on Artificial Intelligence 2005: 540-549
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBailing Zhang, Gopal Gupta: Kernel Auto-associator from Kernel Principal Component Autoregression with Application to Face Recognition. CIMCA/IAWTIC 2005: 15-19
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Software Engineering Track Chair's Message. ICDCIT 2005: 433
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay 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
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite: A Universal Service Description Language. ICWS 2005: 823-824
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Simon, Ajay Mallya, Gopal Gupta: Design and Implementation of AT: A Real-Time Action Description Language. LOPSTR 2005: 44-60
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Wang, Gopal Gupta, Michael Leuschel: Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. PADL 2005: 98-112
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Wang, Gopal Gupta: Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. SAC 2005: 1419-1426
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Wang, Gopal Gupta: Provably Correct Code Generation: A Case Study. Electr. Notes Theor. Comput. Sci. 118: 87-109 (2005)
2004
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamakrishnan Venkitaraman, Gopal Gupta: Static program analysis of embedded executable assembly code. CASES 2004: 157-166
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Annamalai, Gopal Gupta, B. Prabhakaran: Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion. ICCHP 2004: 339-346
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemambaradara Reddy, Narayan Annamalai, Gopal Gupta: Listener-Controlled Dynamic Navigation of VoiceXML Documents. ICCHP 2004: 347-354
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominique Archambault, Donal Fitzpatrick, Gopal Gupta, Arthur I. Karshmer, Klaus Miesenberger, Enrico Pontelli: Towards a Universal Maths Conversion Library. ICCHP 2004: 664-669
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamakrishnan Venkitaraman, Gopal Gupta: Framework for Safe Reuse of Software Binaries. ICDCIT 2004: 283-293
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: An Efficient and Flexible Engine for Computing Fixed Points CoRR abs/cs/0412041: (2004)
2003
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTran 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKunal Patel, Gopal Gupta: Semantic Processing of the Semantic Web. International Semantic Web Conference 2003: 80-95
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Wang, Gopal Gupta: Continuation Semantics as Horn Clauses. LOPSTR 2003: 176-177
2002
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta: F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems. CSB 2002: 9-20
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur I. Karshmer, Gopal Gupta, Douglas J. Gillan: Architecting an Auditory Browser for Navigating Mathematical Expressions. ICCHP 2002: 477-485
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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? PADL 2002: 82-100
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Deepa Gopal: Towards a Logic Programming Based Environment for Automatic Generation of Translators. WLPE 2002: 87-88
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Harary, Gopal Gupta: A constraint logic programming approach for generating all perfect matchings. Appl. Math. Lett. 15(8): 969-973 (2002)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
2001
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaren 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan: Interoperability between Bioinformatics Tools: A Logic Programming Approach. PADL 2001: 153-168
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Backtracking in Independent And-Parallel Implementations of Logic Programming Languages. IEEE Trans. Parallel Distrib. Syst. 12(11): 1169-1189 (2001)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: Optimization schemas for parallel implementation of non-deterministic languages and systems. Softw., Pract. Exper. 31(12): 1143-1181 (2001)
2000
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Shameem F. Akhter: Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. PADL 2000: 308-323
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesh Ranjan, Enrico Pontelli, Gopal Gupta: Data structures for order-sensitive predicates in parallel nondeterministic systems. Acta Inf. 37(1): 21-43 (2000)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesh Ranjan, Enrico Pontelli, Gopal Gupta, Luc Longpré: The Temporal Precedence Problem. Algorithmica 28(3): 288-306 (2000)
1999
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur I. Karshmer, Enrico Pontelli, Gopal Gupta: Software technology and computer interfaces for the disabled: non-visual WWW browsing. HCI (2) 1999: 792-796
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. ICLP 1999: 290-304
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: Efficient Techniques for Distributed Implementation of Search-Based AI Systems. ICPP 1999: 319-
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk: Preface. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Extended Dynamic Dependent And-Parallelism in ACE. Journal of Functional and Logic Programming 1999(Special Issue 1): (1999)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesh Ranjan, Enrico Pontelli, Gopal Gupta: On the Complexity of Or-Parallelism. New Generation Comput. 17(3): 285-307 (1999)
1998
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings Springer 1998
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. AAAI/IAAI 1998: 76-82
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages. ICPP 1998: 338-345
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli, Amado Lara-Rodriguez, Roberto Felix-Cardenas: Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Horn Logic Denotations. IJCSLP 1998: 357-358
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell: Natural Language Multiprocessing: A Case Study. Implementation Technology for Programming Languages based on Logic 1998: 101-112
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur I. Karshmer, Gopal Gupta, S. Geiiger, C. Weaver: Reading and Writing Mathematics: the MAVIS Project. International ACM Conference on Assistive Technologies 1998: 136-143
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Desh Ranjan, Gopal Gupta: The Complexity of Late-Binding in Dynamic Object-Oriented Languages. PLILP/ALP 1998: 213-229
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesh Ranjan, Enrico Pontelli, Gopal Gupta: Efficient Algorithms for the Temporal Precedence Problem. Inf. Process. Lett. 68(2): 71-81 (1998)
1997
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: High Performance Parallel Logic Programming: The ACE Parallel Prolog System. APPIA-GULP-PRODE 1997: 25-32
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Desh Ranjan, Gopal Gupta: On the Complexity of Parallel Implementation of Logic Programs. FSTTCS 1997: 123-137
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Vaupel, Enrico Pontelli, Gopal Gupta: Visualization of And/Or-Parallel Execution of Logic Programs. ICLP 1997: 271-285
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: W-ACE: A Logic Language for Intelligent Internet Programming. ICTAI 1997: 2-10
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: A constraint-based approach for specification and verification of real-time systems. IEEE Real-Time Systems Symposium 1997: 230-239
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems. IPPS 1997: 428-435
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Vaupel, Enrico Pontelli, Gopal Gupta: VACE: A Tool for Visualization of And-Or Parallel Execution. LPE 1997: 51-54
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Parallel Symbolic Computation in ACE. Ann. Math. Artif. Intell. 21(2-4): 359-395 (1997)
1996
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Nested Parallel Call Optimization. IPPS 1996: 225-229
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Dependent And-Parallelism Revisited (Poster Abstract). JICSLP 1996: 542
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Mats Carlsson: Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996)
1995
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: On the Duality Between Or-parallelism and And-parallelism in Logic Programming. Euro-Par 1995: 43-54
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Dongxing Tang: Determinacy Driven Optimizations of And-Parallel Prolog Implementations. ICLP 1995: 615-629
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
1994
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTang 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. SLP 1994: 683-684
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
1993
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Bharat Jayaraman: Analysis of Or-Parallel Execution Models. ACM Trans. Program. Lang. Syst. 15(4): 659-680 (1993)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Bharat Jayaraman: And-Or Parallelism on Shared-Memory Multiprocessors. J. Log. Program. 17(1): 59-89 (1993)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)
1992
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo: Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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-
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa: Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps. Inf. Process. Lett. 44(5): 273-280 (1992)
1991
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Beaumont, Gopal Gupta: Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings Springer 1991
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo: IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets. ICPP (3) 1990: 346-347
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Bharat Jayaraman: Optimizing And-Or Parallel Implementations. NACLP 1990: 605-623
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Bharat Jayaraman: On Criteria for Or-Parallel Execution Models of Logic Programs. NACLP 1990: 737-756
1989
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Bharat Jayaraman: Combined And-Or Parallelism on Shared Memory Multiprocessors. NACLP 1989: 332-349
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharat Jayaraman, Gopal Gupta: EqL: The Language and Its Implementation. IEEE Trans. Software Eng. 15(6): 771-779 (1989)
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBharat Jayaraman, Gopal Gupta: Parallel execution of an equational language. Graph Reduction 1986: 370-381

Coauthor Index

1Shameem F. Akhter [61]
2Khayri A. M. Ali [65]
3N. Ammalai [91]
4Narayan Annamalai [88] [89]
5Dominique Archambault [87]
6Subhash Banerjee [120]
7Ajay Bansal [97] [98] [105] [106] [110] [111] [112] [115] [117] [118] [119] [121]
8Mario Batusic [91]
9Anthony Beaumont [10]
10M. Brian Blake [117] [118] [119]
11Mats Carlsson [28] [65]
12Manuel Carro [20] [21] [30] [55]
13Sachin V. Chitnis [114]
14Siddharth Chitnis [109]
15Vítor Santos Costa [8] [12] [13] [14] [16] [23] [25] [29] [55]
16Nayana Datta [74]
17Inês de Castro Dutra [55]
18Omar El-Khatib [74]
19Miad Faezipour [120]
20David Farwell [46] [50]
21Roberto Felix-Cardenas [48]
22Alfredo Ferro [40]
23Donal Fitzpatrick [87]
24Maurizio Gabbrielli [102]
25S. Geiiger [45]
26Douglas J. Gillan [71] [75] [78]
27Deepa Gopal [73] [91] [114]
28Hai-Feng Guo [67] [68] [69] [70] [74] [81] [82] [84] [85] [91] [94] [103] [104] [108] [114] [116]
29Frank Harary [72]
30E. D. Harris [98]
31Manuel V. Hermenegildo [8] [9] [14] [15] [16] [22] [23] [24] [30] [65]
32Thomas D. Hite [97] [106] [115] [121]
33Juan Raymundo Iglesias [66] [74]
34Aanchal Jain [107] [113]
35Bharat Jayaraman [1] [3] [4] [5] [6] [17] [18] [94]
36Niraj K. Jha [2]
37Péter Kacsuk [55]
38Arthur I. Karshmer [45] [58] [62] [70] [71] [74] [75] [78] [87] [91] [114]
39Srividya Kona [106] [110] [115] [117] [118] [119] [121]
40Amado Lara-Rodriguez [48]
41Gil Lee [120]
42Michael Leuschel [95]
43Miao Liu [94]
44Luc Longpré [59]
45Ajay Mallya [96] [97] [105] [111] [112] [121]
46Yuan Miao [101]
47Klaus Miesenberger [70] [87] [91]
48Brook Milligan [66] [74] [77] [83]
49Richard Min [111]
50Mohammed Noamany [74]
51Mehrdad Nourani [120]
52B. Palmer [91]
53Kunal Patel [80] [98]
54Enrico Pontelli [19] [20] [21] [22] [23] [24] [25] [26] [27] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [46] [48] [49] [50] [52] [53] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [65] [66] [67] [68] [70] [71] [74] [76] [77] [78] [82] [83] [87] [91] [103] [104] [108]
55B. Prabhakaran (Balakrishnan Prabhakaran) [89]
56Francesco Pulvirenti [40]
57B. Raghavachari [98]
58Desh Ranjan [41] [43] [44] [52] [53] [59] [60] [66] [74] [77] [83]
59Hemambaradara Reddy [88]
60Emad Saad [71] [78]
61Adnan Saeed [120]
62Luke Simon [96] [97] [105] [111] [112] [121]
63Tran Cao Son [83]
64James C. Staves [98]
65Bernhard Stöger [91]
66Lakshman Tamil [120]
67Dongxing Tang [19] [20] [26] [30]
68Rick Vaupel [34] [38]
69Ramakrishnan Venkitaraman [86] [90]
70Karen Villaverde [67] [68] [82] [103] [104] [108]
71Q. Wang [114]
72Qian Wang [79] [92] [93] [95]
73C. Weaver [45]
74Janyce Wiebe [46] [50]
75Tang Dong Xing [21]
76W. Xiong [62] [71] [78]
77Rong Yang [8]
78Madhu Yennamani [109]
79Bailing Zhang [100] [101]
80Xinhong Zhou [74]

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)