马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 迭代均匀有限状态传感器:非确定性和双向运动的描述复杂性。 (英语) Zbl 07770052号 J.自动化。语言梳。 28,编号1-3,59-88(2023).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,J.Autom。语言梳。28,编号1--3,59-88(2023;Zbl 07770052) 全文: 链接
马丁·库特里布;安德烈亚斯·马尔彻 元胞自动机一维模式生成。 (英语) Zbl 07733316号 自然计算。 21,第3期,361-375页(2022年).MSC公司:68问题80 第68季度第45季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},自然计算。21,第3号,361--375(2022;Zbl 07733316) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 输入驱动双头下推自动机。 (英语) Zbl 07726986号 发现的国际期刊。计算。科学。 33,编号3-4,285-311(2022).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,《国际法学杂志》发现。计算。科学。33,编号3--4,285--311(2022;Zbl 07726986) 全文: 内政部
霍尔格·博克·阿克塞尔森;马丁·库特里布;安德烈亚斯·马尔彻 可逆收缩双推自动机。 (英语) Zbl 07584596号 J.自动化。语言梳。 27,编号1-3,47-77(2022).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}等人,J.Autom。语言梳。27,编号1--3,47-77(2022;Zbl 07584596) 全文: 链接
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 关于输入驱动下推自动机的推动或静止运动的功率。 (英语) Zbl 07572318号 Caron,Pascal(编辑)等人,《自动机的实现与应用》。第26届国际会议,CIAA 2022,法国鲁昂,2022年6月28日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13266, 140-151 (2022).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。13266,140-151(2022;Zbl 07572318) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;克里斯蒂安·施耐德 具有无向状态图的有限自动机。 (英语) Zbl 1526.68006号 学报信息。 第1号第59页,第163-181页(2022年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《学报》第59期,第1期,第163--181页(2022年;Zbl 1526.68006) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一元语言上的迭代一致有限状态变换器。 (英语) Zbl 1490.68128号 Bureš,Tomáš(编辑)等人,《SOFSEM 2021:计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议,SOFSEM 2021,Bolzano-Bozen,意大利,2021年1月25-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12607, 218-232 (2021).MSC公司:第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。12607、218--232(2021;Zbl 1490.68128) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 元胞自动机一维模式生成。 (英语) Zbl 1492.68090号 Gwizdała,Tomasz M.(编辑)等人,《细胞自动机》。第十四届研究和工业细胞自动机国际会议,ACRI 2020,波兰罗兹,2020年12月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12599, 46-55 (2021).MSC公司:68问题80 第68季度第45季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。12599,46-55(2021;Zbl 1492.68090) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 挖掘输入驱动的下推自动机。 (英语) Zbl 1508.68197号 西奥·雷罗。通知。申请。 55,第6号论文,第19页(2021年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},RAIRO,Theor。通知。申请。55,第6号论文,第19页(2021;Zbl 1508.68197) 全文: 内政部
布鲁诺·吉隆;马丁·库特里布;安德烈亚斯·马尔彻;卢卡·普里吉奥尼埃罗 可逆下推式传感器。 (英语) Zbl 1518.68172号 Inf.计算。 281,文章ID 104813,16 p.(2021).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Guillon}等人,《信息计算》。281,文章ID 104813,16 p.(2021;Zbl 1518.68172) 全文: 内政部
安德烈亚斯·马尔彻 插入系统和相关模型的可决策性问题。 (英语) Zbl 1519.68112号 芬丹。通知。 180,编号1-2,53-76(2021).MSC公司:2012年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher},芬丹。通知。180,编号1--2,53-76(2021;Zbl 1519.68112) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 由元胞自动机生成字符串。 (英语) Zbl 1469.68068号 复杂系统。 30,编号2,111-132(2021).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},复杂系统。30,编号2,111--132(2021;Zbl 1469.68068) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 输入驱动的多计数器自动机。 (英语) Zbl 1504.68107号 西奥。计算。科学。 870, 121-136 (2021).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。870、121--136(2021年;Zbl 1504.68107) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 蜂窝串生成器。 (英语) Zbl 1467.68113号 Zenil,Hector(编辑),细胞自动机和离散复杂系统。第26届IFIP WG 1.5国际研讨会,AUTOMATA 2020,瑞典斯德哥尔摩,2020年8月10-12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12286, 59-70 (2020).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。12286,59-70(2020;Zbl 1467.68113) 全文: 内政部
霍尔格·博克·阿克塞尔森;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 通过预处理提升可逆下推和队列机器。 (英语) Zbl 1458.68083号 发现的国际期刊。计算。科学。 31,第8期,1021-1049(2020).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}等人,国际期刊发现。计算。科学。31,第8号,1021--1049(2020;Zbl 1458.68083) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 迭代均匀有限状态传感器的描述复杂性。 (英语) Zbl 1434.68272号 Hospodár,Michal(编辑)等人,《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议,2019年7月17日至19日,斯洛伐克科希策,DCFS 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11612, 223-234 (2019).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。11612223-234(2019年;兹比尔1434.68272) 全文: 内政部 哈尔
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 输入驱动的多计数器自动机。 (英语) Zbl 1434.68273号 Hospodár,Michal(编辑)等人,《自动机的实现和应用》。2019年7月22日至25日在斯洛伐克科希策举行的CIAA 2019第24届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11601, 197-208 (2019).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。11601、197--208(2019年;Zbl 1434.68273) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 用有限状态机进行可逆变换。 (英语) 兹比尔1429.68122 西奥。计算。科学。 787, 111-126 (2019).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。787111--126(2019年;Zbl 1429.68122) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;克里斯蒂安·施耐德 具有无向状态图的有限自动机。 (英语) Zbl 1435.68176号 Konstantinidis,Stavros(编辑)等人,《形式系统的描述复杂性》。第20届IFIP工作组1.02国际会议,2018年7月25日至27日,加拿大NS哈利法克斯,DCFS 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10952, 212-223 (2018).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。10952121-223(2018年;兹比尔1435.68176) 全文: 内政部 哈尔
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 队列自动机:基础和发展。 (英语) Zbl 1434.68274号 Adamatzky,Andrew(编辑),可逆性和普遍性。在森田贤一70岁生日之际,向他提交了论文。查姆:斯普林格。Emerg.复杂。计算。30, 385-431 (2018).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《新兴复合体》。计算。30385--431(2018年;Zbl 1434.68274) 全文: 内政部
西蒙·拜尔;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 跳入队列。 (英语) Zbl 1423.68243号 西奥·雷罗。通知。申请。 52,编号2-4,89-110(2018).MSC公司:第68季度第45季度 2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Beier}等人,RAIRO,Theor。通知。申请。52,编号2--4,89-110(2018;Zbl 1423.68243) 全文: 内政部
布鲁诺·吉隆;马丁·库特里布;安德烈亚斯·马尔彻;卢卡·普里吉奥尼埃罗 可逆下推式传感器。 (英语) Zbl 1517.68191号 Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 354-365 (2018).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Guillon}等人,Lect。注释计算。科学。11088、354--365(2018;Zbl 1517.68191) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 通过预处理提升下推和排队机器。 (英语) 兹比尔1458.68104 Cámpeanu,Cezar(编辑),自动化的实现和应用。2018年7月30日至8月2日在加拿大PE夏洛特敦举行的CIAA 2018第23届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10977, 28-40 (2018).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kutrib}等人,Lect。注释计算。科学。10977,28-40(2018;Zbl 1458.68104) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 收缩的单向细胞自动机。 (英语) Zbl 07802333号 自然计算。 16,第3期,383-396(2017).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《自然计算》。16,第3号,383--396(2017;Zbl 07802333) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 输入驱动双头下推自动机。 (英语) Zbl 1483.68172号 Csuhaj-Varjú,Erzsébet(编辑)等人,第15届国际自动机和形式语言会议论文集,2017年9月4-6日,AFL’17,匈牙利德布勒森。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)252128-142(2017)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)252128--142(2017;Zbl 1483.68172) 全文: arXiv公司 链接
马丁·库特里布;安德烈亚斯·马尔彻 具有集合存储的迭代数组。 (英语) Zbl 1432.68231号 J.细胞。自动。 12、第1-2、7-26号(2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},J.Cell。自动化。12,编号1--2,7--26(2017;Zbl 1432.68231) 全文: 链接
安德烈·赫尔曼;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 有界正则语言的描述复杂性。 (英语) Zbl 1392.68217号 J.自动化。语言梳。 22,编号1-3,93-121(2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Herrmann}等人,J.Autom。语言梳。22,编号1--3,93-121(2017;Zbl 1392.68217) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 具有可逆Mealy细胞的快速单向细胞自动机。 (英语) Zbl 1451.68184号 Dennunzio,Alberto(编辑)等人,《细胞自动机和离散复杂系统》。2017年6月7日至9日,意大利米兰,2017年AUTOMATA,第23届IFIP WG 1.5国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10248, 139-150 (2017).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。10248139-150(2017;Zbl 1451.68184) 全文: 内政部 哈尔
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 Tinput驱动的下推、计数器和堆栈自动机。 (英语) Zbl 1378.68107号 芬丹。通知。 155,编号1-2,59-88(2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Fundam。通知。155,编号1--2,59-88(2017;Zbl 1378.68107) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 用有限状态机进行可逆变换。 (英语) Zbl 1429.68121号 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329151-162(2017年)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。10329,151--162(2017;Zbl 1429.68121) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 单向可逆多头有限自动机。 (英语) Zbl 1371.68156号 西奥。计算。科学。 682, 149-164 (2017).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。682149-164(2017年;Zbl 1371.68156) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 可逆队列自动机。 (英语) Zbl 1374.68261号 芬丹。通知。 148,编号3-4,341-368(2016).MSC公司:第68季度第45季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Fundam。通知。148,编号3--4,341--368(2016;Zbl 1374.68261) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 当输入驱动的下推自动机满足可逆性时。 (英语) Zbl 1362.68149号 西奥·雷罗。通知。申请。 50,第4期,313-330(2016).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,RAIRO,Theor。通知。申请。50,第4号,313--330(2016;Zbl 1362.68149) 全文: 内政部
安德烈·赫尔曼;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 有界正则语言的描述复杂性。 (英语) Zbl 1476.68130号 Cámpeanu,Cezar(编辑)等人,《形式系统的描述复杂性》。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9777, 138-152 (2016).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Herrmann}等人,Lect。注释计算。科学。9777,138--152(2016;Zbl 1476.68130) 全文: 内政部 哈尔
霍尔格·博克·阿克塞尔森;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 通过预处理提升可逆下推机器。 (英语) Zbl 1476.68124号 Devitt,Simon(编辑)等人,《可逆计算》。2016年7月7日至8日,第八届国际会议,RC 2016,意大利博洛尼亚。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9720, 89-104 (2016).MSC公司:第68季度第45季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}等人,Lect。注释计算。科学。9720,89-104(2016年;兹比尔1476.68124) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 设置自动机。 (英语) Zbl 1352.68134号 发现的国际期刊。计算。科学。 27,第2期,187-214(2016). 审核人:安德烈亚斯·马莱蒂(斯图加特) MSC公司:第68季度第45季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《国际法学杂志》发现。计算。科学。27,第2号,187--214(2016;Zbl 1352.68134) 全文: 内政部
霍尔格·博克·阿克塞尔森;马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 可逆收缩双推自动机。 (英语) Zbl 1443.68080号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 579-591 (2016).MSC公司:第68季度第45季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}等人,Lect。注释计算。科学。9618579-591(2016;Zbl 1443.68080) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 具有内部转换的输入驱动队列自动机。 (英语) Zbl 1443.68090号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9618, 156-167 (2016).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。9618,156-167(2016;Zbl 1443.68090) 全文: 内政部
霍尔格·博克·阿克塞尔森;塞巴斯蒂安·雅各比;马丁·库特里布;安德烈亚斯·马尔彻 快速可逆图灵机的层次结构。 (英语) Zbl 1464.68103号 Krivine,Jean(编辑)等人,《可逆计算》。2015年7月16日至17日,第七届国际会议,RC 2015,法国格勒诺布尔。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9138,29-44(2015年)。MSC公司:04年第68季度 2009年第68季度 2015年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}等人,Lect。注释计算。科学。9138,29-44(2015;Zbl 1464.68103) 全文: 内政部
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 返回具有通信边界的并行通信有限自动机:层次结构、可判定性和不可判定性。 (英语) Zbl 1338.68141号 发现的国际期刊。计算。科学。 26,第8期,1101-1126(2015).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,国际发现杂志。计算。科学。26,第8号,1101--1126(2015;Zbl 1338.68141) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 Tinput驱动下推自动机。 (英语) Zbl 1415.68135号 Durand-Lose,Jéróme(编辑)等人,《机器、计算和普遍性》。2015年9月9日至11日在北塞浦路斯法马古斯塔举行的MCU 2015第七届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9288194-112(2015年)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。9288,94-112(2015;Zbl 1415.68135) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 收缩的单向细胞自动机。 (英语) Zbl 1432.68283号 Kari,Jarkko(编辑),细胞自动机和离散复杂系统。第21届IFIP WG 1.5国际研讨会,AUTOMATA 2015,芬兰图尔库,2015年6月8日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9099, 141-154 (2015).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。9099,141--154(2015;Zbl 1432.68283) 全文: 内政部 哈尔
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 实时可逆单向细胞自动机。 (英语) Zbl 1432.68282号 Isokawa,Teijiro(编辑)等人,《细胞自动机和离散复杂系统》。2014年7月7日至9日,日本Himeji,AUTOMATA 2014第20届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8996, 56-69 (2015).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。8996,56-69(2015;Zbl 1432.68282) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺;马蒂亚斯·温德兰特 确定性输入驱动队列自动机:有限圈、可判定性和闭包属性。 (英语) Zbl 1312.68122号 西奥。计算。科学。 578, 58-71 (2015).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kutrib}等人,Theor。计算。科学。578、58--71(2015;Zbl 1312.68122) 全文: 内政部
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 测量并行通信有限自动机中的通信。 (英语) Zbl 1464.68151号 埃西克、佐尔坦(编辑)等,《第14届国际自动机和形式语言会议论文集》,AFL’14,塞格德,匈牙利,2014年5月27日至29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)151124-138(2014)。MSC公司:第68季度第45季度 2006年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,《电子》。程序。西奥。计算。科学。(EPTCS)151124--138(2014;Zbl 1464.68151) 全文: arXiv公司 链接
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 带卵石的无状态单向多头有限自动机。 (英语) Zbl 1318.68109号 发现的国际期刊。计算。科学。 25,第8期,1141-1159(2014). 审核人:安德烈亚斯·马莱蒂(斯图加特) MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《国际法学杂志》发现。计算。科学。25,第8号,1141--1159(2014;Zbl 1318.68109) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 一元单向多头有限自动机的仿真。 (英语) Zbl 1320.68112号 发现的国际期刊。计算。科学。 25,第7期,877-896(2014).MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《国际发现杂志》。计算。科学。25,第7号,877--896(2014;Zbl 1320.68112) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 一元多头有限自动机的头和状态层次结构。 (英语) Zbl 1304.68110号 学报信息。 51,第8期,553-569(2014).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《信息学报》51,第8期,553--569(2014年;Zbl 1304.68110) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 确定性集自动机。 (英语) Zbl 1344.68123号 Shur,Arseny M.(编辑)等,《语言理论的发展》。2014年8月26日至29日,俄罗斯叶卡捷琳堡,DLT 2014第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-09697-1/pbk)。计算机科学讲座笔记8633,303-314(2014)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。8633,303--314(2014;Zbl 1344.68123) 全文: 内政部 链接
马丁·库特里布;安德烈亚斯·马尔彻 测量自动化系统中的通信(特邀论文)。 (英语) Zbl 1425.68214号 Shur,Arseny M.(编辑)等,《语言理论的发展》。2014年8月26日至29日,俄罗斯叶卡捷琳堡,DLT 2014第18届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8633, 260-274 (2014).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。8633,260-274(2014;Zbl 1425.68214) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 集合自动机的正则性和大小。 (英语) Zbl 1416.68103号 Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2014年8月5日至8日,第16届国际研讨会,DCFS 2014,芬兰图尔库。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8614, 282-293 (2014).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。8614282-293(2014年;兹比尔1416.68103) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;乔瓦尼·皮奇奇尼 遗忘双向有限自动机:可判定性和复杂性。 (英语) Zbl 1360.68567号 Inf.计算。 237, 294-302 (2014).MSC公司:第68季度第45季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《信息计算》。237、294--302(2014年;Zbl 1360.68567) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 单向可逆多头有限自动机。 (英语) 兹比尔1451.68152 Glück,Robert(编辑)等人,《可逆计算》。2012年7月2日至3日,第四届国际研讨会,RC 2012,丹麦哥本哈根。修订论文。柏林:斯普林格。莱克特。注释计算。科学。7581, 14-28 (2013).MSC公司:第68季度第45季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。7581,14-28(2013;Zbl 1451.68152) 全文: 内政部
安德烈亚斯·马尔彻;乔瓦尼·皮奇奇尼 有界无上下文语言的描述复杂性。 (英语) Zbl 1358.68173号 Inf.计算。 227, 1-20 (2013).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}和\textit{G.Pighizzini},信息计算。227,1--20(2013;Zbl 1358.68173) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 一元单向多头有限自动机的大小。 (英语) Zbl 1304.68109号 Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39309-9/pbk)。计算机科学课堂讲稿8031148-159(2013)。MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。8031、148--159(2013;Zbl 1304.68109) 全文: 内政部
维利亚姆·格弗特;安德烈亚斯·马尔彻;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 下推存储语言的有限状态自动机的直接构造。 (英语) Zbl 1388.68171号 Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39309-9/pbk)。计算机科学课堂讲稿8031,90-101(2013)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}等人,Lect。注释计算。科学。8031、90-101(2013;Zbl 1388.68171) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺;马蒂亚斯·温德兰特 输入驱动队列自动机:有限圈、可判定性和闭包属性。 (英语) Zbl 1298.68147号 Konstantinidis,Stavros(编辑),自动化的实现和应用。2013年7月16日至19日,加拿大新南威尔士州哈利法克斯,2013年CIAA第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39273-3/pbk)。计算机科学课堂讲稿7982232-243(2013)。MSC公司:第68季度第45季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。798232-243(2013年;兹bl 1298.68147) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 具有卵石但没有状态的单向多头有限自动机。 (英语) Zbl 1381.68125号 Béal,Marie-Pierre(编辑)等,《语言理论的发展》。2013年6月18日至21日,第17届国际会议,DLT 2013,法国马内拉瓦莱。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38770-8/pbk)。计算机科学课堂讲稿7907313-324(2013)。MSC公司:第68季度第45季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。7907313--324(2013;Zbl 1381.68125) 全文: 内政部
安德烈亚斯·马尔彻;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 下推存储语言的描述复杂性。 (英语) Zbl 1322.68124号 J.自动化。语言梳。 17,编号2-4,225-244(2012).MSC公司:第68季度第45季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,J.Autom。语言梳。17、编号2--4、225-244(2012;Zbl 1322.68124) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 可逆下推自动机。 (英语) Zbl 1250.68166号 J.计算。系统。科学。 78,第6期,1814-1827(2012).MSC公司:第68季度第45季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},J.Compute。系统。科学。78,No.6,1814--1827(2012;Zbl 1250.68166) 全文: 内政部
安德烈亚斯·马尔彻;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 下推存储语言的描述复杂性。 (英语) Zbl 1304.68111号 Kutrib,Martin(编辑)等人,《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31622-7/pbk)。计算机科学讲义7386209-221(2012)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,Lect。注释计算。科学。7386、209--221(2012;Zbl 1304.68111) 全文: 内政部 链接
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 状态和头对于一元多头有限自动机是有意义的。 (英语) Zbl 1370.68183号 Yen,Hsu-Chun(编辑)等,《语言理论的发展》。第16届国际会议,DLT 2012,台湾台北,2012年8月14-17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31652-4/pbk)。计算机科学课堂讲稿7410,214-225(2012)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。7410,214--225(2012;Zbl 1370.68183) 全文: 内政部
克里斯蒂安·乔夫鲁特;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一阶逻辑:一些特征和闭包性质。 (英语) Zbl 1279.68143号 学报信息。 49,第4期,225-248(2012).MSC公司:第68季度第45季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}等人,《信息学报》第49期,第4期,第225--248页(2012年;Zbl 1279.68143) 全文: 内政部
苏娜·本施;马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 输入驱动的堆栈自动机。 (英语) Zbl 1362.68127号 Baeten,Jos C.M.(编辑)等人,《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议,2012年TCS,荷兰阿姆斯特丹,2012年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33474-0/pbk)。计算机科学课堂讲稿7604,28-42(2012)。MSC公司:第68季度第45季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensch}等人,Lect。注释计算。科学。7604,28-42(2012年;兹比尔1362.68127) 全文: 内政部 哈尔
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 并行通信有限自动机的计算能力。 (英语) Zbl 1279.68133号 发现的国际期刊。计算。科学。 23,第3期,713-732(2012).MSC公司:第68季度第45季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,国际期刊发现。计算。科学。23,第3号,713--732(2012;Zbl 1279.68133) 全文: 内政部
马丁·卡普斯;安德烈亚斯·马尔彻;沃奇克,德特勒夫 纪念钱德拉·金塔拉。 (英语) Zbl 1246.01037号 发现的国际期刊。计算。科学。 23,第1期,5-19(2012).MSC公司:01A70号 19年第68季度 第68季度第45季度 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Kappes}等人,国际期刊发现。计算。科学。23、编号1、5--19(2012;Zbl 1246.01037) 全文: 内政部
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 具有受限头部反转的双向下推自动机的描述复杂性。 (英语) Zbl 1276.68094号 西奥。计算。科学。 449, 119-133 (2012). 审核人:乔瓦尼·皮奇奇尼(米兰) MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,Theor。计算。科学。449、119--133(2012年;Zbl 1276.68094) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;乔瓦尼·皮奇奇尼 遗忘双向有限自动机:可判定性和复杂性。 (英语) 兹比尔1353.68168 Fernández-Baca,David(编辑),《拉丁语2012:理论信息学》。第十届拉丁美洲研讨会,2012年4月16日至20日,秘鲁阿雷基帕。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-29343-6/pbk)。计算机科学课堂讲稿7256,518-529(2012)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。7256、518--529(2012;Zbl 1353.68168) 全文: 内政部
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 并行通信有限自动机的不确定性和层次性结果。 (英语) Zbl 1252.68165号 发现的国际期刊。计算。科学。 22,第7期,1577-1592(2011).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,国际期刊发现。计算。科学。22,第7号,1577--1592(2011;Zbl 1252.68165) 全文: 内政部
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 具有受限头部反转的双向下推自动机的描述复杂性。 (英语) 兹比尔1341.68100 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲座笔记6808248-260(2011)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,Lect。注释计算。科学。6808248--260(2011年;Zbl 1341.68100) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 细胞间带宽有限的细胞自动机。 (英语) Zbl 1216.68174号 西奥。计算。科学。 412,第30号,3917-3931(2011).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。412,第30号,3917-3931(2011;Zbl 1216.68174) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 两方Watson-Crick计算。 (英语) Zbl 1297.68148号 Domaratzki,Michael(编辑)等人,《自动机的实现和应用》。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学讲义6482191-200(2011)。MSC公司:第68季度第45季度 2005年第68季度 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。6482、191--200(2011年;Zbl 1297.68148) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 多头有限自动机的复杂性:起源和方向。 (英语) Zbl 1207.68188号 西奥。计算。科学。 412,编号1-2,83-96(2011).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。412,编号1--2,83-96(2011;Zbl 1207.68188) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 单向细胞自动机、有界语言和最小通信。 (英语) Zbl 1345.68210号 J.自动化。语言梳。 15,编号1/2,135-153(2010).MSC公司:第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},J.Autom。语言梳。15,编号1/2,135--153(2010;Zbl 1345.68210) 全文: 内政部
马丁·库特里布;乔纳斯·列夫雷;安德烈亚斯·马尔彻 单向细胞自动机的大小。 (英语) 兹比尔1323.68393 Fatès,Nazim(编辑)等人,《自动化》,2010年。2010年6月14日至16日,在法国南希举行的第16届细胞自动机(CA)和离散复杂系统(DCS)国际研讨会上,根据演讲内容选择论文。南希:协会。离散数学与理论计算机科学(DMTCS)。离散数学和理论计算机科学。诉讼,71-90,仅电子版(2010年)。MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,摘自:Automata 2010。2010年6月14日至16日,在法国南希举行的第16届细胞自动机(CA)和离散复杂系统(DCS)国际研讨会上,根据演讲选择了论文。南希:协会。离散数学与理论计算机科学(DMTCS)。71-90(2010年;Zbl 1323.68393) 全文: 链接
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 次线性空间有界迭代阵列。 (英语) Zbl 1207.68215号 发现的国际期刊。计算。科学。 21,第5期,843-858(2010).MSC公司:68问题80 第68季度第45季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,《国际法学杂志》发现。计算。科学。21,编号5,843-858(2010年;Zbl 1207.68215) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 具有稀疏通信的细胞自动机。 (英语) Zbl 1207.68214号 西奥。计算。科学。 411,编号38-39,3516-3526(2010).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。411、编号38-39、3516-3526(2010;Zbl 1207.68214) 全文: 内政部 链接
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 并行通信有限自动机的不确定性和层次性结果。 (英语) Zbl 1250.68147号 高元(主编)等,语言理论的发展。2010年8月17日至20日,第14届国际会议,DLT 2010,加拿大安大略省伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14454-7/pbk)。计算机科学课堂讲稿622488-99(2010)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Lect。注释计算。科学。622488-99(2010年;Zbl 1250.68147) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 可逆下推自动机。 (英语) Zbl 1284.68356号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13088-5/pbk)。计算机科学课堂讲稿6031368-379(2010)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。6031368--379(2010年;Zbl 1284.68356) 全文: 内政部
克里斯蒂安·乔夫鲁特;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 论FO[+]的表现力。 (英语) Zbl 1284.68343号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13088-5/pbk)。计算机科学课堂讲稿6031190-201(2010)。MSC公司:第68季度第45季度 05年3月 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}等人,Lect。注释计算。科学。603190-201(2010年;Zbl 1284.68343) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 实时可逆迭代阵列。 (英语) Zbl 1183.68345号 西奥。计算。科学。 411,No.4-5,812-822(2010).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。411,编号4--5,812--822(2010;Zbl 1183.68345) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 有界语言与细胞自动机之间的通信稀疏。 (英语) Zbl 1456.68091号 Dassow,Jürgen(编辑)等人,第十一届正式系统描述复杂性国际研讨会,德国马格德堡,2009年7月6日至9日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3,163-172(2009)。MSC公司:第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},电子。程序。西奥。计算。科学。(EPTCS)3,163--172(2009;Zbl 1456.68091) 全文: 链接
马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 多头有限自动机:特征、概念和开放问题。 (英语) Zbl 1456.68089号 Neary,Turlough(编辑)等人,简单程序复杂性国际研讨会,爱尔兰科克,2008年12月6日至7日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193-107(2009)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,《电子》。程序。西奥。计算。科学。(EPTCS)1,93--107(2009;Zbl 1456.68089) 全文: arXiv公司 链接
马丁·库特里布;安德烈亚斯·马尔彻 关于单向一位(O)(一)消息元胞自动机。 (英语) Zbl 1338.68184号 de Oliveira,Pedro P.B.(ed.)等人,第15届细胞自动机和离散复杂系统国际研讨会论文集,巴西圣保罗,2009年10月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》25277-91(2009)。MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},电子。理论注释。计算。科学。25277--91(2009年;Zbl 1338.68184) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 通信受限的迭代阵列的计算和可判定性。 (英语) 兹比尔1519.68149 并行过程。莱特。 19,第2期,247-264(2009).MSC公司:68问题80 第68季度第45季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},并行过程。莱特。19,第2号,247--264(2009;Zbl 1519.68149) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;拉里萨·沃林 下推自动机中的调节不确定性。 (英语) Zbl 1194.68142号 西奥。计算。科学。 410,第37号,3447-3460(2009).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。410,编号37,3447--3460(2009;Zbl 1194.68142) 全文: 内政部
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 关于并行通信有限自动机的计算能力。 (英语) Zbl 1161.68513号 伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257146-157(2008)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Lect。注释计算。科学。5257、146--157(2008年;Zbl 1161.68513) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 使用细胞自动机的快速可逆语言识别。 (英语) Zbl 1154.68082号 Inf.计算。 206,编号9-10,1142-1151(2008).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},信息计算。206,编号9--10,1142--1151(2008;Zbl 1154.68082) 全文: 内政部
雷姆科·卢斯;安德烈亚斯·马尔彻;沃奇克,德特勒夫 拼接系统的描述复杂性。 (英语) Zbl 1156.68032号 发现的国际期刊。计算。科学。 第4813-826号第19页(2008年).MSC公司:第68季度第45季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Loos}等人,发现国际期刊。计算。科学。19,第4号,813--826(2008;Zbl 1156.68032) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;沃奇克,德特勒夫 线性无上下文语言的布尔闭包。 (英语) Zbl 1144.68035号 学报信息。 45,第3期,177-191(2008).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《信息学报》第45期,第3期,第177--191页(2008年;Zbl 1144.68035) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 当Church-Rosser脱离上下文时。 (英语) Zbl 1183.68344号 发现的国际期刊。计算。科学。 18,第6号,1293-1302(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},国际期刊发现。计算。科学。18,第6号,1293--1302(2007;Zbl 1183.68344) 全文: 内政部
安德烈亚斯·马尔彻 有限回转下推自动机之间的递归和非递归权衡。 (英语) Zbl 1149.68394号 J.自动化。语言梳。 12,编号1-2,265-277(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher},J.Autom。语言梳。12,编号1--2,265--277(2007;Zbl 1149.68394) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;拉里萨·韦莱因 下推自动机中的调节不确定性。 (英语) Zbl 1139.68370号 Holub,Jan(编辑)等人,《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-76335-2/pbk)。计算机科学课堂讲稿4783,85-96(2007)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。4783、85-96(2007年;Zbl 1139.68370) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 实时可逆迭代数组。 (英语) Zbl 1132.68457号 Csuhaj-Varjü,Erzébet(编辑)等人,《计算理论基础》。2007年8月27日至30日在匈牙利布达佩斯举行的2007年FCT第16届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74239-5/pbk)。计算机科学课堂讲稿4639,376-387(2007)。MSC公司:第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。4639,376--387(2007;Zbl 1132.68457) 全文: 内政部
安德烈亚斯·马尔彻;乔瓦尼·皮奇奇尼 有界无上下文语言的描述复杂性。 (英语) Zbl 1202.68233号 Harju,Tero(编辑)等人,《语言理论的发展》。第11届国际会议,DLT 2007,芬兰图尔库,2007年7月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73207-5/pbk)。计算机科学课堂讲稿4588,312-323(2007)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}和\textit{G.Pighizini},莱克特。注释计算。科学。4588312-323(2007年;兹比尔1202.68233) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 线性无上下文语言的有限圈和正则闭包。 (英语) Zbl 1123.68062号 离散应用程序。数学。 155,第16号,2152-2164(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},离散应用。数学。155,第16号,2152--2164(2007;Zbl 1123.68062) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 下推自动机的上下文相关不确定性。 (英语) Zbl 1111.68060号 西奥。计算。科学。 376,编号1-2,101-111(2007).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。376,编号1--2,101-111(2007;Zbl 1111.68060) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 下推自动机的上下文相关不确定性。 (英语) Zbl 1227.68062号 Ibarra,Oscar H.(编辑)等人,《语言理论的发展》。2006年6月26日至29日,第十届国际会议,DLT 2006,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:施普林格出版社(ISBN 3-540-35428-X/pbk)。计算机科学课堂讲稿4036133-144(2006)。MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。4036、133--144(2006年;Zbl 1227.68062) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 限制细胞间通信的快速迭代阵列:构造和可判定性。 (英语) Zbl 1132.68456号 Králović,Rastislav(编辑)等人,《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37791-3/pbk)。《计算机科学讲义》4162634-645(2006)。MSC公司:第68季度第45季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},莱克特。注释计算。科学。4162634--645(2006年;Zbl 1132.68456) 全文: 内政部
安德烈亚斯·马尔彻 在细胞自动机中与固定数量的细胞进行双向通信。 (英语) Zbl 1078.68101号 西奥。计算。科学。 330,第2号,325-338(2005).MSC公司:68问题80 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Malcher},Theor。计算。科学。330,第2号,325--338(2005;Zbl 1078.68101) 全文: 内政部