编辑配置文件（在新选项卡中打开） Legay、Axel 合著者距离 作者ID： legay.axel公司 发布日期： Legay、Axel 已编制索引的文档： 107出版物自2003年以来，包括1个附加arXiv预打印 8作为编辑的贡献 合著者： 120位合著者具有113联合出版物 2514位合作作者 全部的 前5名合著者 0 单作者的 30 乌里·法伦贝格 25 金·古德斯特兰·拉森 17 安德烈·索夫斯基 12 贝诺·德拉哈耶 10 法布里西奥·比昂迪 10 路易斯·马里·特劳努埃兹 7 亚历山大·戴维 6 丹尼·鲍尔森（Danny Bougsted Poulsen） 6 托马斯·吉文·威尔森 6 皮埃尔·沃尔珀 5 佐尔坦·埃西克 5 米克尔·莱克·佩德森 5 苏菲·平奇纳特 5 卡琳·夸斯 5 肖恩·塞德瓦兹 4 塞巴斯蒂安·鲍尔。 4 劳拉·博泽利 4 阿列克桑达尔·迪莫夫斯基。 4 克劳斯·苏兰（Claus R.Thrane）。 三 贝努伊特Caillaud 三 马可·费拉 三 安妮莉·希瑟 三 西里尔·杰古尔 三 Juhl，Line公司 三 简·Křetínsk 三 帕斯夸尔马拉卡里亚 三 马吕斯·米库西奥尼斯 三 尼尔森，Bo Fries 三 乌尔里克·尼曼 三 莫西·亚亚科夫·瓦尔迪 2 帕罗什·阿齐兹·阿卜杜拉 2 Ted Bohdan Belytschko 2 尼古拉·贝内什 2 伯纳德·博伊格洛特 2 彼得·布利切夫（Peter E.Bulychev）。 2 大卫·卡切拉 2 弗朗索瓦·坎廷 2 马克西姆·科尔迪 2 卢卡·德·阿尔法罗 2 德奥索，朱利安 2 JoséLuiz Fiadeiro 2 油炸，Dror 2 汉森、雷内·里多夫 2 Joost-Pieter卡托恩 2 川本优助 2 莱姆，迪迪埃 2 安托尼亚州洛佩斯 2 蒂齐亚娜·玛格丽亚 2 乔尔·欧·瓦克宁。 2 迈克，帕帕达基斯 2 斯捷潘·皮切克 2 Jean-Baptiste Raclet女士 2 艾哈迈德·雷兹 2 皮埃尔·伊夫·肖本斯 2 福尔克·谢尔 2 王，郑 1 卢卡·埃特罗 1 泽维尔·阿拉米吉恩 1 本杰明·阿米诺夫 1 斯文·阿佩尔 1 西拉·阿罗拉 1 西里尔·阿尔托 1 乔治·巴奇 1 乔瓦尼·巴奇 1 埃里克·巴杜埃尔 1 萨德克·本萨勒姆 1 阿尔伯特·本文尼斯特 1 瓦莱里亚·贝塔科 1 Nathalie Bertrand 1 希瓦姆·巴辛 1 艾哈迈德·博阿贾尼 1 蒂莫西·布鲁克 1 马里乌斯·博兹加 1 罗希特·查达 1 克里希南德·查特吉 1 Chessa，杰克 1 克拉克（Edmund Melson jun Clarke）。 1 伊奥娜·多姆尼纳·克里斯特斯库 1 达席尔瓦，莱安德罗·迪亚斯 1 佩德罗·鲁宾·达吉尼奥 1 亚历山大·唐泽 1 迈克尔·埃内斯库。 1 奥尔加·加迪亚茨卡亚 1 圣埃芬·高伯特 1 托马斯·杰奈特 1 拉杜·格罗苏 1 阿恩·哈特曼斯 1 Anna Ingólfsdóttir 1 彼得·格约尔·詹森 1 詹姆斯·杰森·奥尔蒂斯 1 阿兰·乔维奇 1 卡茨，里卡多·大卫 1 Kim，Jaehun先生 1 亚辛·拉克奈克 1 金·古斯特兰德·拉森 1 萨米人拉兹雷格 1 特里斯坦勒加尔 1 李广元 1 安娜·卢基纳 1 拉杜·马达尔 ……还有23位合著者 全部的 前5名系列 9 理论计算机科学 8 计算机科学课堂讲稿 4 计算机科学中的逻辑方法 三 信息与计算 三 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 2 信息学报 2 控制论学报 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 应用力学与工程中的计算机方法 1 信息科学 1 国际工程数值方法杂志 1 计算机程序设计科学 1 国际代数与计算杂志 1 国际计算机科学基础杂志 1 软计算 1 计算机基础理论 1 ACM计算逻辑事务 全部的 前5名领域 110 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 总体主题；集合（00-XX） 6 信息与通信理论、电路（94-XX） 4 概率论与随机过程（60-XX） 4 运筹学、数学规划（90-XX） 2 统计学（62-XX） 2 可变形固体力学（74-XX） 2 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 凸和离散几何（52至XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 85出版物有被引用393中的次234文件 引用人▼ 年份▼ 基于水平集的流体-结构相互作用的欧拉-拉格朗日方法。 Zbl 1119.74053号 莱盖，A。；J·切萨。；T.Belytschko。 55 2006 谱有限元中的强和弱任意间断。 Zbl 1167.74045号 A.Legay。；王海伟。；T.Belytschko。 38 2005 基于组件设计的模态接口理论。 Zbl 1242.68147号 Jean-Baptiste Raclet女士；埃里克·巴杜埃尔；阿尔伯特·本文尼斯特；贝努伊特Caillaud；Legay、Axel；罗伯托·帕塞罗内 26 2011 时间I/O自动机：实时系统的完整规范理论。 Zbl 1361.68143号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；乌尔里克·尼曼；安德烈·沃索斯基 24 2010 定量线性时间分支时间谱。 Zbl 1359.68191号 乌里·法伦贝格；Legay、Axel 18 2014 大型迭代换能器（扩展抽象）。 Zbl 1278.68157号 伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀 17 2003 社交界面。 Zbl 1171.68837号 卢卡·德·阿尔法罗；达席尔瓦，莱安德罗·迪亚斯；马可·费拉；Legay、Axel；普里塔姆·罗伊；玛丽亚·索里亚 13 2005 约束马尔可夫链。 Zbl 1223.68070号 贝努伊特Caillaud；贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 12 2011 定量线性时间分支时间谱。 Zbl 1246.68153号 乌里·法伦贝格；Legay、Axel；克劳斯·苏兰 11 2011 使用结构化标签扩展模态转换系统。 Zbl 1277.68160号 塞巴斯蒂安·鲍尔。；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；吉·斯尔巴 9 2012 以最低的预期成本按时完成！ Zbl 1448.68294号 亚历山大·戴维；彼得·詹森（Peter G.Jensen）。；金·古德斯特兰·拉森；Legay、Axel；莱姆，迪迪埃；瑟伦森，马蒂亚斯·格兰德；雅各布·H·塔安克维斯特。 9 2014 模型检查定量线性时间逻辑。 Zbl 1286.68313号 马可·费拉；Legay、Axel；玛丽·斯托琳加 9 2008 抽象概率自动机。 Zbl 1317.68095号 贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基 8 2011 具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 Zbl 1271.68131号 尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格；简·Křetínsk；Legay、Axel 8 2013 统计模型检查。 Zbl 1482.68142号 Legay、Axel；安娜，卢基娜；路易·玛丽·特劳诺（Louis Marie Traonouez）；杨俊兴；斯科特·斯莫尔卡。；拉杜·格罗苏 8 2019 一个用于高性能统计模型检查的平台-PLASMA。 Zbl 1352.68156号 西里尔·杰古尔；Legay、Axel；肖恩·塞德瓦兹 7 2012 定价时间自动机网络的统计模型检验。 Zbl 1348.68130号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑 7 2011 树规则模型检查：一种基于仿真的方法。 Zbl 1101.68055号 帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；德奥索，朱利安；艾哈迈德·雷兹 6 2006 加权模态转换系统的定量精化。 Zbl 1343.68150号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；瑟兰，克劳斯 6 2011 最大化马尔可夫过程的熵。 Zbl 1371.68175号 法布里西奥·比昂迪；Legay、Axel；尼尔森，Bo Fries；安德烈·索夫斯基 6 2014 Omega-regular模型检查。 Zbl 1126.68469号 伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀 6 2004 概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 Zbl 1210.93068号 贝诺·德拉哈耶；贝努伊特Caillaud；Legay、Axel 6 2011 热带Fourier-Motzkin消除，应用于实时验证。 Zbl 1301.90069号 泽维尔·阿拉米吉恩；乌里·法伦贝格；圣埃芬·高伯特；里卡多·D·卡茨。；Legay、Axel 6 2014 用不完善的信息检查下推模块。 Zbl 1282.68166号 本杰明·阿米诺夫；Legay、Axel；穆拉诺，阿尼洛；奥利维尔·塞雷；莫舍·瓦尔迪。 6 2013 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand；Legay、Axel；苏菲·平奇纳特；Jean-Baptiste Raclet女士 6 2012 关于卷积神经网络用于旁道分析的性能。 Zbl 1525.94051号 斯捷潘·皮切克；Ioannis Petros的Samiotis；Kim，Jaehun先生；安妮莉·希瑟；希瓦姆·巴辛；Legay、Axel 6 2018 具有模态的一般定量规范理论。 Zbl 1360.68576号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Legay、Axel；克劳斯·苏兰 5 2012 实时组件的稳健规范。 Zbl 1348.68143号 Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 5 2011 通过开放映射为高维自动机提供历史保护的双相似性。 Zbl 1334.68117号 乌里·法伦贝格；Legay、Axel 5 2013 模态转换系统的一般定量规范理论。 Zbl 1360.68585号 乌里·法伦贝格；Legay、Axel 5 2014 \（^*\）-连续Kleene\（\omega\）-代数。 Zbl 1434.68309号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel 5 2015 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基 5 2013 行为规范理论的线性时间分支时间谱。 Zbl 1433.68214号 乌里·法伦贝格；Legay、Axel 5 2020 加权模态转换系统。 Zbl 1291.68246号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；克劳斯·苏兰 5 2013 基于仿真的混合模拟电路概率模型检查。 Zbl 1207.68205号 埃德蒙·克拉克；亚历山大·唐泽；Legay、Axel 4 2010 定量规范的组成。 兹比尔1398.68339 乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 4 2018 加权度量时态逻辑的基于监视器的统计模型检查。 Zbl 1352.68147号 彼得·布利切夫；亚历山大·戴维；金·古德斯特兰·拉森；Legay、Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 4 2012 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 4 2012 区间马尔可夫链的决策问题。 Zbl 1330.68109号 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 4 2011 模态nu-calculus的结构改进。 Zbl 1432.68261号 乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹 4 2014 Uppaal-smc公司：定价时间自动机的统计模型检查。 Zbl 1458.68114号 彼得·布利切夫；亚历山大·戴维；金·古斯特兰德·拉森；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；Legay、Axel；王，郑 4 2012 一种格树自动机的完备算法。 Zbl 1298.68135号 托马斯·杰奈特；特里斯坦勒加尔；Legay、Axel；瓦莱里·穆拉特 4 2013 在（\（\omega\）-）常规模型检查中处理活性属性。 Zbl 1272.68227号 艾哈迈德·博阿贾尼；Legay、Axel；皮埃尔·沃尔珀 4 2005 程序中定量信息流的可缩放近似。 Zbl 1446.68027号 法布里西奥·比昂迪；迈克尔·恩内斯库（Michael A.Enescu）。；安妮莉·希瑟；Legay、Axel；Kuldeep S.梅尔。；吉恩·奎尔贝夫 4 2018 内存事件时钟。 Zbl 1290.68075号 詹姆斯·杰森·奥尔蒂斯；Legay、Axel；皮埃尔·伊夫·肖本斯 三 2010 论对称传播的表现力。 兹比尔1482.68150 托马斯·吉文·威尔森；Legay、Axel 三 2016 用于构建和分析系统的工具和算法。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。 Zbl 1360.68016号 三 2017 部分高维自动机。 Zbl 1366.68191号 乌里·法伦贝格；Legay、Axel 三 2015 硬件和软件：验证和测试。2013年11月5日至7日，第九届国际海法核查会议，HVC 2013，以色列海法。诉讼程序。 Zbl 1295.68018号 三 2013 实时系统的鲁棒综合。 Zbl 1311.68088号 Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 三 2014 能量问题的Kleene代数和半模。 Zbl 1318.68105号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 三 2013 概率系统的定性逻辑和等价性。 Zbl 1168.03016号 卢卡·德·阿尔法罗；克里希南德·查特吉；马可·费拉；Legay、Axel 2 2009 量化随机协议的信息泄漏。 Zbl 1329.68188号 法布里西奥·比昂迪；Legay、Axel；帕斯夸尔马拉卡里亚；安德烈·索夫斯基 2 2013 度量转移系统的广义定量分析。 Zbl 1426.68170号 乌里·法伦贝格；Legay、Axel 2 2013 异构定时机器。 Zbl 1432.68224号 贝诺·德拉哈耶；JoséLuiz Fiadeiro；Legay、Axel；安托尼亚州洛佩斯 2 2014 实时系统的基于模型的验证、优化、综合和性能评估。 Zbl 1445.68132号 乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 2 2013 使用时间自动机建模攻击防御树。 Zbl 1433.68251号 奥尔加·加迪亚茨卡亚；汉森、雷内·里多夫；金·古德斯特兰·拉森；Legay、Axel；Mads Chr.奥列森。；波尔森，丹尼·博格斯特德 2 2016 统计模型检查的罕见事件概述。 Zbl 1478.68168号 Legay、Axel；肖恩·塞德瓦兹；路易斯·马里·特劳努埃兹 2 2016 实时能量问题的（ω）代数。 Zbl 1421.68092号 大卫·卡切拉；乌里·法伦贝格；Legay、Axel 2 2019 模态转换系统的参数和定量扩展。 Zbl 1416.68121号 乌里·法伦贝格；金·古德斯特兰·拉森；Legay、Axel；路易斯·马里·特劳努埃兹 2 2014 行为规范理论的线性时间分支时间谱。 Zbl 1433.68213号 乌里·法伦贝格；Legay、Axel 2 2017 能量问题的代数方法。I： \（^*\）-连续Kleene\（\omega\）-代数。 Zbl 1389.68056号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2017 能量问题的代数方法。二： 能量函数的代数。 Zbl 1389.68057号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2017 使用定量游戏计算分支距离。 Zbl 1464.68238号 乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2019 量化随机协议的信息泄漏。 Zbl 1328.68142号 法布里西奥·比昂迪；Legay、Axel；帕斯夸尔马拉卡里亚；安德烈·索夫斯基 2 2015 最大化马尔可夫过程的熵。 Zbl 1377.68127号 法布里西奥·比昂迪；Legay、Axel；尼尔森，Bo Fries；安德烈·索夫斯基 2 2013 关于加入的表现力。 Zbl 1433.68253号 托马斯·吉文·威尔森；Legay、Axel 2 2015 顺序关系分解。 兹比尔1497.68172 油炸，Dror；Legay、Axel；约尔·瓦克宁；莫舍·瓦尔迪。 2 2018 使用前向-后向前提分析和模型计数计算程序可靠性。 Zbl 1507.68084号 阿列克桑达尔·迪莫夫斯基。；Legay、Axel 2 2020 分布式事件时钟自动机（扩展抽象）。 Zbl 1297.68162号 詹姆斯·奥尔蒂斯；Legay、Axel；皮埃尔·伊夫·肖本斯 1 2011 使用定时I/O自动机的实时系统规范的方法。 Zbl 1312.68131号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；乌尔里克·尼曼；安德烈·索夫斯基 1 2010 关于（Ω-）定期模型检查。 Zbl 1351.68165号 Legay、Axel；皮埃尔·沃尔珀 1 2010 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 Zbl 1346.68003号 1 2016 概率时间自动机最优调度的统计近似。 Zbl 1354.68172号 佩德罗·R·达吉尼奥。；阿恩·哈特曼斯；Legay、Axel；肖恩·塞德瓦兹 1 2016 异构定时机器的动态网络。 兹比尔1390.68448 何塞·费亚德罗；安托尼亚州洛佩斯；贝诺·德拉哈耶；Legay、Axel 1 2018 概率和实时系统的规范理论。 Zbl 1416.68112号 乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹 1 2014 从程序到系统。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。 Zbl 1291.68012号 1 2014 概率自动机的精化和差异。 Zbl 1338.68144号 贝诺·德拉哈耶；乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 1 2014 实时能量问题的（ω）代数。 Zbl 1366.68138号 大卫·卡切拉；乌里·法伦贝格；Legay、Axel 1 2015 树型传感器的基于仿真的迭代。 Zbl 1087.68052号 帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；德奥索，朱利安；艾哈迈德·雷兹 1 2005 用于量化信息流的互信息混合统计估计。 Zbl 1427.68168号 川本优助；法布里西奥·比昂迪；Legay、Axel 1 2016 为抽象概率自动机而结结巴巴。 兹比尔1437.68094 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel 1 2013 基于游戏的CTL提升模型检查的广义抽象重新定义。 Zbl 1460.68058号 阿列克桑达尔·迪莫夫斯基。；Legay、Axel；安德烈·沃索斯基 1 2020 决策树提升了分析具有数字特征的程序族的域。 Zbl 1467.68036号 阿列克桑达尔·迪莫夫斯基。；斯文·阿佩尔；Legay、Axel 1 2021 逻辑规范与行为规范。 Zbl 1435.68189号 尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 1 2020 决策树提升了分析具有数字特征的程序族的域。 Zbl 1467.68036号 阿列克桑达尔·迪莫夫斯基。；斯文·阿佩尔；Legay、Axel 1 2021 行为规范理论的线性时间分支时间谱。 Zbl 1433.68214号 乌里·法伦贝格；Legay、Axel 5 2020 使用前向-后向前提分析和模型计数计算程序可靠性。 Zbl 1507.68084号 阿列克桑达尔·迪莫夫斯基。；Legay、Axel 2 2020 基于游戏的CTL提升模型检查的广义抽象重新定义。 Zbl 1460.68058号 阿列克桑达尔·迪莫夫斯基。；Legay、Axel；安德烈·沃索斯基 1 2020 逻辑规范与行为规范。 Zbl 1435.68189号 尼古拉·贝内什；乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 1 2020 统计模型检查。 Zbl 1482.68142号 Legay、Axel；安娜，卢基娜；路易·玛丽·特劳诺（Louis Marie Traonouez）；杨俊兴；斯科特·斯莫尔卡。；拉杜·格罗苏 8 2019 实时能量问题的（ω）代数。 Zbl 1421.68092号 大卫·卡切拉；乌里·法伦贝格；Legay、Axel 2 2019 使用定量游戏计算分支距离。 Zbl 1464.68238号 乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2019 关于卷积神经网络用于旁道分析的性能。 Zbl 1525.94051号 斯捷潘·皮切克；Ioannis Petros的Samiotis；Kim，Jaehun先生；安妮莉·希瑟；希瓦姆·巴辛；Legay、Axel 6 2018 定量规格的组成。 Zbl 1398.68339号 乌里·法伦贝格；简·Křetínsk；Legay、Axel；路易斯·马里·特劳努埃兹 4 2018 程序中定量信息流的可缩放近似。 Zbl 1446.68027号 法布里西奥·比昂迪；迈克尔·恩内斯库（Michael A.Enescu）。；安妮莉·希瑟；Legay、Axel；Kuldeep S.梅尔。；吉恩·奎尔贝夫 4 2018 顺序关系分解。 Zbl 1497.68172号 油炸，Dror；Legay、Axel；约尔·瓦克宁；莫舍·瓦尔迪。 2 2018 异构定时机器的动态网络。 Zbl 1390.68448号 何塞·费亚德罗；安托尼亚州洛佩斯；贝诺·德拉哈耶；Legay、Axel 1 2018 用于构建和分析系统的工具和算法。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。 Zbl 1360.68016号 三 2017 行为规范理论的线性时间分支时间谱。 Zbl 1433.68213号 乌里·法伦贝格；Legay、Axel 2 2017 能量问题的代数方法。一： \（^*\）-连续Kleene\（\omega\）-代数。 兹比尔1389.68056 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2017 能量问题的代数方法。二： 能量函数的代数。 Zbl 1389.68057号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 2 2017 论对称传播的表现力。 Zbl 1482.68150号 托马斯·吉文·威尔森；Legay、Axel 三 2016 使用时间自动机建模攻击防御树。 Zbl 1433.68251号 奥尔加·加迪亚茨卡亚；汉森、雷内·里多夫；金·古德斯特兰·拉森；Legay、Axel；Mads Chr.奥列森。；波尔森，丹尼·博格斯特德 2 2016 统计模型检查的罕见事件概述。 Zbl 1478.68168号 Legay、Axel；肖恩·塞德瓦兹；路易斯·马里·特劳努埃兹 2 2016 用于验证和分析的自动化技术。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。 Zbl 1346.68003号 1 2016 概率时间自动机最优调度的统计近似。 兹比尔1354.68172 D&rsquo；佩德罗·阿吉尼奥（Pedro R.Argenio）。；阿恩·哈特曼斯；Legay、Axel；肖恩·塞德瓦兹 1 2016 用于量化信息流的互信息混合统计估计。 Zbl 1427.68168号 川本优助；法布里西奥·比昂迪；Legay、Axel 1 2016 \（^*\）-连续Kleene\（\omega\）-代数。 Zbl 1434.68309号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel 5 2015 部分高维自动机。 Zbl 1366.68191号 乌里·法伦贝格；Legay、Axel 三 2015 量化随机协议的信息泄漏。 Zbl 1328.68142号 法布里西奥·比昂迪；Legay、Axel；帕斯夸尔马拉卡里亚；安德烈·索夫斯基 2 2015 关于加入的表现力。 Zbl 1433.68253号 托马斯·吉文·威尔森；Legay、Axel 2 2015 实时能量问题的（ω）代数。 Zbl 1366.68138号 大卫·卡切拉；乌里·法伦贝格；Legay、Axel 1 2015 定量线性时间分支时间谱。 Zbl 1359.68191号 乌里·法伦贝格；Legay、Axel 18 2014 以最低的预期成本按时完成！ 兹比尔1448.68294 亚历山大·戴维；彼得·詹森（Peter G.Jensen）。；金·古德斯特兰·拉森；Legay、Axel；莱姆，迪迪埃；瑟伦森，马蒂亚斯·格兰德；雅各布·H·塔安克维斯特。 9 2014 最大化马尔可夫过程的熵。 Zbl 1371.68175号 法布里西奥·比昂迪；Legay、Axel；尼尔森，Bo Fries；安德烈·索夫斯基 6 2014 热带Fourier-Motzkin消除，应用于实时验证。 Zbl 1301.90069号 泽维尔·阿拉米吉恩；乌里·法伦贝格；圣埃芬·高伯特；里卡多·D·卡茨。；Legay、Axel 6 2014 模态转换系统的一般定量规范理论。 Zbl 1360.68585号 乌里·法伦贝格；Legay、Axel 5 2014 模态nu-calculus的结构改进。 Zbl 1432.68261号 乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹 4 2014 实时系统的鲁棒综合。 Zbl 1311.68088号 Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 三 2014 异构定时机器。 Zbl 1432.68224号 贝诺·德拉哈耶；JoséLuiz Fiadeiro；Legay、Axel；安托尼亚州洛佩斯 2 2014 模态转换系统的参数和定量扩展。 Zbl 1416.68121号 乌里·法伦贝格；金·古德斯特兰·拉森；Legay、Axel；路易斯·马里·特劳努埃兹 2 2014 概率和实时系统的规范理论。 Zbl 1416.68112号 乌里·法伦贝格；Legay、Axel；路易斯·马里·特劳努埃兹 1 2014 从程序到系统。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。 兹比尔1291.68012 1 2014 概率自动机的精化和差异。 Zbl 1338.68144号 贝诺·德拉哈耶；乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 1 2014 具有最大不动点的轩尼诗-米尔纳逻辑是一种完整的行为规范理论。 Zbl 1271.68131号 尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格；简·Křetínsk；Legay、Axel 8 2013 用不完善的信息检查下推模块。 Zbl 1282.68166号 本杰明·阿米诺夫；Legay、Axel；穆拉诺，阿尼洛；奥利维尔·塞雷；莫舍·瓦尔迪。 6 2013 通过开放映射为高维自动机提供历史保护的双相似性。 Zbl 1334.68117号 乌里·法伦贝格；Legay、Axel 5 2013 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基 5 2013 加权模态转换系统。 Zbl 1291.68246号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；克劳斯·苏兰 5 2013 格树自动机的一种补全算法。 兹比尔1298.68135 托马斯·杰奈特；特里斯坦勒加尔；Legay、Axel；瓦莱里·穆拉特 4 2013 硬件和软件：验证和测试。2013年11月5日至7日，第九届国际海法核查会议，HVC 2013，以色列海法。诉讼程序。 Zbl 1295.68018号 三 2013 能量问题的Kleene代数和半模。 Zbl 1318.68105号 佐尔坦·埃西克；乌里·法伦贝格；Legay、Axel；卡琳·夸斯 三 2013 量化随机协议的信息泄漏。 Zbl 1329.68188号 法布里西奥·比昂迪；Legay、Axel；帕斯夸尔马拉卡里亚；安德烈·索夫斯基 2 2013 度量转移系统的广义定量分析。 Zbl 1426.68170号 乌里·法伦贝格；Legay、Axel 2 2013 实时系统的基于模型的验证、优化、综合和性能评估。 Zbl 1445.68132号 乌里·法伦贝格；Larsen，Kim G。；Legay、Axel 2 2013 最大化马尔可夫过程的熵。 兹比尔1377.68127 法布里西奥·比昂迪；Legay、Axel；尼尔森，Bo Fries；安德烈·索夫斯基 2 2013 为抽象概率自动机而结结巴巴。 Zbl 1437.68094号 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel 1 2013 使用结构化标签扩展模态转换系统。 Zbl 1277.68160号 塞巴斯蒂安·鲍尔。；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；吉·斯尔巴 9 2012 一个用于高性能统计模型检查的平台-PLASMA。 Zbl 1352.68156号 西里尔·杰古尔；Legay、Axel；肖恩·塞德瓦兹 7 2012 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand；Legay、Axel；苏菲·平奇纳特；Jean-Baptiste Raclet女士 6 2012 一般定量规范理论与模式。 Zbl 1360.68576号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Legay、Axel；克劳斯·苏兰 5 2012 加权度量时态逻辑的基于监视器的统计模型检查。 Zbl 1352.68147号 彼得·布利切夫；亚历山大·戴维；金·古德斯特兰·拉森；Legay、Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 4 2012 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 4 2012 Uppaal-smc公司：定价时间自动机的统计模型检查。 Zbl 1458.68114号 彼得·布利切夫；亚历山大·戴维；拉森，金·古尔斯特兰德；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；Legay、Axel；王，郑 4 2012 基于组件设计的模态接口理论。 Zbl 1242.68147号 Jean-Baptiste Raclet女士；埃里克·巴杜埃尔；阿尔伯特·本文尼斯特；贝努伊特Caillaud；Legay、Axel；罗伯托·帕塞罗内 26 2011 约束马尔可夫链。 Zbl 1223.68070号 贝努伊特Caillaud；贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 12 2011 定量线性时间分支时间谱。 Zbl 1246.68153号 乌里·法伦贝格；Legay、Axel；克劳斯·苏兰 11 2011 抽象概率自动机。 Zbl 1317.68095号 贝诺·德拉哈耶；Joost-Pieter卡托恩；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；福尔克·谢尔；安德烈·索夫斯基 8 2011 定价时间自动机网络的统计模型检验。 Zbl 1348.68130号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑 7 2011 加权模态转换系统的定量精化。 Zbl 1343.68150号 塞巴斯蒂安·鲍尔。；乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；Legay、Axel；克劳斯·苏兰 6 2011 概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 Zbl 1210.93068号 贝诺·德拉哈耶；贝努伊特Caillaud；Legay、Axel 6 2011 实时组件的稳健规范。 Zbl 1348.68143号 Larsen，Kim G。；Legay、Axel；路易斯·马里·特劳努埃兹；安德烈·索夫斯基 5 2011 区间马尔可夫链的决策问题。 兹比尔1330.68109 贝诺·德拉哈耶；Larsen，Kim G。；Legay、Axel；米克尔·L·佩德森。；安德烈·索夫斯基 4 2011 分布式事件时钟自动机（扩展抽象）。 Zbl 1297.68162号 詹姆斯·奥尔蒂斯；Legay、Axel；皮埃尔·伊夫·肖本斯 1 2011 时间I/O自动机：实时系统的完整规范理论。 Zbl 1361.68143号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；乌尔里克·尼曼；安德烈·沃索斯基 24 2010 基于仿真的混合模拟电路概率模型检查。 Zbl 1207.68205号 埃德蒙·克拉克；亚历山大·唐泽；Legay、Axel 4 2010 内存事件时钟。 Zbl 1290.68075号 詹姆斯·杰森·奥尔蒂斯；Legay、Axel；皮埃尔·伊夫·肖本斯 三 2010 使用定时I/O自动机的实时系统规范的方法。 Zbl 1312.68131号 亚历山大·戴维；Larsen，Kim G。；Legay、Axel；乌尔里克·尼曼；安德烈·索夫斯基 1 2010 关于（Ω-）定期模型检查。 Zbl 1351.68165号 Legay、Axel；皮埃尔·沃尔珀 1 2010 概率系统的定性逻辑和等价性。 Zbl 1168.03016号 卢卡·德·阿尔法罗；克里希南德·查特吉；马可·费拉；Legay、Axel 2 2009 模型检查定量线性时间逻辑。 兹比尔1286.68313 马可·费拉；Legay、Axel；玛丽·斯托琳加 9 2008 基于水平集的流体-结构相互作用的欧拉-拉格朗日方法。 Zbl 1119.74053号 A.Legay。；J·切萨。；T.Belytschko。 55 2006 树规则模型检查：一种基于仿真的方法。 Zbl 1101.68055号 帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；d）；奥索，朱利安；艾哈迈德·雷兹 6 2006 谱有限元中的强和弱任意间断。 Zbl 1167.74045号 A.Legay。；王海伟。；T.Belytschko。 38 2005 社交界面。 Zbl 1171.68837号 卢卡·德·阿尔法罗；达席尔瓦、莱安德罗·迪亚斯；马可·费拉；Legay、Axel；普里塔姆·罗伊；玛丽亚·索里亚 13 2005 在（\（\omega\）-）常规模型检查中处理活性属性。 Zbl 1272.68227号 艾哈迈德·博阿贾尼；Legay、Axel；皮埃尔·沃尔珀 4 2005 树型传感器的基于仿真的迭代。 Zbl 1087.68052号 帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；d）；奥索，朱利安；艾哈迈德·雷兹 1 2005 Omega-regular模型检查。 Zbl 1126.68469号 伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀 6 2004 大型迭代换能器（扩展抽象）。 Zbl 1278.68157号 伯纳德·博伊格洛特；Legay、Axel；皮埃尔·沃尔珀 17 2003 所有引用出版物 前5名被引用出版物 全部的 前5名440位作者引用 41 Legay、Axel 23 金·古德斯特兰·拉森 19 乌里·法伦贝格 13 帕罗什·阿齐兹·阿卜杜拉 9 贝诺·德拉哈耶 9 安德烈·索夫斯基 7 路易斯·马里·特劳努埃兹 6 杰拉尔德·吕特根 6 沃尔特·福格勒 5 Joost-Pieter卡托恩 5 简·Křetínsk 5 Marta Z.Kwiatkowska。 5 穆拉诺，阿尼洛 5 艾哈迈德·雷兹 5 西蒙·蒂尼 5 莫西·亚亚科夫·瓦尔迪 4 塞巴斯蒂安·鲍尔。 4 帕特里夏·鲍耶 4 亚历山大·戴维 4 乔治·德尔赞诺 4 芬德里奇、萨沙 4 罗尔夫·亨尼克 4 塞巴斯蒂安·荣格斯 4 奥尔纳库普弗曼 4 苏菲·平奇纳特 三 乔瓦尼·巴奇 三 Nathalie Bertrand 三 法布里西奥·比昂迪 三 艾哈迈德·博阿贾尼 三 劳拉·博泽利 三 费伦茨·巴伊托 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 查克拉波蒂，苏普拉特克 三 油炸，Dror 三 Daniel E.Gebler。 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 卢卡什，霍利克 三 丽莎·卡蒂 三 马燕芳 三 托尼·曼奇尼 三 费德里科·马里奥 三 尼古拉斯·马基 三 安娜丽莎·马西尼 三 伊戈尔·梅拉蒂 三 格钦·诺曼 三 乌尔里克·尼曼 三 贾恩·普拉夫卡 三 Jean-François拉斯金 三 Alberto L.Sangiovanni-Vincentelli。 三 卢茨施罗德 三 玛丽·斯托琳加 三 Stefano托内塔 三 恩里科·特隆西 三 汤姆·沃纳 三 狂野，保罗 2 阿克沙伊，S。 2 埃蒂安·安德烈 2 阿夫尼，盖伊 2 尼古拉斯·巴塞特 2 尼古拉·贝内什 2 阿尔伯特·本文尼斯特 2 丹尼·鲍尔森（Danny Bougsted Poulsen） 2 贝努伊特Caillaud 2 Daca，Przemysław公司 2 佩德罗·鲁宾·达吉尼奥 2 卢卡·德·阿尔法罗 2 朱尔根·丁格尔 2 佐尔坦·埃西克 2 JoséLuiz Fiadeiro 2 Forejt，Vojtěch公司 2 保罗·加斯丁 2 圣埃芬·高伯特 2 托马斯·杰奈特 2 托马斯·吉文·威尔森 2 阿尔贝托·格里乔 2 阿恩·哈特曼斯 2 简·希尔斯顿 2 尼尔斯·詹森 2 蒂埃里·杰伦 2 克里斯蒂安·约翰森 2 本特·琼森 2 阿列克桑德拉·乔瓦诺维奇。 2 Juhl，Line公司 2 巴巴拉·科尼格 2 莫伊斯·克里钦 2 拉诺特，拉格罗 2 莱姆，迪迪埃 2 安托尼亚州洛佩斯 2 米歇尔·洛雷蒂 2 鲁帕克·马朱姆达尔 2 Kuldeep S.梅尔。 2 马吕斯·米库西奥尼斯 2 法比奥·莫加维罗 2 我的什科娃，海伦娜 2 米克尔·莱克·佩德森 2 吉尔赫梅·佩林 2 斯捷潘·皮切克 2 保罗·皮荷 2 Jean-Baptiste Raclet女士 2 皮埃尔·阿莱·雷尼尔 …还有340多名作者 全部的 前5名40篇连载文章被引用 26 理论计算机科学 16 系统设计中的形式化方法 12 信息学报 11 信息与计算 10 程序设计中的逻辑和代数方法杂志 8 计算机科学中的逻辑方法 6 离散事件动态系统 4 计算的形式方面 三 Automatica公司 三 MSCS公司。计算机科学中的数学结构 2 人工智能 2 信息处理信件 2 计算机程序设计科学 2 国际计算机科学基础杂志 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 离散应用数学 1 国际通用系统杂志 1 物理A 1 模糊集与系统 1 计算机与系统科学杂志 1 符号计算杂志 1 自动推理杂志 1 经济动力学与控制杂志 1 应用概率年鉴 1 国际代数与计算杂志 1 线性代数及应用 1 约束条件 1 工程中的数学问题 1 欧洲控制杂志 1 软计算 1 美国医学会杂志 1 武汉大学自然科学学报 1 理论计算机科学的基础和发展趋势 1 算法 1 密码学与通信 1 计算机科学前沿 1 计算机科学评论 1 应用与计算拓扑杂志 全部的 前5名19个领域引用 215 计算机科学（68至XX） 25 数学逻辑和基础（03-XX） 20 系统论；控制（93至XX） 17 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 概率论与随机过程（60-XX） 11 运筹学、数学规划（90-XX） 9 信息与通信理论、电路（94-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 统计学（62-XX） 三 生物学和其他自然科学（92-XX） 2 阶、格、有序代数结构（06-XX） 2 代数几何（14-XX） 2 结合环与代数（16-XX） 2 代数拓扑（55-XX） 1 组合数学（05-XX） 1 动力系统和遍历理论（37至XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 统计力学，物质结构（82-XX） 按年份列出的引文