The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Deepak Goyal: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Deepak Goyal, Robert Paige
    The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:382-414 [Conf]
  2. Charles Barton, Philippe Charles, Deepak Goyal, Mukund Raghavachari, Marcus Fontoura, Vanja Josifovski
    Streaming XPath Processing with Forward and Backward Axes. [Citation Graph (0, 0)][DBLP]
    ICDE, 2003, pp:455-466 [Conf]
  3. G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
    Deriving Specialized Program Analyses for Certifying Component-Client Conformance. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:83-94 [Conf]
  4. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
    Typestate Verification: Abstraction Techniques and Complexity Results. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:439-462 [Conf]
  5. Deepak Goyal, Robert Paige
    A New Solution to the Hidden Copy Problem. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:327-348 [Conf]
  6. Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
    Compactly Representing First-Order Structures for Static Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:196-212 [Conf]
  7. Deepak Goyal
    Transformational Derivation of an Improved Alias Analysis Algorithm. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:15-49 [Journal]
  8. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
    Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]

  9. Non-cycle-accurate sequential equivalence checking. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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