编辑配置文件(在新选项卡中打开) 西门托伦奇克 合著者距离 作者ID: 托伦茨克西蒙 发布日期: 西门托伦奇克;斯兹蒙·托伦茨克 外部链接: MGP公司 已编制索引的文档: 43出版物自2009年起,包括12额外的arXiv预印本 合著者: 42位合著者具有41联合出版物 989合著作者 全部的 前5名合著者 2 单作者的 13 Micha Pilipczuk 8 加亚尔斯克,雅库布 8 塞巴斯蒂安·西伯茨 7 Mikołaj博扬奇克 6 巴托克·克林 5 简·德雷尔 5 萨沃米尔·拉索塔 5 尼古拉斯·马尔曼 4 乔安娜·奥奇里米亚克 三 埃里克科普琴斯基 三 斯蒂芬·克鲁泽 三 帕特丽斯·奥斯纳·德门德斯 三 西蒙·皮埃尔 2 爱德华·博内 2 格拉泽戈茨法比安斯基 2 罗斯·麦卡蒂 2 雅罗斯拉夫·内舍特伊尔 2 帕里斯(Pawe Parys) 2 沃伊切赫·普尔兹比舍夫斯基 2 Micha Skrzypczak 2 马雷克·索科·奥斯基 2 托马斯·泽姆 1 阿尔伯特·阿塞里亚斯 1 托马斯·科尔科姆贝特 1 奥尔德里克·德戈尔 1 劳伦特·多恩 1 埃利夫特里亚迪斯(Eleftheriadis,Ioannis) 1 庆蒂里尼、拉斐拉 1 乌戈·乔坎蒂 1 托马斯·戈加茨 1 什切潘·汉梅尔 1 卡迪耶·凯什瓦尔杜斯特 1 桑德拉·基弗 1 丹尼斯·库珀伯格 1 阿马尔德夫·曼努埃尔 1 皮埃尔·奥曼 1 Jean-François拉斯金 1 尼科尔·席尔马赫 1 卢克·塞古芬 1 吉安诺斯·斯塔穆利斯 1 圣埃芬托马斯 1 亚历山大·维格尼 系列 2 计算机科学中的逻辑方法 1 半群论坛 1 组合数学电子杂志 1 ACM计算逻辑事务 字段 21 计算机科学(68-XX) 19 数学逻辑和基础(03-XX) 7 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 27出版物有被引用142中的次102文件 引用人▼ 年份▼ 信息不完全的能量和平庸游戏。 Zbl 1287.91028号 奥尔德里克·德戈尔;劳伦特·多恩;庆蒂里尼、拉斐拉;Jean-François拉斯金;西门托伦奇克 16 2010 关于稀疏图中类型的数量。 兹比尔1453.03031 Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 13 2018 带原子的图灵机器。 Zbl 1367.68098号 米科拉伊·博扬茨克(Mikolaj Bojánczyk);巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克 13 2013 无限树上的弱\(\text{MSO}+U\)。 Zbl 1245.68119号 米科拉伊·博扬奇克;西门托伦奇克 12 2012 有界展开类的一阶解释。 Zbl 1446.68094号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 9 2020 ((mathbb N,<))的MSO+U理论是不可判定的。 Zbl 1388.03016号 米科拉伊·博扬奇克;帕里斯,帕维尔;西蒙·托伦奇克 9 2016 LOIS:语法和语义。 Zbl 1380.68125号 埃里克科普琴斯基;西门托伦奇克 8 2017 局部有限约束满足问题。 Zbl 1394.68186号 巴托克·克林;埃里克科普琴斯基;乔安娜·奥奇里米亚克;西门托伦奇克 7 2015 控制和独立的渐进算法。 Zbl 07559136号 格拉泽戈茨法比安斯基;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 7 2019 确定性自动机与弱MSO的扩展。 Zbl 1248.68285号 Mikołaj博扬奇克;西门托伦奇克 6 2009 带原子的图灵机、约束满足问题和描述复杂性。 Zbl 1401.68079号 巴托克·克林;萨沃米尔·拉索塔;乔安娜·奥奇里米亚克;西门托伦奇克 5 2014 一阶可定义结构的同态问题。 Zbl 1434.03093号 巴托克·克林;斯拉沃米尔·拉索塔;乔安娜·奥奇里米亚克;西蒙·托伦奇克 5 2016 稀疏结构模型检测的参数化电路复杂性。 Zbl 1497.68319号 Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 线性排序数据域上基于自动化的验证。 Zbl 1230.68137号 卢克·塞古芬;西门托伦奇克 4 2011 可由最小/最大自动机定义的成本函数。 Zbl 1388.68191号 托马斯·科尔科姆贝特;丹尼斯·库珀伯格;阿马尔德夫·曼努埃尔;斯兹蒙·托伦茨克 4 2016 有界展开类的一阶解释。 Zbl 1499.68202号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 关于无限集的可计算性和可处理性。 Zbl 1452.03093号 Mikołaj博扬奇克;西门托伦奇克 三 2018 语言中的亵渎词和有限性问题。 Zbl 1433.03104号 西门托伦奇克 三 2012 有限结构的不可分类。 Zbl 1370.03048号 阿尔伯特·阿塞里亚斯;斯兹蒙·托伦茨克 2 2016 双不定词上正则关系的一致性。 Zbl 1498.03092号 格拉泽戈茨法比安斯基;Micha Skrzypczak;西门托伦奇克 1 2020 使用极值约束注册自动机,以及二变量逻辑的应用程序。 兹比尔07299519 西门托伦奇克;托马斯·泽姆 1 2020 (lambda)-演算和弱MSO逻辑的模型。 Zbl 1370.03022号 帕里斯,帕维尔;斯兹蒙·托伦茨克 1 2016 带有原子的命令式编程。 Zbl 1354.68053号 米科拉伊·博扬奇克;西门托伦奇克 1 2012 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克;埃里克科普琴斯基;西门托伦奇克 1 2012 关于MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1287.03089号 什切潘·汉梅尔;Micha Skrzypczak;西门托伦奇克 1 2010 对于数据语言来说,不确定性和共不确定性意味着确定性。 Zbl 07410434号 巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克 1 2021 双胞胎宽度。IV: 有序图和矩阵。 Zbl 07774389号 爱德华·博内;乌戈·乔坎蒂;帕特丽斯·奥斯纳·德门德斯;西蒙·皮埃尔;圣埃芬托马斯;西门托伦奇克 1 2022 双胞胎宽度。四: 有序图和矩阵。 Zbl 07774389号 爱德华·博内;乌戈·乔坎蒂;帕特丽斯·奥斯纳·德门德斯;西蒙·皮埃尔;圣埃芬托马斯;西门托伦奇克 1 2022 对于数据语言来说,不确定性和共不确定性意味着确定性。 Zbl 07410434号 巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克 1 2021 有界展开类的一阶解释。 Zbl 1446.68094号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 9 2020 双无限词上正则关系的一致性。 Zbl 1498.03092号 格拉泽戈茨法比安斯基;Micha Skrzypczak;西门托伦奇克 1 2020 使用极值约束注册自动机,以及二变量逻辑的应用程序。 Zbl 07299519号 西门托伦奇克;托马斯·泽姆 1 2020 控制和独立的渐进算法。 Zbl 07559136号 格拉泽戈茨法比安斯基;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 7 2019 关于稀疏图中类型的数量。 Zbl 1453.03031号 Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 13 2018 稀疏结构上模型检查的参数化电路复杂性。 Zbl 1497.68319号 Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 有界展开类的一阶解释。 Zbl 1499.68202号 加亚尔斯克,雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 4 2018 关于无限集的可计算性和可处理性。 Zbl 1452.03093号 Mikołaj博扬奇克;西门托伦奇克 三 2018 LOIS:语法和语义。 Zbl 1380.68125号 埃里克科普琴斯基;西门托伦奇克 8 2017 ((mathbb N,<))的MSO+U理论是不可判定的。 Zbl 1388.03016号 米科拉伊·博扬奇克;帕里斯,帕维尔;斯兹蒙·托伦茨克 9 2016 一阶可定义结构的同态问题。 Zbl 1434.03093号 巴托克·克林;斯拉沃米尔·拉索塔;乔安娜·奥奇里米亚克;斯兹蒙·托伦茨克 5 2016 可由最小/最大自动机定义的成本函数。 兹比尔1388.68191 托马斯·科尔科姆贝特;丹尼斯·库珀伯格;阿马尔德夫·曼努埃尔;斯兹蒙·托伦茨克 4 2016 有限结构的不可分类。 Zbl 1370.03048号 阿尔伯特·阿塞里亚斯;斯兹蒙·托伦茨克 2 2016 (lambda)-演算和弱MSO逻辑的模型。 Zbl 1370.03022号 帕里斯,帕维尔;斯兹蒙·托伦茨克 1 2016 局部有限约束满足问题。 Zbl 1394.68186号 巴托克·克林;埃里克科普琴斯基;Ochremiak,乔安娜;西门托伦奇克 7 2015 带原子的图灵机、约束满足问题和描述复杂性。 Zbl 1401.68079号 巴托克·克林;萨沃米尔·拉索塔;乔安娜·奥奇里米亚克;西门托伦奇克 5 2014 带原子的图灵机器。 Zbl 1367.68098号 米科拉伊·博扬茨克(Mikolaj Bojánczyk);巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克 13 2013 无限树上的弱\(\text{MSO}+U\)。 Zbl 1245.68119号 米科拉伊·博扬奇克;西门托伦奇克 12 2012 语言中的亵渎词和有限性问题。 兹比尔1433.03104 西门托伦奇克 三 2012 带有原子的命令式编程。 Zbl 1354.68053号 米科拉伊·博扬奇克;西门托伦奇克 1 2012 度量空间中颜色的拉姆齐定理。 Zbl 1253.05134号 Mikołaj博扬奇克;埃里克科普琴斯基;西门托伦奇克 1 2012 线性排序数据域上基于自动化的验证。 Zbl 1230.68137号 卢克·塞古芬;西门托伦奇克 4 2011 信息不完全的能量和平庸游戏。 Zbl 1287.91028号 奥尔德里克·德戈尔;劳伦特·多恩;庆蒂里尼、拉斐拉;Jean-François拉斯金;西门托伦奇克 16 2010 关于MSO+U和相关自动机模型的拓扑复杂性。 Zbl 1287.03089号 什切潘·汉梅尔;Micha Skrzypczak;西门托伦奇克 1 2010 确定性自动机与弱MSO的扩展。 Zbl 1248.68285号 Mikołaj博扬奇克;西门托伦奇克 6 2009 所有引用出版物 排名前五的出版物 全部的 前5名166位作者引用 12 塞巴斯蒂安·西伯茨 8 Micha Pilipczuk 6 萨沃米尔·拉索塔 5 雅罗斯拉夫·内舍特伊尔 5 Jean-François拉斯金 4 帕特丽斯·奥斯纳·德门德斯 4 马丁·齐默尔曼 三 曼纽尔·博迪尔斯基 三 Mikołaj博扬奇克 三 乌迪·博克 三 克劳迪娅·卡拉佩尔 三 彼得·霍夫曼 三 保罗·亨特 三 亚历山大·卡尔佐夫 三 巴托克·克林 三 马库斯·洛伊 三 约书亚·莫尔曼 三 Amer E.穆阿瓦德。 三 法赫德·帕诺兰 三 吉列尔莫·A·佩雷斯。 三 西门托伦奇克 2 埃里克·W·艾伦德。 2 沙乌尔·阿尔马戈 2 弗兰兹·巴德 2 马克斯·班纳赫 2 黛拉·莫妮卡,达里奥 2 乌里法伦伯格 2 冯世光 2 迭戈·菲格拉 2 艾曼纽·菲利奥特 2 洛依茨海露 2 蒋一婷 2 彼得·琼森 2 Juhl,线路 2 德克斯特·C·科赞。 2 安德烈亚斯·克雷布斯 2 Kwon,Ojoung 2 金·古德斯特兰·拉森 2 丹尼尔·洛克斯塔诺夫 2 尼古拉斯·马基 2 菲利普·马佐维耶基 2 皮埃尔·麦肯齐 2 安吉洛·蒙塔纳里 2 帕里斯(Pawe Parys) 2 拉多斯·瓦·皮奥科夫斯基 2 罗马人拉比诺维奇 2 里塔姆·拉哈 2 克里斯蒂安·里维罗斯 2 朱里安·罗特 2 雅库布·里德瓦尔 2 皮埃特罗·萨拉 2 马蒂奥·桑马蒂诺 2 蒂尔·坦托 1 M.H.班杜卡拉。 1 巴勃罗·巴塞洛 1 大卫·巴罗齐尼 1 阿希姆·布卢门萨特 1 伯塔兰·博多 1 托马索·博洛涅西 1 菲利波·邦奇 1 爱德华·博内 1 艾哈迈德·博阿贾尼 1 马钦·布兰斯基 1 托马斯·布里海耶 1 维罗尼克·布鲁埃 1 约翰内斯·卡梅辛 1 奥利维尔·卡尔顿 1 克里希南德·查特吉 1 阿格尼索姆查托帕迪耶 1 文森佐·西安西亚 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 康拉德·卡齐米尔兹·达布罗夫斯基 1 劳雷·达沃 1 戴维·德·弗鲁托斯·埃斯克里格 1 简·德雷尔 1 爱德华·艾本 1 康斯坦丁·埃纳 1 佐尔坦·埃西克 1 莱奥·埃克巴德 1 格拉泽戈茨法比安斯基 1 默多克·詹姆斯·加贝 1 加亚尔斯克,雅库布 1 科林·杰尼特 1 布鲁诺·吉隆 1 朱利安·古铁雷斯 1 阿克塞尔·哈达德 1 盖伊·赫菲茨 1 见鬼,帕沃 1 马克·赫尔穆特 1 季一丁 1 卡迪耶·凯什瓦尔杜斯特 1 阿伊拉特·哈利莫夫 1 Bakhadyr M.库萨诺夫。 1 金恩贞(Kim,Eun Jung) 1 金·金哈 1 金,明基 1 Phokion G.科莱蒂斯。 1 阿德里安·库索斯 1 丹尼尔·科拉尔 …还有66位作者 全部的 前5名28篇连载文章中引用 12 计算机科学中的逻辑方法 6 信息与计算 5 计算系统理论 4 信息学报 4 理论计算机科学 4 组合数学电子杂志 三 组合理论杂志。B系列 三 欧洲组合数学杂志 2 离散应用数学 2 信息处理信件 2 计算机与系统科学杂志 2 算法 2 SIAM离散数学杂志 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 Automatica公司 1 加拿大数学通报 1 匈牙利数学学报 1 自动推理杂志 1 数学逻辑档案 1 系统设计中的形式化方法 1 群论杂志 1 ACM实验算法杂志 1 对离散数学的贡献 1 RAIRO公司。理论信息学及其应用 1 公理 1 计算机科学评论 1 组合理论 全部的 前5名在13个字段中引用 76 计算机科学(68-XX) 33 数学逻辑和基础(03-XX) 20 组合数学(05-XX) 13 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 阶、格、有序代数结构(06-XX) 三 运筹学、数学规划(90-XX) 2 一般代数系统(08-XX) 2 群论与推广(20-XX) 2 一般拓扑结构(54至XX) 1 历史和传记(01-XX) 1 范畴理论;同调代数(18-XX) 1 拓扑群、李群(22日至XX日) 1 系统论;控制(93至XX) 按年份列出的引文