编辑配置文件（在新选项卡中打开） 安蒂·瓦尔马里 合著者距离 作者ID： 瓦尔马里·安蒂 发布日期： 安蒂·瓦尔马里;A.瓦尔马里。 已编制索引的文档： 54出版物自1991年起 3作为编辑的贡献 审查活动： 10条评论 合著者： 24位合著者具有35联合出版物 357位联合作者 全部的 前5名合著者 22 单作者的 9 亨利·汉森 5 杰科·盖尔登胡伊斯 三 克里斯滕森，拉尔斯·迈克尔 2 雷蒙德·魔鬼队 2 托马斯·内勒 2 皮普宁，Artturi 2 安蒂·普哈卡 2 马尔蒂·蒂纳里 2 沃尔特·福格勒 2 Tim A.C.Willemse。 1 贾安娜·埃洛兰塔 1 蒂莫·埃尔基拉 1 朱利安娜·弗朗西斯科尼斯 1 劳拉·T·希拉。 1 朱哈娜·赫洛沃 1 科维宁，安蒂 1 伊尔卡·科科林宁 1 佩特里·莱赫蒂宁 1 朱哈·尼米宁 1 Doron A.Peled。 1 沃伊切赫·彭泽克 1 米科·托萨宁 1 维塔宁，海基 1 卡斯滕·沃尔夫 全部的 前5名系列 6 计算机基础理论 三 系统设计中的形式化方法 2 信息学报 2 信息处理信件 2 理论计算机科学 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 控制论学报 1 圣母院形式逻辑杂志 1 计算的形式方面 1 北欧计算机杂志 1 爱沙尼亚科学院院刊 领域 55 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 2 有序，格，有序代数结构（06-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用247中的次163文件 引用人▼ 年份▼ 对国家爆炸的顽固攻击。 Zbl 0783.68083号 安蒂·瓦尔马里 36 1992 对国家爆炸的顽固攻击。（简写版）。 Zbl 0765.68147号 安蒂·瓦尔马里 27 1991 简单的（O（m\log n）时间马尔可夫链集总。 Zbl 1284.68437号 安蒂·瓦尔马里;朱利安娜·弗朗西斯科尼斯 23 2010 过程代数的顽固集方法。 Zbl 0882.68090号 安蒂·瓦尔马里 17 1997 对国家爆炸的顽固攻击。 Zbl 0786.68069号 安蒂·瓦尔马里 14 1991 基本LOTOS的基于组合故障的语义模型。 Zbl 0838.68076号 安蒂·瓦尔马里;马尔蒂·蒂纳里 12 1995 在\（O（m\log n）\）时间内最小化双相似性。 Zbl 1242.68186号 安蒂·瓦尔马里 9 2009 具有部分转换的DFA的有效最小化。 Zbl 1259.68115号 安蒂·瓦尔马里;佩特里·莱赫蒂宁 9 2008 顽固的直觉解释道。 Zbl 1464.68265号 安蒂·瓦尔马里;亨利·汉森 8 2017 最弱的死锁提供了一致性。 Zbl 0875.68620号 安蒂·瓦尔马里 8 1995 过程代数验证中的生动性和公平性。 兹比尔1006.68088 安蒂·普哈卡;安蒂·瓦尔马里 7 2001 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 livelock-preserving等价的弱同余结果。 Zbl 0939.68086号 安蒂·普哈卡;安蒂·瓦尔马里 6 1999 Tarjan的算法使实时LTL验证更加高效。 Zbl 1126.68476号 雅各布·盖尔登豪斯;安蒂·瓦尔马里 5 2004 公平测试和顽固设置。 Zbl 1354.68203号 安蒂·瓦尔马里;沃尔特·福格勒 4 2016 状态属性的问题导向的顽固集合方法。 Zbl 1109.68075号 Kristensen，L.M。;施密特，K。;A.瓦尔马里。 4 2006 口吃保护性偏序减少的标签不一致问题。 Zbl 07250953号 托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 4 2020 小型中间BDD的技术。 Zbl 1006.68097号 杰科·盖尔登胡伊斯;安蒂·瓦尔马里 4 2001 基于字母表的同步成本呈指数级下降。 Zbl 1012.68123号 安蒂·瓦尔马里;科尔维宁，安蒂 4 2002 使用Tarjan算法进行更高效的实时LTL验证。 Zbl 1079.68057号 杰科·盖尔登胡伊斯;安蒂·瓦尔马里 4 2005 在\（O（m\log n）\）时间内实现简单的双相似性最小化。 Zbl 1209.68344号 安蒂·瓦尔马里 4 2010 快速简单实用的DFA最小化。 Zbl 1242.68149号 安蒂·瓦尔马里 三 2012 状态空间验证方法中的组合性。 Zbl 1418.68155号 安蒂·瓦尔马里 三 1996 相互模拟等效的基本转换。 Zbl 0901.68140号 贾安娜·埃洛兰塔;马尔蒂·蒂纳里;安蒂·瓦尔马里 三 1997 熟悉运算符的所有线性时间同余。 Zbl 1314.68201号 安蒂·瓦尔马里 2 2013 带有冻结动作的顽固集合。 Zbl 1478.68181号 安蒂·瓦尔马里 2 2017 过程代数的更顽固的集合方法。 Zbl 1485.68165号 安蒂·瓦尔马里 2 2017 构造最小覆盖集。 Zbl 1362.68222号 皮普宁，Artturi;安蒂·瓦尔马里 2 2016 最小覆盖集的新旧算法。 Zbl 1286.68357号 安蒂·瓦尔马里;亨利·汉森 2 2014 顽固的设置可以是最佳的吗？ Zbl 1233.68173号 安蒂·瓦尔马里;亨利·汉森 2 2010 坦佩雷验证工具。 Zbl 1126.68488号 维塔宁，海基;亨利·汉森;安蒂·瓦尔马里;朱哈·尼米宁;蒂莫·埃尔基拉 2 2004 改进了以问题为导向的状态属性顽固集方法。 Zbl 0986.68083号 克里斯滕森，拉尔斯·迈克尔;安蒂·瓦尔马里 2 2000 探索部分订单缩减的范围。 Zbl 1262.68120号 杰科·盖尔登胡伊斯;亨利·汉森;安蒂·瓦尔马里 1 2009 顽固的设置可以是最佳的吗？ Zbl 1234.68310号 安蒂·瓦尔马里;亨利·汉森 1 2011 最小覆盖集的新旧算法。 Zbl 1357.68144号 安蒂·瓦尔马里;亨利·汉森 1 2012 暂停问题硬实例的渐近比例。 Zbl 1313.68061号 安蒂·瓦尔马里 1 2014 组成和抽象。 Zbl 0985.68036号 安蒂·瓦尔马里 1 2001 从其他LTS算子看LTS算子的可构造性和不可构造性。 Zbl 1328.68140号 安蒂·瓦尔马里 1 2015 口吃保护性偏序减少的标签不一致问题。 兹比尔07250953 托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 4 2020 顽固的直觉解释道。 兹比尔1464.68265 安蒂·瓦尔马里;亨利·汉森 8 2017 僵硬的动作设置。 Zbl 1478.68181号 安蒂·瓦尔马里 2 2017 过程代数的更顽固的集合方法。 Zbl 1485.68165号 安蒂·瓦尔马里 2 2017 公平测试和顽固设置。 Zbl 1354.68203号 安蒂·瓦尔马里;沃尔特·福格勒 4 2016 构造最小覆盖集。 兹比尔1362.68222 皮普宁，Artturi;安蒂·瓦尔马里 2 2016 从其他LTS算子看LTS算子的可构造性和不可构造性。 Zbl 1328.68140号 安蒂·瓦尔马里 1 2015 最小覆盖集的新旧算法。 Zbl 1286.68357号 安蒂·瓦尔马里;亨利·汉森 2 2014 暂停问题硬实例的渐近比例。 Zbl 1313.68061号 安蒂·瓦尔马里 1 2014 熟悉运算符的所有线性时间同余。 Zbl 1314.68201号 安蒂·瓦尔马里 2 2013 快速简单实用的DFA最小化。 Zbl 1242.68149号 安蒂·瓦尔马里 三 2012 最小覆盖集的新旧算法。 Zbl 1357.68144号 安蒂·瓦尔马里;亨利·汉森 1 2012 顽固的设置可以是最佳的吗？ Zbl 1234.68310号 安蒂·瓦尔马里;亨利·汉森 1 2011 简单的（O（m\log n）时间马尔可夫链集总。 Zbl 1284.68437号 安蒂·瓦尔马里;朱利安娜·弗朗西斯科尼斯 23 2010 在\（O（m\log n）\）时间内实现简单的双相似性最小化。 Zbl 1209.68344号 安蒂·瓦尔马里 4 2010 顽固的设置可以是最佳的吗？ Zbl 1233.68173号 安蒂·瓦尔马里;亨利·汉森 2 2010 在\（O（m\log n）\）时间内最小化双相似性。 Zbl 1242.68186号 安蒂·瓦尔马里 9 2009 探索部分订单减少的范围。 Zbl 1262.68120号 雅各布·盖尔登豪斯;亨利·汉森;安蒂·瓦尔马里 1 2009 具有部分转换的DFA的有效最小化。 Zbl 1259.68115号 安蒂·瓦尔马里;佩特里·莱赫蒂宁 9 2008 状态属性的问题导向的顽固集合方法。 Zbl 1109.68075号 Kristensen，L.M。;施密特，K。;瓦尔马里，A。 4 2006 使用Tarjan算法进行更高效的实时LTL验证。 Zbl 1079.68057号 杰科·盖尔登胡伊斯;安蒂·瓦尔马里 4 2005 Tarjan的算法使实时LTL验证更加高效。 Zbl 1126.68476号 杰科·盖尔登胡伊斯;安蒂·瓦尔马里 5 2004 坦佩雷验证工具。 Zbl 1126.68488号 维塔宁，海基;亨利·汉森;安蒂·瓦尔马里;朱哈·尼米宁;蒂莫·埃尔基拉 2 2004 基于字母表的同步成本呈指数级下降。 Zbl 1012.68123号 安蒂·瓦尔马里;科尔维宁，安蒂 4 2002 过程代数验证中的生动性和公平性。 Zbl 1006.68088号 安蒂·普哈卡;安蒂·瓦尔马里 7 2001 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 小型中间BDD的技术。 Zbl 1006.68097号 杰科·盖尔登胡伊斯;安蒂·瓦尔马里 4 2001 组成和抽象。 Zbl 0985.68036号 安蒂·瓦尔马里 1 2001 改进了状态属性的问题导向顽固集方法。 Zbl 0986.68083号 克里斯滕森，拉尔斯·迈克尔;安蒂·瓦尔马里 2 2000 保留活锁等价的弱同余结果。 Zbl 0939.68086号 安蒂·普哈卡;安蒂·瓦尔马里 6 1999 过程代数的顽固集方法。 Zbl 0882.68090号 安蒂·瓦尔马里 17 1997 相互模拟等效的基本转换。 Zbl 0901.68140号 贾安娜·埃洛兰塔;马尔蒂·蒂纳里;安蒂·瓦尔马里 三 1997 状态空间验证方法中的组合性。 兹比尔1418.68155 安蒂·瓦尔马里 三 1996 基本LOTOS的基于组合故障的语义模型。 Zbl 0838.68076号 安蒂·瓦尔马里;马尔蒂·蒂纳里 12 1995 最弱的死锁提供了一致性。 Zbl 0875.68620号 安蒂·瓦尔马里 8 1995 对国家爆炸的顽固攻击。 Zbl 0783.68083号 安蒂·瓦尔马里 36 1992 对国家爆炸的顽固攻击。（简写版）。 Zbl 0765.68147号 安蒂·瓦尔马里 27 1991 对国家爆炸的顽固攻击。 Zbl 0786.68069号 安蒂·瓦尔马里 14 1991 所有引用出版物 前5名被引用出版物 全部的 前5名280位作者引用 14 安蒂·瓦尔马里 9 Doron A.Peled。 5 彼得·格约尔·詹森 5 金·古德斯特兰·拉森 5 安东内拉·桑顿 5 吉·斯尔巴 5 托尔斯滕·维曼 4 弗雷德里克·梅耶·伯内兰 4 Jan Friso，格鲁特 4 大卫·詹森（David N.Jansen）。 4 杰拉尔德·吕特根 4 安德烈亚·马林 4 斯特凡·米利厄斯 4 卡拉广场 4 萨宾娜·罗西 4 卢茨·施罗德 4 沃尔特·福格勒 4 卡斯滕·沃尔夫 三 克里斯特尔·拜尔 三 卡梅尔·巴考伊 三 哈尼法·布切内布 三 卢博什·布里姆 三 丹尼尔·格纳德 三 亨利·汉森 三 霍夫曼，约格 三 马尔科·穆尼兹 三 托马斯·内勒 三 米尔科·特里巴斯通 三 吉利奥拉·瓦格利尼 三 安德里亚·万丁 三 托马斯·威尔克 三 Tim A.C.Willemse。 三 皮埃尔·沃尔珀 2 罗伯托·巴布蒂 2 尼古拉·贝内什 2 Eerke A.Boiten。 2 卢卡·卡德利 2 伊万娜·乔纳 2 大卫，朱利安 2 尼科莱塔·德·弗朗西斯科 2 约翰·德里克 2 乌尔里希·多尔希 2 休伯特·加拉维 2 杰科·盖尔登胡伊斯 2 萨拉·格雷达拉 2 Joost-Pieter卡托恩 2 Jeroen J.A.Keiren。 2 凯斯·克莱伊 2 约阿希姆·克莱因 2 克里斯滕森，拉尔斯·迈克尔 2 弗雷德里克·朗 2 刘，杨 2 阿尔贝托·卢什·拉富恩特 2 肯尼思·麦克米兰。 2 阿里·莫瓦加尔 2 沃伊切赫·彭泽克 2 丹尼斯·波特雷诺 2 史蒂夫·里夫斯 2 安德鲁·威廉·罗斯科 2 吉里索科尔 2 大卫·斯特雷德 2 孙骏 2 马克斯·柴科夫斯基 2 瓦埃科娃，帕夫利纳 2 Kimmo Varpaaniemi公司 2 玛丽亚·路易莎·维拉尼 2 伊戈尔·瓦卢基维奇 2 王旭 2 安东·威伊斯（Anton J.Wijs）。 2 张丽君 1 萨伊德·阿贝德 1 奥特曼·阿伊特·穆罕默德 1 拉杰夫·阿鲁尔 1 贾科莫·阿尔泽塔 1 佩德罗·安东尼诺 1 康斯坦蒂诺斯·阿萨纳西奥 1 乔治·S·阿夫鲁宁。 1 Bäck，Thomas H.W。 1 西蒙娜塔·巴萨莫 1 巴伯，贝诺 1 JiříBarnat 1 法国巴斯诺 1 Bérenguier，D。 1 马可·贝尔纳多 1 让·伯斯特尔 1 Laurent Bienvenu 1 弗兰蒂舍克·布拉胡德克 1 吕克·博阿松 1 博什纳奇·德拉甘 1 艾哈迈德·布瓦贾尼 1 劳拉·博泽利 1 布兰德，塞巴斯蒂安 1 布诺娃，B。 1 奥利维尔·卡尔顿 1 克劳迪娜·朝义亚 1 陈、陶璐 1 哈达·切尔隆 1 楚天光 1 吉安弗兰科·西亚多 1 Frank Ciesinski先生 …还有180多名作者 全部的 前5名34篇连载文章中引用 15 系统设计中的形式化方法 13 理论计算机科学 10 信息与计算 10 计算的形式方面 7 信息学报 5 信息处理信件 5 计算机基础理论 5 计算机科学中的逻辑方法 三 计算机与系统科学杂志 三 计算机程序设计科学 2 离散事件动态系统 2 程序设计中的逻辑与代数方法杂志 1 人工智能 1 信息科学 1 SIAM控制与优化杂志 1 应用数学进展 1 系统和控制信件 1 计算机科学与技术杂志 1 算法 1 国际近似推理杂志 1 运筹学年鉴 1 实时系统 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 分布式计算 1 数学与人工智能年鉴 1 计算系统理论 1 混乱 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 算法 1 计算机科学前沿 1 计算机科学评论 1 组合数学的进展 全部的 前5名在15个字段中引用 157 计算机科学（68至XX） 34 数学逻辑和基础（03-XX） 9 概率论与随机过程（60-XX） 5 系统论；控制（93至XX） 4 组合数学（05-XX） 2 有序，格，有序代数结构（06-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 生物学和其他自然科学（92-XX） 1 范畴理论；同调代数（18-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 凸和离散几何（52至XX） 1 统计学（62-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文