Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
zeilberger.pdf | 2009-05-11 11:45 | 1.3M | ||
xi.pdf | 2001-06-25 20:18 | 2.6M | ||
tassarotti.pdf | 2019-01-04 16:02 | 971K | ||
tassarotti-proposal.pdf | 2017-08-30 07:32 | 328K | ||
stone.pdf | 2001-06-25 20:18 | 1.0M | ||
sterling.pdf | 2021-10-18 12:41 | 1.6M | ||
spoonhower.pdf | 2009-05-22 11:36 | 1.0M | ||
simmons.pdf | 2013-03-31 22:40 | 1.5M | ||
schuermann.pdf | 2001-06-25 19:44 | 1.9M | ||
sarkar.pdf | 2009-05-15 17:24 | 1.0M | ||
reed.pdf | 2012-06-04 15:21 | 961K | ||
polakow.ps | 2001-09-27 14:17 | 1.2M | ||
polakow.pdf | 2002-11-25 17:11 | 1.8M | ||
pierce.pdf | 2001-06-25 19:44 | 1.1M | ||
pientka.ps | 2003-12-28 23:28 | 1.4M | ||
petersen.pdf | 2005-06-06 00:14 | 1.0M | ||
petersen-proposal.ps | 2001-09-26 02:09 | 593K | ||
park.pdf | 2012-06-04 15:19 | 1.1M | ||
omar.pdf | 2017-05-15 14:14 | 1.4M | ||
okasaki.pdf | 2001-06-25 19:44 | 614K | ||
niu.pdf | 2024-09-30 10:42 | 1.3M | ||
necula.pdf | 2001-06-25 19:41 | 1.6M | ||
nanevski.ps | 2004-08-06 17:22 | 1.6M | ||
nanevski.pdf | 2004-08-06 17:22 | 972K | ||
murphy.pdf | 2008-05-13 02:01 | 1.5M | ||
muller.pdf | 2018-12-20 11:20 | 950K | ||
muller-proposal.pdf | 2017-05-11 12:17 | 355K | ||
morrisett.pdf | 2001-06-25 19:41 | 1.5M | ||
lovas.pdf | 2012-06-04 15:22 | 1.3M | ||
lillibridge.pdf | 2001-06-25 19:32 | 1.6M | ||
licata.pdf | 2011-03-16 15:56 | 1.7M | ||
kumar-sr-thesis.pdf | 2017-05-09 15:27 | 802K | ||
hdeyoung.pdf | 2020-12-28 15:40 | 3.3M | ||
greiner.pdf | 2001-06-25 19:32 | 1.4M | ||
garg.pdf | 2009-12-11 17:47 | 2.3M | ||
filinski.pdf | 2001-06-25 19:32 | 1.2M | ||
favonia.pdf | 2017-03-20 15:04 | 639K | ||
dunfield.pdf | 2012-06-04 15:16 | 2.1M | ||
dreyer.pdf | 2005-06-03 17:10 | 1.3M | ||
dreyer-proposal.pdf | 2002-11-25 17:56 | 357K | ||
delap.ps | 2002-07-09 15:26 | 351K | ||
davies.pdf | 2012-06-04 15:11 | 1.2M | ||
colby.pdf | 2001-06-25 19:27 | 1.1M | ||
cheng.ps | 2001-09-24 17:13 | 1.8M | ||
cheng.pdf | 2001-09-27 14:01 | 1.0M | ||
chang.ps | 2002-07-09 15:26 | 606K | ||
cavallo.pdf | 2021-06-03 11:27 | 2.2M | ||
cavallo-proposal.pdf | 2019-06-28 15:45 | 457K | ||
cavallo-msc.pdf | 2015-12-16 16:41 | 509K | ||
cavallo-errata.txt | 2021-05-10 15:25 | 429 | ||
brandt.ps | 2002-08-20 16:34 | 1.6M | ||
arora.pdf | 2024-09-09 11:05 | 4.3M | ||
angiuli.pdf | 2019-10-02 13:14 | 1.4M | ||
angiuli-proposal.pdf | 2017-05-11 12:22 | 417K | ||
ahmad-proposal.pdf | 2015-11-30 22:48 | 395K | ||
agarwal.pdf | 2006-05-24 16:45 | 1.6M | ||
acar.pdf | 2005-06-22 13:06 | 1.6M | ||
McLaughlin-Proposal.pdf | 2009-05-11 12:19 | 567K | ||