Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
accat2012.bib | 2012-09-10 11:23 | 584 | ||
acsd07.bib | 2007-07-24 10:58 | 283 | ||
acsd08.bib | 2008-07-03 13:07 | 363 | ||
ads6.bib | 2009-09-11 11:26 | 423 | ||
algorithms2018.bib | 2018-09-03 13:48 | 272 | ||
amast08.bib | 2008-08-05 10:53 | 286 | ||
arspa05.bib | 2005-06-24 21:34 | 445 | ||
ascens2013.bib | 2013-11-20 11:29 | 412 | ||
benevol08.bib | 2009-03-19 12:27 | 335 | ||
biosystems14.bib | 2014-09-24 10:02 | 436 | ||
ceemas01.bib | 2002-04-16 11:14 | 324 | ||
cfs96.bib | 2009-06-23 09:26 | 192 | ||
cmcs03.bib | 2003-03-03 15:27 | 302 | ||
cmcs98.bib | 2001-09-17 10:20 | 347 | ||
cmsb08.bib | 2008-12-22 19:03 | 396 | ||
cmsb2010.bib | 2011-01-04 11:09 | 374 | ||
compmod08.bib | 2008-06-03 11:23 | 384 | ||
compmod09.bib | 2009-10-20 20:25 | 342 | ||
compmod2011.bib | 2011-09-12 10:18 | 298 | ||
concur21.bib | 2021-08-13 14:08 | 440 | ||
coord05.bib | 2005-02-24 15:41 | 296 | ||
coord06.bib | 2006-11-20 14:12 | 273 | ||
coordination2002.bib | 2008-11-04 16:43 | 326 | ||
coorg05.bib | 2007-04-18 17:10 | 331 | ||
cs2bio12.bib | 2013-04-13 19:53 | 255 | ||
csr0313.bib | 2003-11-18 14:04 | 329 | ||
ctcs04.bib | 2005-03-10 15:02 | 278 | ||
eb60.bib | 2017-10-19 22:28 | 428 | ||
entcs126.bib | 2005-03-03 13:16 | 362 | ||
entcs157.4.bib | 2006-11-20 14:15 | 281 | ||
epew06.bib | 2006-06-26 13:21 | 271 | ||
epew07.bib | 2007-08-03 22:14 | 314 | ||
esorics04.bib | 2004-09-20 16:39 | 362 | ||
fa65.bib | 2018-07-23 17:05 | 446 | ||
facj2011.bib | 2012-02-24 16:30 | 355 | ||
facj2012.bib | 2012-07-05 17:24 | 393 | ||
facs19.bib | 2020-02-15 12:32 | 420 | ||
facs2010.bib | 2012-03-28 12:54 | 372 | ||
fase17.bib | 2017-03-29 14:48 | 375 | ||
fast05.bib | 2004-11-23 16:03 | 342 | ||
fast2003.bib | 2003-09-25 16:13 | 441 | ||
fc19.bib | 2019-11-13 13:37 | 733 | ||
fdb60.bib | 2016-03-23 14:59 | 476 | ||
fi09.bib | 2009-11-01 21:11 | 403 | ||
fm2018.bib | 2018-07-23 16:49 | 451 | ||
fm2023.bib | 2023-07-14 15:11 | 581 | ||
fmco09.bib | 2011-01-04 10:45 | 385 | ||
fmsple15.bib | 2015-04-30 14:34 | 346 | ||
fmsple16.bib | 2016-03-14 15:33 | 362 | ||
foclasa08.bib | 2010-04-21 08:18 | 321 | ||
foclasa09.bib | 2009-12-02 10:11 | 345 | ||
foclasa11.bib | 2011-08-08 16:57 | 415 | ||
formalise14.bib | 2015-01-26 11:43 | 300 | ||
forte23.bib | 2023-07-14 15:03 | 540 | ||
fv60.bib | 2022-09-14 16:01 | 571 | ||
icalp97.bib | 2001-09-17 10:34 | 444 | ||
ijfcs02.bib | 2005-09-19 09:17 | 280 | ||
ilps97.bib | 2001-09-17 12:09 | 334 | ||
isc06.bib | 2006-09-06 14:38 | 300 | ||
isola16.bib | 2016-10-06 17:32 | 403 | ||
isola2010.bib | 2011-04-06 16:46 | 319 | ||
isola2014.bib | 2014-10-14 16:05 | 401 | ||
jlamp2022.bib | 2022-09-27 12:35 | 341 | ||
jlap04.bib | 2004-11-23 17:25 | 239 | ||
jvlc13.bib | 2013-10-03 14:37 | 371 | ||
koebn07.bib | 2007-10-23 10:10 | 430 | ||
kra04.bib | 2005-02-16 18:35 | 289 | ||
kra05.bib | 2009-03-23 13:16 | 435 | ||
lcmas03.bib | 2005-01-04 11:49 | 233 | ||
lcmas04.bib | 2009-03-19 12:15 | 367 | ||
liberjaco02.bib | 2002-10-29 17:18 | 348 | ||
lmcs2015.bib | 2015-12-22 14:37 | 369 | ||
lmcs2023.bib | 2023-05-22 15:48 | 322 | ||
lncs10951.bib | 2018-07-23 17:19 | 470 | ||
mecbic12.bib | 2012-11-16 14:06 | 384 | ||
mfcs16.bib | 2016-08-26 13:02 | 420 | ||
mfcsit00.bib | 2002-03-29 13:47 | 377 | ||
mtcoord05.bib | 2006-11-20 14:13 | 324 | ||
mtcoord07.bib | 2007-06-16 09:52 | 365 | ||
note00.bib | 2002-01-02 12:48 | 159 | ||
nvti2003.bib | 2003-03-03 15:12 | 370 | ||
p908.bib | 2001-09-17 16:35 | 320 | ||
paco2011.bib | 2011-08-08 17:01 | 358 | ||
patent.bib | 2009-01-09 13:31 | 306 | ||
peva09.bib | 2009-05-25 13:36 | 268 | ||
probmiv98.bib | 2001-09-17 12:30 | 294 | ||
progress02.bib | 2002-10-29 18:10 | 274 | ||
progress03.bib | 2003-09-11 10:03 | 243 | ||
qapl13.bib | 2013-03-26 13:08 | 343 | ||
qapl15a.bib | 2015-06-10 13:02 | 569 | ||
qapl15b.bib | 2015-06-07 15:24 | 538 | ||
qapl2017.bib | 2017-07-13 12:50 | 321 | ||
sac10.bib | 2010-06-07 11:35 | 442 | ||
sac12.bib | 2012-07-07 16:34 | 382 | ||
sacs09.bib | 2011-11-17 14:46 | 265 | ||
sacs13.bib | 2013-09-20 15:25 | 367 | ||
scp2011.bib | 2011-04-25 16:04 | 267 | ||
scp2014.bib | 2014-09-24 10:53 | 297 | ||
scp2019.bib | 2019-10-25 22:01 | 234 | ||
sec08.bib | 2008-08-01 11:50 | 329 | ||
sec2003.bib | 2009-03-25 21:28 | 420 | ||
sefm2010.bib | 2011-01-04 11:19 | 369 | ||
sfm13.bib | 2013-04-19 15:35 | 392 | ||
sg65.bib | 2019-10-25 22:05 | 672 | ||
sos23.bib | 2023-10-27 21:45 | 382 | ||
splat2014.bib | 2014-09-24 10:44 | 393 | ||
splatworkshop2014.bib | 2014-09-24 10:42 | 443 | ||
splc2017tt.bib | 2017-06-21 09:13 | 339 | ||
stacs2002.bib | 2002-03-25 13:13 | 269 | ||
stm05.bib | 2006-05-22 15:53 | 278 | ||
tacas13.bib | 2013-02-19 16:43 | 489 | ||
tacas19.bib | 2019-04-12 16:39 | 497 | ||
tacas2003.bib | 2004-06-30 08:51 | 309 | ||
tcs04.bib | 2006-12-17 21:31 | 241 | ||
tcs06.bib | 2006-12-17 21:30 | 293 | ||
tcsb09.bib | 2009-10-19 10:32 | 452 | ||
tcsb2011.bib | 2011-06-15 14:22 | 218 | ||
tcsb2012.bib | 2012-11-26 22:18 | 202 | ||
tue0106.bib | 2001-09-15 00:55 | 212 | ||
tue0202.bib | 2002-02-26 17:49 | 236 | ||
tue0416.bib | 2004-03-29 23:40 | 278 | ||
tue0706.bib | 2007-03-26 13:26 | 291 | ||
tue0713.bib | 2007-05-15 11:52 | 397 | ||
tue0802.bib | 2008-01-07 19:28 | 472 | ||
tue0829.bib | 2009-01-16 23:49 | 326 | ||
vodca06.bib | 2007-02-05 23:47 | 278 | ||
voss03.bib | 2003-10-01 15:12 | 346 | ||
voss04.bib | 2004-08-25 13:27 | 457 | ||
wadt08.bib | 2009-09-04 21:19 | 323 | ||
wiley-chapter2011.bib | 2011-01-04 11:06 | 565 | ||
wodes08.bib | 2008-06-03 11:06 | 431 | ||