Index of /~parosh/publications/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[IMG]creme1.jpg 2016-07-30 19:45 889  
[   ]formats05.ps 2016-07-30 19:45 33K 
[   ]tacas2013tool.pdf 2016-07-30 19:46 98K 
[   ]wmc08.pdf 2016-07-30 19:46 135K 
[   ]effective.ps 2016-07-30 19:45 145K 
[   ]rewriting.ps 2016-07-30 19:46 145K 
[   ]isola1.ps 2016-07-30 19:45 147K 
[   ]tpnundec.ps 2016-07-30 19:46 153K 
[   ]jlc08.pdf 2016-07-30 19:45 156K 
[   ]fsen2013.pdf 2016-07-30 19:45 158K 
[   ]pom_cav98.ps 2016-07-30 19:46 165K 
[   ]plcs.ps 2016-07-30 19:46 168K 
[   ]elcs.ps 2016-07-30 19:45 180K 
[   ]isola.ps 2016-07-30 19:45 182K 
[   ]rmc_logic.ps 2016-07-30 19:46 187K 
[   ]general.ps 2016-07-30 19:45 188K 
[   ]unfoldings.ps 2016-07-30 19:46 192K 
[   ]concur01.ps 2016-07-30 19:45 193K 
[   ]rp08.pdf 2016-07-30 19:46 193K 
[   ]tacas2012a.pdf 2016-07-30 19:46 196K 
[   ]vmcai2013.pdf 2016-07-30 19:46 199K 
[   ]lossy_cav98.ps 2016-07-30 19:46 199K 
[   ]concur2013.pdf 2016-07-30 19:45 201K 
[   ]sas12.pdf 2016-07-30 19:46 204K 
[   ]sas2012.pdf 2016-07-30 19:46 204K 
[   ]simple.ps 2016-07-30 19:46 206K 
[   ]rp09.pdf 2016-07-30 19:46 208K 
[   ]fossacs09.pdf 2016-07-30 19:45 208K 
[   ]mgames.ps 2016-07-30 19:46 209K 
[   ]qfm2012.pdf 2016-07-30 19:46 209K 
[   ]plcs_03.ps 2016-07-30 19:46 211K 
[   ]tacas07.pdf 2016-07-30 19:46 212K 
[   ]lics93.ps 2016-07-30 19:46 215K 
[   ]atva2013-mp.pdf 2016-07-30 19:45 218K 
[   ]ictac08.pdf 2016-07-30 19:45 220K 
[   ]POM.ps 2016-07-30 19:46 220K 
[   ]ijfcs09b.pdf 2016-07-30 19:45 223K 
[   ]ijfcs07.pdf 2016-07-30 19:45 224K 
[   ]icalp94.ps 2016-07-30 19:45 225K 
[   ]lcs_probability.ps 2016-07-30 19:45 226K 
[   ]qest2013.pdf 2016-07-30 19:46 229K 
[   ]atva2013a 2016-07-30 19:45 230K 
[   ]atva2013a.pdf 2016-07-30 19:45 230K 
[   ]global.ps 2016-07-30 19:45 236K 
[   ]langmaack.ps 2016-07-30 19:45 237K 
[   ]lossy_ic.ps 2016-07-30 19:46 241K 
[   ]dlg.ps 2016-07-30 19:45 247K 
[   ]date2013.pdf 2016-07-30 19:45 247K 
[   ]forte09.pdf 2016-07-30 19:45 250K 
[   ]rmc_imp.ps 2016-07-30 19:46 252K 
[   ]tacas08.pdf 2016-07-30 19:46 253K 
[   ]lics05.ps 2016-07-30 19:45 255K 
[   ]cav03.ps 2016-07-30 19:45 256K 
[   ]fsttcs05.ps 2016-07-30 19:45 256K 
[   ]lata12.pdf 2016-07-30 19:45 260K 
[   ]bqo.ps 2016-07-30 19:45 260K 
[   ]boundedness.ps 2016-07-30 19:45 260K 
[   ]lata2012.pdf 2016-07-30 19:45 261K 
[   ]cav08.pdf 2016-07-30 19:45 264K 
[   ]UnfoldingSAT.ps 2016-07-30 19:46 267K 
[   ]tpn.ps 2016-07-30 19:46 269K 
[   ]atva09.pdf 2016-07-30 19:45 270K 
[   ]lics93_ic.ps 2016-07-30 19:46 273K 
[   ]rmc_survey.ps 2016-07-30 19:46 277K 
[   ]infinity08.pdf 2016-07-30 19:45 279K 
[   ]liveness.ps 2016-07-30 19:46 280K 
[   ]fp_imp.ps 2016-07-30 19:45 281K 
[   ]infinity2012.pdf 2016-07-30 19:45 287K 
[   ]general_IC.ps 2016-07-30 19:45 288K 
[   ]fmcad2012.pdf 2016-07-30 19:45 292K 
[   ]TN.ps 2016-07-30 19:46 292K 
[   ]lata09.pdf 2016-07-30 19:45 292K 
[   ]completeness.ps 2016-07-30 19:45 304K 
[   ]forte2013.pdf 2016-07-30 19:45 308K 
[   ]concur08.pdf 2016-07-30 19:45 311K 
[   ]tn2reach.ps 2016-07-30 19:46 311K 
[   ]fi08.pdf 2016-07-30 19:45 312K 
[   ]fsen07.pdf 2016-07-30 19:45 312K 
[   ]fmcad2013.pdf 2016-07-30 19:45 314K 
[   ]icalp94_ic.ps 2016-07-30 19:45 323K 
[   ]RP11.pdf 2016-07-30 19:46 329K 
[   ]plcs_detailed.ps 2016-07-30 19:46 335K 
[   ]fsttcs09.pdf 2016-07-30 19:45 337K 
[   ]tacas2013a.pdf 2016-07-30 19:46 339K 
[   ]concur2011a.pdf 2016-07-30 19:45 343K 
[   ]concur11a.pdf 2016-07-30 19:45 343K 
[   ]STTT2012a.pdf 2016-07-30 19:46 344K 
[   ]lata2014.pdf 2016-07-30 19:45 346K 
[   ]tacas12.pdf 2016-07-30 19:46 347K 
[   ]tacas05.ps 2016-07-30 19:46 350K 
[   ]STTT12.pdf 2016-07-30 19:46 351K 
[   ]sofsem10.pdf 2016-07-30 19:46 356K 
[   ]trees.ps 2016-07-30 19:46 358K 
[   ]ijfcs11.pdf 2016-07-30 19:45 360K 
[   ]popl2014.pdf 2016-07-30 19:46 364K 
[   ]concur11b.pdf 2016-07-30 19:45 366K 
[   ]eager.ps 2016-07-30 19:45 374K 
[   ]vmcai08.pdf 2016-07-30 19:46 378K 
[   ]fp_journal.ps 2016-07-30 19:45 380K 
[   ]bss.ps 2016-07-30 19:45 384K 
[   ]fossacs07.pdf 2016-07-30 19:45 386K 
[   ]smc.ps 2016-07-30 19:46 387K 
[   ]TN_detailed.ps 2016-07-30 19:46 393K 
[   ]decisive.ps 2016-07-30 19:45 394K 
[   ]acm91.ps 2016-07-30 19:45 395K 
[   ]ciaa05.ps 2016-07-30 19:45 397K 
[   ]avis06.pdf 2016-07-30 19:45 398K 
[   ]ijfcs13.pdf 2016-07-30 19:45 400K 
[   ]rp2011.pdf 2016-07-30 19:46 402K 
[   ]sre.ps 2016-07-30 19:46 403K 
[   ]mdclgames.ps 2016-07-30 19:46 404K 
[   ]tree_bisim.ps 2016-07-30 19:46 404K 
[   ]lics12.pdf 2016-07-30 19:46 419K 
[   ]lics2011.pdf 2016-07-30 19:46 428K 
[   ]ic11.pdf 2013-11-24 23:36 433K 
[   ]forte08.pdf 2016-07-30 19:45 436K 
[   ]lics2012.pdf 2016-07-30 19:46 438K 
[   ]csl07.pdf 2016-07-30 19:45 444K 
[   ]IC11.pdf 2016-07-30 19:45 445K 
[   ]concur95.ps 2016-07-30 19:45 449K 
[   ]facs.ps 2016-07-30 19:45 453K 
[   ]formats11.pdf 2016-07-30 19:45 457K 
[   ]plcs_attractor.ps 2016-07-30 19:46 459K 
[   ]njc07.pdf 2016-07-30 19:46 470K 
[   ]formats2011.pdf 2016-07-30 19:45 472K 
[   ]cav00.ps 2016-07-30 19:45 473K 
[   ]fsttcs2012.pdf 2016-07-30 19:45 475K 
[   ]bsl10.pdf 2016-07-30 19:45 476K 
[   ]one_counter.ps 2016-07-30 19:46 479K 
[   ]cav07.pdf 2016-07-30 19:45 484K 
[   ]fsttcs12.pdf 2016-07-30 19:45 487K 
[   ]isola10.pdf 2016-07-30 19:45 489K 
[   ]concur10.pdf 2016-07-30 19:45 502K 
[   ]limit_average.ps 2016-07-30 19:46 504K 
[   ]STTT2012b.pdf 2016-07-30 19:46 512K 
[   ]fossacs08.pdf 2016-07-30 19:45 517K 
[   ]tree_rmc_j.ps 2016-07-30 19:46 519K 
[   ]vepas.ps 2016-07-30 19:46 528K 
[   ]STTT10b.pdf 2016-07-30 19:46 544K 
[   ]ijfcs09a.pdf 2016-07-30 19:45 555K 
[   ]lics11.pdf 2016-07-30 19:45 570K 
[   ]fmsd09.pdf 2016-07-30 19:45 592K 
[   ]robust.ps 2016-07-30 19:46 594K 
[   ]dlg_journal.ps 2016-07-30 19:45 596K 
[   ]tn2reach_journal.ps 2016-07-30 19:46 706K 
[   ]bonn05.ppt 2016-07-30 19:45 748K 
[   ]formats05.ppt 2016-07-30 19:45 924K 
[   ]cav10.pdf 2016-07-30 19:45 1.3M 
[   ]tacas10.pdf 2016-07-30 19:46 1.7M 
[   ]fmics2017.key 2017-10-02 21:43 7.3M 
[   ]Linearizabiliy.key 2017-10-02 21:50 12M 
[   ]fmics2017.pdf 2017-10-02 21:43 14M 
[   ]metys2015.key 2016-07-30 19:46 15M 
[   ]ifip2017.key 2017-10-02 21:40 16M 
[   ]cav2016.key 2016-07-30 19:45 17M 
[   ]movep16.key 2016-07-30 19:46 22M 
[   ]metys2015.pdf 2016-07-30 19:46 28M 
[   ]movep16.pdf 2016-07-30 19:46 42M 
[   ]Linearizabiliy.pdf 2017-10-02 21:51 48M 
[   ]cav2016.pdf 2016-07-30 19:46 105M 
[   ]ifip2017.pdf 2017-10-02 21:41 117M