编辑配置文件(在新选项卡中打开) 沃伊切赫,彭泽克 合著者距离 作者ID: 潘泽克·沃伊切赫 发布方式: 沃伊切赫,彭泽克;彭泽克,W。;沃伊切赫·佩姆切克 更多。。。较少的 已编制索引的文档: 80种出版物自1988年以来,包括1本书 26作为编辑的贡献 合著者: 71位合著者具有94联合出版物 1114位合作作者 全部的 前5名合著者 12 单作者的 17 阿加塔·波罗拉 17 马西耶·斯兹雷特 12 阿图尔·尼维亚多姆斯基 11 安德烈·兹布雷泽兹尼 9 阿莱西奥·洛穆西奥 8 路德威克·查贾 7 米查尔·乔泽夫·纳皮克 7 霍尔格·施林格洛夫 7 波埃纳,沃罗日纳 5 彼得·德姆宾斯基 5 沃伊切赫·贾姆罗加 4 汉斯·迪特·伯克哈德 4 Konikowska,比塔 4 马西耶·库特尼 4 米罗斯·库考斯基 4 加布里埃拉·林德曼 4 阿图尔滑雪 4 安德烈·索尔维基 4 特奥菲尔·西多鲁克 4 兹比格尼乌·苏拉吉 三 斯坦尼斯劳·安布罗茨基维奇 三 吉泽拉·雅库博夫斯卡 三 阿加塔·雅诺夫斯卡 三 马格达莱娜·卡普扎克 三 劳雷·佩特鲁奇 三 彼得·斯维塔尔斯基 2 埃蒂安·安德烈 2 罗布·特里斯坦·格特 2 马吕斯·贾洛基 2 码头Kleijn 2 克里斯滕森,拉尔斯·迈克尔 2 鲁德·柯伊伯 2 达米安·库皮耶夫斯基 2 约翰·利利乌斯 2 安东尼·马祖基维奇(Antoni W.Mazurkiewicz)。 2 托马斯·卡罗尔·诺瓦克 2 爱德华·奥赫曼斯基 2 Doron A.Peled。 2 曲洪阳 2 格列泽戈兹·罗森贝格 2 雅罗斯瓦夫·斯卡鲁兹 2 克日什托夫·斯坦塞尔 1 娜塔莎·亚历奇纳 1 最好的,艾克 1 Cetnarowicz、Krzysztof 1 吉安弗兰科·西亚多 1 雷蒙德·魔鬼队 1 达留什·多利瓦 1 沃伊切赫·霍泽尔斯基 1 Pawe Janowskił 1 Jörg Keller 1 维克托·科门科 1 Ekkart Kindler公司 1 雅罗斯瓦·科兹拉克 1 Marta Z.Kwiatkowska。 1 莱姆,迪迪埃 1 卢卡斯·马斯科 1 乌卡斯·米库尔斯基 1 纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech) 1 科杰蒂尔·诺瓦格 1 维托尔德·帕兹德斯基 1 佛朗哥·雷蒙迪 1 奥利维尔·H·鲁克斯。 1 莫尼卡·索兰基 1 儿子Nguyen Hung 1 玛丽安·斯雷布尼 1 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 1 安蒂·瓦尔马里 1 Wil M.P.范德阿尔斯特。 1 彼得·瓦西列夫斯基 1 沃纳·什尼亚克(Bożena) 全部的 前5名系列 50 计算机基础理论 4 计算机科学课堂讲稿 2 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 2 人工智能研究杂志 1 人工智能 1 信息处理信件 1 控制与控制论 1 信息科学 1 合成 1 理论计算机科学 1 信息与计算 1 国际计算机科学基础杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 IGPL逻辑杂志 1 计算智能研究 1 计算机科学科学年鉴 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 105 计算机科学(68至XX) 25 总体主题;集合(00-XX) 23 数学逻辑和基础(03-XX) 9 信息与通信理论、电路(94-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 场论和多项式(12-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用218中的次159文件 引用人▼ 年份▼ 通过有界模型检查验证多智能体系统的认知属性。 Zbl 1111.68512号 沃伊切赫,彭泽克;阿莱西奥·洛穆西奥 23 2003 一种分支时间逻辑模型检查的偏序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫,彭泽克 20 1999 模型检查反应系统的时间特性。 Zbl 1387.68167号 亚瑟·Mę滑雪;沃伊切赫,彭泽克;格列泽戈兹·罗森贝格 17 2015 VERICS 2007–用于知识和实时的模型检查器。 Zbl 1167.68381号 马格达莱娜·卡普扎克;纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech);阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼 14 2008 并发系统和必然性。 兹比尔0675.68015 安东尼·马祖基维奇;爱德华·奥赫曼斯基;沃伊切赫,彭泽克 12 1989 CTL通用片段的有界模型检验。 Zbl 1052.68087号 沃伊切赫,彭泽克;波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼 9 2002 跟踪系统的时间逻辑:关于自动验证。 Zbl 0783.68081号 沃伊切赫,彭泽克 8 1993 参数时间自动机的有界模型检验。 Zbl 1350.68183号 米查·纳皮克;沃伊切赫,彭泽克 8 2012 事件结构的时态逻辑。 Zbl 0677.03012号 沃伊切赫,彭泽克 8 1988 时间Petri网和时间自动机中时间属性的规范和模型检查。 Zbl 1094.68067号 沃伊切赫,彭泽克;Półrola,阿加塔 7 2004 知识和实时的有界模型检查。 Zbl 1168.68422号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;波埃纳,沃罗日纳 7 2007 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克;阿莱西奥·洛穆西奥;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;佛朗哥·雷蒙迪;马西耶·斯兹雷特 6 2006 交错多智能体系统中模型检验时间认知逻辑的部分降阶。 Zbl 1213.68382号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;曲洪阳 6 2010 关于迹系统上命题时间逻辑的不可判定性。 Zbl 0771.03006号 沃伊切赫,彭泽克 6 1992 离散浓度反应系统线性时间特性的验证。 Zbl 1378.68113号 亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 6 2017 时间Petri网和时间自动机验证的进展。时间逻辑方法。 Zbl 1110.68087号 沃伊切赫,彭泽克;Półrola,阿加塔 5 2006 基于SAT的交替时间认知逻辑无界模型检查方法。 Zbl 1072.03012号 M.卡普扎克。;彭泽克,W。 5 2004 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫,彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 5 2000 \(surd\)erics:用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫,彭泽克;Półrola,阿加塔;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 道义解释系统的有界模型检验。 Zbl 1272.68279号 波埃纳,沃罗日纳;阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 4 2005 用于检查时间Petri网分支性质的抽象和部分降阶。 Zbl 0986.68096号 沃伊切赫,彭泽克;阿加塔·波罗拉 三 2001 在多值\(\text{CTL}^*\)模型检查中的指定值上。 Zbl 1083.68071号 Konikowska,比塔;沃伊切赫,彭泽克 三 2004 参数验证:简介。 Zbl 1464.68224号 埃蒂安·安德烈;米查·纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇 三 2019 战略能力的部分订单削减。 Zbl 1453.68197号 沃伊切赫·贾姆罗加;沃伊切赫,彭泽克;特奥菲尔·西多鲁克;彼得·德米因斯基;安东尼·马祖基维奇 三 2020 时间认知逻辑的符号模型检验。 Zbl 1356.68144号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 2 2012 使用VerICS检查参数化模型。 Zbl 1312.68134号 米查·纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 面向TCTL通用片段的有界模型检查。 Zbl 1278.68192号 沃伊切赫,彭泽克;沃纳、波ẓ埃纳;安德烈·兹布雷泽兹尼 2 2002 通过SAT检查时间自动机的可达性属性。 Zbl 1111.68548号 波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼;沃伊切赫,彭泽克 2 2003 多代理系统的规范和验证。 Zbl 1250.68190号 沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 2 2012 1996年计算机科学数学基础。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。 Zbl 0852.00041号 1 1996 验证由自动机网络建模的安全协议。 Zbl 1119.94010号 米罗斯·库考斯基;沃伊切赫,彭泽克 1 2007 并发分支时间时序逻辑。 Zbl 0925.03142号 沃伊切赫,彭泽克 1 1990 面向检查UML状态机的参数可达性。 Zbl 1274.68199号 阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;马西耶·斯特雷特 1 2010 部分顺序时间属性的层次结构。 Zbl 0949.68537号 Kwiatkowska,M。;D.贝利德。;彭泽克,W。 1 1994 一类分布式时间Petri网的基于SAT的(参数)可达性。 Zbl 1312.68137号 沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 1 2010 多值计算树逻辑的模型检查。 Zbl 1049.03026号 Konikowska,比塔;沃伊切赫,彭泽克 1 2003 对反应系统进行定量验证。 Zbl 1476.68092号 亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 1 2016 应用时间自动机对安全协议进行模型检查。 Zbl 1304.68129号 米罗斯瓦夫·库尔科夫斯基;沃伊切赫,彭泽克 1 2013 Petri网事务和其他并发模型XII。 Zbl 1372.68015号 1 2017 战略能力的多值验证。 Zbl 1497.68307号 沃伊切赫·贾姆罗加;Konikowska,比塔;达米安·库皮耶夫斯基;沃伊切赫,彭泽克 1 2020 定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号 米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 1 2019 在交织解释系统上实现基于SAT的LTLK BMC。 兹比尔1279.68219 沃伊切赫,彭泽克;沃纳·什尼亚克(Bożena);安德烈·兹布雷泽兹尼 1 2012 应用现代SAT解题器解决难题。 Zbl 1412.68088号 阿图尔·尼维亚多姆斯基;彼得·斯威塔尔斯基;特奥菲尔·西多鲁克;沃伊切赫,彭泽克 1 2019 使用整数时间步长检查时间Petri网的分支时间属性。 Zbl 1395.68197号 阿加塔·雅诺夫斯卡;沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2013 为了战略能力,减少部分订单。 Zbl 1453.68197号 沃伊切赫·贾姆罗加;沃伊切赫,彭泽克;特奥菲尔·西多鲁克;彼得·德米因斯基;安东尼·马祖基维奇 三 2020 战略能力的多值验证。 Zbl 1497.68307号 沃伊切赫·贾姆罗加;Konikowska,比塔;达米安·库皮耶夫斯基;沃伊切赫,彭泽克 1 2020 参数验证:引言。 Zbl 1464.68224号 埃蒂安·安德烈;米查·纳皮克;莱姆,迪迪埃;沃伊切赫,彭泽克;劳雷·佩特鲁奇 三 2019 定时ATL:忘记记忆,只需计数。 Zbl 1430.68309号 米查尔·乔泽夫·纳皮克;艾蒂安·安德烈;劳雷·佩特鲁奇;沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 1 2019 应用现代SAT解题器解决难题。 Zbl 1412.68088号 阿图尔·尼维亚多姆斯基;彼得·斯威塔尔斯基;特奥菲尔·西多鲁克;沃伊切赫,彭泽克 1 2019 离散浓度反应系统线性时间特性的验证。 Zbl 1378.68113号 亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 6 2017 关于Petri网和其他并发模型的事务处理XII。 Zbl 1372.68015号 1 2017 对反应系统进行定量验证。 Zbl 1476.68092号 亚瑟·Mę滑雪;马西耶·库特尼;沃伊切赫,彭泽克 1 2016 模型检查反应系统的时间特性。 Zbl 1387.68167号 亚瑟·Mę滑雪;沃伊切赫,彭泽克;格列泽戈兹·罗森贝格 17 2015 应用时间自动机对安全协议进行模型检查。 Zbl 1304.68129号 米罗斯瓦夫·库尔科夫斯基;沃伊切赫,彭泽克 1 2013 使用整数时间步长检查时间Petri网的分支时间属性。 Zbl 1395.68197号 阿加塔·雅诺夫斯卡;沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2013 参数时间自动机的有界模型检验。 Zbl 1350.68183号 米查·纳皮克;沃伊切赫,彭泽克 8 2012 时间认知逻辑的符号模型检验。 Zbl 1356.68144号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 2 2012 多智能体系统的规范和验证。 Zbl 1250.68190号 沃伊切赫·贾姆罗加;沃伊切赫,彭泽克 2 2012 在交织解释系统上实现基于SAT的LTLK BMC。 Zbl 1279.68219号 沃伊切赫,彭泽克;沃纳·什尼亚克(Bożena);安德烈·兹布雷泽兹尼 1 2012 交错多智能体系统中模型检验时间认知逻辑的部分降阶。 Zbl 1213.68382号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;曲洪阳 6 2010 使用VerICS检查参数化模型。 Zbl 1312.68134号 米查·纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼 2 2010 用于检查UML状态机的参数可达性。 Zbl 1274.68199号 阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;马西耶·斯兹雷特 1 2010 一类分布式时间Petri网的基于SAT的(参数)可达性。 Zbl 1312.68137号 沃伊切赫,彭泽克;阿加塔·波罗拉;安德烈·兹布雷泽兹尼 1 2010 离散时间语义分布时间Petri网的有界参数验证。 Zbl 1213.68404号 米查·纳皮克;沃伊切赫,彭泽克;马西耶·斯兹雷特;阿加塔·波罗拉 1 2010 VERICS 2007–用于知识和实时的模型检查器。 兹比尔1167.68381 马格达莱娜·卡普扎克;纳比亚·埃克(Nabiałek),沃伊切赫(Wojciech);阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼 14 2008 知识和实时的有界模型检查。 Zbl 1168.68422号 阿莱西奥·洛穆西奥;沃伊切赫,彭泽克;波埃纳,沃罗日纳 7 2007 验证由自动机网络建模的安全协议。 Zbl 1119.94010号 米罗斯·库考斯基;沃伊切赫,彭泽克 1 2007 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克;阿莱西奥·洛穆西奥;阿图尔·尼维亚多姆斯基;沃伊切赫,彭泽克;佛朗哥雷蒙迪;马西耶·斯兹雷特 6 2006 时间Petri网和时间自动机验证的进展。时间逻辑方法。 Zbl 1110.68087号 沃伊切赫,彭泽克;阿加塔·波罗拉 5 2006 道义解释系统的有界模型检验。 Zbl 1272.68279号 波埃纳,沃罗日纳;阿莱西奥·洛穆西奥;沃伊切赫,彭泽克 4 2005 时间Petri网和时间自动机中时间属性的规范和模型检查。 Zbl 1094.68067号 沃伊切赫,彭泽克;阿加塔·波罗拉 7 2004 基于SAT的交替时间认知逻辑无界模型检查方法。 Zbl 1072.03012号 M.卡普扎克。;彭泽克,W。 5 2004 关于多值\(\text{CTL}^*\)模型检查中的指定值。 Zbl 1083.68071号 Konikowska,比塔;沃伊切赫,彭泽克 三 2004 通过有界模型检查验证多智能体系统的认知属性。 Zbl 1111.68512号 沃伊切赫,彭泽克;阿莱西奥·洛穆西奥 23 2003 \(surd\)erics:用于验证时间自动机和Estelle规范的工具。 Zbl 1031.68546号 彼得·德米因斯基;阿加塔·雅诺夫斯卡;Pawe Janowskił;沃伊切赫,彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;博泽纳·沃兹纳;安德烈·兹布雷泽兹尼 4 2003 通过SAT检查时间自动机的可达性属性。 Zbl 1111.68548号 波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼;沃伊切赫,彭泽克 2 2003 多值计算树逻辑的模型检查。 Zbl 1049.03026号 Konikowska,比塔;沃伊切赫,彭泽克 1 2003 CTL通用片段的有界模型检验。 Zbl 1052.68087号 沃伊切赫,彭泽克;波埃纳,沃罗日纳;安德烈·兹布雷泽兹尼 9 2002 面向TCTL通用片段的有界模型检查。 Zbl 1278.68192号 沃伊切赫,彭泽克;沃纳、波ẓ埃纳;安德烈·兹布雷泽兹尼 2 2002 用于检查时间Petri网分支性质的抽象和部分降阶。 Zbl 0986.68096号 沃伊切赫,彭泽克;阿加塔·波罗拉 三 2001 改进通用分支时间属性的部分降阶。 Zbl 0966.68126号 沃伊切赫,彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯 5 2000 一种分支时间逻辑模型检查的偏序方法。 Zbl 1045.68588号 罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫,彭泽克 20 1999 1996年计算机科学数学基础。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。 Zbl 0852.00041号 1 1996 部分顺序时间属性的层次结构。 Zbl 0949.68537号 Kwiatkowska,M。;D.贝利德。;彭泽克,W。 1 1994 跟踪系统的时间逻辑:关于自动验证。 兹比尔0783.68081 沃伊切赫,彭泽克 8 1993 关于迹系统上命题时间逻辑的不可判定性。 Zbl 0771.03006号 沃伊切赫,彭泽克 6 1992 并发分支时间时序逻辑。 Zbl 0925.03142号 沃伊切赫,彭泽克 1 1990 并发系统和必然性。 Zbl 0675.68015号 安东尼·马祖基维奇;爱德华·奥赫曼斯基;沃伊切赫,彭泽克 12 1989 事件结构的时态逻辑。 Zbl 0677.03012号 沃伊切赫,彭泽克 8 1988 所有引用出版物 前5名被引用出版物 全部的 前5名255位作者引用 9 阿莱西奥·洛穆西奥 9 沃伊切赫,彭泽克 8 弗朗西斯科·贝拉迪内利 6 Doron A.Peled。 5 哈尼法·布切内布 5 马西耶·库特尼 5 格列泽戈兹·罗森贝格 5 吉·斯尔巴 4 埃蒂安·安德烈 4 沃尔克·迪克特 4 保罗·加斯丁 4 沃伊切赫·贾姆罗加 4 Teh,Wen Chean先生 4 安蒂·瓦尔马里 4 Tim A.C.Willemse。 4 卡斯滕·沃尔夫 三 阿提拉·巴戈西 三 卡梅尔·巴考伊 三 安蒂·库西斯托 三 金·古德斯特兰·拉森 三 托马斯·内勒 三 劳雷·佩特鲁奇 三 雷恩·Rönnholm 三 Gyorgy Vaszil公司 三 安德烈·兹布雷泽兹尼 2 拉杰夫·阿鲁尔 2 艾丁·戈尔(Ebru Aydin Gol) 2 埃里克·巴杜埃尔 2 雅罗斯拉夫·本迪克 2 弗雷德里克·梅耶·伯内兰 2 琳达·布罗多 2 罗伯托·布鲁尼 2 伊万娜·乔纳 2 阿伦·程 2 菲利普·达伦多 2 柯特林·迪马 2 莫雷诺,法拉斯基 2 劳拉·佐丹奴 2 罗伯托·戈里埃里 2 朱利安·古铁雷斯 2 拉希德·哈吉杰 2 劳里·T·海拉。 2 塞尔吉·伊万诺夫 2 拉塞·雅各布森 2 莫滕·雅各布森 2 彼得·格约尔·詹森 2 马格达莱娜·卡普扎克 2 码头Kleijn 2 萨瓦斯·科努尔 2 弗雷德里克·朗 2 马丁·兰格 2 卡马尔·洛达亚 2 瓦迪姆·马尔文 2 卢卡·曼佐尼(Luca E.Manzoni)。 2 阿尔贝托·马泰利 2 阿图尔滑雪 2 米凯尔·哈克杰·默勒 2 马尔科·穆尼兹 2 阿尼埃洛·穆拉诺 2 爱德华·奥赫曼斯基 2 乔尔·欧·瓦克宁。 2 Petre,离子 2 雅切克·皮·特考夫斯基 2 安东尼奥·波雷卡(Antonio E.Porreca)。 2 曲洪阳 2 拉马努贾姆,拉马斯瓦米 2 Jean-Claude拉乌尔 2 艾哈迈特·塞肯 2 孙骏 2 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 2 范德波尔,扬·科内利斯 2 罗恩·范德梅登 2 范格拉贝克、罗伯特·扬 2 索菲·沃纳 2 詹姆斯·沃雷尔。 2 张文辉 1 艾丽卡·阿尔布拉汉姆 1 大卫·安德烈 1 约翰·阿尔西尔 1 詹姆·阿里亚斯 1 阿德里安·阿塔纳西乌 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 阿齐米,塞皮诺德 1 贝恩德·贝克尔 1 理查德·贝格尔 1 最好的,艾克 1 Tewodros A.Beyene。 1 吉里什·巴特(Girish S.Bhat)。 1 阿明·比尔 1 约苏阿·博塔 1 保罗·波托尼 1 爱荷华州Boureanu 1 帕特里夏·鲍耶 1 朱利安·查尔斯·布拉德菲尔德 1 弗洛里安·布鲁斯 1 西蒙·巴斯德 1 约阿金·比格 1 曹永志 1 Čermák,佩特尔 1 阿纳尔多·塞斯科 …和155多位作者 全部的 前5名35篇连载文章被引用 23 理论计算机科学 10 信息与计算 8 人工智能 8 系统设计中的形式化方法 5 信息处理信件 5 计算机基础理论 5 膜计算杂志 4 应用逻辑杂志 4 计算机科学中的逻辑方法 三 合成 三 离散事件动态系统 2 计算机与系统科学杂志 2 计算的形式方面 2 计算机科学前沿 2 应用数学与计算力学杂志 1 倒排索引综述 1 信息科学 1 符号逻辑杂志 1 编程和计算机软件 1 Studia Logica公司 1 符号计算杂志 1 国际并行程序设计杂志 1 实时系统 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学与人工智能年鉴 1 计算系统理论 1 萨达纳 1 计算机语言、系统和结构 1 泰国数学杂志 1 泛逻辑 1 算法 1 中国计算机科学前沿 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 153 计算机科学(68至XX) 57 数学逻辑和基础(03-XX) 11 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 5 系统论;控制(93至XX) 4 生物学和其他自然科学(92-XX) 2 阶、格、有序代数结构(06-XX) 1 组合数学(05-XX) 1 场论和多项式(12-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文