Search the dblp DataBase
Todd B. Knoblock: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - Todd B. Knoblock, Robert L. Constable
Formalized Metareasoning in Type Theory [Citation Graph (0, 0)][DBLP]
LICS, 1986, pp:237-248 [Conf] - Todd B. Knoblock, Erik Ruf
Data Specialization. [Citation Graph (0, 0)][DBLP]
PLDI, 1996, pp:215-225 [Conf] - Todd B. Knoblock, Jakob Rehof
Type Elaboration and Subtype Completion for Java Bytecode. [Citation Graph (0, 0)][DBLP]
POPL, 2000, pp:228-242 [Conf] - Brian K. Guenter, Todd B. Knoblock, Erik Ruf
Specializing shaders. [Citation Graph (0, 0)][DBLP]
SIGGRAPH, 1995, pp:343-350 [Conf] - 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] - 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] - 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.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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002