Index of /victor.khomenko/home.formal/papers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]waitx.pdf 2017-02-22 12:47 442K 
[ ]ukaf_2009.pdf 2009-09-17 14:07 524K 
[ ]tj-final-edited.pdf 2004-10-15 16:34 194K 
[ ]thesis.pdf 2003-03-03 16:12 913K 
[ ]tacas2003.ppt 2003-06-16 12:15 597K 
[ ]slydes-concur2001.ppt 2003-06-16 12:14 193K 
[ ]reft2005.ppt 2005-07-18 10:14 2.3M 
[ ]reft2005.pdf 2005-06-03 11:04 377K 
[ ]reft2005-sh-tr.ppt 2005-07-21 12:01 2.3M 
[ ]reach.ppt 2009-08-20 10:36 583K 
[ ]reach.pdf 2009-08-08 21:45 186K 
[ ]predictability.ppt 2012-07-05 20:10 857K 
[ ]poly-pi.pptx 2012-09-06 18:33 680K 
[ ]pi-cong.ppt 2009-07-05 13:35 581K 
[ ]para_graphs.pptx 2012-06-21 20:34 675K 
[ ]par_comp_presentatio..>2011-06-27 19:25 431K 
[TXT]papers.html 2022-09-06 13:33 62K 
[ ]paper8-Maciej-Festsc..>2020-12-03 16:44 494K 
[ ]output-determinacy.pdf 2007-06-14 11:45 266K 
[ ]out-det-talk.pdf 2007-07-16 15:37 1.3M 
[ ]ngcas-17.pdf 2017-09-14 12:01 371K 
[ ]merged_processes.ppt 2011-06-26 09:46 348K 
[ ]ltlmc.pdf 2004-05-04 09:55 171K 
[ ]lsv-13-06.pdf 2014-11-04 14:12 416K 
[ ]logic deco.pptx 2011-05-13 19:39 382K 
[ ]log_dec.pdf 2011-02-20 13:58 209K 
[ ]letichevsky_rewritin..>2004-06-30 17:10 47K 
[ ]khomenkov_unfoldings..>2003-03-12 11:50 126K 
[ ]khomenkov_synthesis.pdf2004-03-08 12:56 150K 
[ ]khomenko-ufoldings.pdf 2007-05-17 12:37 203K 
[ ]ieee-tvlsi-csc.pdf 2009-07-27 13:58 309K 
[ ]icgt10.ppt 2010-07-13 18:55 619K 
[ ]icascd2003.ppt 2003-06-16 12:14 198K 
[ ]icacsd2004.ppt 2004-05-18 10:30 224K 
[ ]dual_rail.pptx 2012-06-21 20:48 517K 
[ ]diagno_LTL.ppt 2010-07-05 09:42 1.0M 
[ ]date02.crc.pdf 2001-12-10 16:59 153K 
[ ]concur2005.ppt 2005-06-17 11:10 968K 
[ ]concur05.pdf 2005-05-25 10:16 294K 
[ ]atpn08.pdf 2008-07-07 10:38 731K 
[ ]atpn07.ppt 2007-03-15 16:44 295K 
[ ]atpn07-combining.ppt 2007-05-25 15:15 676K 
[ ]async18.pptx 2018-05-25 10:09 292K 
[ ]async15-OM.pdf 2015-03-10 20:09 452K 
[ ]async15-BUCK.pdf 2015-03-06 21:22 501K 
[ ]async08.ppt 2008-04-10 15:20 894K 
[ ]async08.pdf 2008-01-12 10:44 227K 
[ ]acsd14.pdf 2014-03-31 11:37 656K 
[ ]acsd13.pdf 2013-04-16 15:54 279K 
[ ]acsd13-talk.pdf 2013-08-02 09:26 276K 
[ ]acsd07.ppt 2007-07-16 10:33 845K 
[ ]acsd06.pdf 2006-03-20 12:31 180K 
[ ]WAITX.pptx 2017-06-22 15:23 1.2M 
[ ]TCAD-A2A.pdf 2019-03-29 10:04 4.8M 
[ ]TACAS2002-new.ppt 2003-06-16 12:14 971K 
[ ]TACAS-2003.pdf 2003-01-10 13:00 189K 
[ ]SRAM-white-backgroun..>2017-04-24 12:23 466K 
[ ]S2_P2_Multiphase_Buc..>2015-05-26 12:08 518K 
[ ]REFTS-IKKR.pdf 2005-06-07 15:29 147K 
[ ]PID1762231.pdf 2011-04-01 19:35 272K 
[ ]OM.pdf 2015-05-26 12:04 1.8M 
[ ]NGCAS17-slides.pdf 2017-09-14 11:59 459K 
[ ]Maciej-Festschrift.pdf 2020-12-03 16:44 13M 
[ ]MOCA06.ppt 2006-06-21 14:07 574K 
[ ]MOCA06.pdf 2006-05-18 15:10 250K 
[ ]HelKhoKou-TACAS2002.pdf2003-04-17 11:56 176K 
[ ]Flat Arbiters.ppt 2009-07-06 10:12 2.5M 
[ ]Diagnosability under..>2014-06-27 09:10 1.4M 
[ ]DATE17-slides.pdf 2017-05-11 11:20 1.2M 
[ ]CS-TR-1323.pdf 2012-05-11 11:52 531K 
[ ]CS-TR-1100.pdf 2008-06-04 11:15 273K 
[ ]CONCUR-2001.pdf 2002-12-03 15:31 187K 
[ ]CONCUR-2000.pdf 2002-12-03 13:16 178K 
[ ]CAV2002.ppt 2003-06-16 12:14 223K 
[ ]CAV04.ppt 2004-09-13 13:08 1.0M 
[ ]CAV-2002.pdf 2003-04-17 11:48 171K 
[ ]Balsa_Optimisation.pdf 2009-09-15 09:23 65K 
[ ]Alex-Festschrift.pdf 2016-07-21 14:17 41M 
[ ]Acta-mproc.pdf 2006-07-12 16:06 330K 
[ ]A_Case_for_Using_Sig..>2008-09-23 16:40 1.1M 
[ ]ATPN09.pdf 2009-06-25 12:42 830K 
[ ]ASYNC20.pdf 2020-10-20 15:58 118K 
[ ]ASYNC18.pdf 2018-05-01 10:06 151K 
[ ]ACSD17-SRAM-controll..>2017-04-05 12:44 615K 
[ ]ACSD06.ppt 2006-06-23 22:55 1.0M 
[ ]ACSD06-deco.pdf 2006-07-05 09:36 174K 
[ ]ACSD06-deco-presenta..>2006-07-07 09:53 964K 
[ ]2012_perfect_acsd_fi..>2012-07-04 12:22 493K 
[ ]2012_algebra_acsd_fi..>2012-03-28 14:02 548K 
[ ]09f1_1_281.ppt 2003-12-02 16:36 1.0M 
[ ]09f1_1_281.pdf 2002-11-29 15:17 120K 
[ ]04B_2_219.ppt 2003-06-16 12:13 156K