×
编辑配置文件（在新选项卡中打开）

蒋洁红·罗兰

合著者距离
作者ID： 蒋介洪“蒋介洪·罗兰”最近发表的zbMATH文章
发布日期： Jiang，Jie Hong R。;蒋洁红·罗兰;江·J·H·罗兰
已编制索引的文档： 16出版物自2004年起
合著者： 22合著者具有14联合出版物
243位合作作者
全部的 前5名

合著者

2 单作者的
5 瓦莱里·巴拉巴诺夫
2 罗伯特·K·布雷顿。
2 蒋慧菊凯瑟琳
2 阿兰·米什琴科
2 屠光华
2 王洪恩
1 Cheng，车
1 邱大伟
1 徐子建
1 黄忠阳
1 纳塔利亚·库什克
1 Lee，Chih-Chun先生
1 李念泽
1 林春汉
1 罗云荣
1 克里斯托夫·斯科尔
1 蔡子林
1 蒂齐亚诺别墅
1 马格达莱娜·维德尔
1 吴成恩
1 尼娜·叶夫图申科
1 于、方

系列

三 电气电子工程师学会计算机期刊
1 理论计算机科学
1 自动推理杂志
1 系统设计中的形式化方法
1 量子信息处理

领域

14 计算机科学（68至XX）
5 数学逻辑和基础（03-XX）
三 信息与通信理论、电路（94-XX）
1 量子理论（81-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

9出版物有被引用110中的次68文件 引用人▼ 年份▼
统一的QBF认证及其应用。 Zbl 1284.68516号
瓦莱里·巴拉巴诺夫;蒋洁红R。
43
2012
QBF解析系统及其证明复杂性。 Zbl 1423.68406号
瓦莱里·巴拉巴诺夫;马格达莱娜·维德尔;蒋洁红R。
32
2014
汉金量词和布尔公式：DQBF的证明视角。 兹比尔1283.03032
瓦莱里·巴拉巴诺夫;蒋慧菊凯瑟琳;蒋洁红R。
16
2014
QELL：具有扩展子句学习和水平SAT求解的QBF推理。 Zbl 1471.68263号
屠光华;徐子谦;蒋洁红R。
5
2015
通过功能合成消除量词。 Zbl 1242.68165号
蒋洁红R。
5
2009
通过带有逻辑电路表示的自动机操作进行字符串分析。 Zbl 1411.68213号
王洪恩;蔡子林;林春涵;于、方;蒋洁红R。
4
2016
2QBF：挑战和解决方案。 Zbl 1475.68335号
瓦莱里·巴拉巴诺夫;蒋洁红·罗兰;克里斯托夫·斯科尔;米什琴科，艾伦;罗伯特·K·布雷顿。
2
2016
汉金量词和布尔公式。 Zbl 1273.03046号
瓦莱里·巴拉巴诺夫;蒋慧菊凯瑟琳;蒋洁红·罗兰
2
2012
朝向概率设计的正式评估和验证。 Zbl 1433.68041号
李念泽;蒋洁红R。
1
2018
朝向概率设计的正式评估和验证。 Zbl 1433.68041号
李念泽;蒋洁红R。
1
2018
通过带有逻辑电路表示的自动机操作进行字符串分析。 Zbl 1411.68213号
王洪恩;蔡子林;林春涵;于、方;蒋洁红R。
4
2016
2QBF：挑战和解决方案。 Zbl 1475.68335号
瓦列里·巴拉巴诺夫;蒋洁红·罗兰;克里斯托夫·斯科尔;阿兰·米什琴科;罗伯特·K·布雷顿。
2
2016
QELL：具有扩展子句学习和水平SAT求解的QBF推理。 Zbl 1471.68263号
屠光华;徐子建;蒋洁红R。
5
2015
QBF解析系统及其证明复杂性。 Zbl 1423.68406号
瓦莱里·巴拉巴诺夫;马格达莱娜·维德尔;蒋洁红R。
32
2014
汉金量词和布尔公式：DQBF的证明视角。 Zbl 1283.03032号
瓦莱里·巴拉巴诺夫;蒋慧菊凯瑟琳;Jiang，Jie Hong R。
16
2014
统一的QBF认证及其应用。 Zbl 1284.68516号
瓦莱里·巴拉巴诺夫;蒋洁红R。
43
2012
汉金量词和布尔公式。 Zbl 1273.03046号
瓦莱里·巴拉巴诺夫;蒋慧菊凯瑟琳;蒋洁红·罗兰
2
2012
通过功能合成消除量词。 Zbl 1242.68165号
蒋洁红R。
5
2009
所有引用出版物 前5名被引用出版物
全部的 前5名

被92位作者引用

20 奥拉夫·拜尔斯多夫
10 乔舒亚·布林霍恩
9 马蒂娜·塞德尔
8 勒罗伊·周
7 弗里德里希·斯利沃夫斯基
6 米纳·马哈扬
5 弗洛里安·朗辛
5 克里斯托夫·斯科尔
4 埃格利，乌韦
4 米科拉什·亚诺塔
4 蒋洁红·罗兰
4 汤姆·佩特尔
4 斯泽德，斯特凡
4 拉尔夫·维默（Ralf D.Wimmer）。
三 贝恩德·贝克尔
三 本杰明·伯姆
三 查克拉波蒂，苏普拉特克
三 卢克·欣德
三 卢卡什·霍利克
三 Joáo P.塞尔瓦侯爵。
三 Leander Tentrup公司
2 帕罗什·阿齐兹·阿卜杜拉
2 阿克西，S。
2 穆罕默德·法乌齐（Mohamed Faouzi Atig）
2 瓦列里·巴拉巴诺夫
2 阿明·比尔
2 卢卡·普利纳
2 雷娜特·施密特（Renate A.Schmidt）。
2 谢塔尔·沙阿
2 Šhukla，Anil K。
2 尤拉吉·西奇
2 卡提克Sreenivasaiah
2 马丁·苏达
1 托马斯·巴利奥
1 弗兰蒂舍克·布拉胡德克
1 罗德里克·布洛姆
1 朱利安·查尔斯·布拉德菲尔德
1 尼古拉斯·布劳德·桑托尼
1 罗伯特·K·布雷顿。
1 陈玉芳
1 Cheng，车
1 蒋慧菊凯瑟琳
1 乔利亚特，大卫
1 克拉克（Edmund Melson jun Clarke）。
1 洛伦佐·克莱门特
1 朱迪思·克莱莫
1 维伦达·戴夫
1 贾里德·戴维斯
1 比菲省迪普
1 托马斯·艾特
1 油炸，Dror
1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。
1 艾尔·格恩斯特
1 吉蒂娜·卡琳娜
1 舒巴姆·戈尔
1 尤金·戈德伯格。
1 朱利安·古铁雷斯
1 维达德·哈季奇
1 沃伊特·哈夫勒纳
1 赫金·哈布什，杰斯科
1 西蒙·海辛格
1 Heule，Marijn J.H。
1 徐子建
1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
1 彼得·扬克
1 John，Ajith K。
1 托比亚斯·卡明斯基
1 曼纽尔·考尔斯
1 威廉·克里伯
1 格格利·科瓦什奈
1 克里希纳，Shankara Narayanan
1 马丁·克罗内格
1 苏米思·库拉尔
1 Ondřej Lengál
1 罗云荣
1 Manolios，Panagiotis公司
1 理查德·梅尔（Richard M.Mayr）。
1 斯特凡·门格尔
1 米什琴科，艾伦
1 玛格努斯·奥·米林。
1 珍妮弗·尼斯特
1 安德烈亚斯·普范德勒
1 贾恩·皮奇
1 Franz-Xaver Reichl
1 安吉特·舒克拉
1 卢卡斯·塔巴哈拉。
1 屠光华
1 范·盖尔德，艾伦
1 莫西·亚亚科夫·瓦尔迪
1 瓦尔戈维克，帕沃尔
1 卡里娜·威默
1 迈克尔·J·伍尔德里奇。
全部的 前5名

14篇连载文章中引用

7 自动推理杂志
4 人工智能
4 理论计算机科学
4 系统设计中的形式化方法
4 计算机科学中的逻辑方法
三 信息处理信件
2 计算系统理论
2 可满足性、布尔建模与计算杂志
1 计算机与系统科学杂志
1 合成
1 信息与计算
1 数学与人工智能年鉴
1 约束条件
1 ACM计算逻辑事务

在4个字段中引用

61 计算机科学（68至XX）
29 数学逻辑和基础（03-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 运筹学、数学编程（90-XX）

按年份列出的引文