Index of /~nonnenga/publications

 Name                    Last modified       Size  Description

 Parent Directory        06-Feb-2020 14:37      -  
 abstracts.html          07-Jan-2015 15:08    29k  Abstracts
 workshops/              06-Sep-2006 15:59      -  
 small.ps.gz             06-Sep-2006 15:59   313k  
 small.bib               06-Sep-2006 15:59     1k  
 reports/                06-Sep-2006 15:59      -  
 journal.ps.gz           06-Sep-2006 15:59   218k  
 hybridTRcover.ps.gz     10-Feb-2009 10:36   175k  
 encoding.ps.gz          06-Sep-2006 15:59   405k  
 encoding.bib            06-Sep-2006 15:59     1k  
 conferences/            06-Sep-2006 15:59      -  
 bookchapters/           06-Sep-2006 15:59      -  
 VERIFY07.pdf            10-Feb-2009 09:17   213k  
 VERIFY07.bib            10-Feb-2009 09:57     1k  
 VERIFY02.pdf            29-Sep-2006 10:58   224k  
 VERIFY02.bib            29-Sep-2006 10:58     2k  
 StrSkol.ps.gz           06-Sep-2006 15:59    89k  
 StrSkol.dvi.gz          06-Sep-2006 15:59    27k  
 StrSkol.bib             06-Sep-2006 15:59     1k  
 SKOLEM96.ps.gz          10-Feb-2009 14:25    96k  
 SKOLEM96.bib            10-Feb-2009 14:24     1k  
 SKOLEM.bib              10-Feb-2009 14:24     1k  
 SAFECOMP07.bib          10-Feb-2009 09:53     1k  
 MPI99.bib               10-Feb-2009 10:39     1k  
 MPI95.dvi               10-Feb-2009 14:38    69k  
 MPI95.bib               10-Feb-2009 14:37     1k  
 MPI93.bib               10-Feb-2009 11:08     1k  
 MPI92.dvi               10-Feb-2009 10:55   147k  
 MPI92.bib               10-Feb-2009 11:06     1k  
 MOTEL.ps.gz             10-Feb-2009 10:59   353k  
 MMR05.bib               10-Feb-2009 09:38     1k  
 KI08.bib                10-Feb-2009 10:03     1k  
 JELIA94.dvi.Z           06-Sep-2006 15:59    28k  
 JELIA94.bib             06-Sep-2006 15:59     1k  
 IgplAux.ps.gz           06-Sep-2006 15:59   219k  
 IJCAI93.dvi.Z           06-Sep-2006 15:59    28k  
 IJCAI93.bib             06-Sep-2006 15:59     1k  
 IGPL98.ps.gz            10-Feb-2009 14:18    89k  
 IGPL98.bib              10-Feb-2009 14:14     1k  
 HSCC00.ps.gz            06-Sep-2006 15:59    90k  
 HSCC00.dvi.gz           06-Sep-2006 15:59    26k  
 HSCC00.bib              06-Sep-2006 15:59     1k  
 HR.ps.gz                06-Sep-2006 15:59    93k  
 HR.bib                  06-Sep-2006 15:59     1k  
 FMTOOLS00.bib           10-Feb-2009 15:33     1k  
 FLAIRS01.ps.gz          06-Sep-2006 15:59    76k  
 FLAIRS01.bib            06-Sep-2006 15:59     1k  
 FASE02.bib              10-Feb-2009 09:38     1k  
 ESA01.pdf               06-Sep-2006 15:59   105k  
 ESA01.bib               06-Sep-2006 15:59     1k  
 EF.bib                  06-Sep-2006 15:59     1k  
 Diss.ps.gz              06-Sep-2006 15:59   481k  
 DesL94.bib              06-Sep-2006 15:59     1k  
 DedSysEng.bib           06-Sep-2006 15:59     1k  
 DedSysB.bib             06-Sep-2006 15:59     1k  
 DedSysA.bib             06-Sep-2006 15:59     1k  
 DG.ps.gz                06-Sep-2006 15:59   123k  
 DG.bib                  06-Sep-2006 15:59     1k  
 CNF.ps.gz               06-Sep-2006 15:59    85k  
 CNF.bib                 06-Sep-2006 15:59     1k  
 CADE96.dvi.Z            06-Sep-2006 15:59    33k  
 CADE96.bib              06-Sep-2006 15:59     1k  
 Aux.ps.gz               06-Sep-2006 15:59   117k  
 AUX96.ps.gz             10-Feb-2009 14:32   139k  
 AUX96.bib               10-Feb-2009 14:31     1k  
 ARW01.ps                10-Feb-2009 10:15    78k  
 ARW01.bib               10-Feb-2009 15:26     1k  
 AI93.dvi.Z              06-Sep-2006 15:59    17k  
 AI93.bib                06-Sep-2006 15:59     1k