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 |