丹尼斯·库珀伯格
人员信息
优化列表
期刊文章
2023 [j8] 丹尼斯·库珀伯格 :
词和图的正一阶逻辑。 日志。 计算方法。 科学。 19 ( 三 ) ( 2023 ) 2021 [j7] 丹尼斯·库珀伯格 , 劳雷琳·皮诺 , 达米安·普斯 :
Büchi自动机的共导算法。 芬丹。 信息学 180 ( 4 ) : 351-373 ( 2021 ) [j6] 丹尼斯·库珀伯格 , 劳雷琳·皮诺 , 达米安·普斯 :
循环证明、系统t和收缩力。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-28 ( 2021 ) 2019 [j5] 沙乌尔·阿尔马戈 , 丹尼斯·库珀伯格 , 奥尔娜·库普夫曼 :
作为复杂性度量的感知。 发现的国际期刊。 计算。 科学。 30 ( 6-7 ) : 831-873 ( 2019 ) 【j4】 丹尼斯·库珀伯格 , 阿尼尔班·马朱姆达尔 :
计算非确定自动机的宽度。 日志。 计算方法。 科学。 15 ( 4 ) ( 2019 ) 2018 [j3] 哈维尔·埃斯帕尔扎 , 丹尼斯·库珀伯格 , 安卡·穆斯科尔 , 伊戈尔·瓦卢基维奇 :
谈判的稳健性。 日志。 计算方法。 科学。 14 ( 1 ) ( 2018 ) 2014 [注2] 丹尼斯·库珀伯格 :
常规成本函数的线性时间逻辑。 日志。 计算方法。 科学。 10 ( 1 ) ( 2014 ) 2012 [j1] 彼得·戴比杰 , 丹尼斯·库珀伯格 :
正式邻域、组合Böhm树和通过评估的非类型化标准化。 Ann.纯应用。 日志。 163 ( 2 ) : 122-131 ( 2012 )
会议和研讨会文件
2023 [公元31年] Emile Hazard公司 , 丹尼斯·库珀伯格 :
Explorable Automata公司。 CSL公司 2023 : 24:1-24:18 2022 [公元30年] Emile Hazard公司 , 丹尼斯·库珀伯格 :
超限表达式的循环证明。 CSL公司 2022 : 23:1-23:18 [公元29年] 大卫·巴尔德 , 阿米娜·杜马内 , 丹尼斯·库珀伯格 , 亚历克西斯·索林 :
圆形和非良好证据的弹跳线:走向具有圆形证据的合成性。 低收入国家 2022 : 63:1-63:13 2021 [公元28年] 丹尼斯·库珀伯格 :
单词的正一阶逻辑。 低收入国家 2021 : 1-13 2020 [公元27年] 乌迪·博克 , 丹尼斯·库珀伯格 , 卡罗琳娜·莱蒂宁 , 米歇尔·斯科齐普扎克 :
关于交替奇偶Good-For-Games自动机的简洁性。 FSTTCS公司 2020 : 41:1-41:13 [公元26年] 丹尼斯·库珀伯格 , 简·马滕斯 :
原点传感器的常规再同步性无法确定。 MFCS公司 2020 : 58:1-58:14 2019 [公元25年] 西蒙·约斯蒂 , 丹尼斯·库珀伯格 :
最终安全语言。 分布式账本技术 2019 : 192-205 [公元24年] 丹尼斯·库珀伯格 , 劳雷琳·皮诺 , 达米安·普斯 :
Büchi自动机的共导算法。 分布式账本技术 2019 : 206-220 【c23】 阿米娜·杜曼 , 丹尼斯·库珀伯格 , 达米安·普斯 , 塞西莉亚·普拉迪奇 :
带假设的克莱恩代数。 FoSSaCS公司 2019 : 207-223 [公元22年] 丹尼斯·库珀伯格 , 劳雷琳·皮诺 , 达米安·普斯 :
循环证明和跳跃自动机。 FSTTCS公司 2019 : 45:1-45:14 2018 【c21】 马克·巴格诺尔 , 丹尼斯·库珀伯格 :
Büchi Good-for-Games Automata可有效识别。 FSTTCS公司 2018 : 16:1-16:14 [公元20年] 丹尼斯·库珀伯格 , 阿尼尔班·马朱姆达尔 :
非确定性自动机的宽度。 STACS公司 2018 : 47:1-47:14 2017 [第19条] 沙乌尔·阿尔马戈 , 丹尼斯·库珀伯格 , 奥尔娜·库普夫曼 :
作为复杂性度量的感知。 DCFS公司 2017 : 3-15 [第18条] 纳塔娜·菲亚尔科夫 , 雨果·金伯特 , 埃登·凯尔门迪 , 丹尼斯·库珀伯格 :
耐力:自动机理论中的稳定单体。 CIAA公司 2017 : 101-112 2016 [第17条] 丹尼斯·库珀伯格 , 朱利安·布鲁内尔 , 大卫·切穆尔 :
一阶线性时序逻辑中的有限域。 ATVA公司 2016 : 211-226 [第16条] 哈维尔·埃斯帕尔扎 , 丹尼斯·库珀伯格 , 安卡·穆斯科尔 , 伊戈尔·瓦卢基维奇 :
谈判的稳健性。 CONCUR公司 2016 : 12:1-12:13 [第15条] 努诺·马塞多 , 朱利安·布鲁内尔 , 大卫·切穆尔 , 阿尔西诺库尼亚 , 丹尼斯·库珀伯格 :
具有丰富配置的动态系统的轻量级规范和分析。 SIGSOFT FSE公司 2016 : 373-383 [第14条] 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , 阿马尔德夫·曼纽尔 , Szymon Torunczyk公司 :
最小/最大自动机定义的成本函数。 STACS公司 2016 : 29:1-29:13 [第13条] 劳雷·达维奥德 , 丹尼斯·库珀伯格 , Jean-Eric销 :
各种成本函数。 STACS公司 2016 : 30:1-30:14 2015 [第12条] 沙乌尔·阿尔马戈 , 丹尼斯·库珀伯格 , 奥尔娜·库普夫曼 :
监测和合成的传感成本。 FSTTCS公司 2015 : 380-393 [第11条] 纳塔娜·菲亚尔科夫 , 弗洛里安·霍恩 , 丹尼斯·库珀伯格 , 米歇尔·斯科齐普扎克 :
用计数器在游戏中交易记忆边界。 ICALP(二) 2015 : 197-208 [第10条] 丹尼斯·库珀伯格 , 米歇尔·斯科齐普扎克 :
关于Good-for-Games自动机的确定。 ICALP(二) 2015 : 299-310 2014 【c9】 纳塔娜·菲亚尔科夫 , 丹尼斯·库珀伯格 :
ACME:带计数器、单体和等价物的自动机。 ATVA公司 2014 : 163-167 【c8】 阿奇姆·布卢门萨特 , 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , Pawel公园 , 迈克尔·范登·布姆 :
无限树上的双向成本自动机和成本逻辑。 CSL-LICS公司 2014 : 16:1-16:9 【c7】 沙乌尔·阿尔马戈 , 丹尼斯·库珀伯格 , 奥尔娜·库普夫曼 :
常规感应。 FSTTCS公司 2014 : 161-173 2013 【c6】 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , 克里斯托夫·洛丁 , 迈克尔·范登·布姆 :
判定Büchi可定义树语言的弱可定义性。 CSL公司 2013 : 215-230 【c5】 乌迪·博克 , 丹尼斯·库珀伯格 , 奥尔娜·库普夫曼 , Michal Skrzypczak :
未来多样化或未知时的不确定性。 ICALP(二) 2013 : 89-100 2012 【c4】 丹尼斯·库珀伯格 , 迈克尔·范登·布姆 :
论成本逻辑对无限词的表达能力。 ICALP(二) 2012 : 287-298 2011 【c3】 丹尼斯·库珀伯格 , 迈克尔·范登·布姆 :
准弱成本自动机:一种新的弱点变种。 FSTTCS公司 2011 : 66-77 【c2】 丹尼斯·库珀伯格 :
常规成本函数的线性时序逻辑。 STACS公司 2011 : 627-636 2010 【c1】 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , 西尔万·伦巴第 :
常规临时成本功能。 ICALP(二) 2010 : 563-574
非正式出版物和其他出版物
2022 [第九章] 丹尼斯·库珀伯格 :
词和图的正一阶逻辑。 CoRR公司 abs/2201.11619 ( 2022 ) 2021 [i8] 丹尼斯·库珀伯格 :
单词的正一阶逻辑。 CoRR公司 abs/2101.01968 ( 2021 ) 2020 [i7] 乌迪·博克 , 丹尼斯·库珀伯格 , 卡罗琳娜·莱蒂宁 , 米歇尔·斯科齐普扎克 :
论博弈自动机交替优点的简洁性和可识别性。 CoRR公司 abs/2002.07278 ( 2020 ) [i6] 丹尼斯·库珀伯格 , 简·马滕斯 :
原点传感器的定期再同步性无法确定。 CoRR公司 abs/2002.07558 ( 2020 ) [i5] 大卫·巴尔德 , 阿米娜·杜马内 , 丹尼斯·库珀伯格 , 亚历克西斯·索林 :
无限和循环证明的弹跳线。 CoRR公司 abs/2005.08257 ( 2020 ) [i4] 乌迪·博克 , 丹尼斯·库珀伯格 , 卡罗琳娜·莱蒂宁 , 米歇尔·斯科齐普扎克 :
交替奇偶博弈自动机的简洁性。 CoRR公司 abs/2009.14437 ( 2020 ) 2018 [i3] 丹尼斯·库珀伯格 , 阿尼尔班·马朱姆达尔 :
计算非确定自动机的宽度。 CoRR公司 abs/1811.00483 ( 2018 ) 2017 [i2] 哈维尔·埃斯帕尔扎 , 丹尼斯·库珀伯格 , 安卡·穆斯科尔 , 伊戈尔·瓦卢基维奇 :
谈判的合理性。 CoRR公司 abs/1703.05137 ( 2017 ) [i1] 纳塔娜·菲亚尔科夫 , 弗洛里安·霍恩 , 丹尼斯·库珀伯格 , 米歇尔·斯科齐普扎克 :
用计数器在游戏中交易记忆边界。 CoRR公司 abs/1709.03121 ( 2017 )