![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[CMP]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BaaGT-IC-06.pdf | 31-Jul-2005 08:21 | 358K | |
| BaaGT-IJCAR-04.pdf | 09-Apr-2004 00:57 | 481K | |
| BaaGT-RR-03.pdf | 05-Jan-2004 04:40 | 326K | |
| BaaTin-CADE-97.pdf | 14-Nov-2002 14:08 | 241K | |
| BaaTin-FROCOS-00.pdf | 14-Nov-2002 14:08 | 176K | |
| BaaTin-IC-02.pdf | 14-Nov-2002 14:08 | 504K | |
| BaaTin-RR-02.pdf | 14-Nov-2002 14:08 | 517K | |
| BaaTin-RR-96.pdf | 14-Nov-2002 14:28 | 310K | |
| BaaTin-RR-98.pdf | 14-Nov-2002 14:24 | 617K | |
| BaaTin-RR-99.pdf | 14-Nov-2002 14:09 | 688K | |
| BaaTin-RTA-02.pdf | 14-Nov-2002 14:09 | 237K | |
| BaaTin-RTA-99.pdf | 14-Nov-2002 14:09 | 237K | |
| BarNOT-LPAR-06.pdf | 01-Sep-2006 22:03 | 223K | |
| BarNOT-RR-06.pdf | 01-Sep-2006 23:12 | 286K | |
| BarSST-09.pdf | 13-Oct-2008 21:49 | 723K | |
| BarST-JSAT-07.pdf | 16-Jan-2008 12:09 | 347K | |
| BarST-PDPAR-06.pdf | 17-Sep-2006 23:35 | 190K | |
| BarST-RR-05.pdf | 29-Nov-2005 16:17 | 251K | |
| BarST-SMT-10.pdf | 22-Jun-2010 01:10 | 288K | |
| BarTin-CAV-07.pdf | 21-Apr-2007 00:01 | 55K | |
| BauFT-ESFOR-04.pdf | 29-Jul-2004 23:54 | 304K | |
| BauFT-IJAIT-06.pdf | 19-Mar-2005 12:44 | 765K | |
| BauFT-LPAR-06.pdf | 01-Sep-2006 23:19 | 167K | |
| BauFT-LPAR-08.pdf | 29-Sep-2008 01:07 | 187K | |
| BauFT-RR-06.pdf | 10-Jun-2008 23:45 | 213K | |
| BauFT-RR-08.pdf | 10-Feb-2009 15:28 | 345K | |
| BauFdNT-DISPROVING-06.pdf | 30-Jul-2006 11:57 | 99K | |
| BauFdNT-JAL-09.pdf | 05-Apr-2007 17:30 | 260K | |
| BauPT-JSC-12.pdf | 03-Jan-2012 03:26 | 335K | |
| BauTin-AI-05.pdf | 14-Nov-2005 13:48 | 554K | |
| BauTin-AIJ-08.pdf | 17-Sep-2007 16:41 | 517K | |
| BauTin-CADE-03.pdf | 15-May-2003 22:51 | 144K | |
| BauTin-CADE-05.pdf | 31-Jul-2005 08:23 | 149K | |
| BauTin-CADE-11.pdf | 25-Apr-2011 17:34 | 151K | |
| BauTin-RR-05.pdf | 10-Apr-2009 15:39 | 395K | |
| BauTin-RR-11.pdf | 25-Apr-2011 17:34 | 279K | |
| CVC4-CAV-11.pdf | 27-Apr-2011 11:59 | 96K | |
| FucGGKT-LMCS-12.pdf | 15-Feb-2012 21:31 | 443K | |
| FucGGKT-TACAS-09.pdf | 05-Jan-2009 17:07 | 211K | |
| GanHNOT-CAV-04.pdf | 03-May-2004 00:30 | 155K | |
| GarKT-NFM-13.pdf | 26-Mar-2013 22:00 | 153K | |
| GeBT-AMAI-09.pdf | 01-Jan-2009 15:23 | 260K | |
| GeBT-CADE-07.pdf | 19-May-2007 00:17 | 228K | |
| GoeKT-CADE-09.pdf | 14-May-2009 23:16 | 242K | |
| Hag-PHD-08.pdf | 11-Oct-2009 23:38 | 1.9M | |
| HagTin-FMCAD-08.pdf | 08-Oct-2008 18:19 | 3.1M | |
| KahEtAl-NFM-12.pdf | 26-Mar-2012 23:37 | 385K | |
| KahGT-NFM-11.pdf | 23-Feb-2011 16:43 | 734K | |
| KahTin-PDMC-11.pdf | 18-Sep-2011 21:34 | 287K | |
| KrsGGT-RR-06.pdf | 07-Jan-2007 04:53 | 363K | |
| KrsGGT-TACAS-07.pdf | 07-Jan-2007 04:57 | 295K | |
| LiaTin-PAAR-12.pdf | 05-Jun-2012 17:37 | 453K | |
| NieOT-JACM-06.pdf | 26-Nov-2006 23:59 | 443K | |
| NieOT-LPAR-04-extended.pdf | 27-Jan-2005 11:40 | 180K | |
| NieOT-LPAR-04.pdf | 26-Jan-2005 18:27 | 201K | |
| RanTin-IS-06.pdf | 27-Nov-2006 00:17 | 97K | |
| ReyHTGSB-SMT-10.pdf | 22-Jun-2010 01:11 | 661K | |
| ReyTH-SMT-11.pdf | 20-Jun-2011 00:28 | 200K | |
| StuEtAl-FMSD-13.pdf | 14-Jun-2012 17:37 | 544K | |
| StuEtAl-PxTP-12.pdf | 05-Jun-2012 17:27 | 192K | |
| Tin-FTP-00.pdf | 14-Nov-2002 14:09 | 123K | |
| Tin-JAR-03.pdf | 20-Aug-2002 12:50 | 308K | |
| Tin-JELIA-02.pdf | 02-Apr-2003 16:52 | 155K | |
| Tin-MS-95.pdf | 14-Nov-2002 14:13 | 686K | |
| Tin-PHD-99.pdf | 14-Nov-2002 14:13 | 1.8M | |
| Tin-RR-02.pdf | 20-Aug-2002 13:26 | 312K | |
| TinHar-CP-96.pdf | 14-Nov-2002 14:10 | 226K | |
| TinHar-FROCOS-96.pdf | 14-Nov-2002 14:10 | 218K | |
| TinHar-JFLP-98.pdf | 14-Nov-2002 14:12 | 545K | |
| TinRin-RR-01.pdf | 14-Nov-2002 14:14 | 907K | |
| TinRin-RR-98.pdf | 14-Nov-2002 14:26 | 577K | |
| TinRin-TCS-03.pdf | 14-Nov-2002 14:14 | 559K | |
| TinZar-FTP-03.pdf | 13-May-2003 21:11 | 223K | |
| TinZar-JAR-05.pdf | 31-Jul-2005 08:27 | 240K | |
| TinZar-JELIA-04.pdf | 29-Jul-2004 23:45 | 215K | |
| TinZar-LICS-04.ps | 11-Feb-2004 23:36 | 197K | |
| TinZar-RR-03.pdf | 16-May-2003 19:56 | 230K | |
| TinZar-RR-04.pdf | 15-May-2004 11:48 | 281K | |
| TinelliC.bib | 17-Aug-2005 16:19 | 18K | |
| combin.bib.gz | 15-Aug-2005 17:19 | 23K | |
| hybrid-bib.pdf | 14-Nov-2002 14:09 | 105K | |
| hybrid-bib.ps.gz | 28-Jan-2002 19:17 | 58K | |
| hybrid.bib | 28-Jan-2002 19:17 | 67K | |