![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AKNPS00-TACAS.html | 24-Aug-2007 11:31 | 2.4K | |
| BDMS98-ICDCS.html | 24-Aug-2007 12:02 | 2.1K | |
| BS01-ICALP.html | 24-Aug-2007 11:16 | 1.6K | |
| CCKLLPS05-Eprint452.html | 24-Aug-2007 16:21 | 2.0K | |
| CCKLLPS06-DISC.html | 24-Aug-2007 15:44 | 2.3K | |
| CCKLLPS06-FCC.html | 24-Aug-2007 15:48 | 1.8K | |
| CCKLLPS06-WODES.html | 24-Aug-2007 15:47 | 2.5K | |
| CCKLLPS08-DEDS.html | 26-Jun-2008 09:42 | 2.0K | |
| CLSV04-ICTAC.html | 24-Aug-2007 15:59 | 1.8K | |
| CLSV06-TCS.html | 24-Aug-2007 15:49 | 2.0K | |
| CS02-CONCUR.html | 24-Aug-2007 11:10 | 1.7K | |
| CSKN05-FOSSACS.html | 24-Aug-2007 15:53 | 1.9K | |
| DS92-TCS.html | 23-Aug-2007 19:08 | 1.6K | |
| DSS06-TCS.html | 24-Aug-2007 15:21 | 2.8K | |
| FGS00-WITS.html | 24-Aug-2007 11:52 | 2.1K | |
| FS01-PAPMProbmiv.html | 24-Aug-2007 11:12 | 1.7K | |
| GSSL98-IC.html | 24-Aug-2007 10:17 | 2.5K | |
| KLSV03-RTSS.html | 24-Aug-2007 11:03 | 2.2K | |
| KLSV06.html | 24-Aug-2007 10:39 | 2.6K | |
| KNS01-CAV.html | 24-Aug-2007 11:14 | 2.5K | |
| KNSS00-CONCUR.html | 24-Aug-2007 11:26 | 2.3K | |
| KNSS00-WAVe.html | 24-Aug-2007 11:29 | 1.6K | |
| KNSS02-TCS.html | 24-Aug-2007 15:49 | 2.4K | |
| LS95-FAC.html | 23-Aug-2007 19:08 | 1.9K | |
| LSS94.html | 24-Aug-2007 12:38 | 1.7K | |
| LSV01-HSCC.html | 24-Aug-2007 11:23 | 1.8K | |
| LSV03-CONCUR.html | 24-Aug-2007 11:07 | 1.3K | |
| LSV03-IC.html | 24-Aug-2007 15:15 | 3.1K | |
| LSV07-SIAM.html | 14-Sep-2007 16:04 | 3.1K | |
| LSVW95.html | 24-Aug-2007 11:40 | 2.1K | |
| OldDataIndex.html | 28-Aug-2007 23:46 | 3.1K | |
| PS04-QEST.html | 24-Aug-2007 15:57 | 1.5K | |
| PS07-FOSSACS.html | 24-Aug-2007 12:33 | 2.2K | |
| PS95.html | 24-Aug-2007 12:36 | 2.2K | |
| PSL00-DC.html | 24-Aug-2007 15:10 | 3.6K | |
| SL95-NJC.html | 24-Aug-2007 14:54 | 1.9K | |
| ST05-QEST.html | 24-Aug-2007 15:51 | 1.7K | |
| ST07-CSF.html | 24-Aug-2007 12:33 | 1.5K | |
| Seg01-FMPA.html | 24-Aug-2007 10:45 | 2.1K | |
| Seg06-CONCUR.html | 24-Aug-2007 15:45 | 1.4K | |
| Seg95-CONCUR.html | 24-Aug-2007 11:44 | 2.6K | |
| Seg96-CONCUR.html | 24-Aug-2007 10:57 | 1.9K | |
| Seg97-COMPOS.html | 24-Aug-2007 11:35 | 1.6K | |
| Seg97-IC.html | 24-Aug-2007 10:19 | 2.0K | |
| Seg98-PROBMIV.html | 24-Aug-2007 11:53 | 1.2K | |
| TR-557.html | 24-Aug-2007 12:43 | 1.8K | |
| background.html | 23-Aug-2007 18:08 | 2.3K | |
| phd.html | 24-Aug-2007 12:45 | 5.1K | |
| pub/ | 02-Oct-2007 10:54 | - | |
| publications.html | 26-Sep-2010 12:49 | 26K | |
| segala.gif | 24-Jun-2009 16:41 | 120K | |
| segala.jpg | 24-Jun-2009 16:59 | 93K | |
| template.html | 26-Jul-2005 10:10 | 639 | |
| www.prj | 28-Sep-2007 14:44 | 9.5K | |
| www.prj.bak | 15-Sep-2007 00:21 | 9.2K | |