Index of /~avg/Papers

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] ALLBIBS.aux             10-Sep-2008 21:16  1.9K  
[TXT] ALLBIBS.bbl             10-Sep-2008 21:16   16K  
[   ] ALLBIBS.bib             10-Sep-2008 21:16   28K  
[   ] ALLBIBS.bib-2006        16-Dec-2006 01:06   26K  
[TXT] ALLBIBS.blg             10-Sep-2008 21:16  1.2K  
[   ] ALLBIBS.dvi             10-Sep-2008 21:16   17K  
[TXT] ALLBIBS.html            10-Sep-2008 21:19   17K  
[TXT] ALLBIBS.html-2006       16-Dec-2006 01:06   16K  
[   ] ALLBIBS.log             10-Sep-2008 21:16  3.3K  
[   ] ALLBIBS.ps              15-Dec-2006 20:07   32K  
[   ] ALLBIBS.tex             09-Dec-2006 16:58  165   
[   ] BIBtoHREF.awksh         15-Dec-2006 20:03  2.5K  
[   ] COMBINE.csh             15-Dec-2006 20:04  242   
[DIR] KjellPost/              09-Dec-2006 23:31    -   
[DIR] Okushi/                 08-Dec-2006 23:19    -   
[TXT] README                  16-Dec-2006 00:44  1.4K  
[DIR] Sohn/                   09-Dec-2006 23:58    -   
[   ] aggll-preprint.bib      09-Dec-2006 12:53  270   
[   ] aggll-preprint.pdf      20-Feb-1995 19:02  397K  
[   ] aggll-preprint.ps       20-Feb-1995 19:02  216K  
[   ] altfpjcss.bib           09-Dec-2006 12:53  355   
[   ] altfpjcss.pdf           07-Feb-1995 21:00  629K  
[   ] altfpjcss.ps            07-Feb-1995 21:00  311K  
[   ] amai04.bib              08-Dec-2006 21:36  326   
[   ] amai04.pdf              26-Jan-2003 02:15  566K  
[   ] amai04.ps               26-Jan-2003 02:15  528K  
[   ] ambig94.bib             08-Dec-2006 23:33  465   
[   ] ambig94.pdf             12-Sep-1994 20:36  898K  
[   ] ambig94.ps              12-Sep-1994 20:36  3.2M  
[   ] anatomy97.bib           08-Dec-2006 22:43  352   
[   ] anatomy97.pdf           05-May-1997 17:31  1.8M  
[   ] anatomy97.ps            05-May-1997 17:31   36M  
[   ] aut-jar-dist.bib        09-Dec-2006 12:54  291   
[   ] aut-jar-dist.pdf        22-Dec-1998 07:25  1.0M  
[   ] aut-jar-dist.ps         22-Dec-1998 07:25  445K  
[   ] chu91.bib               09-Dec-2006 12:54  256   
[   ] chu91.pdf               27-Jun-1990 23:08  558K  
[   ] chu91.ps                27-Jun-1990 23:08  321K  
[   ] colorsat02.bib          10-Sep-2008 18:48  364   
[   ] colorsat02.pdf          26-Dec-2005 23:48  429K  
[   ] colorsat02.ps           26-Dec-2005 23:48  289K  
[   ] colorsat07.bib          10-Sep-2008 18:48  364   
[   ] colorsat07.pdf          26-Dec-2005 23:48  429K  
[   ] colorsat07.ps           26-Dec-2005 23:48  289K  
[   ] cover-number-long.pdf   16-May-2006 19:04  363K  
[   ] cover-number-long.ps    16-May-2006 19:04  200K  
[   ] cover-number-short.bib  09-Dec-2006 12:55  365   
[   ] cover-number-short.pdf  17-May-2006 17:58  205K  
[   ] cover-number-short.ps   17-May-2006 17:58  127K  
[   ] cover-number-trans.pdf  09-Aug-2006 14:40   45K  
[   ] cover-number-trans.ps   09-Aug-2006 14:40   41K  
[   ] cover-number.bib        09-Dec-2006 12:55  365   
[   ] cover-number.pdf        16-May-2006 19:04  363K  
[   ] cover-number.ps         16-May-2006 19:04  200K  
[   ] ddgen93.bib             09-Dec-2006 12:55  251   
[   ] ddgen93.pdf             19-Apr-1994 16:07  356K  
[   ] ddgen93.ps              19-Apr-1994 16:07  194K  
[   ] decimation-cgi99.bib    08-Dec-2006 23:30  289   
[   ] decimation-cgi99.pdf    10-Mar-1999 16:16  682K  
[   ] decimation-cgi99.ps     10-Mar-1999 16:16   12M  
[   ] eff-p-sim-aaai08.bib    10-Sep-2008 21:12  370   
[   ] eff-p-sim-aaai08.pdf    15-Apr-2008 14:07  136K  
[   ] elastic-tools-1.bib     08-Dec-2006 22:41  280   
[   ] elastic-tools-1.pdf     02-Jan-1999 20:21  531K  
[   ] elastic-tools-1.ps      02-Jan-1999 20:21   11M  
[   ] elastic-tr-97-12.pdf    22-May-1998 20:49  366K  
[   ] elastic-tr-97-12.ps     22-May-1998 20:49   10M  
[   ] fauna_tr_figs.pdf       30-May-1997 20:50  1.9M  
[   ] fauna_tr_figs.ps        30-May-1997 20:50   43M  
[   ] fauna_tr_text.pdf       30-May-1997 20:43  349K  
[   ] fauna_tr_text.ps        30-May-1997 20:43  205K  
[   ] flow92.bib              08-Dec-2006 23:37  310   
[   ] franco-vg.bib           08-Dec-2006 21:57  280   
[   ] franco-vg.pdf           02-Nov-2001 21:56  732K  
[   ] franco-vg.ps            02-Nov-2001 21:56  371K  
[   ] fs02.bib                08-Dec-2006 23:22  281   
[   ] fs02.pdf                30-Jul-2002 20:35   19M  
[   ] fs02.ps                 30-Jul-2002 20:35   39M  
[   ] fur_gi.bib              08-Dec-2006 21:58  315   
[   ] fur_gi.pdf              30-May-1997 12:48  1.3M  
[   ] fur_gi.ps               30-May-1997 12:48   15M  
[   ] gg95.bib                08-Dec-2006 22:00  388   
[   ] hawaii02.bib            08-Dec-2006 23:24  336   
[   ] hawaii02.pdf            22-May-2002 16:30  1.0M  
[   ] hawaii02.ps             22-May-2002 16:30   26M  
[   ] hotptp-finite-ijcar0..> 15-Sep-2008 15:14  337K  
[   ] hotptp-parser-ijcar0..> 18-May-2006 21:19  167K  
[   ] human00.bib             08-Dec-2006 23:43  337   
[   ] human00.pdf             14-Oct-2000 21:18  606K  
[   ] human00.ps              14-Oct-2000 21:18  7.6M  
[TXT] incomplete.bib          09-Dec-2006 12:57  1.2K  
[   ] incomplete.pdf          01-Aug-1993 00:41  252K  
[   ] incomplete.ps           01-Aug-1993 00:41  134K  
[TXT] index.htmlMar19         19-Mar-2006 19:23  3.0K  
[   ] input-dist-trans.pdf    16-Jun-2005 22:23  106K  
[   ] input-dist-trans.ps     16-Jun-2005 22:23  148K  
[   ] input-dist.bib          09-Dec-2006 12:57  374   
[   ] input-dist.pdf          22-Apr-2005 22:07  306K  
[   ] input-dist.ps           22-Apr-2005 22:07  171K  
[TXT] jacm88.bib              15-Dec-2006 23:01  356   
[TXT] jlp87.bib               09-Dec-2006 12:57  246   
[   ] jlp89.bib               09-Dec-2006 12:58  453   
[   ] jlp90.bib               09-Dec-2006 12:58  245   
[   ] jlp90.pdf               16-Dec-2006 00:45  1.1M  
[   ] jtl-tr.bib              08-Dec-2006 23:05  348   
[   ] jtl-tr.pdf              20-Jan-2002 11:53  513K  
[   ] jtl-tr.ps               20-Jan-2002 11:53   14M  
[   ] jtl.bib                 08-Dec-2006 22:46  360   
[   ] jtl.pdf                 02-Aug-2001 20:20  383K  
[   ] jtl.ps                  02-Aug-2001 20:20  5.1M  
[TXT] kclose-tr.bib           09-Dec-2006 13:13  2.8K  
[   ] kclose-tr.pdf           19-Oct-1995 19:56  623K  
[   ] kclose-tr.ps            19-Oct-1995 19:56  270K  
[   ] leaner05.bib            09-Dec-2006 20:09  348   
[   ] leaner05.pdf            11-Mar-2003 23:04  234K  
[   ] leaner05.ps             11-Mar-2003 23:04  234K  
[   ] lemmas-dist.bib         09-Dec-2006 13:01  311   
[   ] lemmas-dist.pdf         20-Dec-1998 20:31  432K  
[   ] lemmas-dist.ps          20-Dec-1998 20:31  536K  
[   ] lics01-sat.bib          08-Dec-2006 21:52  270   
[   ] lics01-sat.pdf          19-May-2001 12:29  309K  
[   ] lics01-sat.ps           19-May-2001 12:29  245K  
[   ] lpar12long.pdf          18-Oct-2005 21:32  394K  
[   ] lpar12long.ps           18-Oct-2005 21:32  218K  
[   ] mdh94.bib               09-Dec-2006 00:17  366   
[   ] mdh94.pdf               13-Jul-1994 10:40  406K  
[   ] mdh94.ps                13-Jul-1994 10:40  252K  
[   ] mdhTR-94Jan21.pdf       18-Feb-1994 15:34  472K  
[   ] mdhTR-94Jan21.ps        18-Feb-1994 15:34  249K  
[   ] mirrors94.bib           08-Dec-2006 23:34  437   
[   ] mirrors94.pdf           16-Feb-1994 13:08  246K  
[   ] mirrors94.ps            16-Feb-1994 13:08  719K  
[   ] modoc-ub-dist.bib       09-Dec-2006 13:02  248   
[   ] modoc-ub-dist.pdf       15-Jun-1998 09:41  497K  
[   ] modoc-ub-dist.ps        15-Jun-1998 09:41  270K  
[TXT] nail86.bib              08-Dec-2006 22:02  228   
[   ] need-proofs.bib         09-Dec-2006 13:02  343   
[   ] need-proofs.pdf         01-Sep-2002 18:10  162K  
[   ] need-proofs.ps          01-Sep-2002 18:10  132K  
[   ] oct92.bib               09-Dec-2006 13:03  301   
[   ] oct92.pdf               11-May-1992 08:50  703K  
[   ] oct92.ps                11-May-1992 08:50  1.7M  
[   ] packet89.bib            16-Dec-2006 01:02  242   
[   ] packet89.pdf            16-Dec-2006 00:58  903K  
[   ] parallel88.bib          15-Dec-2006 23:15  386   
[   ] partition-IC.bib        09-Dec-2006 21:40  317   
[   ] partition-IC.pdf        03-Nov-1998 15:38  183K  
[   ] partition-IC.ps         03-Nov-1998 15:38  113K  
[   ] partition-cade13.bib    09-Dec-2006 21:37  475   
[   ] partition-cade13.pdf    24-Apr-1996 13:11  319K  
[   ] partition-cade13.ps     24-Apr-1996 13:11  194K  
[   ] planning-dist.bib       09-Dec-2006 13:05  322   
[   ] planning-dist.pdf       06-Nov-1998 19:14  498K  
[   ] planning-dist.ps        06-Nov-1998 19:14  706K  
[   ] pods92.bib              09-Dec-2006 13:05  196   
[   ] pods92.pdf              14-Nov-1994 22:40  386K  
[   ] pods92.ps               14-Nov-1994 22:40  203K  
[   ] poly-res.bib            09-Dec-2006 13:05  358   
[   ] poly-res.pdf            15-Nov-1997 19:43  287K  
[   ] poly-res.ps             15-Nov-1997 19:43  156K  
[   ] pool-res-longv.pdf      18-Oct-2005 21:32  394K  
[   ] pool-res-longv.ps       18-Oct-2005 21:32  218K  
[   ] pool-res.bib            09-Dec-2006 13:06  419   
[   ] pool-res.pdf            28-Sep-2005 23:47  332K  
[   ] pool-res.ps             28-Sep-2005 23:47  191K  
[IMG] post5pct-rc.rgb         08-Aug-2008 16:22   64K  
[IMG] post5pct-rc.tif         08-Aug-2008 16:17  356K  
[   ] pram89.bib              16-Dec-2006 00:57  260   
[   ] pram89.pdf              16-Dec-2006 00:51  1.0M  
[   ] proj91.bib              09-Dec-2006 13:08  268   
[   ] proj91.pdf              24-Jun-1996 18:19  308K  
[   ] proj91.ps               24-Jun-1996 18:19  168K  
[   ] proofs-isaim08.bib      10-Sep-2008 21:16  407   
[   ] proofs-isaim08.pdf      16-Nov-2007 19:26  324K  
[   ] proofs-sat07.bib        09-Jan-2008 18:41  353   
[   ] proofs-sat07.pdf        15-Mar-2007 23:03  197K  
[   ] rho_compare_peri.eps    23-May-2007 14:32   19K  
[   ] safety87.bib            09-Dec-2006 13:06  249   
[   ] safety91.bib            09-Dec-2006 13:56  355   
[   ] sat-pre-post.bib        08-Dec-2006 21:54  324   
[   ] sat-pre-post.pdf        01-Oct-2001 09:00  178K  
[   ] sat-pre-post.ps         01-Oct-2001 09:00  144K  
[TXT] sat2000.bib             09-Dec-2006 13:07  267   
[TXT] satIC1988.bib           09-Dec-2006 13:08  813   
[   ] satIC1988.pdf           04-May-2001 17:56  166K  
[   ] satIC1988.ps            04-May-2001 17:56  132K  
[   ] sigmod86.bib            09-Dec-2006 13:09  223   
[   ] streamsurf01.bib        09-Dec-2006 22:51  321   
[   ] streamsurf01.pdf        19-Feb-2001 20:50  618K  
[   ] streamsurf01.ps         19-Feb-2001 20:50   14M  
[   ] tensors-vg08-long.bib   10-Sep-2008 20:28  379   
[   ] tensors-vg08-long.pdf   10-Sep-2008 20:17  546K  
[   ] termab91.bib            09-Dec-2006 13:05  261   
[   ] termab91.pdf            23-Mar-1994 16:48  293K  
[   ] termab91.ps             23-Mar-1994 16:48  167K  
[   ] vis93.bib               08-Dec-2006 23:37  427   
[   ] vis93.pdf               01-Jul-1993 15:24  272K  
[   ] vis93.ps                01-Jul-1993 15:24  233K  
[   ] vis96.bib               08-Dec-2006 23:38  355   
[   ] vis96.pdf               16-Jul-1996 15:12  358K  
[   ] vis96.ps                16-Jul-1996 15:12  8.7M  
[   ] voltx-tr-96-16.pdf      01-Aug-1996 23:00  432K  
[   ] voltx-tr-96-16.ps       01-Aug-1996 23:00  1.8M  
[   ] voltx96.bib             08-Dec-2006 23:31  331   
[   ] voltx96.pdf             19-Jul-1996 16:19  373K  
[   ] voltx96.ps              19-Jul-1996 16:19  1.7M  
[   ] volvis92.bib            09-Dec-2006 13:09  277   
[   ] watched-lits.bib        08-Dec-2006 21:55  315   
[   ] watched-lits.pdf        03-Oct-2001 00:20  101K  
[   ] watched-lits.ps         03-Oct-2001 00:20   55K  
[TXT] wf.bib                  09-Dec-2006 13:10  366   
[   ] wf.pdf                  15-Jun-2000 09:24  575K  
[   ] wf.ps                   15-Jun-2000 09:24  296K  
[   ] wfax.bib                09-Dec-2006 13:11  241   
[   ] wfax.pdf                02-Jun-1993 19:08  662K  
[   ] wfax.ps                 02-Jun-1993 19:08  319K  
[   ] wfcircum90.bib          09-Dec-2006 12:54  335   
[   ] wfcircum90.pdf          09-Dec-2006 15:26  314K  
[   ] wfcircum90.ps           12-Sep-1990 20:37  177K  
[TXT] wftut.bib               09-Dec-2006 13:11  268   
[   ] wftut.pdf               26-Oct-1997 21:36  341K  
[   ] wftut.ps                26-Oct-1997 21:36  192K
Apache/2.2.3 (CentOS) Server at www.soe.ucsc.edu Port 80