编辑配置文件(在新选项卡中打开) 维克托·卢昌科 合著者距离 作者ID: 卢昌科·维克托 发布日期: 维克托·卢昌科 已编制索引的文档: 13出版物自1999年起 1名编辑贡献 合著者: 23位合著者具有14联合出版物 558位合作作者 全部的 前5名合著者 0 单作者的 9 马克·莫尔 4 尼尔·沙维特。 三 莫里斯·赫利希。 2 西蒙·多尔蒂 2 林赛·格罗夫斯。 2 约西·列夫 2 林奇,南希·安 1 塔达西·阿拉拉吉 1 保罗·C·阿蒂。 1 埃伦·费思 1 阿兰·费科特 1 费希·埃伦 1 大卫·古普塔 1 哈雷特,J.J。 1 艾迪特·基达尔 1 清崎高句丽 1 莱萨尼,莫森 1 肯·马诺 1 盖皮诺·普奇 1 拉杰拉曼,拉杰莫汉 1 柳,苏京 1 亚历山大·施瓦兹曼(Alexander A.Schwarzmann)。 1 盖·刘易斯·朱·斯蒂尔。 系列 2 计算系统理论 1 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 领域 14 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物被引用74中的次60文件 引用人▼ 年份▼ 一种实用的无锁队列算法的形式化验证。 Zbl 1110.68410号 西蒙·多尔蒂;林赛·格罗夫斯;维克托·卢昌科;马克·莫尔 12 2004 重复犯罪问题:一种支持动态大小、无锁数据结构的机制。 Zbl 1029.68540号 莫里斯·赫利希;维克托·卢昌科;马克·莫尔 11 2002 正式指定和验证事务内存。 Zbl 1298.68168号 西蒙·多尔蒂;林赛·格罗夫斯;维克托·卢昌科;马克·莫尔 10 2013 关于共识的无争议复杂性。 Zbl 1180.68063号 维克托·卢昌科;马克·莫尔;沙维特,尼尔 7 2003 一个简单的乐观skiplist算法。 Zbl 1201.68043号 莫里斯·赫利希;约西·列夫;维克托·卢昌科;尼尔·沙维特 6 2007 最终可序列化的数据服务。 兹比尔0933.68009 阿兰·费科特;大卫·古普塔;维克托·卢昌科;南希·林奇;亚历克斯·施瓦茨曼 6 1999 无障碍算法实际上可以无需等待。 Zbl 1171.68372号 费希·埃伦;维克托·卢昌科;马克·莫尔;尼尔·沙维特 6 2005 关于代理计算的形式化建模。 Zbl 0988.68721号 塔达西·阿拉拉吉;保罗·阿蒂;艾迪特·基达尔;清崎高句丽;维克多·卢昌科;南希·林奇;肯·马诺 4 2001 用于正式验证软件事务性内存算法的框架。 Zbl 1365.68163号 莱萨尼,莫森;维克托·卢昌科;马克·莫尔 三 2012 SNZI,可扩展非零指标。 Zbl 1283.68119号 埃伦·费思;约西·列夫;维克托·卢昌科;马克·莫尔 三 2007 非阻塞\(k\)-比较单交换。 Zbl 1179.68044号 维克托·卢昌科;马克·莫尔;尼尔·沙维特 三 2009 时空自适应非阻塞算法。 Zbl 1270.68382号 莫里斯·赫利希;维克托·卢昌科;马克·莫尔 2 2003 将强制与子类型和多重分派集成。 Zbl 1197.68033号 J·J·哈利特。;维克托·卢昌科;柳,苏京;盖·利·朱·斯蒂尔(Guy L.jun Steele)。 1 2010 正式指定和验证事务内存。 Zbl 1298.68168号 西蒙·多尔蒂;林赛·格罗夫斯;维克托·卢昌科;马克·莫尔 10 2013 用于正式验证软件事务性内存算法的框架。 Zbl 1365.68163号 莫森莱萨尼;维克托·卢昌科;马克·莫尔 三 2012 将强制与子类型和多重分派集成。 Zbl 1197.68033号 J·J·哈利特。;维克托·卢昌科;柳,苏京;盖·利·朱·斯蒂尔(Guy L.jun Steele)。 1 2010 非阻塞\(k\)-比较单交换。 Zbl 1179.68044号 维克托·卢昌科;马克·莫尔;沙维特,尼尔 三 2009 一个简单的乐观skiplist算法。 Zbl 1201.68043号 莫里斯·赫利希;约西·列夫;维克托·卢昌科;尼尔·沙维特 6 2007 SNZI,可扩展非零指标。 兹比尔1283.68119 埃伦·费思;约西·列夫;维克托·卢昌科;马克·莫尔 三 2007 无障碍算法实际上可以无需等待。 Zbl 1171.68372号 费希·埃伦;维克托·卢昌科;马克·莫尔;尼尔·沙维特 6 2005 一种实用的无锁队列算法的形式化验证。 Zbl 1110.68410号 西蒙·多尔蒂;林赛·格罗夫斯;维克托·卢昌科;马克·莫尔 12 2004 关于共识的无争议复杂性。 兹比尔1180.68063 维克托·卢昌科;马克·莫尔;尼尔·沙维特 7 2003 时空自适应非阻塞算法。 Zbl 1270.68382号 莫里斯·赫利希;维克托·卢昌科;马克·莫尔 2 2003 重复犯罪问题:一种支持动态大小、无锁数据结构的机制。 Zbl 1029.68540号 莫里斯·赫利希;维克托·卢昌科;马克·莫尔 11 2002 关于代理计算的形式化建模。 Zbl 0988.68721号 塔达西·阿拉拉吉;保罗·阿蒂;艾迪特·基达尔;清崎高句丽;维克托·卢昌科;林奇,南希;肯·马诺 4 2001 最终可序列化的数据服务。 Zbl 0933.68009号 阿兰·费科特;大卫·古普塔;维克托·卢昌科;南希·林奇;亚历克斯·施瓦茨曼 6 1999 所有引用出版物 前5名被引用出版物 全部的 前5名107位作者引用 9 格哈德·谢尔霍恩 8 Dongol,布里耶什 8 海克·卫尔海姆 7 约翰·德里克 6 西蒙·多尔蒂 4 保罗·C·阿蒂。 4 尼尔·沙维特。 三 迈克尔·德克蒂亚。 三 亚历山大·雅科夫列维奇·迪科夫斯基 三 丹尼·亨德勒 三 彼得·库兹涅佐夫 三 马克·莫尔 三 沃尔夫冈·雷夫 三 加迪·陶本费尔德 三 博格丹·托凡 三 菲利帕斯·齐加斯 三 Mars K·瓦利耶夫。 2 马科斯·卡瓦佐·阿奎莱拉 2 埃利尼·比拉 2 佐希尔·布齐德 2 罗伯特·J·科尔文。 2 帕纳吉奥塔·法图鲁 2 林赛·格罗夫斯。 2 拉希德·格拉乌伊 2 尼古拉斯·D·卡拉马尼斯。 2 维克托·卢昌科 2 亚当·莫里森 2 玛丽娜·帕帕特里安塔菲卢 2 雷纳尔,米歇尔 2 康拉德·锡克 2 佛经,皮埃尔 2 奥列格·特拉夫金 2 PawełT,Wojciechowski。 1 耶胡达·阿费克 1 维塔利·阿克塞诺夫 1 阿克苏、穆斯塔法 1 Dan Alistarh 1 哈吉特·阿提亚 1 西蒙·贝姆勒 1 雷梅尔·贝伦兹 1 克莱尔·卡普德维勒 1 亨利·戴利 1 Detlefs,David L。 1 亚历山德拉·德罗兹多娃 1 天鹅·杜布瓦 1 埃伦·费思 1 康斯坦丁·埃纳 1 吉登·恩斯特 1 雅各布·埃文斯 1 约塔姆·M·Y·费尔德曼。 1 克里斯蒂娜·费尔南德斯。 1 Eli M.加夫尼。 1 高慧 1 拉蒂·格拉什维利 1 安德斯·吉登斯塔姆 1 沃伊切赫·戈拉布 1 哈齐拉科斯、瓦索斯 1 维姆·赫瑟林克。 1 埃什卡尔·希勒尔 1 科莱特·约翰恩 1 卡帕·卡、米查·卡 1 哈伊姆·卡普兰 1 阿里·卡奇 1 库尔根·科尼 1 鲍里斯·科伦菲尔德 1 谢·库滕 1 埃德亚·拉丹·莫泽斯 1 莱斯利·兰波特 1 杰·勒·佩宾 1 林奇,南希·安 1 马丁·保罗·安德鲁 1 汉谟拉比门德斯 1 劳伦特·米歇尔 1 阿莱西亚·米拉尼 1 阿米尔基万·莫塔沙米 1 罗伯托·帕尔米耶里 1 托马斯·帕尼 1 萨提亚·佩里 1 小弗朗克 1 约格·佩勒 1 彼得·皮尔克鲍尔 1 诺姆·里内茨基 1 艾奥西夫·塞勒姆 1 埃拉·迈克尔·席勒 1 亚历山大·施瓦茨曼。 1 皮埃尔·森斯 1 沙龙·肖姆 1 亚尼斯·斯马拉格达基斯 1 格雷姆·史密斯 1 尤里·索洛德基 1 Elaine L.Sonnederger。 1 迈克尔·F·斯皮尔。 1 朱利安·施泰纳 1 盖·刘易斯·朱·斯蒂尔。 1 Bjarne斯特劳斯特鲁普 1 哈坎·桑德尔 1 罗伯特·恩德雷·塔尔扬 1 萨姆·图格 1 科伦蒂·特拉弗斯 1 Usui、Takayuki …还有7位作者 全部的 前5名17篇连载文章中引用 16 分布式计算 6 理论计算机科学 5 计算的形式方面 三 并行与分布式计算杂志 三 系统设计中的形式化方法 三 计算系统理论 2 计算机程序设计科学 2 算法 2 信息与计算 1 编程和计算机软件 1 纯逻辑与应用逻辑年鉴 1 运筹学年鉴 1 计算与决策科学基础 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 阿拉伯科学与工程杂志 在4个字段中引用 58 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 按年份列出的引文