编辑配置文件（在新选项卡中打开） 拉杜·格里戈尔 合著者距离 作者ID： 格里戈·拉杜 发布日期： 拉杜·格里戈尔 外部链接： MGP公司 已编制索引的文档： 11出版物自2010年起 合著者： 13合著者具有10联合出版物 369名合作作者 全部的 前5名合著者 1 单作者的 三 斯特凡·基弗 三 尼科斯·齐夫列科斯 2 米科拉什·亚诺塔 2 Joáo P.塞尔瓦侯爵。 1 玛丽亚·布鲁纳 1 迪诺·迪斯特法诺 1 马约·奈克 1 乔尔·欧·瓦克宁。 1 Rasmus Lerchedahl彼得森 1 司旭杰 1 詹姆斯·沃雷尔。 1 杨红seok 1 张欣 系列 1 计算机与系统科学杂志 1 计算机科学中的逻辑方法 领域 11 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用34中的次33文件 引用人▼ 年份▼ 基于寄存器自动机的运行时验证。 兹比尔1381.68165 拉杜·格里戈尔;迪诺·迪斯特法诺;Rasmus Lerchedahl彼得森;尼科斯·齐夫列科斯 8 2013 命题限定的反例引导抽象求精算法。 Zbl 1306.68190号 米科拉什·亚诺塔;拉杜·格里戈尔;若昂·西尔瓦侯爵 6 2010 关于QBF证明和预处理。 Zbl 1407.68454号 米科拉什·亚诺塔;拉杜·格里戈尔;若昂·西尔瓦侯爵 5 2013 历史登记自动机。 Zbl 1448.68264号 拉杜·格里戈尔;尼科斯·齐夫列科斯 4 2016 历史登记自动机。 Zbl 1260.68118号 尼科斯·齐夫列科斯;拉杜·格里戈尔 4 2013 软件分析中的最大可满足性：应用和技术。 Zbl 1494.68062号 司旭杰;张欣;拉杜·格里戈尔;马约·奈克 三 2017 由学习的概率模型指导的抽象细化。 Zbl 1347.68084号 拉杜·格里戈尔;杨红seok 2 2016 选择性监测。 Zbl 1520.68101号 拉杜·格里戈尔;斯特凡·基弗 2 2018 选择性监测。 Zbl 1520.68101号 拉杜·格里戈尔;斯特凡·基弗 2 2018 软件分析中的最大可满足性：应用和技术。 Zbl 1494.68062号 司旭杰;张欣;拉杜·格里戈尔;马约·奈克 三 2017 历史登记自动机。 Zbl 1448.68264号 拉杜·格里戈尔;尼科斯·齐夫列科斯 4 2016 由学习的概率模型指导的抽象细化。 Zbl 1347.68084号 拉杜·格里戈尔;杨红seok 2 2016 基于寄存器自动机的运行时验证。 兹比尔1381.68165 拉杜·格里戈尔;迪诺·迪斯特法诺;Rasmus Lerchedahl彼得森;Tzevelekos，尼科斯 8 2013 关于QBF证明和预处理。 Zbl 1407.68454号 米科拉什·亚诺塔;拉杜·格里戈尔;若昂·西尔瓦侯爵 5 2013 历史登记自动机。 Zbl 1260.68118号 尼科斯·齐夫列科斯;拉杜·格里戈尔 4 2013 命题限定的反例引导抽象求精算法。 Zbl 1306.68190号 米科拉什·亚诺塔;拉杜·格里戈尔;若昂·西尔瓦侯爵 6 2010 所有引用出版物 前5名被引用出版物 全部的 前5名被83位作者引用 三 米科拉什·亚诺塔 三 马蒂·Järvisalo 三 Joáo P.塞尔瓦侯爵。 三 约书亚·莫尔曼 三 安德烈·穆拉夫斯基。 三 Tzevelekos，尼科斯 2 阿德里安·弗兰卡兰扎 2 斯特凡·米利厄斯 2 哦，哈乔 2 史蒂文·拉姆齐。 2 马蒂奥·桑马蒂诺 2 西尔万·施密茨 2 桑吉特·阿伦库马尔·塞希亚 2 武和田。 1 帕罗什·阿齐兹·阿卜杜拉 1 沃尔夫冈·阿伦特 1 穆苏诺里·班巴拉 1 M.H.班杜卡拉。 1 埃齐奥·巴托西 1 Clément伯特兰 1 多梅尼科·比安库利 1 阿明·比尔 1 Cha、Sooyoung 1 克拉克（Edmund Melson jun Clarke）。 1 克里斯蒂安·科伦坡 1 康拉德·科顿-巴拉特 1 皮耶保罗·德加诺 1 乔治·德尔扎诺 1 丹尼·多列夫 1 沃尔夫冈·德沃亚克 1 埃格利，乌韦 1 伊利耶斯·法尔科内 1 吉安·路易吉，法拉利 1 弗洛里安·弗兰克 1 Keijo Heljanko 1 Heo，Kihong先生 1 Heule，Marijn J.H。 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 贞、色顺 1 塞巴斯蒂安·荣格斯 1 汉娜·克劳代尔 1 威廉·克利伯 1 Janne H.Korhonen。 1 德克斯特·C·科赞。 1 马丁·克罗内格 1 Sr Djan Krstić 1 伊莎贝·库尔曼 1 丹尼尔·勒贝雷 1 克里斯托夫·伦岑 1 弗洛里安·朗辛 1 若昂·洛伦索。 1 吉安卢卡·梅泽蒂 1 马可·蒙塔利 1 亚历山大·纳德尔 1 德扬·尼科维奇 1 安德烈亚斯·尼斯卡宁 1 戈登·佩斯。 1 弗雷德里克·佩申斯基 1 安德烈亚斯·普范德勒 1 拉贝，马库斯·N。 1 罗特，尤里安 1 圣埃芬尼罗塞尔 1 若泽·鲁菲诺 1 乔尔·里比奇 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 卢茨·施罗德 1 马蒂娜·塞德尔 1 辛戈尔斯，朱利安 1 苏，武藏 1 朱卡·索米拉 1 铃木田村 1 Leander Tentrup公司 1 托法、哈泽姆 1 德米特里·特拉泰尔 1 海宁·乌尔巴特 1 戴维·文霍克 1 约翰·彼得·沃纳 1 亚历山大·韦斯 1 Siert Wieringa公司 1 托尔斯滕·维曼 1 斯特凡·沃尔特兰 1 杨红seok 全部的 前5名12篇连载文章中引用 2 人工智能 2 计算机与系统科学杂志 2 理论计算机科学 2 系统设计中的形式化方法 2 可满足性、布尔建模与计算杂志 1 信息学报 1 信息与计算 1 自动推理杂志 1 数学与人工智能年鉴 1 约束条件 1 计算机科学中的逻辑方法 1 ACM计算理论汇刊 在5个字段中引用 32 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 群论与推广（20-XX） 按年份列出的引文