帕维尔·塞穆金
人员信息
优化列表
2020年–今天
2023 [公元15年] 保罗·C·贝尔 , 帕维尔·塞穆金 :
小字母表上概率自动机的决策问题。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) [第16条] 保罗·贝尔 , 雷诺·尼斯卡宁 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
关于复Heisenberg矩阵的恒等式和群问题。 RP公司 2023 : 42-55 [第九章] 保罗·贝尔 , 雷诺·尼斯卡宁 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
关于复Heisenberg矩阵的恒等式和群问题。 CoRR公司 abs/2307.05283 ( 2023 ) 2021 [公元14年] 保罗·C·贝尔 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
关于死亡率问题:从乘法矩阵方程到线性递归序列及其他。 Inf.计算。 281 : 104736 ( 2021 ) [第15条] 斯特凡·基弗 , 帕维尔·塞穆金 , 卡斯·维德施恩 :
线性时间模型检查分支进程。 CONCUR公司 2021 : 6:1-6:16 [c14] 保罗·贝尔 , 帕维尔·塞穆金 :
小字母表上概率自动机的决策问题。 MFCS公司 2021 : 15:1-15:17 [i8] 保罗·贝尔 , 帕维尔·塞穆金 :
小字母表上概率自动机的决策问题。 CoRR公司 abs/2105.10293 ( 2021 ) [i7] 斯特凡·基弗 , 帕维尔·塞穆金 , 卡斯·维德施恩 :
线性时间模型检查分支进程。 CoRR公司 abs/2107.01687 ( 2021 ) 2020 [第13条] 保罗·贝尔 , 帕维尔·塞穆金 :
基于字母边界输入的概率有限自动机断点隔离的判定。 CONCUR公司 2020 : 22:1-22:16 [第12条] 沃尔克·迪克特 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
GL(2,Q)和奇异矩阵的平坦有理子集的隶属度问题的可判定性。 ISSAC公司 2020 : 122-129 [i6] 保罗·贝尔 , 帕维尔·塞穆金 :
字母单调概率有限自动机的割点隔离判定。 CoRR公司 腹肌/2002.07660 ( 2020 )
2010 – 2019
2019 [j13] 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
SL(2,Z)中的向量和标量可达性问题。 J.计算。 系统。 科学。 100 : 30-43 ( 2019 ) [第11条] 托马斯·科尔科姆贝特 , 乔尔·瓦克宁 , 帕维尔·塞穆金 , 詹姆斯·沃雷尔 :
关于低维矩阵半群的可达性问题。 ICALP公司 2019 : 44:1-44:15 [第10条] 保罗·贝尔 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
关于死亡率问题:从乘法矩阵方程到线性递归序列及其他。 MFCS公司 2019 : 83:1-83:15 [i5] 托马斯·科尔科姆贝特 , 乔尔·瓦克宁 , 帕维尔·塞穆金 , 詹姆斯·沃雷尔 :
关于低维矩阵半群的可达性问题。 CoRR公司 abs/1902.09597 ( 2019 ) [i4] 保罗·贝尔 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
死亡问题的可判定性:从乘法矩阵方程到线性递归序列及其他。 CoRR公司 abs/1902.10188 ( 2019 ) [i3] 沃尔克·迪克特 , 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
GL(2,Q)和奇异矩阵的平坦有理子集的隶属度问题的判定。 CoRR公司 abs/1910.02302 ( 2019 ) 2018 [公元12年] 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
前言。 发现的国际期刊。 计算。 科学。 29 ( 2 ) : 139-142 ( 2018 ) 2017 【c9】 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
奇异矩阵扩展的GL(2,Z)中的隶属度问题。 MFCS公司 2017 : 44:1-44:13 【c8】 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
2×2整数矩阵隶属度问题的可判定性。 SODA公司 2017 : 170-186 2016 [公元11年] 叶卡捷琳娜·福基纳 , 巴哈迪尔·库萨诺夫 , 帕维尔·塞穆金 , 丹尼尔·图雷茨基 :
线性次序由C.E.等价关系实现。 J.塞姆。 日志。 81 ( 2 ) : 463-482 ( 2016 ) 【c7】 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
SL(2,Z)中的向量可达性问题。 MFCS公司 2016 : 84:1-84:14 [i2] 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
2×2整数矩阵隶属度问题的可判定性。 CoRR公司 abs/1604.02303 ( 2016 ) 2015 [i1] 伊戈尔·波塔波夫 , 帕维尔·塞穆金 :
SL(2,Z)中的向量可达性问题。 CoRR公司 abs/1510.03227 ( 2015 ) 2014 [公元10年] 约翰·凯斯 , 桑杰·贾恩 , Yuh Shin Ong先生 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
具有反馈查询的自动学习器。 J.计算。 系统。 科学。 80 ( 4 ) : 806-820 ( 2014 ) [公元9年] 拉希姆·萨梅 , 帕维尔·塞穆金 , 勃廷·杨 , 桑德拉·齐勒斯 :
证明Sauer教学复杂性界限的代数方法。 理论。 计算。 科学。 558 : 35-50 ( 2014 ) 【c6】 拉希姆·萨梅 , 帕维尔·塞穆金 , 勃廷·杨 , 桑德拉·齐勒斯 :
多标签概念类的示例压缩。 COLT公司 2014 : 371-393 2013 [j8] 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
一阶理论的自动模型。 Ann.纯粹应用。 日志。 164 ( 9 ) : 837-854 ( 2013 ) 2012 [j7] 约翰·凯斯 , 桑杰·贾恩 , Trong Dao Le公司 , Yuh Shin Ong女士 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
模式语言子类的自动学习。 Inf.计算。 218 : 17-35 ( 2012 ) 【c5】 拉希姆·萨梅 , 帕维尔·塞穆金 , 勃廷·杨 , 桑德拉·齐勒斯 :
索尔势必提出教学复杂性的概念。 中高音 2012 : 96-110 2011 [j6] 桑杰·贾恩 , 罗庆龙 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
数不清的自动课堂和学习。 理论。 计算。 科学。 412 ( 19 ) : 1805-1820 ( 2011 ) 【c4】 约翰·凯斯 , 桑杰·贾恩 , Yuh Shin Ong先生 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
具有反馈查询的自动学习者。 CiE公司 2011 : 31-40 【c3】 约翰·凯斯 , 桑杰·贾恩 , Trong Dao Le公司 , Yuh Shin Ong先生 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
模式语言子类的自动学习。 拉塔 2011 : 192-203
2000 – 2009
2009 [j5] 安德烈·尼斯 , 帕维尔·塞穆金 :
有限自动机可表示阿贝尔群。 Ann.纯粹应用。 日志。 161 ( 三 ) : 458-467 ( 2009 ) 【j4】 帕维尔·塞穆金 :
有限可计算维的基本模型。 J.塞姆。 日志。 74 ( 1 ) : 336-348 ( 2009 ) 【c2】 桑杰·贾因 , 罗庆龙 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
无法计数的自动类和学习。 中高音 2009 : 293-307 2007 [j3] 巴哈迪尔·库萨诺夫 , 帕维尔·塞穆金 , 弗兰克·斯蒂芬 :
Kolmogorov复杂性在可计算模型理论中的应用。 J.塞姆。 日志。 72 ( 三 ) : 1041-1054 ( 2007 ) 【c1】 安德烈·尼斯 , 帕维尔·塞穆金 :
有限自动机可表示阿贝尔群。 LFCS公司 2007 : 422-436 2006 [注2] 巴哈迪尔·库萨诺夫 , 西奥多·斯拉曼 , 帕维尔·塞穆金 :
P(P) 0 1 -代数的呈现。 架构(architecture)。 数学。 日志。 45 ( 6 ) : 769-781 ( 2006 ) [j1] 巴哈迪尔·库萨诺夫 , 丹尼斯·赫施费尔特 , 帕维尔·塞穆金 :
一个不可计数的范畴理论,其唯一可计算的存在模型是饱和的。 圣母院J.正式日志。 47 ( 1 ) : 63-71 ( 2006 )