利维奥·科卢西
人员信息
优化列表
2010 – 2019
2012 [i1] 利维奥·科卢西 :
工作函数算法可以忘记历史而不失去竞争力。 CoRR公司 abs/1203.4920 ( 2012 ) 2011 [公元10年] 利维奥·科卢西 :
Collatz函数的收敛类。 西奥。 计算。 科学。 412 ( 39 ) : 5409-5419 ( 2011 )
2000 – 2009
2005 [公元9年] 利维奥·科卢西 , 米歇尔·孔福尔蒂 , 贾科莫·赞贝利 :
树丛中不相交的路径。 谨慎。 数学。 292 ( 1-3 ) : 187-191 ( 2005 ) 2004 [第10条] 利维奥·科卢西 , 吉尔伯托·菲尔 , A.格里乔 :
立方时间π-微积分的精确分析。 IFIP TCS 2004 : 317-331
1990 – 1999
1998 [j8] 丹妮·布雷斯劳尔 , 利维奥·科卢西 , 劳拉·托尼奥洛 :
关于字符串前缀匹配问题的比较复杂性。 J.算法 29 ( 1 ) : 18-67 ( 1998 ) 1996 [j7] 利维奥·科卢西 , 阿莱西亚·德科尔 :
用于大文本字符串搜索的时空高效数据结构。 Inf.流程。 莱特。 58 ( 5 ) : 217-222 ( 1996 ) [j6] 利维奥·科卢西 , 劳拉·托尼奥洛 :
字符比较顺序如何形成在线模式匹配算法的移位函数。 西奥。 计算。 科学。 163 ( 1&2 ) : 117-144 ( 1996 ) 1995 【c9】 利维奥·科卢西 , 埃琳娜·马尔奇奥里 , 马西莫·马尔奇奥里 :
约束逻辑程序的数据流语义。 活塞销 1995 : 557-568 【c8】 利维奥·科卢西 , 埃琳娜·马尔奇奥里 , 马西莫·马尔奇奥里 :
关于约束逻辑程序的终止。 人物配对关系 1995 : 431-448 [c7] 利维奥·科卢西 , 埃琳娜·马尔奇奥里 , 马西莫·马尔奇奥里 :
约束逻辑程序的数据流语义。 PLILP公司 1995 : 431-448 1994 [j5] 利维奥·科卢西 :
字符串中最快的模式匹配。 J.算法 16 ( 2 ) : 163-189 ( 1994 ) 【c6】 丹妮·布雷斯劳尔 , 利维奥·科卢西 , 劳拉·托尼奥洛 :
关于字符串前缀匹配问题的精确复杂性(扩展抽象)。 欧洲航天局 1994 : 483-494 【c5】 利维奥·科卢西 , 埃琳娜·马尔奇奥里 , 马西莫·马尔乔里 :
结合逻辑和控制来表征Prolog程序的全局不变量。 ICLP研讨会:(并发)逻辑语言的验证和分析 1994 1993 【j4】 丹妮·布雷斯劳尔 , 利维奥·科卢西 , 劳拉·托尼奥洛 :
字符串前缀匹配问题的严格比较界限。 Inf.流程。 莱特。 47 ( 1 ) : 51-57 ( 1993 ) 【c4】 丹妮·布雷斯劳尔 , 利维奥·科卢西 , 劳拉·托尼奥洛 :
字符串前缀匹配问题的严格比较界限。 CPM公司 1993 : 11-19 1992 【c3】 利维奥·科卢西 , 埃琳娜·马尔奇奥里 :
用于统一的谓词变换器。 JICSLP公司 1992 : 67-81 1991 [j3] 利维奥·科卢西 :
模式匹配算法的正确性和效率。 Inf.计算。 95 ( 2 ) : 225-251 ( 1991 ) 【c2】 利维奥·科卢西 , 埃琳娜·马尔奇奥里 :
用公理语义证明逻辑程序的正确性。 ICLP公司 1991 : 629-642 1990 【c1】 利维奥·科卢西 , 兹维·郭历理 , 拉斐尔·吉安卡洛 :
关于字符串匹配的精确复杂性(扩展抽象)。 光纤通信系统 1990 : 135-144
1980 – 1989
1983 [注2] 安娜丽莎·博西 , 尼科莱塔·科科 , 利维奥·科卢西 :
一般上下文自由解析的分而治之方法。 Inf.流程。 莱特。 16 ( 4 ) : 203-208 ( 1983 ) 1980 [j1] 安娜丽莎·博西 , 利维奥·科卢西 , 克劳迪奥·科贝利 , 乔治·罗曼宁·贾库尔 :
分段模型的可识别性:通过符号演算解决实际问题的算法。 SIGSAM牛市。 14 ( 4 ) : 35-40 ( 1980 )