编辑配置文件（在新选项卡中打开） Tim A.C.Willemse。 合著者距离 作者ID： 威廉姆斯.tim-a-c 发布日期： Tim A.C.Willemse。;威廉姆斯，T.A.C。;蒂姆·威廉姆斯 更多。。。较少的 已编制索引的文档： 53出版物自2004年起 2作为编辑的贡献 合著者： 42位合著者具有53联合出版物 580名合作作者 全部的 前5名合著者 2 单作者的 9 Jan Friso，格鲁特 7 马西耶·加兹达。 7 Jeroen J.A.Keiren。 6 斯约尔德·克兰恩 6 威格·威瑟林克 5 巴斯·卢提克 三 苏珊娜·安多瓦 三 马克·布曼 三 埃里克·P·德文克。 三 莫里斯·拉维奥 三 托马斯·内勒 三 西蒙娜·奥尔赞 三 贝斯·普洛格 三 米歇尔·阿德里安·雷尼尔 2 戴维·德·弗鲁托斯·埃斯克里格 2 莫里斯·比克。 2 特雷特曼，简 2 安蒂·瓦尔马里 1 Jos C.M.Baeten。 1 奥拉夫·邦特 1 陈、陶璐 1 雷内·德弗里斯。 1 汤姆·恩格斯。 1 卡拉·费雷拉 1 拉尔斯·弗兰岑 1 简·赫尔曼·杰弗斯 1 拉丁·科斯拉维 1 鲁德·P·J·科伦。 1 内达·诺鲁齐 1 奥斯蒂克（Oostdijk）、马蒂恩·迪德里克（Martijn Diederik） 1 柯斯汀·彼得斯 1 弗拉德·鲁苏 1 莉塞特·桑切斯 1 斯科尔斯，沃特 1 斯坦珀斯，弗兰克·P·M。 1 范德波尔，扬·科内利斯 1 van Delft，迈特 1 Louis C.M.范古尔。 1 谢夫·范·卢 1 Van Weerdenburg，穆克J。 1 韦塞林克，J.W。 1 汉斯·赞特马 全部的 前5名系列 4 计算机科学中的逻辑方法 三 理论计算机科学 2 信息学报 2 ACM计算逻辑事务 2 计算机科学讲义 1 计算机程序设计科学 1 信息与计算 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 54 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 10 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用172中的次90文件 引用人▼ 年份▼ mCRL2工具集及其最新进展概述。 Zbl 1381.68198号 斯约尔德·克兰恩;Jan Friso，格鲁特;Jeroen J.A.Keiren。;斯坦珀斯，弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;Tim A.C.Willemse。 22 2013 概率系统的分支互模拟：特征和可判定性。 Zbl 1092.68062号 苏珊娜·安多瓦;Tim A.C.Willemse。 15 2006 使用数据进行模型检查。 Zbl 1082.68067号 J.F.格罗特。;威廉姆斯，T.A.C。 13 2005 参数化布尔方程系统。 Zbl 1077.68061号 Jan Friso，格鲁特;Tim A.C.Willemse。 13 2005 使用参数化布尔方程系统对无限系统进行等价性检查。 Zbl 1151.68521号 陈、陶璐;贝斯·普洛格;范德波尔（Jaco van de Pol）;Tim A.C.Willemse。 9 2007 基于符号规范的测试生成。 Zbl 1081.68570号 拉尔斯·弗兰岑;特雷特曼，简;Tim A.C.Willemse。 7 2005 参数化布尔方程系统的实例化。 Zbl 1161.68596号 van Dam，A。;普洛格，B。;威廉姆斯，T.A.C。 6 2008 参数化布尔方程系统的静态分析技术。 Zbl 1234.68263号 西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 5 2009 参数化布尔方程系统的不变量。 Zbl 1191.68415号 西蒙娜·奥尔赞;Tim A.C.Willemse。 5 2010 仅针对路径的活跃度特性的现成自动化分析。 Zbl 1443.68109号 马克·布曼;巴斯·卢提克;蒂姆·威姆斯 5 2020 参数化布尔方程系统的活性分析。 Zbl 1448.68302号 Jeroen J.A.Keiren。;威格·威瑟林克;Tim A.C.Willemse。 5 2014 概率系统分支互模拟的完整公理化，并应用于协议验证。 Zbl 1151.68502号 苏珊娜·安多瓦;Jos C.M.Baeten。;Tim A.C.Willemse。 5 2006 定点逻辑的证据。 Zbl 1373.68286号 斯约尔德·克兰恩;巴斯·卢提克;Tim A.C.Willemse。 5 2015 参数化布尔方程组的证明图。 Zbl 1390.68425号 斯约尔德·克兰恩;巴斯·卢提克;Tim A.C.Willemse。 5 2013 参数化布尔方程组的一致相关性及其在操作正确性证明中的应用。 Zbl 1287.68112号 Tim A.C.Willemse。 4 2010 布尔方程组的一致结果。 Zbl 1298.68173号 马西耶·加兹达。;Tim A.C.Willemse。 4 2012 使用mCRL2进行基于家族的模型检查。 Zbl 1430.68155号 莫里斯·比克。;埃里克·P·德文克。;Tim A.C.Willemse。 4 2017 口吃保护性偏序减少的标签不一致问题。 Zbl 07250953号 托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。 4 2020 参数化布尔方程系统的不变量。（扩展摘要）。 Zbl 1160.68446号 西蒙娜·奥尔赞;Tim A.C.Willemse。 4 2008 治疗口吃的平价游戏。 Zbl 1362.68165号 斯约尔德·克兰恩;Jeroen J.A.Keiren。;Tim A.C.Willemse。 4 2012 定点逻辑中的抽象。 Zbl 1367.68187号 斯约尔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 4 2015 同步异步一致性测试。 Zbl 1350.68048号 内达·诺鲁齐;拉丁·科斯拉维;穆罕默德·雷扎·穆萨维;Tim A.C.Willemse。 三 2011 齐埃隆卡的递归算法：枯燥、脆弱、纸牌游戏和更严格的界限。 Zbl 1464.68127号 马西耶·加兹达;Tim A.C.Willemse。 三 2013 分支互刺激游戏。 Zbl 1347.68276号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 三 2016 通过实例化参数化布尔方程系统验证反应系统。 兹比尔1215.68133 普洛格，B。;韦塞林克，J.W。;威姆斯，T.A.C。 2 2011 参数化布尔方程系统（扩展抽象）。 Zbl 1099.68670号 Jan Friso，格鲁特;蒂姆·威廉姆斯 2 2004 基于BDD的平价游戏求解器的比较。 Zbl 1528.68235号 莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 2 2018 用于相互模拟和抽象的游戏。 Zbl 1398.68362号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 2 2017 关于对等游戏的预订单和匹配游戏的逻辑。 Zbl 1448.91063号 加兹达，M.W。;威廉姆斯，T.A.C。 2 2016 通过结构图分析布尔方程组。 Zbl 1454.68066号 米歇尔·雷尼尔斯（Michel A.Reniers）。;Tim A.C.Willemse。 1 2010 用于细化检查的正确有效的反链算法。 Zbl 1509.68168号 莫里斯·拉维奥;Jan Friso，格鲁特;Tim A.C.Willemse。 1 2021 奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 Zbl 1483.68201号 托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克 1 2020 抽象中的表达性和完整性。 Zbl 1459.68119号 马西耶·加兹达;Tim A.C.Willemse。 1 2012 使用具有可变性的奇偶博弈进行基于家族的SPL模型检查。 Zbl 1507.68199号 莫里斯·比克。;谢夫·范·卢;埃里克·P·德文克。;Tim A.C.Willemse。 1 2020 用于细化检查的正确有效的反链算法。 Zbl 1509.68168号 莫里斯·拉维奥;Jan Friso，格鲁特;Tim A.C.Willemse。 1 2021 对正义路径的活性属性进行离线自动分析。 兹比尔1443.68109 马克·布曼;巴斯·卢提克;蒂姆·威廉姆斯 5 2020 保口吃偏序约简的不一致标记问题。 Zbl 07250953号 托马斯·内勒;安蒂瓦尔马里;Tim A.C.Willemse。 4 2020 奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 Zbl 1483.68201号 托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克 1 2020 使用具有可变性的奇偶博弈进行基于家族的SPL模型检查。 Zbl 1507.68199号 莫里斯·比克。;谢夫·范·卢;埃里克·P·德文克。;Tim A.C.Willemse。 1 2020 基于BDD的平价游戏求解器的比较。 Zbl 1528.68235号 莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 2 2018 使用mCRL2进行基于家族的模型检查。 Zbl 1430.68155号 莫里斯·比克。;埃里克·P·德文克。;Tim A.C.Willemse。 4 2017 用于相互模拟和抽象的游戏。 Zbl 1398.68362号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 2 2017 分支互模拟游戏。 Zbl 1347.68276号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 三 2016 关于对等游戏的预订单和匹配游戏的逻辑。 Zbl 1448.91063号 加兹达，M.W。;威廉姆斯，T.A.C。 2 2016 定点逻辑的证据。 Zbl 1373.68286号 斯约尔德·克兰恩;巴斯·卢提克;Tim A.C.Willemse。 5 2015 定点逻辑中的抽象。 Zbl 1367.68187号 斯约尔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 4 2015 参数化布尔方程系统的活性分析。 Zbl 1448.68302号 Jeroen J.A.Keiren。;威格·威瑟林克;Tim A.C.Willemse。 5 2014 mCRL2工具集及其最新进展概述。 Zbl 1381.68198号 斯约尔德·克兰恩;Jan Friso，格鲁特;Jeroen J.A.Keiren。;斯坦珀斯，弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;Tim A.C.Willemse。 22 2013 参数化布尔方程组的证明图。 Zbl 1390.68425号 斯约尔德·克兰恩;巴斯·卢提克;Tim A.C.Willemse。 5 2013 齐埃隆卡的递归算法：枯燥、脆弱、纸牌游戏和更严格的界限。 Zbl 1464.68127号 马西耶·加兹达;Tim A.C.Willemse。 三 2013 布尔方程组的一致结果。 Zbl 1298.68173号 马西耶·加兹达。;Tim A.C.Willemse。 4 2012 治疗口吃的平价游戏。 兹比尔1362.68165 斯约尔德·克兰恩;Jeroen J.A.Keiren。;Tim A.C.Willemse。 4 2012 抽象中的表达性和完整性。 Zbl 1459.68119号 马西耶·加兹达;Tim A.C.Willemse。 1 2012 同步异步一致性测试。 Zbl 1350.68048号 内达·诺鲁齐;拉丁·科斯拉维;穆罕默德·雷扎·穆萨维;Tim A.C.Willemse。 三 2011 通过实例化参数化布尔方程系统验证反应系统。 Zbl 1215.68133号 普洛格，B。;韦塞林克，J.W。;威廉姆斯，T.A.C。 2 2011 参数化布尔方程系统的不变量。 Zbl 1191.68415号 西蒙娜·奥尔赞;Tim A.C.Willemse。 5 2010 参数化布尔方程组的一致相关性及其在操作正确性证明中的应用。 Zbl 1287.68112号 Tim A.C.Willemse。 4 2010 通过结构图分析布尔方程组。 Zbl 1454.68066号 米歇尔·雷尼尔斯（Michel A.Reniers）。;Tim A.C.Willemse。 1 2010 参数化布尔方程系统的静态分析技术。 Zbl 1234.68263号 西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 5 2009 参数化布尔方程系统的实例化。 Zbl 1161.68596号 van Dam，A。;普洛格，B。;威廉姆斯，T.A.C。 6 2008 参数化布尔方程系统的不变量。（扩展摘要）。 Zbl 1160.68446号 西蒙娜·奥尔赞;Tim A.C.Willemse。 4 2008 使用参数化布尔方程系统对无限系统进行等价性检查。 Zbl 1151.68521号 陈、陶璐;贝斯·普洛格;雅各布·范德波尔;Tim A.C.Willemse。 9 2007 概率系统的分支互模拟：特征和可判定性。 Zbl 1092.68062号 苏珊娜·安多瓦;Tim A.C.Willemse。 15 2006 概率系统分支互模拟的完整公理化，并应用于协议验证。 Zbl 1151.68502号 苏珊娜·安多瓦;Jos C.M.Baeten。;Tim A.C.Willemse。 5 2006 使用数据进行模型检查。 Zbl 1082.68067号 J.F.格罗特。;威廉姆斯，T.A.C。 13 2005 参数化布尔方程系统。 Zbl 1077.68061号 Jan Friso，格鲁特;Tim A.C.Willemse。 13 2005 基于符号规范的测试生成。 Zbl 1081.68570号 拉尔斯·弗兰岑;特雷特曼，简;Tim A.C.Willemse。 7 2005 参数化布尔方程系统（扩展抽象）。 Zbl 1099.68670号 Jan Friso，格鲁特;蒂姆·威廉姆斯 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名154位作者引用 23 Tim A.C.Willemse。 7 Jan Friso，格鲁特 6 范格拉贝克、罗伯特·扬 5 巴斯·卢提克 4 马西耶·加兹达。 4 蒂妮，西蒙 4 威格·威瑟林克 三 卢卡·埃特罗 三 马克·布曼 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 斯约尔德·克兰恩 三 Daniel E.Gebler。 三 索尼娅·乔治耶夫斯卡 三 Anna Ingólfsdóttir 三 大卫·詹森（David N.Jansen）。 三 Jeroen J.A.Keiren。 三 金·古德斯特兰·拉森 三 西蒙娜·奥尔赞 三 莫里斯·比克。 三 汤姆·范·迪克 2 苏珊娜·安多瓦 2 本杰明·比斯平 2 埃里克·P·德文克。 2 贝诺·德拉哈耶 2 邓雨欣 2 休伯特·加拉维 2 卡洛斯·格雷戈里奥·罗德里格斯 2 罗尔夫·亨尼克 2 钟曼，宋世堂。 2 Legay、Axel 2 托马斯·内勒 2 乌韦·内斯特曼 2 贝斯·普洛格 2 尼古拉·特里卡 2 安德烈亚·图里尼 2 安蒂·瓦尔马里 2 安东·威伊斯（Anton J.Wijs）。 1 阿尔茨、菲德斯 1 安东尼斯·阿奇利奥斯 1 马克·艾吉尔 1 法布里斯·安伯特 1 埃利·阿纳斯塔西亚迪 1 法哈德·阿尔巴 1 保罗·巴尔丹 1 大卫·巴兹勒 1 哈什·贝哈尔 1 马可·贝尔纳多 1 米歇尔·比多特 1 西蒙·布利兹 1 弗雷德里克·梅耶·伯内兰 1 花束，织物 1 莫里斯·布吕诺格 1 皮埃尔·克莱斯托普·布埃 1 西蒙·巴斯德 1 兰斯·克莱维兰 1 吉列尔米娜·克莱杜 1 赫莱内·科拉维扎 1 Jean-Paul彗星 1 西尔维亚·克拉法 1 达姆，丹尼斯·雷内 1 戴维·德·弗鲁托斯·埃斯克里格 1 胡安·德·拉腊 1 洛科·德尼古拉 1 砂光机de Putter 1 马克·德内克 1 Dokter，Kasper公司 1 杜文杰 1 段振华 1 伊格纳西奥·法布雷加斯 1 格里戈里·费迪尤科维奇 1 威廉·扬·福克金 1 Forejt，Vojtěch公司 1 伏玉溪 1 安东尼奥·加门迪亚 1 简·赫尔曼·杰弗斯 1 莱蒂蒂亚·吉巴特 1 戈梅斯·马丁内斯，埃琳娜 1 奥尔纳·格伦伯格 1 埃丝特·格拉 1 阿尔蒂·古普塔 1 瓦希德·哈希米 1 轩尼诗，Matthew C.B。 1 霍尔格·赫尔曼斯 1 詹·菲利普·霍夫曼 1 彼得·霍夫纳 1 罗斯·霍恩 1 黄，温岭 1 彼得·扬查尔 1 彼得·格约尔·詹森 1 雅克·朱利安德 1 大卫·M·卡恩。 1 Joost-Pieter卡托恩 1 拉丁·科斯拉维 1 斯特凡·基弗 1 巴托克·克林 1 直纪小林 1 哈科·库彭斯 1 弗雷德里克·朗 1 拉诺特、拉格罗 1 鲁本·拉波尔 …还有54位作者 全部的 前5名16篇连载文章中引用 11 计算机科学中的逻辑方法 8 理论计算机科学 7 程序设计中的逻辑和代数方法杂志 5 计算的形式方面 4 信息与计算 三 信息学报 三 ACM计算逻辑事务 1 信息处理信件 1 计算机与系统科学杂志 1 自动推理杂志 1 机器学习 1 国际计算机科学基础杂志 1 美国医学会杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 算法 在5个字段中引用 90 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 阶、格、有序代数结构（06-XX） 1 系统论；控制（93至XX） 按年份列出的引文