The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eyal Yardeni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro
    Polymorphically Typed Logic Programs. [Citation Graph (2, 0)][DBLP]
    ICLP, 1991, pp:379-393 [Conf]
  2. Michael Codish, Dennis Dams, Eyal Yardeni
    Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. [Citation Graph (1, 0)][DBLP]
    ICLP, 1991, pp:79-93 [Conf]
  3. Thom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni
    Logic Programs as Types for Logic Programs [Citation Graph (1, 0)][DBLP]
    LICS, 1991, pp:300-309 [Conf]
  4. Michael Codish, Dennis Dams, Eyal Yardeni
    Bottom-up Abstract Interpretation of Logic Programs. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:124, n:1, pp:93-125 [Journal]
  5. Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Y. Shapiro
    The Language FCP(: , ?). [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:763-773 [Conf]
  6. Eyal Yardeni, Ehud Y. Shapiro
    A Type System for Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1991, v:10, n:1/2/3&4, pp:125-153 [Journal]

Search in 0.045secs, Finished in 0.046secs
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