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