编辑配置文件（在新选项卡中打开） 洛丽斯·达安东尼 合著者距离 作者ID： 丹托尼·洛里斯 发布日期： 洛丽斯·达安东尼 外部链接： 逆戟鲸 已编制索引的文档： 27出版物自2008年起 合著者： 37位合著者具有27联合出版物 1027位合作作者 全部的 前5名合著者 0 单作者的 8 马古斯·维恩斯 5 胡、秦和平 4 拉杰夫·阿鲁尔 三 塞缪尔·德鲁斯 三 代表，Thomas W。 2 阿尔巴古提·奥斯 2 约翰·Cyphert 2 穆昆德·拉戈塔曼 1 阿迪蒂亚·阿凯拉 1 乔治·阿吉罗斯 1 洛伦佐·贝蒂尼 1 杰森·布雷克 1 罗伯特·科克伦。 1 马里奥·科普 1 马可·德卢卡 1 Jyotirmoy V.德斯穆赫。 1 马里亚纽拉州Dezani-Ciancaglini 1 费雷拉，蒂亚戈·A·E。 1 马丁·海弗里奇 1 金，金宇 1 扎卡里·金凯德 1 简·Křetínsk 1 本杰明·利夫希茨 1 大卫·莫尔纳 1 巴赞·莫扎法里 1 潘荣 1 伊曼纽尔·拉姆尼安图 1 马蒂奥·桑马蒂诺 1 亚历山德拉·席尔瓦 1 里沙布·辛格 1 考西克苏布拉曼尼亚语 1 王芳 1 马克西米利安·威宁格 1 吉田、Nobuko 1 袁一飞 1 卡洛·扎尼奥洛 1 曾凯 系列 1 ACM数据库系统事务 1 系统设计中的形式化方法 1 美国医学会杂志 领域 27 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用160中的次123文件 引用人▼ 年份▼ 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼；马里奥·科普；洛丽斯·达安东尼；马可·德卢卡；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 36 2008 常规功能和成本自动登记（特邀论文）。 Zbl 1366.68046号 拉杰夫·阿鲁尔；洛丽斯·达安东尼；乔蒂莫·德斯穆赫；穆昆德·拉戈塔曼；袁一飞 28 2013 符号自动机最小化。 Zbl 1284.68347号 洛丽斯·达安东尼；马古斯·维恩斯 20 2014 学习符号自动机。 Zbl 1452.68092号 塞缪尔·德鲁斯；洛丽斯·达安东尼 15 2017 符号自动机和传感器的威力。 Zbl 1494.68133号 洛丽斯·达安东尼；马古斯·维恩斯 12 2017 流树传感器。 兹比尔1367.68157 拉杰夫·阿鲁尔；洛丽斯·达安东尼 8 2012 流树传感器。 Zbl 1426.68136号 拉杰夫·阿鲁尔；洛丽斯·达安东尼 7 2017 DReX：一种声明性语言，用于有效评估常规字符串转换。 Zbl 1345.68032号 拉杰夫·阿鲁尔；洛丽斯·达安东尼；穆昆德·拉戈塔曼 6 2015 符号自动机的可学习性。 Zbl 1511.68137号 乔治·阿吉罗斯；洛丽斯·达安东尼 5 2018 扩展符号有限自动机和变换器。 Zbl 1341.68085号 洛丽斯·达安东尼；马古斯·维恩斯 4 2015 符号寄存器自动机。 Zbl 07805523号 洛丽斯·达安东尼；蒂亚戈·费雷拉；马蒂奥·桑马蒂诺；亚历山德拉·席尔瓦 4 2019 有限序列上的一元二阶逻辑。 Zbl 1387.03006号 洛丽斯·达安东尼；马古斯·维恩斯 三 2017 符号树自动机的最小化。 Zbl 1401.68159号 洛丽斯·达安东尼；马古斯·维恩斯 2 2016 字符串编码器和解码器的静态分析。 兹比尔1426.68043 洛丽斯·达安东尼；马古斯·维恩斯 2 2013 在不确定性下修复决策程序。 Zbl 1494.68046号 阿尔巴古提·奥斯；洛丽斯·达安东尼；塞缪尔·德鲁斯 2 2017 句法引导合成，具有定量句法目标。 Zbl 1511.68079号 胡钦和平；洛丽斯·达安东尼 2 2018 非确定性符号有限自动机的前向互模拟。 Zbl 1452.68103号 洛丽斯·达安东尼；马古斯·维恩斯 2 2017 具有渐近资源边界的综合。 Zbl 1493.68112号 胡、秦和平；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯 1 2021 证明了语法引导合成的不可实现性。 兹伯利07805540 胡、秦和平；杰森·布雷克；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯 1 2019 具有渐近资源边界的综合。 Zbl 1493.68112号 胡、秦和平；约翰·Cyphert；D＆rsquo的；洛丽斯·安东尼；代表，托马斯 1 2021 符号寄存器自动机。 Zbl 07805523号 D＆rsquo的；洛丽斯·安东尼；蒂亚戈·费雷拉；马蒂奥·桑马蒂诺；亚历山德拉·席尔瓦 4 2019 证明了语法引导合成的不可实现性。 兹伯利07805540 胡钦和平；杰森·布雷克；约翰·Cyphert；D＆rsquo的；洛丽斯·安东尼；代表，托马斯 1 2019 符号自动机的可学习性。 Zbl 1511.68137号 乔治·阿吉罗斯；D＆rsquo的；洛丽斯·安东尼 5 2018 句法引导合成，具有定量句法目标。 Zbl 1511.68079号 胡、秦和平；D＆rsquo的；洛丽斯·安东尼 2 2018 学习符号自动机。 Zbl 1452.68092号 塞缪尔·德鲁斯；D＆rsquo的；洛丽斯·安东尼 15 2017 符号自动机和传感器的威力。 Zbl 1494.68133号 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 12 2017 流树传感器。 Zbl 1426.68136号 拉杰夫·阿鲁尔；D＆rsquo的；安东尼，洛里斯 7 2017 有限序列上的一元二阶逻辑。 Zbl 1387.03006号 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 三 2017 在不确定性下修复决策程序。 Zbl 1494.68046号 阿尔巴古提·奥斯；D＆rsquo的；洛丽斯·安东尼；塞缪尔·德鲁斯 2 2017 非确定性符号有限自动机的前向互模拟。 兹比尔1452.68103 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 2 2017 符号树自动机的最小化。 Zbl 1401.68159号 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 2 2016 DReX：一种声明性语言，用于有效评估常规字符串转换。 Zbl 1345.68032号 拉杰夫·阿鲁尔；D＆rsquo的；洛丽斯·安东尼；穆昆德·拉戈塔曼 6 2015 扩展符号有限自动机和变换器。 Zbl 1341.68085号 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 4 2015 符号自动机的最小化。 Zbl 1284.68347号 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 20 2014 常规功能和成本自动登记（特邀论文）。 Zbl 1366.68046号 拉杰夫·阿鲁尔；D＆rsquo的；洛丽斯·安东尼；乔蒂莫·德斯穆赫；穆昆德·拉戈塔曼；袁一飞 28 2013 字符串编码器和解码器的静态分析。 兹比尔1426.68043 D＆rsquo的；洛丽斯·安东尼；马古斯·维恩斯 2 2013 流树传感器。 Zbl 1367.68157号 拉杰夫·阿鲁尔；D＆rsquo的；洛丽斯·安东尼 8 2012 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼；马里奥·科普；D＆rsquo的；洛丽斯·安东尼；马可·德卢卡；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 36 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名242位作者引用 10 马里亚纽拉州Dezani-Ciancaglini 10 吉田、Nobuko 8 达纳·菲斯曼 6 洛丽斯·达安东尼 5 卢卡·帕多瓦尼 4 萨拉·卡佩基 4 伊利亚州卡斯特拉尼 4 马里奥·科普 4 卢卡什·霍利克 4 Ondřej Lengál 4 菲利普·马佐维耶基 4 斯卡拉斯，阿尔凯斯特 4 汤姆·沃纳 三 埃里克·艾伦德。 三 安、杰 三 达纳州安格鲁因 三 马西莫·巴托莱蒂 三 克里希南德·查特吉 三 奥尔内拉·达达 三 约斯特·恩格尔弗里特 三 本田、高黑 三 福尔克·豪尔 三 安德烈亚斯·克雷布斯 三 塞巴斯蒂安·马内思 三 马古斯·维恩斯 三 詹伯华 2 拉杰夫·阿鲁尔 2 帕瓦内·巴巴里 2 劳拉·博奇 2 维维亚娜·博诺 2 奥利维尔·卡尔顿 2 罗曼·德曼根 2 西蒙·迪尔 2 曼弗雷德·德罗斯特 2 汤姆·菲多尔 2 伯恩德·芬克贝纳 2 西尔维娅·吉勒赞 2 埃琳娜·贾奇诺 2 保拉·吉安尼尼 2 拉杜·格里戈尔 2 沃伊特·哈夫勒纳 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 胡、秦和平 2 胡雷蒙德 2 斯特凡·基弗 2 温·科克 2 Anthony Widjaja林 2 皮埃尔·麦肯齐 2 法布里西奥·蒙泰西 2 迪米特里斯·莫斯特鲁斯 2 乌韦·内斯特曼 2 德扬·尼科维奇 2 奥托普，简 2 约万卡·潘托维奇 2 维塔利·佩雷沃什奇科夫 2 佩雷斯（Jorge A.Pérez）。 2 柯斯汀·彼得斯 2 穆昆德·拉戈塔曼 2 代表，Thomas W。 2 皮埃尔·阿莱·雷尼尔 2 克里斯蒂安·里维罗斯 2 贾努斯·施穆德 2 弘久世奇（Hiroyuki Seki） 2 伯恩哈德·斯特芬 2 Yoshiaki高田 2 埃米利奥·托斯托 2 贝蒂·文内里 2 雨果·托雷斯·维埃拉 2 克里斯托夫·瓦格纳。 2 詹乃军 2 张苗苗 2 罗伯托·祖尼诺 1 埃德加·A·阿吉拉尔。 1 沙乌尔·阿尔马戈 1 叶卡捷琳娜·阿拉法利奥娃 1 文森佐·阿塞里 1 川崎朝田 1 阿南德·巴拉克里希南 1 科伦蒂·巴洛伊 1 埃齐奥·巴托奇 1 David A.Basin。 1 安迪·贝杰利里 1 尼古拉斯·贝尔迪塞努 1 Michael A.Benedikt。 1 让·伯斯特尔 1 洛伦佐·贝蒂尼 1 乌鸦·贝特纳 1 尼古拉·S·比约纳。 1 罗德里克·布洛姆 1 吕克·博阿松 1 博迪，恰拉 1 阿德里安·博伊雷特 1 Mikołaj博扬奇克 1 劳拉，博泽利 1 阿希姆·D·布鲁克。 1 保罗·布鲁内特 1 米歇尔·卡迪尔哈克 1 路易斯·凯雷斯 1 马尔科·卡博尼 1 朱塞佩·卡斯塔尼亚 …还有142位作者 全部的 前5名18篇连载文章中引用 11 理论计算机科学 8 计算机科学中的逻辑方法 7 程序设计中的逻辑和代数方法杂志 6 MSCS公司。计算机科学中的数学结构 5 信息与计算 5 系统设计中的形式化方法 4 计算机与系统科学杂志 三 自动推理杂志 2 信息处理信件 1 信息学报 1 计算的形式方面 1 国际计算机科学基础杂志 1 分布式计算 1 约束条件 1 计算系统理论 1 计算机基础理论 1 ACM计算逻辑事务 1 非线性分析。混合动力系统 全部的 前5名在7个字段中引用 121 计算机科学（68至XX） 25 数理逻辑与基础（03-XX） 三 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 1 结合环与代数（16-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文