安东尼奥·阿布·纳赛尔;沙乌尔·阿尔马戈 通过轮次字母对字母传感器进行模拟。 （英语） Zbl 07788991号 日志。方法计算。科学。 19，第4号，第19号论文，32页（2023年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abu Nassar}和\textit{S.Almagor}，Log。方法计算。科学。19，第4号，第19号论文，32页（2023年；Zbl 07788991） 全文： 内政部 arXiv公司 OA许可证
迪诺·曼德里奥利;马蒂奥·普拉德拉;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 运算符优先语言的非周期性、星-绿性和一阶逻辑可定义性。 （英语） Zbl 07788984号 日志。方法计算。科学。 19，第4号，第12号论文，55页（2023年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Mandrioli}等人，日志。方法计算。科学。19，第4号，第12号论文，55页（2023；Zbl 07788984） 全文： 内政部 arXiv公司 OA许可证
Balasubramanian，A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 （英语） Zbl 07753362号 日志。方法计算。科学。 19，第4号，第2号论文，44页（2023年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人，日志。方法计算。科学。19，第4号，第2号论文，44页（2023；Zbl 07753362） 全文： 内政部 arXiv公司 OA许可证
巴德·阿布·拉迪;奥尔纳·库普弗曼 基于GFG转换的自动机的最小化和规范化。 （英语） Zbl 07577580号 日志。方法计算。科学。 18，第3号，第16号论文，33页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Radi}和\textit{O.Kupferman}，日志。方法计算。科学。18，第3号，第16号论文，33页（2022；Zbl 07577580） 全文： arXiv公司 链接
莱奥·埃克巴德;艾曼纽·菲利奥特;内森·勒霍特;皮埃尔·阿莱·雷尼尔 不同数据域上数据字转换的可计算性。 （英语） Zbl 07577573号 日志。方法计算。科学。 18，第3号，第9号论文，41页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛L.Exibard｝等人，日志。方法计算。科学。18，第3号，第9号论文，41页（2022；Zbl 07577573） 全文： arXiv公司 链接
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长，大卫 大O问题。 （英语） Zbl 07566053号 日志。方法计算。科学。 18，第1号，第40号论文，50页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，《日志》。方法计算。科学。18，第1号，第40号论文，50页（2022；Zbl 07566053） 全文： arXiv公司 链接
埃蒂安·安德烈;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 参数时间自动机中的可达性和活性。 （英语） Zbl 07566044号 日志。方法计算。科学。 18，第1号，第31号文件，第41页（2022）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。18，第1号，第31号论文，41页（2022；Zbl 07566044） 全文： arXiv公司 链接
约书亚·默曼;马蒂奥·桑马蒂诺 非确定性标称自动机的Residiability和学习。 （英语） Zbl 07471718号 日志。方法计算。科学。 18，第1号，第29号论文，28页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Moerman}和\textit{M.Sammartino}，日志。方法计算。科学。18，第1号，第29号论文，第28页（2022；Zbl 07471718） 全文： arXiv公司 链接
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 （英语） Zbl 07471708号 日志。方法计算。科学。 18，第1号，第19号论文，32页（2022年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，日志。方法计算。科学。18，第1号，第19号论文，32页（2022；Zbl 07471708） 全文： arXiv公司 链接
玛丽亚·皮图;乔治·拉霍尼斯 基于参数化组件的系统中的体系结构：定性和定量建模。 （英语） Zbl 07471686号 日志。方法计算。科学。 17，第4号，第26号论文，53页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Pittou}和\textit{G.Rahonis}，Log。方法计算。科学。17，第4号，第26号论文，53页（2021；Zbl 07471686） 全文： arXiv公司 链接
电压表，尼尔斯;托马斯·泽姆 奇偶校验存在动态复杂性查询。 （英语） Zbl 07471669号 日志。方法计算。科学。 17，第4号，第9号论文，第26页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Vortmeier}和\textit{T.Zeume}，日志。方法计算。科学。17，第4号，第9号论文，第26页（2021；Zbl 07471669） 全文： arXiv公司 链接
阿米尔·本·阿姆拉姆。;杰夫·汉密尔顿 多项式空间中循环程序的紧多项式界。 （英语） Zbl 07471667号 日志。方法计算。科学。 17，第4号，第7号论文，51页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{G.Hamilton}，Log。方法计算。科学。17，第4号，第7号论文，51页（2021；Zbl 07471667） 全文： arXiv公司 链接
托马斯·普莱斯;马克·泽顿 点深度为2的分隔。 （英语） Zbl 07407796号 日志。方法计算。科学。 17，第3号，第24号论文，42页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}和\textit{M.Zeitoun}，日志。方法计算。科学。17，第3号，第24号论文，42页（2021；Zbl 07407796） 全文： arXiv公司 链接
亚历山大·拉比诺维奇;多龙·蒂费雷特 正则无限树语言的模糊层次。 （英语） Zbl 07407790号 日志。方法计算。科学。 17，第3号，第18号论文，28页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{D.Tiferet}，日志。方法计算。科学。17，第3号，第18号论文，28页（2021；Zbl 07407790） 全文： arXiv公司 链接
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 通过凸代数幂的分布双相似性。 （英语） Zbl 1480.18005号 日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）. 审核人：Ernst-Erich Doberkat（多特蒙德） 理学硕士：18立方厘米 03B42号 87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005） 全文： arXiv公司 链接
迈克尔·布隆丁;克里斯托夫·哈斯;菲利普·马佐维耶基;米哈伊尔·拉斯金 带状态的整数向量加法系统的仿射扩张。 （英语） Zbl 07407773号 日志。方法计算。科学。 17，第3号，第1号论文，第26页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，日志。方法计算。科学。17，第3号，第1号论文，第26页（2021；Zbl 07407773） 全文： arXiv公司 链接
汤马斯·马斯托普斯;马库斯·科洛奇 部分有序自动机和分段可测试性。 （英语） Zbl 07350780号 日志。方法计算。科学。 17，第2号，第14号论文，36页（2021年）.理学硕士：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Masopust}和\textit{M.Krötzsch}，Log。方法计算。科学。17，第2号，第14号论文，36页（2021；Zbl 07350780） 全文： arXiv公司 链接
约翰·费恩利;马丁·盖林;马蒂亚斯·姆尼奇;拉胡尔·萨瓦尼 可达性切换游戏。 （英语） Zbl 1499.68200号 日志。方法计算。科学。 17，第2号，第10号论文，29页（2021年）.理学硕士：60年第68季度 60J20型 2009年第68季度 第68季度10 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}等人，Log。方法计算。科学。17，第2号，第10号论文，第29页（2021年；Zbl 1499.68200） 全文： arXiv公司 链接
流亡，莱奥;艾曼纽·菲利奥特;皮埃尔·阿莱·雷尼尔 数据字换能器的合成。 （英语） Zbl 1509.68132号 日志。方法计算。科学。 17，第1号，第22号论文，第25页（2021年）.理学硕士：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人，日志。方法计算。科学。17，第1号，第22号论文，25页（2021；Zbl 1509.68132） 全文： arXiv公司 链接
安德烈亚斯·克雷布斯;卡马尔·洛达亚;帕里托什·K·潘迪亚。;霍华德·斯特劳宾 具有一些中间关系的二元逻辑：表达性、可满足性和隶属度。 （英语） Zbl 1534.03044号 日志。方法计算。科学。 16，第3号，第16号论文，41页（2020年）.理学硕士：05年3月 03B20型 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人，《日志》。方法计算。科学。16，第3号，第16号论文，41页（2020年；Zbl 1534.03044） 全文： arXiv公司 链接
迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 WSTS的正向分析。三： 卡普·米勒树。 （英语） Zbl 1491.68117号 日志。方法计算。科学。 16，第2号，第13号论文，33页（2020年）.理学硕士：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Blondin｝等人，日志。方法计算。科学。16，第2号，第13号论文，33页（2020年；Zbl 1491.68117） 全文： arXiv公司 链接
纳塔娜·菲亚尔科夫;斯特凡·基弗;马赫萨·希尔穆罕默德 标记马尔可夫决策过程中的迹精化。 （英语） Zbl 1475.68204号 日志。方法计算。科学。 16，第2号，第10号论文，28页（2020年）.理学硕士：68问题85 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，日志。方法计算。科学。16，第2号，第10号论文，28页（2020年；Zbl 1475.68204） 全文： arXiv公司 链接
阿米尔·本·阿姆拉姆。;杰夫·汉密尔顿 循环程序的紧多项式最坏情况边界。 （英语） Zbl 1528.68076号 日志。方法计算。科学。 16，第2号，第4号论文，39页（2020年）.理学硕士：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{G.Hamilton}，Log。方法计算。科学。16，第2号，第4号论文，39页（2020年；Zbl 1528.68076） 全文： arXiv公司 链接
帕里斯（Pawe Parys） 递归方案、MSO逻辑和U型量词。 （英语） Zbl 1528.68232号 日志。方法计算。科学。 16，第1号，第20号论文，23页（2020年）.理学硕士：60年第68季度 03B16号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys}，日志。方法计算。科学。16，第1号，第20号论文，23页（2020；Zbl 1528.68232） 全文： arXiv公司 链接
埃蒂安·安德烈;莱姆，迪迪埃;尼古拉斯·马基 参数时间自动机中的语言保存问题。 （英语） 兹比尔1429.68098 日志。方法计算。科学。 16，第1号，第5号论文，31页（2020年）.理学硕士：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，《日志》。方法计算。科学。16，第1号，第5号论文，31页（2020年；Zbl 1429.68098） 全文： arXiv公司
Mikołaj博扬奇克;巴托克·克林 一种由无限树组成的非正则语言，可由排序有限代数识别。 （英语） Zbl 1427.68178号 日志。方法计算。科学。 15，第4号，第11号论文，第13页（2019年）.理学硕士：70年第68季度 08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{B.Klin}，Log。方法计算。科学。15，第4号，第11号论文，第13页（2019年；Zbl 1427.68178） 全文： arXiv公司
丹尼斯·库珀伯格;阿尼尔班·马朱姆达尔 计算非确定性自动机的宽度。 （英语） Zbl 1440.68157号 日志。方法计算。科学。 15，第4号，第10号论文，第31页（2019年）. 审核人：彼得·科斯托兰尼（布拉迪斯拉发） 理学硕士：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuperberg}和\textit{A.Majumdar}，日志。方法计算。科学。15，第4号，第10号论文，31页（2019年；Zbl 1440.68157） 全文： arXiv公司
戈卡尔普·德米尔西;Mika Hirvensalo;克劳斯·莱因哈特;喂，A.C.杰姆;亚卡里·马茨，阿布泽尔 交替、私有交替和量子交替实时自动机。 （英语） Zbl 1509.68067号 日志。方法计算。科学。 15，第3号，第22号论文，21页（2019年）.理学硕士：04年第68季度 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Demirci}等人，日志。方法计算。科学。15，第3号，第22号论文，21页（2019年；Zbl 1509.68067） 全文： arXiv公司
维克托·马绍尔 使用LSDF约定确定可识别集的周期的有效算法。 （英语） Zbl 1437.68102号 日志。方法计算。科学。 15，第3号，第8号论文，第30页（2019）.理学硕士：65年第68季度 11B85号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Marsault}，日志。方法计算。科学。15，第3号，第8号论文，30页（2019年；Zbl 1437.68102） 全文： arXiv公司
普拉蒂克，卡兰迪卡尔;菲利普·施诺贝伦 分段测试语言的高度和子单词逻辑的复杂性。 （英语） Zbl 1421.68063号 日志。方法计算。科学。 15，第2号，第6号论文，27页（2019年）.理学硕士：19年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Karandikar}和\textit{P.Schnoebelen}，日志。方法计算。科学。15，第2号，第6号论文，27页（2019年；Zbl 1421.68063） 全文： arXiv公司
托马斯·普莱斯 用两种量词交替来分隔正则语言。 （英语） Zbl 1528.03173号 日志。方法计算。科学。 14，第4号，第16号论文，58页（2018年）.理学硕士：05年3月 03B10号机组 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}，日志。方法计算。科学。14，第4号，第16号论文，58页（2018；Zbl 1528.03173） 全文： 内政部 arXiv公司
哈什·贝哈尔;巴巴拉·科尼格;塞巴斯蒂安·库珀;亚历山德拉·席尔瓦;托尔斯滕·维曼 条件转换系统与升级的联合处理。 （英语） Zbl 1459.68137号 日志。方法计算。科学。 14，第1号，第19号论文，32页（2018年）.理学硕士：68问题85 18个C20 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Beohar}等人，日志。方法计算。科学。14，第1号，第19号论文，32页（2018；Zbl 1459.68137） 全文： 内政部 arXiv公司
Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特 流微分方程：规范格式和求解方法。 （英语） 兹比尔1451.68181 日志。方法计算。科学。 13，第1号，第3号论文，51页（2017年）.理学硕士：70年第68季度 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}等人，《日志》。方法计算。科学。13，第1号，第3号论文，51页（2017；Zbl 1451.68181） 全文： 内政部 arXiv公司