编辑配置文件(在新选项卡中打开) 卢卡斯·布鲁奇 合著者距离 作者ID: 布鲁斯奇·卢卡斯 发布日期: 卢卡斯·布鲁奇 已编制索引的文档: 2出版物自2011年起 合著者: 5位合著者具有2联合出版物 111位Co-Co作者 合著者 0 单作者的 1 迪米塔尔·伊利耶夫·迪米特洛夫 1 彼得·米勒 1 哦,哈乔 1 Vechev,Martin T。 1 Yi,Kwangkeun先生 系列 领域 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用12中的次9文件 引用人▼ 年份▼ 最终一致性的序列化:标准、分析和应用。 Zbl 1380.68039号 卢卡斯·布鲁奇;迪米特洛夫;彼得·米勒;马丁·维切夫 7 2017 基于访问分析的抽象内存的严密定位。 兹伯利1317.68033 哦,哈乔;卢卡斯·布鲁奇;Yi,Kwangkeun先生 5 2011 最终一致性的序列化:标准、分析和应用。 Zbl 1380.68039号 卢卡斯·布鲁奇;迪米特洛夫;彼得·米勒;马丁·维切夫 7 2017 基于访问分析的抽象内存的严密定位。 Zbl 1317.68033号 哦,哈乔;卢卡斯·布鲁奇;Yi,Kwangkeun先生 5 2011 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 三 西迪·穆罕默德·贝拉希 三 艾哈迈德·博阿贾尼 三 康斯坦丁·埃纳 1 伊娃·贝克舒尔泽 1 Jörg Brauer 1 安德烈亚·塞隆 1 阿齐姆·查德哈里 1 阿列克谢·戈茨曼 1 Heo,Kihong先生 1 苏雷什·贾甘纳森 1 安迪·金 1 Ko、Yoonseok 1 斯特凡·科瓦列夫斯基 1 Lee,Wonchan先生 1 Lee,Woosuk先生 1 卡提克·纳加尔 1 哦,哈乔 1 杨红seok 1 Yi,Kwangkeun先生 3篇连载文章中引用 1 系统设计中的形式化方法 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 在2个字段中引用 9 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文