Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
BL-0113590-990202-03.pdf | 2001-09-10 18:21 | 292K | ||
BL-0113590-990202-03.ps | 1999-02-23 17:19 | 502K | ||
BL-0113590-990302-04.pdf | 2001-09-10 18:21 | 362K | ||
BL-0113590-990302-04.ps | 1999-04-07 18:56 | 553K | ||
CAV05-tool-demo.pdf | 2005-04-28 23:18 | 66K | ||
CAV05-tool-demo.ps | 2005-04-28 23:15 | 132K | ||
CAV12-JAM.pdf | 2012-04-20 16:30 | 472K | ||
CAV12-OpenNWA.pdf | 2012-09-06 16:14 | 112K | ||
CAV12-Staalmarck.pdf | 2012-04-21 08:42 | 527K | ||
CAV12-VPA.pdf | 2012-04-21 11:51 | 427K | ||
CRBadgeNotableItem.jpg | 2017-07-08 01:00 | 24K | ||
DAntoni2021_Chapter_ProgrammableProgramSynthesis.pdf | 2021-12-27 17:55 | 751K | ||
FMSD05.pdf | 2005-06-21 14:14 | 245K | ||
JCS04.pdf | 2004-06-17 08:02 | 331K | ||
JLRS08_revision1.pdf | 2008-11-29 11:34 | 621K | ||
JLRS08_submission.pdf | 2008-05-19 16:39 | 575K | ||
Kincaid2021_Chapter_AlgebraicProgramAnalysis.pdf | 2021-12-27 17:54 | 1.0M | ||
STTT-random-isolation-revision.pdf | 2010-09-23 13:29 | 537K | ||
STTT-random-isolation.pdf | 2011-04-06 17:31 | 542K | ||
STTT-sub-AS-serializability.pdf | 2009-11-01 19:42 | 931K | ||
STTT-sub-symbolic.pdf | 2009-11-01 21:20 | 459K | ||
STTT10.AS-serializability.pdf | 2010-03-13 17:50 | 1.0M | ||
STTT10.symbolic.pdf | 2010-03-10 22:16 | 471K | ||
SpecSlicing-submission.pdf | 2012-10-27 16:39 | 1.7M | ||
TOPLAS-00005-2016.R1.pdf | 2016-11-08 17:11 | 1.6M | ||
TOPLAS-00017-2013-Revision2.pdf | 2014-08-06 14:28 | 1.0M | ||
TOPLAS-00057-2012-final.pdf | 2014-01-30 12:11 | 1.5M | ||
TOPLAS-CFLOBDDs-R1-corrected.pdf | 2023-12-13 11:38 | 2.3M | ||
TOPLAS-CFLOBDDs-R2.pdf | 2024-01-12 14:15 | 2.5M | ||
TOPLAS-CFLOBDDs-with-DOI.pdf | 2024-03-02 17:29 | 2.5M | ||
TR1526.pdf | 2005-08-18 11:02 | 213K | ||
TR1526.ps | 2005-08-18 11:58 | 414K | ||
TR1527.pdf | 2005-08-18 12:10 | 153K | ||
TR1527.ps | 2005-08-18 12:10 | 324K | ||
TR1792-R1.pdf | 2014-02-08 14:25 | 1.0M | ||
aadebug93.ps | 1995-08-17 15:06 | 330K | ||
acta02.ps | 2008-02-07 13:04 | 295K | ||
acta91.ps | 2004-06-22 18:03 | 316K | ||
acta96.pdf | 2001-09-10 18:34 | 233K | ||
acta96.ps | 1995-07-21 18:41 | 511K | ||
aiool05.pdf | 2005-04-30 08:51 | 201K | ||
aiool05.ps | 2005-01-11 16:54 | 353K | ||
ald94.pdf | 2001-09-10 18:36 | 315K | ||
ald94.ps | 2008-02-07 13:04 | 289K | ||
amast91.pdf | 2014-08-05 23:15 | 53K | ||
amast91.ps | 2014-08-05 23:15 | 183K | ||
aplas05.invited.pdf | 2005-08-30 22:52 | 143K | ||
aplas05.invited.ps | 2005-08-28 20:07 | 276K | ||
asplos11.pdf | 2011-01-06 09:40 | 1.1M | ||
avsdss05.pdf | 2005-08-01 13:48 | 157K | ||
avsdss05.ps | 2005-08-01 13:48 | 128K | ||
balakrishnan_thesis.pdf | 2007-08-21 17:09 | 1.5M | ||
bvi_submission.pdf | 2013-03-07 21:01 | 227K | ||
cade05.pdf | 2005-05-20 14:55 | 156K | ||
cade05.ps | 2005-05-20 14:57 | 181K | ||
cade07.pdf | 2007-05-16 23:37 | 198K | ||
cav04.invited.pdf | 2004-04-30 12:52 | 205K | ||
cav04.invited.ps | 2004-04-30 12:42 | 366K | ||
cav04.pdf | 2004-05-03 04:34 | 147K | ||
cav04.ps | 2004-05-03 04:31 | 328K | ||
cav05-ewpds.pdf | 2005-04-29 21:48 | 170K | ||
cav05-ewpds.ps | 2005-04-29 21:47 | 360K | ||
cav05-refinement.pdf | 2005-04-28 17:27 | 212K | ||
cav05-refinement.ps | 2005-04-28 17:26 | 686K | ||
cav06-fwpds.pdf | 2006-05-25 11:42 | 177K | ||
cav06-widening.pdf | 2006-06-02 14:34 | 205K | ||
cav07.linearizability.pdf | 2007-06-24 12:01 | 501K | ||
cav07.revamping_tvla.pdf | 2007-04-08 11:05 | 47K | ||
cav07.summarization.pdf | 2007-04-20 19:11 | 115K | ||
cav08.pdf | 2008-04-16 08:58 | 209K | ||
cav10-mcveto.pdf | 2010-04-16 22:41 | 343K | ||
cav10-tutorial.pdf | 2010-04-16 20:45 | 229K | ||
cav14.pdf | 2014-05-18 09:43 | 384K | ||
cav17.pdf | 2017-11-11 16:53 | 550K | ||
cc03.pdf | 2003-02-02 18:50 | 769K | ||
cc03.ps | 2003-02-13 08:41 | 2.1M | ||
cc04.pdf | 2004-01-07 10:19 | 159K | ||
cc04.ps | 2004-01-07 10:01 | 293K | ||
cc05-tool-demo.pdf | 2005-01-21 08:59 | 83K | ||
cc05-tool-demo.ps | 2005-01-19 21:49 | 276K | ||
cc08.pdf | 2008-01-03 05:51 | 217K | ||
cc14.pdf | 2014-09-18 17:03 | 1.1M | ||
cc94.pdf | 2001-09-10 18:36 | 135K | ||
cc94.ps | 1995-02-22 10:28 | 126K | ||
cc99.pdf | 2001-09-10 18:22 | 703K | ||
cc99.ps | 1999-01-04 14:16 | 823K | ||
cc2000.pdf | 2001-09-10 18:19 | 210K | ||
cc2000.ps | 2000-01-11 10:02 | 284K | ||
ccs2010.pdf | 2010-07-29 22:50 | 491K | ||
charme99.pdf | 2001-09-10 18:20 | 265K | ||
charme99.ps | 1999-06-27 11:21 | 412K | ||
codeClonesWorkshop09.pdf | 2009-06-03 10:43 | 145K | ||
csfw02.pdf | 2002-04-16 13:05 | 193K | ||
csfw02.ps | 2002-04-16 13:05 | 392K | ||
csfw03.pdf | 2003-07-09 12:50 | 231K | ||
csfw03.ps | 2003-07-09 12:49 | 456K | ||
dag9810.ps | 1998-07-09 09:55 | 525K | ||
dagstuhl.sr88.ps | 1997-05-04 12:58 | 196K | ||
dagstuhl96.pdf | 2001-09-10 18:33 | 110K | ||
dagstuhl96.ps | 1996-03-06 16:59 | 217K | ||
data-showcase-docker.pdf | 2020-07-21 14:08 | 410K | ||
diku-topps-d212.ps | 2008-02-07 13:04 | 451K | ||
diku-tr94-14.pdf | 2001-09-10 18:37 | 501K | ||
diku-tr94-14.ps | 2008-02-07 13:04 | 1.1M | ||
driscoll-thesis.pdf | 2013-08-30 16:27 | 1.1M | ||
dvrttc_submission.ps | 2000-11-02 02:59 | 357K | ||
esop01-demo.pdf | 2014-02-21 11:47 | 68K | ||
esop01-demo.ps | 2001-06-19 05:02 | 191K | ||
esop01.pdf | 2001-09-10 18:18 | 101K | ||
esop01.ps | 2001-03-15 09:48 | 313K | ||
esop02.ps | 2002-01-09 13:57 | 405K | ||
esop03.ETL.pdf | 2003-01-30 12:45 | 396K | ||
esop03.ETL.ps | 2003-01-19 23:40 | 1.2M | ||
esop03.FD.pdf | 2003-01-14 17:06 | 305K | ||
esop03.FD.ps | 2003-01-13 17:41 | 490K | ||
esop16.pdf | 2016-01-10 20:41 | 452K | ||
esop99.pdf | 2001-09-10 18:23 | 277K | ||
esop99.ps | 1999-01-02 14:46 | 864K | ||
esop99_submission.ps | 1998-09-29 09:11 | 924K | ||
esorics06.pdf | 2006-06-30 21:17 | 282K | ||
etaps08.invited.pdf | 2008-02-01 04:57 | 351K | ||
fase01.pdf | 2001-09-10 18:18 | 162K | ||
fase01.ps | 2001-03-15 10:04 | 357K | ||
fase02.ps | 2002-02-27 16:57 | 535K | ||
fdflsa_revision.pdf | 2009-08-30 10:26 | 765K | ||
fdflsa_submission.pdf | 2009-03-20 12:53 | 707K | ||
festschrift4444.pdf | 2006-12-18 11:07 | 324K | ||
fm09.pdf | 2009-08-08 12:38 | 343K | ||
fmsd09.pdf | 2009-08-23 14:07 | 398K | ||
fmsd19.pdf | 2018-12-19 21:41 | 609K | ||
fse03.ps | 2003-09-09 10:05 | 484K | ||
fse11.pdf | 2011-07-05 10:34 | 251K | ||
fse14.pdf | 2014-10-25 12:32 | 1.1M | ||
fse17.pdf | 2017-07-10 09:30 | 621K | ||
fse18.pdf | 2018-11-27 17:55 | 335K | ||
fse94.pdf | 2001-09-10 18:29 | 161K | ||
fse94.ps | 2008-02-07 13:04 | 300K | ||
fse95a.pdf | 2001-09-10 18:35 | 186K | ||
fse95a.ps | 2008-02-07 12:59 | 357K | ||
fse95b.pdf | 2001-09-10 18:35 | 182K | ||
fse95b.ps | 2008-02-07 13:04 | 377K | ||
fse96.pdf | 2001-09-10 18:32 | 227K | ||
fse96.ps | 1996-07-22 13:29 | 215K | ||
fse97.pdf | 2001-09-10 18:32 | 138K | ||
fse97.ps | 2008-02-07 13:04 | 330K | ||
fse99.pdf | 2001-09-10 18:21 | 258K | ||
fse99.ps | 1999-06-08 13:21 | 399K | ||
fsttcs07.invited.pdf | 2007-09-18 06:07 | 391K | ||
gopan_thesis.pdf | 2007-08-10 15:41 | 1.3M | ||
harris_dissertation.pdf | 2015-01-16 10:41 | 1.2M | ||
hcss14-final-version.pdf | 2014-05-02 11:29 | 127K | ||
henkel-thesis.pdf | 2022-11-18 12:31 | 1.5M | ||
icalp01.pdf | 2001-09-10 18:16 | 268K | ||
icalp01.ps | 2001-06-22 11:23 | 475K | ||
icpsmc.pdf | 2009-02-21 10:01 | 208K | ||
icse05.pdf | 2005-02-01 10:21 | 196K | ||
icse05.ps | 2005-02-01 10:21 | 313K | ||
icse20.pdf | 2020-02-22 09:00 | 620K | ||
icse92.pdf | 2001-09-10 18:35 | 235K | ||
icse92.ps | 1995-06-27 14:53 | 594K | ||
icsm97.pdf | 2001-09-10 18:31 | 269K | ||
icsm97.ps | 1997-07-22 14:44 | 206K | ||
ilps97.large_font.ps | 2008-02-07 13:04 | 516K | ||
ilps97.ps | 2008-02-07 13:04 | 513K | ||
informatik97.pdf | 2001-09-10 18:31 | 72K | ||
informatik97.ps | 2008-02-07 13:04 | 185K | ||
ipl94.pdf | 2001-09-10 18:37 | 69K | ||
ipl94.ps | 2008-02-07 13:04 | 83K | ||
issta00.pdf | 2001-09-10 18:19 | 188K | ||
issta00.ps | 2000-06-15 15:10 | 480K | ||
iwpc03.ps | 2003-05-22 12:27 | 196K | ||
jalg96.pdf | 2001-09-10 18:33 | 124K | ||
jalg96.ps | 1996-03-28 10:15 | 318K | ||
jamscript14_submission.pdf | 2014-03-17 10:55 | 562K | ||
jlrs-toplas10.pdf | 2009-12-01 13:25 | 716K | ||
kidd.dissertation.pdf | 2009-08-18 15:49 | 5.1M | ||
lal_thesis.pdf | 2009-08-01 13:36 | 1.9M | ||
lics02.pdf | 2002-05-01 19:54 | 256K | ||
lics02.ps | 2002-05-01 19:49 | 267K | ||
lim_thesis.pdf | 2011-05-12 10:04 | 2.0M | ||
ljigpal06.pdf | 2013-05-11 12:51 | 522K | ||
loginov_thesis.pdf | 2006-08-24 03:57 | 1.5M | ||
manual.2.0.ps | 1995-08-03 11:37 | 211K | ||
mine_breck_reps_submission.pdf | 2015-10-18 11:00 | 652K | ||
modular-pta.ps | 2008-02-07 13:04 | 318K | ||
netys18.pdf | 2018-06-29 21:30 | 433K | ||
npfo.revision.ps | 1996-03-28 12:23 | 594K | ||
nsad05.pdf | 2005-04-30 08:34 | 118K | ||
nsad05.ps | 2005-04-13 15:38 | 160K | ||
nsad10.pdf | 2010-08-02 13:57 | 289K | ||
oakland13.pdf | 2013-03-14 13:22 | 375K | ||
oopsla15.pdf | 2015-08-21 10:13 | 847K | ||
oopsla16-slicing.pdf | 2016-08-23 11:58 | 1.4M | ||
oopsla16-synthesis.pdf | 2016-08-23 12:03 | 1.0M | ||
oopsla17.pdf | 2017-09-28 14:48 | 1.7M | ||
oopslab23main-p481-p-cc8acfb179-70781-final.pdf | 2023-10-14 19:29 | 454K | ||
opitz.zamm64.ps | 2000-04-18 10:15 | 80K | ||
paat_submission.pdf | 2013-02-04 15:53 | 454K | ||
parametric.ps | 1998-08-24 21:24 | 888K | ||
paste99.pdf | 2001-09-10 18:20 | 245K | ||
paste99.ps | 1999-06-21 09:24 | 374K | ||
pdpm95b.pdf | 2001-09-10 18:29 | 323 | ||
pepm03.ps | 2004-01-14 11:40 | 431K | ||
pepm06.invited.pdf | 2005-12-28 11:25 | 335K | ||
pepm06.invited.ps | 2005-12-28 11:22 | 521K | ||
pepm95a.pdf | 2001-09-10 18:36 | 124K | ||
pepm95a.ps | 2008-02-07 13:04 | 260K | ||
pepm95b.pdf | 2001-09-10 18:29 | 88K | ||
pepm95b.ps | 2008-02-07 13:04 | 200K | ||
pepm97.pdf | 2001-09-10 18:32 | 655K | ||
pepm97.ps | 1997-04-08 15:12 | 955K | ||
pldi00.ps | 2000-04-13 11:49 | 391K | ||
pldi15.pdf | 2015-08-21 10:47 | 872K | ||
pldi17.pdf | 2017-04-13 20:53 | 531K | ||
pldi18.pdf | 2018-04-16 17:22 | 847K | ||
pldi20-graph-simplification.pdf | 2020-05-25 11:00 | 1.3M | ||
pldi20-templates-and-recurrences.pdf | 2020-05-25 10:59 | 482K | ||
pldi20-unrealizability.pdf | 2020-05-25 11:00 | 415K | ||
pldi88.retrospective.pdf | 2002-10-14 21:43 | 42K | ||
pldi88.retrospective.ps | 2002-10-14 21:36 | 49K | ||
pldi98.pdf | 1998-06-01 15:03 | 200K | ||
pldi98.ps | 2008-02-07 13:04 | 617K | ||
pldi99.pdf | 2001-09-10 18:21 | 288K | ||
pldi99.ps | 2004-12-01 09:37 | 5.0M | ||
popl00.ps | 2008-02-07 13:04 | 633K | ||
popl05_asfplh.pdf | 2004-11-19 10:28 | 226K | ||
popl05_naao.pdf | 2004-11-10 16:14 | 211K | ||
popl05_naao.ps | 2004-11-10 16:14 | 457K | ||
popl16.pdf | 2015-12-16 02:08 | 866K | ||
popl17.pdf | 2017-11-11 17:03 | 2.6M | ||
popl18.pdf | 2017-11-11 23:03 | 1.0M | ||
popl19main-p198-p-19591b3-39308-final.pdf | 2018-12-14 10:11 | 530K | ||
popl19main-p200-p-19591b3-39308-final.pdf | 2018-12-14 10:09 | 492K | ||
popl88b.pdf | 2001-09-10 18:35 | 69K | ||
popl88b.ps | 1995-05-15 14:11 | 196K | ||
popl93-tutorial.pdf | 2013-09-28 17:35 | 930K | ||
popl93.ps | 2008-02-07 13:04 | 370K | ||
popl94.pdf | 2001-09-10 18:29 | 76K | ||
popl94.ps | 1997-07-30 17:49 | 171K | ||
popl95.pdf | 2001-09-10 18:06 | 111K | ||
popl95.ps | 2008-02-07 13:04 | 390K | ||
popl96.pdf | 2001-09-10 18:34 | 328K | ||
popl96.ps | 1995-10-21 00:15 | 542K | ||
popl97.ps | 1996-11-04 11:31 | 315K | ||
popl99.pdf | 2001-09-10 18:27 | 357K | ||
popl99.ps | 1998-11-05 14:05 | 652K | ||
psda.ps | 1998-10-16 15:44 | 306K | ||
psde84.pdf | 2013-11-01 15:19 | 611K | ||
rv02.ps | 2002-08-13 15:11 | 445K | ||
sas01.pdf | 2008-09-30 17:23 | 181K | ||
sas01.ps | 2004-10-06 15:07 | 354K | ||
sas03.pdf | 2003-03-26 13:50 | 440K | ||
sas03.ps | 2008-02-07 13:04 | 844K | ||
sas04.pdf | 2004-05-30 17:19 | 243K | ||
sas04.ps | 2004-05-30 17:10 | 390K | ||
sas04.suan.pdf | 2004-09-08 10:29 | 190K | ||
sas04.suan.ps | 2004-09-08 10:27 | 395K | ||
sas05.pdf | 2005-06-10 11:11 | 198K | ||
sas05.ps | 2005-06-10 22:48 | 299K | ||
sas06-dsw.pdf | 2006-06-09 23:32 | 206K | ||
sas06-recency.pdf | 2006-06-08 11:00 | 290K | ||
sas07.guided.pdf | 2007-06-04 22:03 | 237K | ||
sas07.projection.pdf | 2007-06-04 21:59 | 311K | ||
sas08-lsr.pdf | 2008-03-31 08:23 | 316K | ||
sas08-mpost.pdf | 2008-03-28 12:30 | 276K | ||
sas10.invited.pdf | 2010-06-21 18:24 | 439K | ||
sas11.pdf | 2011-06-13 00:13 | 243K | ||
sas12-bilateral-alphahat.pdf | 2012-06-19 00:02 | 545K | ||
sas12-staalmarck.pdf | 2012-09-06 16:53 | 437K | ||
sas17.pdf | 2017-07-01 08:39 | 487K | ||
sas97.pdf | 2006-06-19 16:29 | 225K | ||
sas97.ps | 2008-02-07 13:04 | 443K | ||
savsr.pdf | 2009-03-24 17:00 | 232K | ||
scmc99.ps | 1999-11-11 11:12 | 291K | ||
scp04_submission.pdf | 2004-07-30 23:24 | 1.6M | ||
scp04_submission.ps | 2008-02-07 13:04 | 2.7M | ||
scp05.pdf | 2005-06-24 13:15 | 1.6M | ||
scp05.ps | 2008-02-07 13:04 | 2.7M | ||
scp91.pdf | 2001-09-10 18:37 | 322K | ||
scp91.ps | 2008-02-07 13:04 | 845K | ||
sigcse09.pdf | 2009-06-03 10:52 | 82K | ||
sigplan90.ps | 1996-01-05 17:02 | 139K | ||
soprgs08-proofs.pdf | 2008-02-29 08:56 | 59K | ||
spaa93.pdf | 2001-09-10 18:28 | 64K | ||
spaa93.ps | 2008-02-07 13:04 | 161K | ||
spin09.atomicity.pdf | 2009-05-07 08:04 | 748K | ||
spin09.savsr.pdf | 2009-04-24 22:08 | 285K | ||
spin14.pdf | 2014-08-14 11:04 | 423K | ||
sttt02.ps | 2000-07-06 20:29 | 9.5M | ||
tacas04.ndsd.pdf | 2004-01-16 14:43 | 135K | ||
tacas04.ndsd.ps | 2004-01-09 16:15 | 274K | ||
tacas04.scmpao.pdf | 2004-01-06 16:01 | 224K | ||
tacas04.scmpao.ps | 2004-01-06 14:12 | 528K | ||
tacas06.invited.pdf | 2006-01-13 13:04 | 357K | ||
tacas06.pdf | 2006-01-05 10:32 | 94K | ||
tacas06.ps | 2006-01-05 10:32 | 180K | ||
tacas08-cba.pdf | 2008-01-03 02:08 | 220K | ||
tacas08.dda-x86.pdf | 2008-01-04 14:36 | 243K | ||
tapas13.pdf | 2013-05-25 09:18 | 346K | ||
tapsoft95.pdf | 2001-09-10 18:36 | 318K | ||
tapsoft95.ps | 2008-02-07 13:04 | 584K | ||
tcmc_submission.ps | 2000-11-01 09:58 | 328K | ||
tcs96a.pdf | 2001-09-10 18:36 | 186K | ||
tcs96a.ps | 1995-02-09 13:18 | 448K | ||
tcs96b.pdf | 2001-09-10 18:33 | 495K | ||
tcs96b.ps | 2008-02-07 13:04 | 584K | ||
tcs_submission98.ps | 1998-01-31 21:55 | 1.7M | ||
tcs_submission98r.ps | 1998-05-18 09:04 | 1.9M | ||
tcs_submission98r2.pdf | 2001-09-10 18:23 | 1.5M | ||
tcs_submission98r2.ps | 1998-12-04 16:51 | 2.8M | ||
thakur_dissertation.pdf | 2014-08-23 05:00 | 3.6M | ||
tocl07.pdf | 2006-12-02 10:29 | 418K | ||
tocl07.ps | 2006-12-02 10:25 | 603K | ||
toplas-rsl-differencing.pdf | 2010-03-23 10:45 | 769K | ||
toplas00.pdf | 2001-09-10 18:20 | 296K | ||
toplas00.ps | 2008-02-07 13:04 | 1.2M | ||
toplas02.pdf | 2002-06-07 17:25 | 1.3M | ||
toplas02.ps | 2002-06-07 17:17 | 942K | ||
toplas13-tsl-final.pdf | 2013-03-05 22:54 | 866K | ||
toplas89.pdf | 2001-09-10 18:37 | 423K | ||
toplas89.ps | 1994-07-15 04:27 | 510K | ||
toplas90.pdf | 2001-09-10 18:35 | 161K | ||
toplas90.ps | 1995-05-15 16:04 | 331K | ||
toplas97a.pdf | 2001-09-10 18:32 | 154K | ||
toplas97a.ps | 1996-10-16 09:14 | 116K | ||
toplas98a.pdf | 2001-09-10 18:26 | 549K | ||
toplas98a.ps | 1998-01-28 11:01 | 914K | ||
toplas98b.pdf | 2001-09-10 18:26 | 74K | ||
toplas98b.ps | 2008-02-07 13:04 | 167K | ||
tosem92.pdf | 2001-09-10 18:38 | 157K | ||
tosem92.ps | 2008-02-07 13:04 | 396K | ||
tosem95.pdf | 2001-09-10 18:36 | 139K | ||
tosem95.ps | 2008-02-07 13:04 | 329K | ||
tr92-1091.ps | 1999-01-04 12:14 | 461K | ||
tr777.ps | 1995-01-03 12:13 | 367K | ||
tr819.ps | 1991-09-24 20:24 | 110K | ||
tr840.ps | 1994-12-05 13:52 | 245K | ||
tr890.ps | 1994-12-05 11:48 | 250K | ||
tr900.pdf | 2001-09-10 18:36 | 92K | ||
tr900.ps | 1995-02-08 19:39 | 237K | ||
tr962.ps | 2002-04-03 10:31 | 1.1M | ||
tr1037.pdf | 2002-06-28 07:32 | 6.8M | ||
tr1038.ps | 2002-03-29 15:14 | 1.9M | ||
tr1057.ps | 2002-03-29 15:39 | 543K | ||
tr1128.ps | 2000-02-29 11:27 | 494K | ||
tr1169.ps | 2002-03-29 15:38 | 1.9M | ||
tr1276.ps | 1995-07-21 15:09 | 693K | ||
tr1283.ps | 2008-02-07 13:04 | 461K | ||
tr1283r.ps | 2008-02-07 13:04 | 620K | ||
tr1284.ps | 2008-02-07 13:04 | 812K | ||
tr1296.ps | 2008-02-07 13:04 | 247K | ||
tr1315.ps | 1996-05-14 15:24 | 166K | ||
tr1323.ps | 1996-08-20 21:23 | 590K | ||
tr1329.ps | 1996-11-18 17:44 | 195K | ||
tr1330.ps | 1996-11-18 17:30 | 1.0M | ||
tr1335.ps | 2008-02-07 13:04 | 321K | ||
tr1337.ps | 1997-01-31 16:01 | 227K | ||
tr1337r.ps | 1998-08-01 23:15 | 645K | ||
tr1347.ps | 2008-02-07 13:04 | 133K | ||
tr1347r.ps | 2008-02-07 13:04 | 191K | ||
tr1362.ps | 2008-02-07 13:04 | 1.2M | ||
tr1382.pdf | 2001-09-10 18:24 | 2.3M | ||
tr1382.ps | 1998-09-01 18:10 | 2.0M | ||
tr1383.ps | 1998-08-24 21:24 | 888K | ||
tr1383r.ps | 2000-03-03 09:23 | 1.1M | ||
tr1383r2.pdf | 2001-09-10 18:17 | 1.2M | ||
tr1383r2.ps | 2001-06-13 04:56 | 915K | ||
tr1384.ps | 1998-08-19 21:55 | 1.6M | ||
tr1386.pdf | 2001-09-10 18:24 | 272K | ||
tr1386.ps | 2008-02-07 13:04 | 1.0M | ||
tr1397.ps | 2008-02-07 13:04 | 837K | ||
tr1415.pdf | 2000-09-25 05:52 | 369K | ||
tr1415.ps | 2000-09-25 06:01 | 855K | ||
tr1415r.pdf | 2001-09-10 18:17 | 806K | ||
tr1415r.ps | 2008-02-07 13:04 | 929K | ||
tr1424.pdf | 2001-09-10 18:19 | 220K | ||
tr1424.ps | 2001-03-15 06:52 | 625K | ||
tr1425.ps | 2001-03-20 03:38 | 555K | ||
tr1435.pdf | 2002-02-14 17:19 | 5.1M | ||
tr1435.ps | 2002-02-14 17:19 | 18M | ||
tr1461.pdf | 2004-05-20 14:51 | 165K | ||
tr1461.ps | 2004-05-20 14:51 | 324K | ||
tr1468.pdf | 2003-01-29 13:36 | 286K | ||
tr1468.ps | 2003-01-26 10:10 | 731K | ||
tr1469.pdf | 2003-01-30 12:34 | 219K | ||
tr1469.ps | 2003-01-30 12:29 | 419K | ||
tr1470.pdf | 2003-02-13 08:40 | 425K | ||
tr1470.ps | 2008-02-07 13:04 | 878K | ||
tr1486.pdf | 2003-07-19 08:56 | 240K | ||
tr1486.ps | 2003-07-18 08:30 | 318K | ||
tr1486r.pdf | 2003-10-28 11:25 | 203K | ||
tr1486r.ps | 2003-10-22 21:13 | 232K | ||
tr1504.pdf | 2004-04-26 09:02 | 203K | ||
tr1504.ps | 2004-04-19 15:18 | 513K | ||
tr1505.pdf | 2004-04-26 09:02 | 235K | ||
tr1505.ps | 2004-04-13 15:36 | 390K | ||
tr1516.pdf | 2004-07-16 12:24 | 204K | ||
tr1519.pdf | 2004-11-11 17:19 | 267K | ||
tr1519.ps | 2005-01-17 13:03 | 825K | ||
tr1532.pdf | 2005-09-14 17:25 | 162K | ||
tr1532.ps | 2005-07-19 09:34 | 323K | ||
tr1533.pdf | 2005-07-19 03:20 | 295K | ||
tr1533.ps | 2005-07-19 03:14 | 948K | ||
tr1548.pdf | 2005-12-28 14:10 | 319K | ||
tr1548.ps | 2005-12-28 14:06 | 812K | ||
tr1552.pdf | 2006-02-04 05:58 | 219K | ||
tr1579.pdf | 2006-09-30 09:47 | 271K | ||
tr1581.pdf | 2006-10-12 16:39 | 271K | ||
tr1598.pdf | 2007-07-26 13:58 | 326K | ||
tr1621.pdf | 2007-11-14 10:33 | 397K | ||
tr1622r.pdf | 2007-11-23 08:22 | 179K | ||
tr1623.pdf | 2007-10-22 07:44 | 215K | ||
tr1624.pdf | 2007-10-22 07:40 | 241K | ||
tr1629r.pdf | 2008-02-21 07:04 | 289K | ||
tr1640.pdf | 2008-07-22 10:24 | 260K | ||
tr1649.pdf | 2009-05-11 13:04 | 785K | ||
tr1649r.pdf | 2009-05-11 13:04 | 785K | ||
tr1659.pdf | 2009-06-04 17:53 | 272K | ||
tr1662.pdf | 2009-09-11 07:26 | 1.9M | ||
tr1668.pdf | 2010-02-17 11:54 | 319K | ||
tr1669.pdf | 2010-04-16 22:43 | 405K | ||
tr1674.pdf | 2010-06-14 11:52 | 334K | ||
tr1674r.pdf | 2010-06-22 17:46 | 341K | ||
tr1675.pdf | 2010-07-10 22:11 | 957K | ||
tr1675r.pdf | 2011-09-01 13:13 | 567K | ||
tr1691.pdf | 2011-06-17 10:32 | 280K | ||
tr1699.pdf | 2011-12-19 17:42 | 223K | ||
tr1699r.pdf | 2012-09-06 16:51 | 461K | ||
tr1701.pdf | 2011-10-29 15:28 | 320K | ||
tr1702.pdf | 2011-12-19 17:42 | 287K | ||
tr1705.pdf | 2012-05-23 08:34 | 316K | ||
tr1708.pdf | 2012-02-15 18:40 | 844K | ||
tr1710.pdf | 2012-05-23 08:32 | 492K | ||
tr1711.pdf | 2012-03-18 19:40 | 1.0M | ||
tr1713.pdf | 2012-04-02 12:44 | 960K | ||
tr1775.pdf | 2012-10-01 22:55 | 503K | ||
tr1776r1.pdf | 2013-08-14 10:45 | 1.5M | ||
tr1781.pdf | 2013-03-13 20:45 | 652K | ||
tr1789.pdf | 2013-04-18 09:33 | 229K | ||
tr1790.pdf | 2013-04-18 09:33 | 458K | ||
tr1792.pdf | 2013-05-11 01:10 | 894K | ||
tr1800.pdf | 2014-02-12 23:09 | 531K | ||
tr1814.pdf | 2015-02-03 09:42 | 942K | ||
tr1821.pdf | 2015-08-21 10:13 | 867K | ||
tr1824.pdf | 2015-10-07 22:17 | 1.5M | ||
tr1825.pdf | 2016-02-13 10:49 | 1.7M | ||
tr1839.pdf | 2016-12-13 15:09 | 510K | ||
tr1840.pdf | 2016-10-06 18:15 | 528K | ||
tr1840r1.pdf | 2017-04-18 12:52 | 644K | ||
tr1844.pdf | 2017-03-07 17:30 | 4.4M | ||
tr1846r1.pdf | 2017-07-01 08:37 | 554K | ||
tr1849.pdf | 2017-08-23 13:21 | 1.8M | ||
vifoup.pdf | 2009-02-08 22:26 | 293K | ||
vmcai04.BT.pdf | 2003-11-06 09:53 | 255K | ||
vmcai04.BT.ps | 2003-11-06 09:35 | 618K | ||
vmcai07.invited.pdf | 2007-01-21 09:15 | 360K | ||
vmcai07.pdf | 2006-11-10 09:53 | 154K | ||
vmcai09.pdf | 2008-10-29 12:41 | 241K | ||
vmcai16-invited.pdf | 2015-11-02 21:58 | 711K | ||
vmcai17.pdf | 2016-12-05 09:52 | 722K | ||
wcre06.pdf | 2006-07-28 13:40 | 421K | ||
wysinwyx.final.pdf | 2009-12-19 23:39 | 953K | ||
wysinwyx.revision.pdf | 2009-09-22 20:43 | 830K | ||
wysinwyx.revision2.pdf | 2009-11-02 17:07 | 933K | ||
wysinwyx.submission.pdf | 2009-02-24 22:01 | 790K | ||
wysinwyx05.pdf | 2006-07-11 09:34 | 123K | ||
wysinwyx05.ps | 2006-07-11 09:32 | 240K | ||
xu_thesis.pdf | 2001-09-10 18:18 | 1.8M | ||
xu_thesis.ps | 2001-03-15 11:17 | 2.3M | ||