![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | AltPSIBLAST.pdf | 2014-03-25 12:41 | 1.7M | |
![]() | BMCSB12.bibtex | 2014-03-25 12:41 | 332 | |
![]() | ISBRA2011ShortAbstracts.pdf | 2014-03-25 12:41 | 7.5M | |
![]() | IandC08.bibtex | 2014-03-25 12:41 | 289 | |
![]() | IandC11.bibtex | 2014-03-25 12:41 | 313 | |
![]() | JRSI13.bibtex | 2014-03-25 12:41 | 305 | |
![]() | LNZ-monad-complete.pdf | 2014-03-25 12:41 | 169K | |
![]() | albio08.bibtex | 2014-03-25 12:41 | 399 | |
![]() | albio08.pdf | 2014-03-25 12:41 | 324K | |
![]() | albio08full.bibtex | 2014-03-25 12:41 | 373 | |
![]() | all.bibtex | 2014-03-25 12:41 | 13K | |
![]() | asian06-short.pdf | 2014-03-25 12:41 | 175K | |
![]() | asian06.bibtex | 2014-03-25 12:41 | 296 | |
![]() | beh_bis_full.ps.gz | 2014-03-25 12:41 | 180K | |
![]() | bistbpp.bibtex | 2014-03-25 12:41 | 380 | |
![]() | bistbpp.ps.gz | 2014-03-25 12:41 | 76K | |
![]() | completelogrel.ps.gz | 2014-03-25 12:41 | 115K | |
![]() | concur05.bibtex | 2014-03-25 12:41 | 357 | |
![]() | concur05.ps.gz | 2014-03-25 12:41 | 63K | |
![]() | concur09-slides.pdf | 2014-03-25 12:41 | 2.6M | |
![]() | concur09.bibtex | 2014-03-25 12:41 | 350 | |
![]() | concur09.pdf | 2014-03-25 12:41 | 193K | |
![]() | concur11.bibtex | 2014-03-25 12:41 | 382 | |
![]() | concur11.pdf | 2014-03-25 12:41 | 330K | |
![]() | concur11full.bibtex | 2014-06-04 22:52 | 343 | |
![]() | concur11full.pdf | 2014-05-06 16:13 | 1.0M | |
![]() | concur12.bibtex | 2014-03-25 12:41 | 346 | |
![]() | concur12.pdf | 2014-03-25 12:41 | 303K | |
![]() | concur12full.bibtex | 2014-03-25 12:41 | 318 | |
![]() | csl02.bibtex | 2014-03-25 12:41 | 548 | |
![]() | csl02.ps.gz | 2014-03-25 12:41 | 118K | |
![]() | csl02full.bibtex | 2014-03-25 12:41 | 283 | |
![]() | csl04.bibtex | 2014-03-25 12:41 | 497 | |
![]() | csl04.ps.gz | 2014-03-25 12:41 | 124K | |
![]() | csl15.bibtex | 2015-10-17 22:47 | 214 | |
![]() | csl15.pdf | 2015-07-21 12:26 | 527K | |
![]() | distperf.ps.gz | 2014-03-25 12:41 | 39K | |
![]() | eccb02.bibtex | 2014-03-25 12:41 | 376 | |
![]() | eccb02.ps.gz | 2014-03-25 12:41 | 296K | |
![]() | express05-entcs.pdf | 2014-03-25 12:41 | 352K | |
![]() | express05-full.bibtex | 2014-03-25 12:41 | 219 | |
![]() | express05.bibtex | 2014-03-25 12:41 | 304 | |
![]() | express05.ps.gz | 2014-03-25 12:41 | 94K | |
![]() | express10.bibtex | 2014-03-25 12:41 | 269 | |
![]() | express10.pdf | 2014-03-25 12:41 | 257K | |
![]() | express10full.bibtex | 2016-08-03 13:43 | 290 | |
![]() | express10full.pdf | 2014-07-25 16:55 | 434K | |
![]() | express12.bibtex | 2014-03-25 12:41 | 263 | |
![]() | fossacs05-full.pdf | 2020-03-11 09:52 | 662K | |
![]() | fossacs05-full.ps.gz | 2014-03-25 12:41 | 106K | |
![]() | fossacs05.bibtex | 2014-03-25 12:41 | 294 | |
![]() | fossacs05.ps.gz | 2014-03-25 12:41 | 81K | |
![]() | fossacs16.bibtex | 2016-02-20 12:00 | 383 | |
![]() | fossacs16.pdf | 2016-03-14 12:02 | 389K | |
![]() | fossacs18.pdf | 2018-03-08 13:59 | 533K | |
![]() | fossacs21.pdf | 2021-02-04 22:32 | 378K | |
![]() | fsttcs10.bibtex | 2014-03-25 12:41 | 304 | |
![]() | fsttcs10.pdf | 2014-03-25 12:41 | 540K | |
![]() | fsttcs13.bibtex | 2014-03-25 12:41 | 317 | |
![]() | fsttcs13full.bibtex | 2016-05-07 12:04 | 314 | |
![]() | fsttcs16.pdf | 2016-10-29 11:06 | 477K | |
![]() | fsttcs16full.pdf | 2016-09-18 16:22 | 257K | |
![]() | fsttcs21.pdf | 2021-11-12 10:43 | 664K | |
![]() | icalp12.bibtex | 2014-03-25 12:41 | 316 | |
![]() | icalp12.pdf | 2014-03-25 12:41 | 519K | |
![]() | icalp12full.pdf | 2023-09-08 14:09 | 609K | |
![]() | icalp17.pdf | 2017-05-11 08:08 | 550K | |
![]() | infinity06-final.pdf | 2014-03-25 12:41 | 430K | |
![]() | infinity06.bibtex | 2014-03-25 12:41 | 364 | |
![]() | infinity06.ps.gz | 2014-03-25 12:41 | 167K | |
![]() | ipl09.bibtex | 2014-03-25 12:41 | 276 | |
![]() | ipl09.pdf | 2014-03-25 12:41 | 220K | |
![]() | isb06.bibtex | 2014-03-25 12:41 | 233 | |
![]() | isbra11.bibtex | 2014-03-25 12:41 | 342 | |
![]() | isbra11.pdf | 2014-03-25 12:41 | 170K | |
![]() | jacm.pdf | 2020-12-09 22:04 | 784K | |
![]() | lics10.bibtex | 2014-03-25 12:41 | 262 | |
![]() | lics10.pdf | 2014-03-25 12:41 | 442K | |
![]() | lics11.bibtex | 2014-03-25 12:41 | 253 | |
![]() | lics11.pdf | 2014-03-25 12:41 | 287K | |
![]() | lics11full.bibtex | 2015-03-10 09:28 | 299 | |
![]() | lics11full.pdf | 2014-03-25 12:41 | 478K | |
![]() | lics13.bibtex | 2014-03-25 12:41 | 267 | |
![]() | lics13.pdf | 2014-03-25 12:41 | 1.5M | |
![]() | lics14.bibtex | 2014-04-04 13:37 | 314 | |
![]() | lics14.pdf | 2014-07-09 10:25 | 5.8M | |
![]() | lics15.bibtex | 2015-10-17 22:47 | 187 | |
![]() | lics15.pdf | 2015-05-07 13:47 | 389K | |
![]() | lics17-oca.pdf | 2017-04-19 11:48 | 266K | |
![]() | lics17-tpda.pdf | 2017-04-19 11:48 | 313K | |
![]() | lin-prog-main.pdf | 2024-11-07 16:54 | 906K | |
![]() | lmcs12.bibtex | 2014-03-25 12:41 | 324 | |
![]() | mfcs03.bibtex | 2014-03-25 12:41 | 471 | |
![]() | mfcs03.ps.gz | 2014-03-25 12:41 | 40K | |
![]() | mfcs03_full.ps.gz | 2014-03-25 12:41 | 67K | |
![]() | mfcs06.bibtex | 2014-03-25 12:41 | 345 | |
![]() | mfcs06.pdf | 2014-03-25 12:41 | 609K | |
![]() | mfcs06.ps.gz | 2014-03-25 12:41 | 111K | |
![]() | min.ps.gz | 2014-03-25 12:41 | 46K | |
![]() | min_full.ps.gz | 2014-03-25 12:41 | 111K | |
![]() | obs_bis_full.ps.gz | 2014-03-25 12:41 | 100K | |
![]() | open_coalg.ps.gz | 2014-03-25 12:41 | 101K | |
![]() | open_coalg_tcs.ps.gz | 2014-03-25 12:41 | 78K | |
![]() | phd.ps.gz | 2014-03-25 12:41 | 581K | |
![]() | pn16.pdf | 2016-05-07 12:04 | 357K | |
![]() | pnpe.pdf | 2014-03-25 12:41 | 196K | |
![]() | popl12.bibtex | 2014-03-25 12:41 | 273 | |
![]() | popl12.pdf | 2014-03-25 12:41 | 811K | |
![]() | poturalski.bibtex | 2017-01-03 16:40 | 249 | |
![]() | pr03.bibtex | 2014-03-25 12:41 | 258 | |
![]() | pr05.bibtex | 2014-03-25 12:41 | 266 | |
![]() | publ.bib | 2014-03-25 12:41 | 12K | |
![]() | reg_finit.ps.gz | 2014-03-25 12:41 | 61K | |
![]() | reg_imp.ps.gz | 2014-03-25 12:41 | 94K | |
![]() | rp12.bibtex | 2014-03-25 12:41 | 237 | |
![]() | seedblast.bibtex | 2014-03-25 12:41 | 315 | |
![]() | stacs17.pdf | 2016-12-13 15:22 | 552K | |
![]() | stoc19.pdf | 2019-06-04 09:04 | 888K | |
![]() | sttt14.bibtex | 2015-05-18 22:51 | 352 | |
![]() | styles-papers.css | 2014-03-25 12:41 | 2.8K | |
![]() | tcs02.bibtex | 2014-03-25 12:41 | 205 | |
![]() | tcs06.bibtex | 2014-03-25 12:41 | 233 | |
![]() | tocl06.bibtex | 2014-03-25 12:41 | 226 | |
![]() | tocl19.pdf | 2019-04-14 11:29 | 1.5M | |
![]() | weak_bis.ps.gz | 2014-03-25 12:41 | 65K | |