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