编辑配置文件(在新选项卡中打开) 伊戈尔·瓦卢基维奇 合著者距离 作者ID: walukiewicz.igor 发布日期: 伊戈尔·瓦卢基维奇;Walukiewicz,I。 外部链接: MGP公司 已编制索引的文档: 89出版物自1990年以来 6作为编辑的贡献 合著者: 57合著者具有73联合出版物 1502合作作者 全部的 前5名合著者 22 单作者的 16 安卡·穆斯科尔 12 西尔万·萨尔瓦蒂 8 巴拉古鲁·斯里瓦桑 7 弗雷德里克·赫布雷托 6 达米安·尼文斯基 4 Mikołaj博扬奇克 4 安德烈·穆拉夫斯基。 4 帕里斯(Pawe Parys) 3 哈维尔·埃斯帕尔扎 3 戴维·杰宁 2 卢卡·埃特罗 2 安德烈·阿诺德 2 Carayol,阿诺 2 洛伦佐·克莱门特 2 伊万·比杰尔·达姆加德 2 布莱斯·基内斯特 2 雨果·金伯特 2 莱斯利·安·戈德伯格 2 马格努斯·马尔·哈尔森 2 Anna Ingólfsdóttir 2 丹尼斯·库珀伯格 2 Sławomir拉索塔 2 Tran,Thanh-Tung镇 1 阿帕扎·佩雷斯,W.亚历杭德罗 1 大卫·巴尔德 1 Balasubramanian,A.R。 1 朱利安·贝内特 1 花束,亚历克西斯-朱利安 1 朱利安·查尔斯·布拉德菲尔德 1 维托尔德·查拉托尼克 1 帕特里克·谢尔维 1 克利斯朵夫·康巴斯特 1 布鲁诺·库塞尔 1 沃尔克·迪克特 1 亚历克斯·狄克逊 1 玛丽·何塞·福廷 1 埃里希·格拉德尔 1 迪利普·拉古纳特·基尼 1 特奥多尔·科纳皮克 1 阿德里安·科索夫斯基 1 萨尔瓦多拉托雷 1 兰科·拉齐奇 1 克里斯托夫·Löding 1 拉尔夫·马提斯 1 大卫·艾伦·麦卡利斯特 1 Mohalik,Swarup K。 1 雅库布·诺伊曼 1 安德烈亚斯·波德尔斯基 1 赫尔穆特·塞德尔 1 奥利维尔·塞雷 1 Micha Skrzypczak 1 霍华德·斯特劳宾 1 安德烈·谢皮埃托夫斯基 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 巴威·乌尔兹琴 1 马克·泽顿 1 阿里·佐尔加德里 全部的 前5名系列 7 理论计算机科学 7 计算机科学中的逻辑方法 5 信息与计算 4 计算机科学课堂讲稿 2 信息处理信件 2 系统设计中的形式化方法 2 RAIRO公司。理论信息学及其应用 2 ACM计算逻辑事务 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 符号逻辑公报 1 欧洲控制杂志 1 自动机、语言和组合数学杂志 1 计算机基础理论 1 中欧数学杂志 全部的 前5名领域 85 计算机科学(68至XX) 46 数学逻辑和基础(03-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 总体主题;集合(00-XX) 3 系统论;控制(93至XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 74出版物有被引用821中的次568文件 引用人▼ 年份▼ 下推过程:游戏和模型检查。 Zbl 1003.68072号 伊戈尔·瓦卢基维奇 70 2001 模态演算和相关结果的自动机。 Zbl 1193.68163号 戴维·杰宁;伊戈尔·瓦卢基维奇 58 1995 Kozen命题演算公理化的完备性。 Zbl 1046.68628号 伊戈尔·瓦卢基维奇 53 2000 关于命题mu-calculus相对于一元二阶逻辑的表达完备性。 Zbl 1514.68171号 戴维·杰宁;伊戈尔·瓦卢基维奇 47 1996 具有部分观测的控制器合成游戏。 Zbl 1175.93148号 A.阿诺德。;文森特,A。;Walukiewicz,I。 40 2003 树状结构上的一元二阶逻辑。 Zbl 1026.68087号 伊戈尔·瓦卢基维奇 30 2002 微积分游戏。 Zbl 0872.03017号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 28 1996 模型检查下推系统的CTL属性。 Zbl 1044.68111号 伊戈尔·瓦卢基维奇 23 2000 许可策略:从平价游戏到安全游戏。 兹比尔1090.91514 朱利安·伯内特;戴维·杰宁;伊戈尔·瓦卢基维奇 21 2002 分布式游戏。 Zbl 1205.68089号 莫哈利克,斯瓦鲁普;伊戈尔·瓦卢基维奇 21 2003 单词和树自动机的相关层次结构。 Zbl 0892.68067号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 21 1998 μ演算和模型检查。 Zbl 1392.68236号 朱利安·布拉德菲尔德;伊戈尔·瓦卢基维奇 20 2018 森林代数。 Zbl 1217.68123号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 18 2008 基于树结构的异步游戏。 Zbl 1334.68150号 布莱斯·基内斯特;雨果·金伯特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 18 2013 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 Zbl 1096.03015号 蒂亚加拉扬,P.S。;Walukiewicz,I。 16 2002 确定性树语言的间隙特性。 Zbl 1044.68120号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 15 2003 一元二阶逻辑,过渡系统的图覆盖和展开。 兹伯利0929.03036 布鲁诺·库塞尔;伊戈尔·瓦卢基维奇 14 1998 最小化可视下推自动机的变体。 兹比尔1147.68555 帕特里克·谢尔维;伊戈尔·瓦卢基维奇 14 2007 非循环体系结构的分布式综合。 Zbl 1360.68594号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 14 2014 交替定时自动机。 Zbl 1367.68172号 斯拉沃米尔·拉索塔;伊戈尔·瓦卢基维奇 14 2008 描述EF和EX树逻辑。 Zbl 1097.03013号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇 13 2006 更好的时间自动机抽象。 Zbl 1353.68166号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 13 2016 树状结构上的一元二阶逻辑。 Zbl 1434.03105号 伊戈尔·瓦卢基维奇 13 1996 无限二叉树上的选择函数和良序。 Zbl 1215.03054号 Carayol,阿诺;克里斯托夫·Löding;达米安·尼温斯基;伊戈尔·瓦卢基维奇 12 2010 确定性异步自动机的最优Zielonka型构造。 Zbl 1288.68154号 布莱斯·基内斯特;雨果·金伯特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 11 2010 高阶递归格式的对角线问题是可判定的。 Zbl 1401.68158号 洛伦佐·克莱门特;帕里斯(Pawe Parys);西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 10 2016 困难的配置——关于LTrL的复杂性(扩展抽象)。 Zbl 0909.03024号 伊戈尔·瓦卢基维奇 10 1998 更好的时间自动机抽象。 Zbl 1360.68560号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 10 2012 非确定性过程的非确定性控制器。 Zbl 1215.93082号 安德烈·阿诺德;伊戈尔·瓦卢基维奇 7 2008 使用非凸近似对时间自动机进行有效分析。 Zbl 1246.68145号 弗雷德里克·赫布雷托;基尼,迪利普;Srivathsan,B。;伊戈尔·瓦卢基维奇 7 2011 具有基递归和DPDA等价性的理想化算法。 Zbl 1085.68092号 穆拉夫斯基。;Ong,C.-H.L。;Walukiewicz,I。 7 2005 带迭代的三阶理想化算法是可判定的。 兹比尔1118.68398 安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 7 2005 交替定时自动机。 兹比尔1119.68109 Sławomir拉索塔;伊戈尔·瓦卢基维奇 7 2005 不安全的语法和恐慌自动机。 Zbl 1081.68054号 特奥多尔·科纳皮克;达米安·尼文斯基;巴威·乌尔兹琴;伊戈尔·瓦卢基维奇 7 2005 决定Büchi语言的拓扑复杂性。 Zbl 1388.68181号 米查尔·斯科齐普扎克;伊戈尔·瓦卢基维奇 7 2016 确定树自动机层次结构的低级别。 Zbl 1261.68082号 伊戈尔·瓦卢基维奇 6 2002 具有无限多优先级的游戏的位置确定性。 Zbl 1126.91012号 埃里希·格拉德尔;伊戈尔·瓦卢基维奇 6 2006 号角微积分。 兹比尔0945.03541 维托尔德·查拉托尼克;大卫·麦卡利斯特;达米安·尼文斯基;安德烈亚斯·波德尔斯基;伊戈尔·瓦卢基维奇 6 1998 web服务组合的下限。 兹比尔1195.68067 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 5 2007 森林代数的圈积及其在树逻辑中的应用。 Zbl 1258.03044号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇;霍华德·斯特劳宾 5 2012 描述EF和EX树逻辑。 Zbl 1097.03504号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 5 2004 Krivine机器和高阶方案。 Zbl 1309.68073号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2014 简单类型不动点演算和可折叠下推自动机。 Zbl 1364.68132号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2016 有序的树下推系统。 Zbl 1366.68141号 洛伦佐·克莱门特;帕里斯(Pawe Parys);西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2015 高阶程序行为特性的模型。 Zbl 1373.68174号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2015 Krivine机器和高阶方案。 Zbl 1333.68111号 萨尔瓦蒂,S。;Walukiewicz,I。 4 2011 递归方案、Krivine机器和可折叠下推自动机。 Zbl 1310.68138号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 4 2012 使用模型对递归方案进行建模检查。 Zbl 1381.68179号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 4 2013 看看异步自动机的控制。 Zbl 1194.68145号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇;马克·泽顿 4 2009 参数化异步共享内存系统的安全性几乎总是可以决定的。 Zbl 1374.68337号 萨尔瓦多拉托雷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 4 2015 重温时间自动机网络的局部时间语义。 Zbl 07649924号 R.戈文德。;弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 4 2019 跟踪的本地逻辑。 Zbl 1030.03025号 伊戈尔·瓦卢基维奇 4 2002 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1446.68068号 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 4 2020 带迭代的三阶理想化算法是可判定的。 兹伯利1134.68017 安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 3 2008 LTL的NP完整片段。 Zbl 1161.03303号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 3 2005 关于监视器和Büchi自动机的注释。 Zbl 1471.68115号 沃尔克·迪克特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 3 2015 具有无限性和常规条件的下推游戏。 Zbl 1205.68194号 花束,亚历克西斯-朱利安;奥利弗·塞雷;伊戈尔·瓦卢基维奇 3 2003 定时Büchi自动机的有效空性检查。 Zbl 1247.68143号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 3 2012 为什么时间自动机的活性很难,以及我们能做些什么。 兹比尔1391.68071 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 3 2016 web服务组合的下限。 Zbl 1147.68372号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2008 谈判的稳健性。 Zbl 1392.68298号 哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2016 树自动机中弱接受条件的复杂性。 Zbl 1042.68068号 雅各布·诺依曼;安德烈·谢皮埃托夫斯基;伊戈尔·瓦卢基维奇 2 2002 使用模型对递归方案进行建模检查。 Zbl 1391.68080号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 2 2015 评估与MSOL兼容。 Zbl 1359.03015号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 2 2013 参数化异步共享内存下推系统的模型检查线性时间属性。 Zbl 1495.68134号 玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 确定性谈判的静态分析。 Zbl 1458.68132号 哈维尔·埃斯帕尔扎;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 谈判的稳健性。 Zbl 1459.68141号 哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 1 2018 Statman有限完备性定理的另一种证明。 Zbl 1243.03017号 Srivathsan,B。;伊戈尔·瓦卢基维奇 1 2012 自动化、语言和编程。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。 Zbl 1141.68001号 1 2008 配置困难–LTrL的复杂性。 Zbl 1075.68052号 伊戈尔·瓦卢基维奇 1 2005 键入弱MSOL属性。 Zbl 1448.68315号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 1 2015 弱交替时间自动机。 Zbl 1248.03058号 帕里斯,帕维尔;伊戈尔·瓦卢基维奇 1 2009 关于Kozen命题演算公理化完备性的注记。 Zbl 0868.03010号 伊戈尔·瓦卢基维奇 1 1996 Leafy自动机用于高阶并发。 Zbl 07410425号 亚历克斯·狄克逊;兰科·拉齐奇;安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 1 2021 Leafy自动机用于高阶并发。 Zbl 07410425号 亚历克斯·狄克逊;兰科·拉齐奇;安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 1 2021 为什么时间自动机的活性很难,以及我们能做些什么。 Zbl 1446.68068号 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 4 2020 重温时间自动机网络的局部时间语义。 Zbl 07649924号 R.戈文德。;弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 4 2019 微积分和模型检查。 Zbl 1392.68236号 朱利安·布拉德菲尔德;伊戈尔·瓦卢基维奇 20 2018 谈判的稳健性。 Zbl 1459.68141号 哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 1 2018 参数化异步共享内存下推系统的模型检查线性时间属性。 Zbl 1495.68134号 玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 确定性谈判的静态分析。 Zbl 1458.68132号 哈维尔·埃斯帕尔扎;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 更好的时间自动机抽象。 Zbl 1353.68166号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 13 2016 高阶递归格式的对角线问题是可判定的。 Zbl 1401.68158号 洛伦佐·克莱门特;帕里斯(Pawe Parys);西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 10 2016 决定Büchi语言的拓扑复杂性。 Zbl 1388.68181号 Skrzypczak,迈克尔;伊戈尔·瓦卢基维奇 7 2016 简单类型不动点演算和可折叠下推自动机。 Zbl 1364.68132号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2016 为什么时间自动机的活性很难,以及我们能做些什么。 兹比尔1391.68071 弗雷德里克·赫布雷托;Srivathsan,B。;Tran,Thanh-Tung镇;伊戈尔·瓦卢基维奇 3 2016 谈判的稳健性。 Zbl 1392.68298号 哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2016 有序的树下推系统。 Zbl 1366.68141号 洛伦佐·克莱门特;帕里斯(Pawe Parys);西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2015 高阶程序行为特性的模型。 Zbl 1373.68174号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2015 参数化异步共享内存系统的安全性几乎总是可以决定的。 兹比尔1374.68337 萨尔瓦多拉托雷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 4 2015 关于监视器和Büchi自动机的注释。 兹比尔1471.68115 沃尔克·迪克特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 3 2015 使用模型对递归方案进行建模检查。 Zbl 1391.68080号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 2 2015 键入弱MSOL属性。 Zbl 1448.68315号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 1 2015 非循环体系结构的分布式综合。 Zbl 1360.68594号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 14 2014 Krivine机器和高阶方案。 Zbl 1309.68073号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 5 2014 基于树结构的异步游戏。 Zbl 1334.68150号 布莱斯·基内斯特;雨果·金伯特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 18 2013 使用模型对递归方案进行建模检查。 Zbl 1381.68179号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 4 2013 评估与MSOL兼容。 Zbl 1359.03015号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 2 2013 更好的时间自动机抽象。 Zbl 1360.68560号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 10 2012 森林代数的圈积及其在树逻辑中的应用。 Zbl 1258.03044号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇;霍华德·斯特劳宾 5 2012 递归方案、Krivine机器和可折叠下推自动机。 Zbl 1310.68138号 西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 4 2012 定时Büchi自动机的有效空性检查。 Zbl 1247.68143号 弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 3 2012 Statman有限完备性定理的另一种证明。 Zbl 1243.03017号 Srivathsan,B。;伊戈尔·瓦卢基维奇 1 2012 使用非凸近似对时间自动机进行有效分析。 Zbl 1246.68145号 弗雷德里克·赫布雷托;基尼,迪利普;Srivathsan,B。;伊戈尔·瓦卢基维奇 7 2011 Krivine机器和高阶方案。 Zbl 1333.68111号 萨尔瓦蒂,S。;Walukiewicz,I。 4 2011 无限二叉树上的选择函数和良序。 Zbl 1215.03054号 Carayol,阿诺;克里斯托夫·Löding;达米安·尼温斯基;伊戈尔·瓦卢基维奇 12 2010 确定性异步自动机的最优Zielonka型构造。 Zbl 1288.68154号 布莱斯·基内斯特;雨果·金伯特;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 11 2010 看看异步自动机的控制。 Zbl 1194.68145号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇;马克·泽顿 4 2009 弱交替时间自动机。 兹比尔1248.03058 帕里斯,帕维尔;伊戈尔·瓦卢基维奇 1 2009 森林代数。 Zbl 1217.68123号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 18 2008 交替定时自动机。 Zbl 1367.68172号 斯拉沃米尔·拉索塔;伊戈尔·瓦卢基维奇 14 2008 非确定性过程的非确定性控制器。 Zbl 1215.93082号 安德烈·阿诺德;伊戈尔·瓦卢基维奇 7 2008 带迭代的三阶理想化算法是可判定的。 Zbl 1134.68017号 安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 3 2008 web服务组合的下限。 Zbl 1147.68372号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2008 自动化、语言和编程。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。 Zbl 1141.68001号 1 2008 最小化可视下推自动机的变体。 Zbl 1147.68555号 Chervet,帕特里克;伊戈尔·瓦卢基维奇 14 2007 web服务组合的下限。 Zbl 1195.68067号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 5 2007 描述EF和EX树逻辑。 Zbl 1097.03013号 米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇 13 2006 具有无限多优先级的游戏的位置确定性。 Zbl 1126.91012号 埃里希·格拉德尔;伊戈尔·瓦卢基维奇 6 2006 具有基递归和DPDA等价性的理想化算法。 Zbl 1085.68092号 穆拉夫斯基。;Ong,C.-H.L。;Walukiewicz,I。 7 2005 带迭代的三阶理想化算法是可判定的。 Zbl 1118.68398号 安德烈·穆拉夫斯基。;伊戈尔·瓦卢基维奇 7 2005 交替定时自动机。 兹比尔1119.68109 Sławomir拉索塔;伊戈尔·瓦卢基维奇 7 2005 不安全的语法和恐慌自动机。 Zbl 1081.68054号 特奥多尔·科纳皮克;达米安·尼文斯基;巴威·乌尔兹琴;伊戈尔·瓦卢基维奇 7 2005 LTL的NP完整片段。 Zbl 1161.03303号 安卡·穆斯科尔;伊戈尔·瓦卢基维奇 3 2005 配置困难–LTrL的复杂性。 Zbl 1075.68052号 伊戈尔·瓦卢基维奇 1 2005 描述EF和EX树逻辑。 Zbl 1097.03504号 Mikołaj博扬奇克;伊戈尔·瓦卢基维奇 5 2004 具有部分观测的控制器合成游戏。 Zbl 1175.93148号 A.阿诺德。;文森特,A。;Walukiewicz,I。 40 2003 分布式游戏。 Zbl 1205.68089号 莫哈利克,斯瓦鲁普;伊戈尔·瓦卢基维奇 21 2003 确定性树语言的间隙特性。 Zbl 1044.68120号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 15 2003 具有无限性和常规条件的下推游戏。 Zbl 1205.68194号 亚历克西斯·朱利安·布奎;奥利弗·塞雷;伊戈尔·瓦卢基维奇 3 2003 树状结构上的一元二阶逻辑。 Zbl 1026.68087号 伊戈尔·瓦卢基维奇 30 2002 许可策略:从平价游戏到安全游戏。 兹比尔1090.91514 朱利安·伯内特;戴维·杰宁;伊戈尔·瓦卢基维奇 21 2002 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 Zbl 1096.03015号 蒂亚加拉扬,P.S。;Walukiewicz,I。 16 2002 确定树自动机层次结构的低级别。 Zbl 1261.68082号 伊戈尔·瓦卢基维奇 6 2002 跟踪的本地逻辑。 Zbl 1030.03025号 伊戈尔·瓦卢基维奇 4 2002 树自动机中弱接受条件的复杂性。 Zbl 1042.68068号 雅库布·诺伊曼;安德烈·谢皮埃托夫斯基;伊戈尔·瓦卢基维奇 2 2002 下推过程:游戏和模型检查。 Zbl 1003.68072号 伊戈尔·瓦卢基维奇 70 2001 Kozen命题演算公理化的完备性。 Zbl 1046.68628号 伊戈尔·瓦卢基维奇 53 2000 模型检查下推系统的CTL属性。 Zbl 1044.68111号 伊戈尔·瓦卢基维奇 23 2000 单词和树自动机的相关层次结构。 Zbl 0892.68067号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 21 1998 一元二阶逻辑,过渡系统的图覆盖和展开。 Zbl 0929.03036号 布鲁诺·库塞尔;伊戈尔·瓦卢基维奇 14 1998 困难的配置——关于LTrL的复杂性(扩展抽象)。 Zbl 0909.03024号 伊戈尔·瓦卢基维奇 10 1998 号角微积分。 Zbl 0945.03541号 维托尔德·查拉托尼克;大卫·麦卡利斯特;达米安·尼文斯基;安德烈亚斯·波德尔斯基;伊戈尔·瓦卢基维奇 6 1998 关于命题mu-calculus相对于一元二阶逻辑的表达完备性。 Zbl 1514.68171号 戴维·杰宁;伊戈尔·瓦卢基维奇 47 1996 微积分游戏。 Zbl 0872.03017号 达米安·尼文斯基;伊戈尔·瓦卢基维奇 28 1996 树状结构上的一元二阶逻辑。 Zbl 1434.03105号 伊戈尔·瓦卢基维奇 13 1996 关于Kozen命题演算公理化完备性的注记。 Zbl 0868.03010号 伊戈尔·瓦卢基维奇 1 1996 模态演算和相关结果的自动机。 Zbl 1193.68163号 戴维·杰宁;伊戈尔·瓦卢基维奇 58 1995 所有引用出版物 前5名被引用出版物 全部的 前5名688位作者引用 21 伊戈尔·瓦卢基维奇 13 马丁·兰格 13 Micha Skrzypczak 12 保罗·加斯廷 12 马丁·齐默尔曼 11 帕特里夏·布耶 11 奥尔纳·库普弗曼 10 马库斯·洛伊 10 维尼马,伊德 9 安东尼·库塞拉 9 帕里斯(Pawe Parys) 8 安德烈·穆拉夫斯基。 8 安卡·穆斯科尔 8 路易吉·桑托卡纳莱 7 阿希姆·布卢门萨特 7 戴维·杰宁 7 马丁·库特里布 7 卡罗琳娜·莱赫蒂宁 7 苏菲·平奇纳特 7 亚历山大·拉比诺维奇 7 莫西·亚亚科夫·瓦尔迪 6 迪特马尔·伯旺格 6 Mikołaj博扬奇克 6 劳拉·博泽利 6 克里希南德·查特吉 6 亚历山德罗·法奇尼 6 伯恩德·芬克贝纳 6 奥利维·芬克尔 6 金·古德斯特兰·拉森 6 安德烈亚斯·马尔彻 6 菲利普·施诺贝伦 6 托马斯·施图德 6 Tim A.C.Willemse。 5 贝内迪克特·博利格 5 洛伦佐·克莱门特 5 布鲁诺·库塞尔 5 乔瓦娜·达戈斯蒂诺 5 阿努吉·达瓦尔 5 Stéphane P.德姆里。 5 沃尔克·迪克特 5 佐尔坦·埃西克 5 哈维尔·埃斯帕尔扎 5 贾科莫·伦齐 5 鲁帕克·马朱姆达尔 5 尼古拉斯·马基 5 理查德·梅尔(Richard M.Mayr)。 5 罗兰·梅耶 5 穆拉诺,阿尼洛 5 Kai T.Salomaa。 5 西尔万·萨尔瓦蒂 5 马蒂亚斯·温德兰特 5 詹姆斯·沃雷尔。 4 达斯,阿努帕姆 4 乌里·法伦贝格 4 奥利弗·弗里德曼 4 斯特凡·格勒 4 弗雷德里克·赫布雷托 4 克莱门斯·库普克 4 Sławomir拉索塔 4 Legay、Axel 4 克里斯托夫·Löding 4 拉杜·马达尔 4 米查勒夫斯基(Michalewski)、亨利克(Henryk) 4 菲利普·莫拉克 4 丹尼尔·奈德 4 雷诺·尼斯卡宁 4 达米安·尼文斯基 4 奥尔德罗格(Ernst-Rüdiger Olderog) 4 乔尔·欧·瓦克宁。 4 尼尔·皮特曼 4 伊戈尔·波塔波夫 4 斯文·舍韦 4 奥利维尔·塞雷 4 巴拉古鲁·斯里瓦桑 4 纳塔利·斯兹纳杰德 4 沃尔夫冈·托马斯 4 范德波尔,扬·科内利斯 4 乔治·泽采 3 阿夫沙里语、巴哈雷语 3 拉杰夫·阿鲁尔 3 埃蒂安·安德烈 3 安德烈·阿诺德 3 朱利安·伯内特 3 Bezhanishvili,尼克 3 布拉兹迪尔,Tomáš 3 弗洛里安·布鲁斯 3 Carayol,阿诺 3 皮埃尔·香巴特 3 米歇尔·齐亚里 3 哈拉尔德·费彻 3 纪尧姆·费伊莱德 3 盖尔·方丹 3 Forejt,Vojtěch公司 3 摩西·加纳迪 3 马西耶·加兹达。 3 Manuel Gieseking先生 3 雨果·金伯特 3 罗伯特·伊恩·戈德布拉特 3 埃里希·格拉德尔 3 朱利安·古铁雷斯 …还有588位作者 全部的 前5名56篇连载文章被引用 71 理论计算机科学 52 信息与计算 30 计算机科学中的逻辑方法 15 纯逻辑与应用逻辑年鉴 14 系统设计中的形式化方法 13 计算机与系统科学杂志 12 国际计算机科学基础杂志 11 信息学报 10 信息处理信件 10 RAIRO公司。理论信息学及其应用 9 程序设计中的逻辑和代数方法杂志 8 应用非经典逻辑杂志 8 计算系统理论 7 人工智能 7 离散事件动态系统 5 Automatica公司 5 MSCS公司。计算机科学中的数学结构 5 计算机基础理论 4 Studia Logica公司 4 逻辑与代数程序设计杂志 4 ACM计算逻辑事务 4 RAIRO公司。理论信息学及其应用 3 自动推理杂志 3 逻辑、语言与信息杂志 3 应用逻辑杂志 2 信息科学 2 符号逻辑杂志 2 半群论坛 2 计算的形式方面 2 国际代数与计算杂志 2 数学逻辑季刊(MLQ) 1 离散应用数学 1 国际通用系统杂志 1 富兰克林学院学报 1 纯粹与应用代数杂志 1 编程和计算机软件 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 系统和控制信件 1 计算机程序设计科学 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学逻辑档案 1 国际鲁棒非线性控制杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 欧洲控制杂志 1 软计算 1 新物理学杂志 1 泛逻辑 1 算法 1 科学中国。信息科学 1 计算机科学前沿 1 公理 1 计算机科学评论 1 ACM计算理论汇刊 1 Modelirovanie i Analiz信息系统 全部的 前5名18个领域被引用 474 计算机科学(68至XX) 256 数学逻辑和基础(03-XX) 94 博弈论、经济学、金融和其他社会和行为科学(91-XX) 30 系统论;控制(93至XX) 11 组合数学(05-XX) 9 范畴理论;同调代数(18-XX) 7 有序,格,有序代数结构(06-XX) 7 群论与推广(20-XX) 5 一般拓扑结构(54至XX) 3 运筹学、数学规划(90-XX) 2 历史和传记(01-XX) 2 一般代数系统(08-XX) 2 概率论与随机过程(60-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文