Index of /~nonnenga/publications

      Name                    Last modified       Size  Description


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