卢西安·维希克
人员信息
优化列表
2000 – 2009
2007 [j3] 菲利普·加德纳 , 科西莫·拉伊夫 , 卢西安·维希克 :
线性货运代理。 Inf.计算。 205 ( 10 ) : 1526-1550 ( 2007 ) 2006 [注2] 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
p-微积分的资源使用分析。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 【c6】 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
的资源使用情况分析 圆周率 -微积分。 VMCAI公司 2006 : 298-312 [i1] 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
Pi-Calculus的资源使用分析。 CoRR公司 abs/cs/0608035 ( 2006 ) 2005 [j1] 卢西安·维希克 , 菲利普·加德纳 :
明确的融合。 西奥。 计算。 科学。 340 ( 三 ) : 606-630 ( 2005 ) 2004 【c5】 卢西安·维希克 , 菲利普·加德纳 :
显式融合演算的强互模拟。 FoSSaCS公司 2004 : 484-498 【c4】 劳拉·博奇 , 卢西安·维希克 :
原子承诺的过程演算。 WSFM公司 2004 : 119-132 2003 【c3】 菲利普·加德纳 , 科西莫·拉伊夫 , 卢西安·维希克 :
线性货运公司。 CONCUR公司 2003 : 408-422 2002 【b1】 卢西安·维希克 :
明确融合:理论与实施。 英国剑桥大学, 2002 [c2] 菲利普·加德纳 , 科西莫·拉伊夫 , 卢西安·维希克 :
融合机。 CONCUR公司 2002 : 418-433 2000 【c1】 菲利普·加德纳 , 卢西安·维希克 :
明确融合。 MFCS公司 2000 : 373-382