Index of /~sl/PAPERS

	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
	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
	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
	express12.bibtex	2014-03-25 12:41	263
	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
	fsttcs10.bibtex	2014-03-25 12:41	304
	fsttcs10.pdf	2014-03-25 12:41	540K
	fsttcs13.bibtex	2014-03-25 12:41	317
	icalp12.bibtex	2014-03-25 12:41	316
	icalp12.pdf	2014-03-25 12:41	519K
	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
	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.pdf	2014-03-25 12:41	478K
	lics13.bibtex	2014-03-25 12:41	267
	lics13.pdf	2014-03-25 12:41	1.5M
	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
	pnpe.pdf	2014-03-25 12:41	196K
	popl12.bibtex	2014-03-25 12:41	273
	popl12.pdf	2014-03-25 12:41	811K
	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
	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
	weak_bis.ps.gz	2014-03-25 12:41	65K
	lics14.bibtex	2014-04-04 13:37	314
	concur11full.pdf	2014-05-06 16:13	1.0M
	concur11full.bibtex	2014-06-04 22:52	343
	lics14.pdf	2014-07-09 10:25	5.8M
	express10full.pdf	2014-07-25 16:55	434K
	lics11full.bibtex	2015-03-10 09:28	299
	lics15.pdf	2015-05-07 13:47	389K
	sttt14.bibtex	2015-05-18 22:51	352
	csl15.pdf	2015-07-21 12:26	527K
	csl15.bibtex	2015-10-17 22:47	214
	lics15.bibtex	2015-10-17 22:47	187
	fossacs16.bibtex	2016-02-20 12:00	383
	fossacs16.pdf	2016-03-14 12:02	389K
	fsttcs13full.bibtex	2016-05-07 12:04	314
	pn16.pdf	2016-05-07 12:04	357K
	express10full.bibtex	2016-08-03 13:43	290
	fsttcs16full.pdf	2016-09-18 16:22	257K
	fsttcs16.pdf	2016-10-29 11:06	477K
	stacs17.pdf	2016-12-13 15:22	552K
	poturalski.bibtex	2017-01-03 16:40	249
	lics17-oca.pdf	2017-04-19 11:48	266K
	lics17-tpda.pdf	2017-04-19 11:48	313K
	icalp17.pdf	2017-05-11 08:08	550K
	fossacs18.pdf	2018-03-08 13:59	533K
	tocl19.pdf	2019-04-14 11:29	1.5M
	stoc19.pdf	2019-06-04 09:04	888K
	fossacs05-full.pdf	2020-03-11 09:52	662K
	jacm.pdf	2020-12-09 22:04	784K
	fossacs21.pdf	2021-02-04 22:32	378K
	fsttcs21.pdf	2021-11-12 10:43	664K
	icalp12full.pdf	2023-09-08 14:09	609K
	lin-prog-main.pdf	2024-11-07 16:54	906K