编辑配置文件(在新选项卡中打开) 沃伊切赫,切尔文斯基 合著者距离 作者ID: 捷克温斯基·沃伊切赫 发布日期: 沃伊切赫,切尔文斯基;车温斯基,沃伊切赫 已编制索引的文档: 38出版物自2009年起,包括1个附加arXiv预打印 合著者: 52位合著者具有38联合出版物 1038名合作作者 全部的 前5名合著者 0 单作者的 17 萨沃米尔·拉索塔 8 彼得·霍夫曼 6 维姆·马滕斯 4 克莱尔·大卫 4 兰科·拉齐奇 4 帕里斯(Pawe Parys) 3 杰罗姆·勒鲁 3 菲利普·马佐维耶基 3 沃伊切赫·纳达拉 3 马钦·皮利普祖克(Marcin L.Pilipczuk)。 3 Micha Pilipczuk 3 乔治·泽采 2 德米特里五世·奇斯蒂科夫。 2 洛伦佐·克莱门特 2 Fröschle,Sibylle B。 2 彼得·扬查尔 2 卡蒂亚·洛塞曼 2 菲利普·莫拉克 2 查尔斯·帕普曼 2 Lorijn,van Rooijen 2 迈克尔·韦哈尔 2 马克·泽顿 1 陈洁华 1 劳雷·达沃 1 梅西耶·Dębski 1 扬·狄瑟 1 安德烈亚斯·埃米尔·费尔德曼 1 迭戈·菲格拉 1 纳塔娜·菲亚尔科夫 1 托马斯·戈加茨 1 托马斯·戈加斯 1 丹尼·赫尔梅林 1 你好,戈登 1 桑杰·贾恩 1 马尔钦·尤季扬斯基 1 埃里克科普琴斯基 1 马丁·科特 1 克里斯托夫·Löding 1 汤马斯·马斯托普斯 1 罗兰·梅耶 1 塞巴斯蒂安·穆斯卡拉 1 库马尔·纳拉扬。 1 马蒂亚斯·尼维斯 1 拉多斯·瓦·皮奥科夫斯基 1 普拉卡什·塞瓦桑 1 Zdeněk萨瓦 1 Micha Skrzypczak 1 曼纽尔·索尔吉 1 弗兰克·斯蒂芬 1 克里斯托弗·谭 1 Bartłomiej Wróblewski 1 安娜·兹奇·帕夫利茨 全部的 前5名系列 3 计算机科学中的逻辑方法 2 计算系统理论 2 美国计算机学会期刊 1 计算机与系统科学杂志 1 信息与计算 1 SIAM离散数学杂志 1 离散数学和理论计算机科学。DMTCS公司 1 计算机基础理论 领域 36 计算机科学(68至XX) 3 组合数学(05-XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用153中的次118文件 引用人▼ 年份▼ Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 30 2019 正则语言通过子序列和后缀的有效可分性。 Zbl 1334.68115号 沃伊切赫,切尔文斯基;维姆·马滕斯;汤马斯·马斯托普斯 18 2013 通用树生长在分离自动机内:奇偶对策的拟多项式下限。 Zbl 1432.68223号 沃伊切赫,切尔文斯基;劳雷·达沃;纳塔娜·菲亚尔科夫;马尔钦·尤季扬斯基;兰科·拉齐奇;帕里斯(Pawe Parys) 11 2019 通过确定性正则表达式决定可定义性。 Zbl 1260.68199号 沃伊切赫,切尔文斯基;克莱尔·大卫;卡蒂亚·洛塞曼;维姆·马滕斯 10 2013 关于分段可测试语言的可判定可分性的注记。 Zbl 1434.68242号 沃伊切赫,切尔文斯基;维姆·马滕斯;Lorijn,van Rooijen;马克·泽顿 7 2015 一个计数器自动机的规则可分性。 Zbl 1457.68141号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 7 2017 Petri网的可达性问题不是基本的。 Zbl 1499.68222号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 7 2021 Parikh自动机的正则可分性。 Zbl 1442.68088号 洛伦佐·克莱门特;沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;查尔斯·帕普曼 6 2017 单计数器系统中的最短路径。 Zbl 1475.68147号 德米特里·奇斯蒂科夫;沃伊切赫,切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔 6 2016 分段可测试语言的可判定可分性特征。 Zbl 1400.68101号 沃伊切赫,切尔文斯基;维姆·马滕斯;Lorijn,van Rooijen;马克·泽顿;乔治·泽采 5 2017 规范无上下文过程的快速等价性检查。 Zbl 1245.68134号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 5 2010 结构良好的过渡系统的规则可分性。 Zbl 1520.68092号 沃伊切赫,切尔文斯基;斯拉沃米尔拉索塔;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑 5 2018 改进了treedepth的排除最小近似的边界。 Zbl 07525471号 沃伊切赫,切尔文斯基;沃伊切赫·纳达拉;马钦·皮里普祖克 5 2019 规范BPA过程的分支双相似性在NExpTime中。 Zbl 1392.68292号 沃伊切赫,切尔文斯基;彼得·扬查尔 3 2015 向量加法系统可达集的可分离性。 Zbl 1402.68132号 洛伦佐·克莱门特;沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;查尔斯·帕普曼 3 2017 改进了treedepth的排除最小近似的边界。 Zbl 1465.05174号 沃伊切赫,切尔文斯基;沃伊切赫·纳达拉;皮利普祖克,马钦 3 2021 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1343.68164号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2011 弱多下推自动机的可达性问题。 Zbl 1364.68247号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2012 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1319.68147号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2014 单计数器系统中的最短路径。 Zbl 1407.68249号 德米特里·奇斯蒂科夫;沃伊切赫,切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔 2 2019 向量加法系统语言的无界性问题。 Zbl 1499.68170号 车温斯基,沃伊切赫;彼得·霍夫曼;乔治·泽采 2 2018 具有状态的定维向量加法系统的可达性。 兹标07559504 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 2 2020 明确VASS的普遍性问题。 Zbl 07559492号 沃伊切赫,切尔文斯基;迭戈·菲格拉;彼得·霍夫曼 2 2020 二维VASS的新泵送技术。 Zbl 07561706号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;克里斯托夫·Löding;拉多斯·瓦·皮奥科夫斯基 2 2019 通过确定性正则表达式确定可定义性。 Zbl 1371.68146号 沃伊切赫,切尔文斯基;克莱尔·大卫;卡蒂亚·洛塞曼;维姆·马滕斯 1 2017 弱多下推自动机的可达性问题。 Zbl 1274.68156号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 1 2013 部分交换的上下文无关过程。 Zbl 1254.68164号 沃伊切赫,切尔文斯基;西比尔·弗罗斯科尔;萨沃米尔·拉索塔 1 2009 一个计数器自动机的规则可分性。 兹比尔1440.68154 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 1 2019 最小化树模式。 Zbl 1426.68076号 沃伊切赫,切尔文斯基;维姆·马滕斯;马蒂亚斯·尼沃思;帕里斯(Pawe Parys) 1 2018 部分交换的上下文无关语言。 Zbl 1459.68099号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 1 2012 Petri网的可达性问题不是基本的。 Zbl 1499.68222号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 7 2021 改进了树深度的排除次要近似的边界。 Zbl 1465.05174号 沃伊切赫,切尔文斯基;沃伊切赫·纳达拉;马钦·皮里普祖克 3 2021 具有状态的定维向量加法系统的可达性。 兹标07559504 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 2 2020 明确VASS的普遍性问题。 Zbl 07559492号 沃伊切赫,切尔文斯基;迭戈·菲格拉;彼得·霍夫曼 2 2020 Petri网的可达性问题不是基本的。 Zbl 1433.68245号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 30 2019 通用树生长在分离自动机中:奇偶博弈的拟多项式下界。 Zbl 1432.68223号 沃伊切赫,切尔文斯基;劳雷·达沃;纳塔娜·菲亚尔科夫;马尔钦·尤季扬斯基;兰科·拉齐奇;帕里斯(Pawe Parys) 11 2019 改进了treedepth的排除最小近似的边界。 Zbl 07525471号 沃伊切赫,切尔文斯基;沃伊切赫·纳达拉;马钦·皮里普祖克 5 2019 单计数器系统中的最短路径。 Zbl 1407.68249号 德米特里·奇斯蒂科夫;沃伊切赫,切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔 2 2019 二维VASS的新泵送技术。 Zbl 07561706号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;克里斯托夫·Löding;拉多斯·瓦·皮奥科夫斯基 2 2019 一个计数器自动机的规则可分性。 Zbl 1440.68154号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 1 2019 结构良好的过渡系统的规则可分性。 Zbl 1520.68092号 沃伊切赫,切尔文斯基;斯拉沃米尔·拉索塔;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑 5 2018 向量加法系统语言的无界性问题。 Zbl 1499.68170号 车温斯基,沃伊切赫;彼得·霍夫曼;乔治·泽采 2 2018 最小化树模式。 Zbl 1426.68076号 沃伊切赫,切尔文斯基;维姆·马滕斯;马蒂亚斯·尼沃思;帕里斯(Pawe Parys) 1 2018 一个计数器自动机的正则可分离性。 Zbl 1457.68141号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 7 2017 Parikh自动机的正则可分性。 Zbl 1442.68088号 洛伦佐·克莱门特;沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;查尔斯·帕普曼 6 2017 分段可测试语言的可判定可分性特征。 Zbl 1400.68101号 沃伊切赫,切尔文斯基;维姆·马滕斯;Lorijn,van Rooijen;马克·泽顿;乔治·泽采 5 2017 向量加法系统可达集的可分离性。 Zbl 1402.68132号 洛伦佐·克莱门特;沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;查尔斯·帕普曼 3 2017 通过确定性正则表达式确定可定义性。 Zbl 1371.68146号 沃伊切赫,切尔文斯基;大卫,克莱尔;卡蒂亚·洛塞曼;维姆·马滕斯 1 2017 单计数器系统中的最短路径。 Zbl 1475.68147号 德米特里·奇斯蒂科夫;沃伊切赫,切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔 6 2016 关于分段可测试语言的可判定可分性的注记。 Zbl 1434.68242号 沃伊切赫,切尔文斯基;维姆·马滕斯;Lorijn,van Rooijen;马克·泽顿 7 2015 规范BPA过程的分支双相似性在NExpTime中。 Zbl 1392.68292号 沃伊切赫,切尔文斯基;彼得·扬查尔 3 2015 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1319.68147号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2014 正则语言通过子序列和后缀的有效可分性。 Zbl 1334.68115号 沃伊切赫,切尔文斯基;维姆·马滕斯;汤马斯·马斯托普斯 18 2013 通过确定性正则表达式确定可定义性。 Zbl 1260.68199号 沃伊切赫,切尔文斯基;克莱尔·大卫;卡蒂亚·洛塞曼;维姆·马滕斯 10 2013 弱多下推自动机的可达性问题。 Zbl 1274.68156号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 1 2013 弱多下推自动机的可达性问题。 Zbl 1364.68247号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2012 部分交换的上下文无关语言。 Zbl 1459.68099号 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 1 2012 赋范交换无上下文过程分支互模拟的判定性。 Zbl 1343.68164号 沃伊切赫,切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔 2 2011 规范无上下文过程的快速等价性检查。 兹比尔1245.68134 沃伊切赫,切尔文斯基;萨沃米尔·拉索塔 5 2010 部分交换的上下文无关过程。 Zbl 1254.68164号 沃伊切赫,切尔文斯基;西比尔·弗罗斯科尔;萨沃米尔·拉索塔 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名206位作者引用 11 沃伊切赫,切尔文斯基 7 萨沃米尔·拉索塔 7 帕里斯(Pawe Parys) 6 哈维尔·埃斯帕尔扎 6 彼得·霍夫曼 6 彼得·扬查尔 6 杰罗姆·勒鲁 6 托马斯·普莱斯 5 迈克尔·布隆丁 5 维姆·马滕斯 5 汤马斯·马斯托普斯 5 菲利普·马佐维耶基 5 马克·泽顿 4 乔治·泽采 3 克里希南德·查特吉 3 陈海明 3 贾克斯,斯特凡 3 克里希纳,Shankara Narayanan 3 兰科·拉齐奇 3 卢,平 3 菲利普·奥特马特 3 亚历山大·奥霍金 3 Micha Pilipczuk 2 沙乌尔·阿尔马戈 2 亨利克·比约克隆德 2 博利格,贝内迪克特 2 托马斯·布里海耶 2 洛伦佐·克莱门特 2 托马斯·科尔科姆贝特 2 大卫,弗伦达 2 佛罗伦萨德尔格兰奇 2 纳塔娜·菲亚尔科夫 2 阿兰·芬克尔 2 Pawe Gawrychowskił 2 丹尼尔·豪斯曼 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 什特·潘·霍卢布 2 马尔钦·尤季扬斯基 2 斯特凡·基弗 2 马库斯·科洛奇 2 安东尼·库塞拉 2 奥尔纳·库普弗曼 2 卡蒂亚·洛塞曼 2 塞巴斯蒂安·穆斯卡拉 2 沃伊切赫·纳达拉 2 马蒂亚斯·尼沃思 2 奥尔曼,皮埃尔 2 奥托普,简 2 尤索夫·乌阿尔哈德 2 吉列尔莫·A·佩雷斯。 2 马钦·皮利普祖克(Marcin L.Pilipczuk)。 2 Randour,Mickael米凯尔 2 米哈伊尔·拉斯金 2 本杰明·罗斯曼 2 阿诺德·桑尼尔 2 菲利普·施诺贝伦 2 所罗门·西克特 2 格雷戈伊尔·萨特雷 2 米夏·托马佐 2 卡罗尔·韦格兹基 2 詹姆斯·沃雷尔。 1 帕罗什·阿齐兹·阿卜杜拉 1 阿坎沙阿格拉瓦尔 1 阿克西,S。 1 Khadijeh阿里巴巴 1 萨伊德·阿里雷扎扎德 1 贝尔纳多·阿尔梅达。 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 约翰·C·贝兹。 1 Balasubramanian,A.R。 1 安苏曼·班纳吉 1 大卫·巴罗齐尼 1 帕斯卡·鲍曼 1 巴托斯·贝德纳西克 1 弗朗西斯科·贝拉迪内利 1 德文德拉·巴韦 1 约翰娜·比约克隆德 1 斯坦尼斯拉夫·博姆 1 乌迪·博克 1 爱荷华州博内娃 1 托马斯·布拉兹迪尔 1 约阿希姆·布雷默 1 罗希特·查达 1 金淑·查特吉 1 成龙(Cheng,Long) 1 德米特里五世·奇斯蒂科夫。 1 拉杜·库卡努 1 内森·科恩 1 菲利普·泽纳 1 弗拉维奥·达莱桑德罗 1 劳雷·达沃 1 克莱尔·大卫 1 斯特凡·德姆里。 1 辛齐亚·迪·朱斯托 1 亚历克斯·狄克逊 1 埃戈尔·多布朗拉沃夫 1 尼基塔·多布朗拉沃夫 1 马提亚斯·恩格尔 1 亨宁费尔瑙 1 迭戈·菲格拉 …还有106位作者 全部的 前5名22篇连载文章中引用 14 计算机科学中的逻辑方法 7 信息与计算 6 计算机与系统科学杂志 5 理论计算机科学 4 计算系统理论 3 计算机基础理论 2 信息学报 2 信息处理信件 2 分布式计算 1 人工智能 1 信息科学 1 SIAM计算机杂志 1 算法 1 SIAM离散数学杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 欧洲数学学会杂志(JEMS) 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 1 ACM算法事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 114 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文