Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Ralph Benzinger
8 results
Automated Complexity Analysis of Nuprl Extracted Programs
| cite »
by Ralph Benzinger
2001
Automated Computational Complexity Analysis
| cite »
by Ralph Benzinger
2001
Automated Higher-Order Complexity Analysis
by Ralph Benzinger
February 05, 2001
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000
Automatic Complexity Analysis Revisited
by Ralph Benzinger
January 31, 2000
Automated Complexity Analysis
by Ralph Benzinger
September 15, 1998