The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frederick Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dexter Kozen, Frederick Smith
    Kleene Algebra with Tests: Completeness and Decidability. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:244-259 [Conf]
  2. Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
    Hancock: a language for processing very large-scale data. [Citation Graph (0, 0)][DBLP]
    DSL, 1999, pp:163-176 [Conf]
  3. Frederick Smith, David Walker, J. Gregory Morrisett
    Alias Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:366-381 [Conf]
  4. Frederick Smith, J. Gregory Morrisett
    Comparing Mostly-Copying and Mark-Sweep Conservative Collection. [Citation Graph (0, 0)][DBLP]
    ISMM, 1998, pp:68-78 [Conf]
  5. Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
    Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]
  6. Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
    Hancock: A language for analyzing transactional data streams. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:2, pp:301-338 [Journal]

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