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