Index of /pub/liu

 Name                    Last modified       Size  Description

 Parent Directory        08-May-2007 16:01      -  
 AnalRec-ICCL98.dvi.Z    06-Mar-1998 00:44    64k  
 AnalRec-ICCL98.ps.Z     06-Mar-1998 01:30   163k  
 AnalRec-PruneRec-TR9..> 29-Jul-1997 17:29    71k  
 AnalRec-PruneRec-TR9..> 29-Jul-1997 17:55   176k  
 Array-ICCL98.dvi.Z      06-Mar-1998 15:40    90k  
 Array-ICCL98.ps.Z       06-Mar-1998 15:41   157k  
 Array-TR97.dvi.Z        29-Jul-1997 17:50   102k  
 Array-TR97.ps.Z         29-Jul-1997 18:13   182k  
 AutoInc-ICFP98.ps.Z     16-Jul-1998 16:35    42k  
 BDDdetect-CAV98.ps.Z    10-Apr-1998 18:53   112k  
 BDDdetect-TR98.ps.Z     02-Mar-1998 12:51   150k  
 Cachet-KBSE95.ps.Z      13-Nov-1996 16:43    86k  
 Cir-PEPM95.ps.Z         13-Nov-1996 16:54   102k  
 Cir-TR95.ps.Z           13-Nov-1996 16:58   157k  
 Dai-POPL96.dvi.Z        13-Nov-1996 17:00    68k  
 Dai-POPL96.ps.Z         13-Nov-1996 17:04   104k  
 Dai-Tsd-TR95.dvi.Z      13-Nov-1996 17:03    53k  
 Dai-Tsd-TR95.ps.Z       13-Nov-1996 17:05    95k  
 Drv-ICYCS93.ps.Z        13-Nov-1996 16:47   151k  
 Drv-TR93-Rvs.dvi.Z      13-Nov-1996 17:05    90k  
 Drv-TR93-Rvs.ps.Z       13-Nov-1996 16:47   151k  
 DynProg-ESOP99.dvi.Z    16-Dec-1998 04:52    51k  
 DynProg-ESOP99.ps.Z     16-Dec-1998 04:54   128k  
 DynProg-TR98.dvi.Z      10-Oct-1998 20:33    51k  
 DynProg-TR98.ps.Z       10-Oct-1998 20:35   139k  
 ElimDeadRec-SAS99.dv..> 07-Jun-1999 21:17    36k  
 ElimDeadRec-SAS99.ps.gz 07-Jun-1999 21:17   157k  
 ElimDeadRec-TR97.dvi.Z  14-Mar-1999 16:39    52k  
 ElimDeadRec-TR97.ps.Z   14-Mar-1999 16:40   231k  
 ElimDeadRec-TR98.dvi.Z  14-Mar-1999 16:39    52k  
 ElimDeadRec-TR98.ps.Z   14-Mar-1999 16:40   231k  
 GramSimp-TR00.dvi.gz    26-Jul-2000 11:06    52k  
 GramSimp-TR00.ps        26-Jul-2000 11:13   592k  
 HwDgByInc-CHARME99.p..> 26-Jun-1999 17:12    55k  
 HwDgByInc-TR99.ps.gz    15-Sep-1999 10:47   246k  
 Inc-SCP95.dvi.Z         13-Nov-1996 17:09    90k  
 Inc-SCP95.ps.Z          13-Nov-1996 16:59   152k  
 Inc-TR94.dvi.Z          13-Nov-1996 17:03    90k  
 Inc-TR94.ps.Z           13-Nov-1996 17:04   151k  
 IncEff-HOSC00.dvi.gz    04-May-2000 17:58    44k  
 IncEff-HOSC00.ps.gz     04-May-2000 18:13   126k  
 POdetect-CAV00.ps.gz    25-Jul-2000 11:19   144k  
 POdetect-TR99.ps.gz     25-Jul-2000 11:19   144k  
 Psr-IFIP97.dvi.Z        23-Mar-1997 16:22    53k  
 Psr-IFIP97.ps.Z         23-Mar-1997 16:22   142k  
 RecToItr-PEPM00.dvi.gz  01-Dec-1999 18:45    36k  
 RecToItr-PEPM00.ps.gz   01-Dec-1999 18:46    75k  
 RecToItr-TR99.dvi.gz    04-Aug-1999 01:43    38k  
 RecToItr-TR99.ps.gz     04-Aug-1999 01:45    93k  
 Scic-TOPLAS98.dvi.Z     14-Sep-1998 19:29   115k  
 Scic-TOPLAS98.ps.Z      14-Sep-1998 19:30   236k  
 SpaceAnal-TR00.ps.Z     12-Apr-2000 13:33   208k  
 Thesis-TR95.dvi.Z       13-Nov-1996 17:06   299k  
 Thesis-TR95.ps.Z        13-Nov-1996 16:52   441k  
 ThesisAbs.ps.Z          13-Nov-1996 16:56    72k  
 ThesisIntro.ps.Z        13-Nov-1996 17:00    89k  
 TimeAnal-LCTES98.ps.Z   16-May-1998 21:17    98k  
 TimeAnal-TR98.ps.Z      28-Apr-1998 03:20   144k  
 TimeAnalHO-TR99.ps.Z    23-Dec-1999 18:17   136k