米夏·卡迪哈克
人员信息
附属: 美国伊利诺伊州芝加哥德保罗大学
优化列表
2020年–今天
2023 [第17条] 米夏·卡迪哈克 , 阿卡·戈什 , 吉列尔莫·A·佩雷斯 , 里塔姆·拉哈 :
Parikh单计数器自动机。 MFCS公司 2023 : 30:1-30:15 [第16条] 米夏·卡迪哈克 , 吉列尔莫·A·佩雷斯 :
相思盆景:基于下降的LTL可实现性的现代实现。 TACAS(2) 2023 : 192-207 2022 [j13] 米夏·卡迪哈克 , 查尔斯·帕普曼 :
导线线性交流的正则语言 0 . 信息学报 59 ( 4 ) : 321-336 ( 2022 ) [第15条] 科伦蒂·巴洛伊 , 米夏·卡迪哈克 , 查尔斯·帕普曼 , 托马斯·泽姆 :
具有一个替换的一阶逻辑的正则语言。 低收入国家 2022 : 58:1-58:11 [i12] 科伦蒂·巴洛伊 , 米夏·卡迪哈克 , 查尔斯·帕普曼 , 托马斯·泽姆 :
具有一个替换的一阶逻辑的正则语言。 CoRR公司 abs/2203.06075 ( 2022 ) [i11] 米夏埃尔·卡迪尔哈克 , 吉列尔莫·A·佩雷斯 :
相思盆景:基于下降的LTL可实现性的现代实现。 CoRR公司 abs/2204.06079 ( 2022 ) [i10] 瑞典雅各布斯 , 吉列尔莫·A·佩雷斯 , 雷姆科·亚伯拉罕 , 维罗妮克·布鲁耶尔 , 米夏·卡迪哈克 , Maximilien Colange公司 , 查利·德尔佛斯 , 汤姆·范·迪克 , 亚历山大·杜雷特·卢茨 , 彼得·费蒙维尔 , 伯恩德·芬克贝纳 , 阿伊拉特·卡利莫夫 , 费利克斯·克莱恩 , 迈克尔·卢滕伯格 , 卡拉·梅耶 , 蒂鲍德·米绍德 , 阿德里安·蓬梅莱 , 弗洛里安·伦金 , 菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) , 穆罕默德·萨克 , 所罗门·西克特 , 加丹·斯塔奎特 , Clément Tamines公司 , Leander Tentrup公司 , 亚当·沃克 :
反应合成竞赛(SYNTCOMP):2018-2021。 CoRR公司 腹肌/2206.00251 ( 2022 ) 2021 [公元12年] 米夏埃尔·卡迪尔哈克 :
Anup Rao和Amir Yehudayoff对通信复杂性和应用的回顾。 SIGACT新闻 52 ( 三 ) : 11-13 ( 2021 ) 2020 [公元11年] 沙乌尔·阿尔马戈 , 米夏·卡迪哈克 , 菲利普·马佐维耶基 , 吉列尔莫·A·佩雷斯 :
弱成本登记自动机仍然强大。 发现的国际期刊。 计算。 科学。 31 ( 6 ) : 689-709 ( 2020 ) [公元10年] 米夏·卡迪哈克 , 奥利维尔纸箱 , 查尔斯·帕普曼 :
功能传感器的连续性:有理函数的Profinite研究。 日志。 方法计算。 科学。 16 ( 1 ) ( 2020 ) [第14条] 米夏埃尔·卡迪尔哈克 , 德米特里·奇斯蒂科夫 , 乔治·泽采 :
Baumslag-Solitar群的有理子集。 ICALP公司 2020 : 116:1-116:16 [第13条] 米夏·卡迪哈克 , 菲利普·马佐维耶基 , 查尔斯·帕普曼 , 米查尔·皮利普祖克 , 盖劳德·塞尼泽格斯 :
关于多项式递归序列。 ICALP公司 2020 : 117:1-117:17 [第九章] 米夏·卡迪哈克 , 菲利普·马佐维耶基 , 查尔斯·帕普曼 , 迈克尔·皮利普祖克 , 盖劳德·塞尼泽格斯 :
关于多项式递归序列。 CoRR公司 abs/2002.08630 ( 2020 ) [i8] 米夏·卡迪哈克 , 德米特里·奇斯蒂科夫 , 乔治·泽采 :
Baumslag-Solitar群的有理子集。 CoRR公司 abs/2006.11898 ( 2020 )
2010 – 2019
2019 [c12] 米夏·卡迪哈克 , 吉列尔莫·A·佩雷斯 , 玛丽·范登·博加德 :
住院患者可以使用有限的乐观来减少后悔。 FoSSaCS公司 2019 : 133-149 2018 [公元9年] 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
Parikh自动机的代数理论。 理论计算。 系统。 62 ( 5 ) : 1241-1268 ( 2018 ) [第11条] 沙乌尔·阿尔马戈 , 米夏·卡迪哈克 , 菲利普·马佐维耶基 , 吉列尔莫·A·佩雷斯 :
弱成本登记自动机仍然强大。 分布式账本技术 2018 : 83-95 [i7] 米夏·卡迪哈克 , 奥利维尔纸箱 , 查尔斯·帕普曼 :
连续性和有理函数。 CoRR公司 abs/1802.10555 ( 2018 ) [i6] 沙乌尔·阿尔马戈 , 米夏·卡迪哈克 , 菲利普·马佐维耶基 , 吉列尔莫·A·佩雷斯 :
弱成本登记自动机仍然强大。 CoRR公司 abs/1804.06336 ( 2018 ) [i5] 米夏埃尔·卡迪尔哈克 , 吉列尔莫·A·佩雷斯 , 玛丽·范登·博加德 :
住院患者可以使用有限的乐观来减少后悔。 CoRR公司 abs/1811.07146 ( 2018 ) 2017 [第10条] 米夏·卡迪哈克 , 奥利维尔纸箱 , 查尔斯·帕普曼 :
连续性和有理函数。 ICALP公司 2017 : 115:1-115:14 【c9】 米夏·卡迪哈克 , 查尔斯·帕普曼 :
克雷恩海滩上的裂缝:有限度谓词。 低收入国家 2017 : 1-9 [i4] 米夏·卡迪哈克 , 查尔斯·帕普曼 :
鹤滩上的裂缝:有限度谓词。 CoRR公司 腹肌/1701.02673 ( 2017 ) 2016 [j8] 米夏·卡迪哈克 :
评论:理查德·邓拉普(Richard A.Dunlap)的《黄金比率和斐波那契数》(The Golden Ratio and Fibonacci Numbers)。 SIGACT新闻 47 ( 4 ) : 15-17 ( 2016 ) 【c8】 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 克劳斯·约恩·兰格 :
描述复杂性的语言理论方法。 分布式账本技术 2016 : 64-76 2015 【c7】 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 迈克尔·路德维希 , 查尔斯·帕普曼 :
转导的电路复杂性方法。 MFCS(1) 2015 : 141-153 [i3] 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 努坦·利马耶 :
带过滤器的值自动机。 CoRR公司 abs/1510.02393 ( 2015 ) 2014 [j7] 米夏·卡迪哈克 :
布鲁诺·库塞尔(Bruno Courcelle)和乔斯·恩格弗里特(Joost Engelfriet)的《图结构和一元二阶逻辑:语言理论方法述评》。 SIGACT新闻 45 ( 三 ) : 24-25 ( 2014 ) 【c6】 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
非常统一的分支程序。 NCMA公司 2014 : 73-83 2013 [j6] 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
明确的约束自动机。 发现的国际期刊。 计算。 科学。 24 ( 7 ) : 1099-1116 ( 2013 ) [j5] 米夏·卡迪哈克 :
Gilles Dowek的证明和算法综述(Maribel Fernandez翻译)。 SIGACT新闻 44 ( 4 ) : 35-37 ( 2013 ) 【c5】 米夏·卡迪哈克 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
Parikh自动机的代数理论。 计算机辅助教学 2013 : 60-73 [i2] 米夏埃尔·卡迪尔哈克 , 安德烈亚斯·克雷布斯 , 皮埃尔·麦肯齐 :
Parikh自动机的代数理论。 电子。 计算机学术讨论会。 复杂。 13号机房 ( 2013 ) 2012 【j4】 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
边界Parikh Automata。 发现的国际期刊。 计算。 科学。 23 ( 8 ) : 1691-1710 ( 2012 ) [j3] 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
仿射Parikh自动机。 RAIRO理论。 信息学应用。 46 ( 4 ) : 第511页至第545页 ( 2012 ) [注2] 米夏·卡迪哈克 :
重温由曼弗雷德·德罗斯特、沃纳·库伊奇和海科·福格勒编辑的加权自动机手册。 SIGACT新闻 43 ( 三 ) : 32-37 ( 2012 ) 【c4】 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
明确的约束自动机。 语言理论的发展 2012 : 239-250 2011 [j1] 米夏·卡迪哈克 :
《组合学评论:由David R.Mazur带领的旅行》。 SIGACT新闻 42 ( 三 ) : 34-36 ( 2011 ) 【c3】 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
Parikh自动机及其相关模型的表达性。 新冠肺炎 2011 : 103-119 【c2】 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
边界Parikh Automata。 话 2011 : 93-102 [i1] 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
冲向Parikh Automaton。 CoRR公司 abs/1101.1547 ( 2011 )
2000 – 2009
2006 【c1】 米夏·卡迪哈克 , 托马斯·赫罗特 , 理查德·拉赛因 , 西尔万·佩伦内特 , 塞巴斯蒂安·提克塞尔 :
使用APMC评估传感器网络的复杂MAC协议。 AVoCS公司 2006 : 33-46