编辑配置文件(在新选项卡中打开) 威格·威瑟林克 合著者距离 作者ID: 威瑟林克 发布日期: 威格·威瑟林克;韦塞林克,W。 已编制索引的文档: 12出版物自1995年以来,包括1本书 合著者: 14合著者具有11联合出版物 193位合作作者 全部的 前5名合著者 1 单作者的 6 Tim A.C.Willemse。 2 斯乔德·克兰恩 2 Jeroen J.A.Keiren。 2 Arjan J.穆伊。 2 朱迪·罗米恩 2 雷姆科·C·维尔特坎普。 1 埃里克·P·德文克。 1 马西耶·加兹达。 1 格罗特,扬·弗里索 1 托马斯·内勒 1 西蒙娜·奥尔赞 1 桑切斯,利塞特 1 斯坦珀斯,弗兰克·P·M。 1 奥尔加,特维雷蒂纳 系列 2 计算机辅助几何设计 1 ACM计算逻辑事务 领域 11 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般性和全局性主题;集合(00-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用52中的次44文件 引用人▼ 年份▼ mCRL2工具集及其最新进展概述。 Zbl 1381.68198号 斯乔德·克兰恩;格罗特,扬·弗里索;Jeroen J.A.Keiren。;斯坦珀斯,弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;Tim A.C.Willemse。 22 2013 约束变分曲线的交互式设计。 Zbl 0875.68848号 威格·威瑟林克;雷姆科·C·维尔特坎普。 8 1995 参数化布尔方程系统的静态分析技术。 Zbl 1234.68263号 西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 5 2009 参数化布尔方程系统的活性分析。 Zbl 1448.68302号 Jeroen J.A.Keiren。;威格·威瑟林克;Tim A.C.Willemse。 5 2014 定点逻辑中的抽象。 Zbl 1367.68187号 斯乔德·克兰恩;马西耶·加兹达;威格·威瑟林克;Tim A.C.Willemse。 4 2015 三角B样条曲面的有效计算。 Zbl 0948.68186号 M·弗朗森。;R.C.维尔特坎普。;韦塞林克,W。 三 2000 基于BDD的平价游戏求解器的比较。 兹比尔1528.68235 莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 2 2018 PVS中Chang-Roberts领导人选举的基于断言的证明检查。 Zbl 1141.68487号 朱迪·罗米恩;威格·威瑟林克;阿詹·穆伊吉 1 2007 曲线和曲面的变化建模。 Zbl 0852.65014号 威格·威瑟林克 1 1996 奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 Zbl 1483.68201号 托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克 1 2020 奇偶对策的偏序约简及其在参数化布尔方程组上的应用。 Zbl 1483.68201号 托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克 1 2020 基于BDD的平价游戏求解器的比较。 兹比尔1528.68235 莉塞特·桑切斯;威格·威瑟林克;Tim A.C.Willemse。 2 2018 定点逻辑中的抽象。 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号 斯乔德·克兰恩;格罗特,扬·弗里索;Jeroen J.A.Keiren。;斯坦珀斯,弗兰克·P·M。;埃里克·P·德文克。;威格·威瑟林克;Tim A.C.Willemse。 22 2013 参数化布尔方程系统的静态分析技术。 Zbl 1234.68263号 西蒙娜·奥尔赞;威格·威瑟林克;Tim A.C.Willemse。 5 2009 PVS中Chang-Roberts领导人选举的基于断言的证明检查。 Zbl 1141.68487号 朱迪·罗米恩;威格·威瑟林克;阿詹·穆伊吉 1 2007 三角B样条曲面的有效计算。 Zbl 0948.68186号 M·弗朗森。;R.C.维尔特坎普。;韦塞林克,W。 三 2000 曲线和曲面的变化建模。 Zbl 0852.65014号 威格·威瑟林克 1 1996 约束变分曲线的交互式设计。 Zbl 0875.68848号 威格·威瑟林克;雷姆科·维尔特坎普。 8 1995 所有引用出版物 前5名被引用出版物 全部的 前5名97位作者引用 11 Tim A.C.Willemse。 三 格罗特,扬·弗里索 三 Jeroen J.A.Keiren。 三 威格·威瑟林克 2 卢卡·埃特罗 2 斯乔德·克兰恩 2 埃里克·P·德文克。 2 休伯特·加拉维 2 马西耶·加兹达。 2 卡洛斯·格雷戈里奥·罗德里格斯 2 Anna Ingólfsdóttir 2 钟曼,宋世堂。 2 ter Beek,Maurice H。 2 汤姆·范·迪克 2 安东·威伊斯(Anton J.Wijs)。 2 徐刚 1 穆罕默德·莫欣·阿巴斯 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 法哈德·阿尔巴 1 大卫·巴兹勒 1 哈什·贝哈尔 1 西蒙,布利兹 1 弗雷德里克·梅耶·伯内兰 1 莫里斯·布吕诺格 1 曹焕新 1 曹、胡安 1 陈文宇 1 陈忠贵 1 兰斯·克莱维兰 1 崔霞 1 戴维·德·弗鲁托斯·埃斯克里格 1 胡安·德·拉腊 1 德普特、桑德 1 马克·德内克 1 Dokter,Kasper公司 1 段振华 1 伊格纳西奥·法布雷加斯 1 安东尼奥·加门迪亚 1 简·赫尔曼·杰弗斯 1 戈梅斯·马丁内斯,埃琳娜 1 埃丝特·盖拉 1 詹·菲利普·霍夫曼 1 彼得·霍夫纳 1 胡、刚 1 大卫·詹森(David N.Jansen)。 1 彼得·格约尔·詹森 1 贾、岳 1 大卫·M·卡恩。 1 阿卜杜鲁阿赫德·库伊比亚 1 弗雷德里克·朗 1 鲁本·拉波尔 1 金·古德斯特兰·拉森 1 李俊成 1 李永东 1 Oebele Lizzenga 1 刘成志 1 刘善军 1 刘旭正 1 路易斯·拉纳 1 马,钱 1 拉斐尔·加西亚·马丁内斯 1 Md Yushalify Misro 1 阿扬·J·穆伊(Arjan J.Mooij)。 1 马尔科·穆尼兹 1 托马斯·内勒 1 西蒙娜·奥尔赞 1 米盖尔·帕萨达斯 1 贝斯·普洛格 1 卡拉·波恰 1 克里斯托弗·普罗瓦蒂迪斯。 1 罗萨里奥·普格利泽 1 蒂蒙·拉布祖克 1 里奥·里维拉·威尔杜斯科 1 鲍勃·鲁本斯 1 马德·扎因(Mad Zain)、赛义德·艾哈迈德·艾迪尔·阿德哈(Syed Ahmad Aidil Adha)说道 1 莉塞特·桑切斯 1 吉·斯尔巴 1 孙家光 1 范·德尔夫特(Myrthe van Delft) 1 朱尔·范德沃尔 1 范格拉贝克、罗伯特·扬 1 谢夫·范·卢 1 王爱曾 1 王国钊 1 王晓兵 1 韦塞林克,J.W。 1 勇俊海 1 吉田、Nobuko 1 曾晓明 1 张楠 1 张永杰杰西卡 1 张玉华 1 赵刚 1 郑国勤 1 郑宏灿 1 庄小英 全部的 前5名17篇连载文章中引用 7 程序设计中的逻辑和代数方法杂志 三 计算的形式方面 2 计算与应用数学杂志 2 计算与应用数学 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 信息学报 1 应用力学与工程中的计算机方法 1 应用数学与计算 1 麦加尼卡 1 理论计算机科学 1 计算机辅助几何设计 1 信息与计算 1 数值算法 1 算法 1 科学中国。信息科学 1 连续和离散模型的进展 全部的 前5名在7个字段中引用 36 计算机科学(68至XX) 10 数值分析(65-XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 数学逻辑和基础(03-XX) 1 欧氏空间的调和分析(42至XX) 1 可变形固体力学(74-XX) 1 系统论;控制(93至XX) 按年份列出的引文