dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Gopal Gupta Home Page Coauthor index pubzone.org

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

DBLP keys2012
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda Saeedloei, Gopal Gupta: Coinductive Constraint Logic Programming. FLOPS 2012: 243-259
2011
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak: Infinite Computation, Co-induction and Computational Logic. CALCO 2011: 40-54
2010
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay Bansal, Neda Saeedloei, Gopal Gupta: Timed Planning. FLAIRS Conference 2010
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda Saeedloei, Gopal Gupta: Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) 2010: 212-221
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeda Saeedloei, Gopal Gupta: Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA 2010: 536-548
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay Bansal, Srividya Kona, M. Brian Blake, Gopal Gupta: Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition. SEKE 2010: 247-252
2009
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Min, Ajay Bansal, Gopal Gupta: Towards Predicate Answer Set Programming via Coinductive Logic Programming. AIAI 2009: 499-508
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Min, Gopal Gupta: Coinductive Logic Programming and its Application to Boolean SAT. FLAIRS Conference 2009
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Min, Gopal Gupta: Coinductive Logic Programming with Negation. LOPSTR 2009: 97-112
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar: ActionScript bytecode verification with co-logic programming. PLAS 2009: 9-15
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: Dynamic reordering of alternatives for definite logic programs. Computer Languages, Systems & Structures 35(3): 252-265 (2009)
122Electronic 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)
121Electronic 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
120Electronic 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
119Electronic 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
118Electronic 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
117Electronic 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
116Electronic 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
115Electronic 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
114Electronic 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
113Electronic 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
112Electronic 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
111Electronic 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
110Electronic 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)
109Electronic 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
108Electronic 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
107Electronic 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
106Electronic 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
105Electronic 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)
104Electronic 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
103no 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
102Electronic 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
101no 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Software Engineering Track Chair's Message. ICDCIT 2005: 433
99Electronic 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
98Electronic 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
97Electronic 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
96Electronic 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
95Electronic 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
94Electronic 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
93Electronic 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
92Electronic 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
91Electronic 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
90Electronic 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
89Electronic 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
88Electronic 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
87Electronic 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
85Electronic 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
84Electronic 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
83Electronic 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
82Electronic 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
81Electronic 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Wang, Gopal Gupta: Continuation Semantics as Horn Clauses. LOPSTR 2003: 176-177
2002
79Electronic 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
78Electronic 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
77Electronic 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
76Electronic 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
75Electronic 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
74no 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
73Electronic 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)
72Electronic 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
71no 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
70Electronic 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
69Electronic 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
68Electronic 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
67Electronic 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
66Electronic 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)
65Electronic 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)
64Electronic Edition 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
63Electronic 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
62Electronic 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
61Electronic 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)
60Electronic 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
59no 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
58no 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
57Electronic 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-
56Electronic 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): 1-2 (1999)
55no 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)
54no 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)
53Electronic Edition 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
52no 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
51no 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
50Electronic 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas: Automatic Generation of Provably Correct Parallelizing Compilers. ICPP 1998: 579-586
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta: Horn Logic Denotations. IJCSLP 1998: 357-358
47no 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
46Electronic 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
45Electronic 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
44Electronic 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
43no 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
42Electronic 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
41no 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta: Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
39no 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
38Electronic 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
37Electronic 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
36Electronic 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
35no 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Enrico Pontelli: Extended dynamic dependent and-parallelism in ACE. PASCO 1997: 68-79
33Electronic Edition 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
30Electronic Edition 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)
29Electronic Edition 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)
28Electronic Edition 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)
17Electronic Edition 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)
16Electronic Edition 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
11Electronic Edition 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
9Electronic Edition 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
1Electronic Edition 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 [62]
2Khayri A. M. Ali [66]
3N. Ammalai [92]
4Narayan Annamalai [89] [90]
5Dominique Archambault [88]
6Subhash Banerjee [121]
7Ajay Bansal [98] [99] [106] [107] [111] [112] [113] [116] [118] [119] [120] [122] [127] [128] [131]
8Srividya Kona Bansal (Srividya Kona) [107] [111] [116] [118] [119] [120] [122] [128]
9Mario Batusic [92]
10Anthony Beaumont [10]
11M. Brian Blake [118] [119] [120] [128]
12Mats Carlsson [28] [66]
13Manuel Carro [20] [21] [30] [56]
14Sachin V. Chitnis [115]
15Siddharth Chitnis [110]
16Vítor Santos Costa [8] [12] [13] [14] [16] [23] [25] [29] [56]
17Nayana Datta [75]
18Brian W. DeVries [124] [132]
19Inês de Castro Dutra [56]
20Omar El-Khatib [75]
21Miad Faezipour [121]
22David Farwell [47] [51]
23Roberto Felix-Cardenas [49]
24Alfredo Ferro [41]
25Donal Fitzpatrick [88]
26Maurizio Gabbrielli [103]
27S. Geiiger [46]
28Douglas J. Gillan [72] [76] [79]
29Deepa Gopal [74] [92] [115]
30Hai-Feng Guo [68] [69] [70] [71] [75] [82] [83] [85] [86] [92] [95] [104] [105] [109] [115] [117] [123]
31Kevin W. Hamlen [124]
32Frank Harary [73]
33E. D. Harris [99]
34Manuel V. Hermenegildo [8] [9] [14] [15] [16] [22] [23] [24] [30] [66]
35Thomas D. Hite [98] [107] [116] [122]
36Juan Raymundo Iglesias [67] [75]
37Aanchal Jain [108] [114]
38Bharat Jayaraman [1] [3] [4] [5] [6] [17] [18] [95]
39Niraj K. Jha [2]
40Péter Kacsuk [56]
41Arthur I. Karshmer [46] [59] [63] [71] [72] [75] [76] [79] [88] [92] [115]
42Feliks Kluzniak [132]
43Amado Lara-Rodríguez [49]
44Gil Lee [121]
45Michael Leuschel [96]
46Miao Liu [95]
47Luc Longpré [60]
48Ajay Mallya [97] [98] [106] [112] [113] [122]
49Kyle Marple [132]
50Yuan Miao [102]
51Klaus Miesenberger [71] [88] [92]
52Brook Milligan [67] [75] [78] [84]
53Richard Min [112] [125] [126] [127] [132]
54Scott Moore [124]
55Mohammed Noamany [75]
56Mehrdad Nourani [121]
57B. Palmer [92]
58Kunal Patel [81] [99]
59Enrico 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] [45] [47] [49] [50] [51] [53] [54] [55] [56] [57] [58] [59] [60] [61] [63] [64] [65] [66] [67] [68] [69] [71] [72] [75] [77] [78] [79] [83] [84] [88] [92] [104] [105] [109]
60B. Prabhakaran (Balakrishnan Prabhakaran) [90]
61Francesco Pulvirenti [41]
62B. Raghavachari [99]
63Desh Ranjan [42] [44] [45] [53] [54] [60] [61] [67] [75] [78] [84]
64Hemambaradara Reddy [89]
65Emad Saad [72] [79]
66Adnan Saeed [121]
67Neda Saeedloei [129] [130] [131] [132] [133]
68Luke Simon [97] [98] [106] [112] [113] [122]
69Tran Cao Son [84]
70Meera Sridhar [124]
71James C. Staves [99]
72Bernhard Stöger [92]
73Lakshman Tamil (Lakshman S. Tamil) [121]
74Dongxing Tang [19] [20] [26] [30]
75Rick Vaupel [35] [39]
76Ramakrishnan Venkitaraman [87] [91]
77Karen Villaverde [68] [69] [83] [104] [105] [109]
78Q. Wang [115]
79Qian Wang [80] [93] [94] [96]
80C. Weaver [46]
81Janyce Wiebe [47] [51]
82Tang Dong Xing [21]
83W. Xiong [63] [72] [79]
84Rong Yang [8]
85Madhu Yennamani [110]
86Bailing Zhang [101] [102]
87Xinhong Zhou [75]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page