The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gopal Gupta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  112. Towards a General Framework for Web Service Composition. [Citation Graph (, )][DBLP]


  113. Coinductive Logic Programming and its Application to Boolean SAT. [Citation Graph (, )][DBLP]


  114. Timed Planning. [Citation Graph (, )][DBLP]


  115. Timed Definite Clause Omega-Grammars. [Citation Graph (, )][DBLP]


  116. Generalized Semantics-Based Service Composition. [Citation Graph (, )][DBLP]


  117. Towards Predicate Answer Set Programming via Coinductive Logic Programming. [Citation Graph (, )][DBLP]


  118. Coinductive Logic Programming with Negation. [Citation Graph (, )][DBLP]


  119. ActionScript bytecode verification with co-logic programming. [Citation Graph (, )][DBLP]


  120. An Agent-Based Approach for Composition of Semantic Web Services. [Citation Graph (, )][DBLP]


  121. Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). [Citation Graph (, )][DBLP]


  122. Dynamic reordering of alternatives for definite logic programs. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.610secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002