The SCEAS System
Navigation Menu

Search the dblp DataBase


Todd B. Knoblock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William J. Bolosky, Richard Draves, Robert P. Fitzgerald, Christopher W. Fraser, Michael B. Jones, Todd B. Knoblock, Richard F. Rashid
    Operating System Directions for the Next Millennium. [Citation Graph (0, 0)][DBLP]
    Workshop on Hot Topics in Operating Systems, 1997, pp:106-110 [Conf]
  2. Todd B. Knoblock, Robert L. Constable
    Formalized Metareasoning in Type Theory [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:237-248 [Conf]
  3. Todd B. Knoblock, Erik Ruf
    Data Specialization. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:215-225 [Conf]
  4. Todd B. Knoblock, Jakob Rehof
    Type Elaboration and Subtype Completion for Java Bytecode. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:228-242 [Conf]
  5. Brian K. Guenter, Todd B. Knoblock, Erik Ruf
    Specializing shaders. [Citation Graph (0, 0)][DBLP]
    SIGGRAPH, 1995, pp:343-350 [Conf]
  6. Robert L. Constable, Todd B. Knoblock, Joseph L. Bates
    Writing Programs that Construct Proofs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:3, pp:285-326 [Journal]
  7. Robert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi
    Marmot: an optimizing compiler for Java. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2000, v:30, n:3, pp:199-232 [Journal]
  8. Todd B. Knoblock, Jakob Rehof
    Type elaboration and subtype completion for Java bytecode. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:243-272 [Journal]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002