Index of /nchou/p/wpis/public/papers

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