威格·威瑟林克
人员信息
优化列表
2020年–今天
2024 [i3] 威格·威瑟林克 , Bram Grooten公司 , 乔晓(音) , 凯西奥·德·坎波斯 , Mykola Pechenizkiy公司 :
Nerva:神经网络的真正稀疏实现。 CoRR公司 abs/2407.17437 ( 2024 ) 2022 [j8] 托马斯·内勒 , 蒂姆·A·C·威廉斯 , 威格·威瑟林克 , 安蒂·瓦尔马里 :
奇偶博弈和参数化布尔方程系统的偏序约简。 国际期刊软件。 技术工具。 变压器。 24 ( 5 ) : 735-756 ( 2022 ) [第15条] 莫里斯·拉维奥 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
符号平价游戏的现场解决方案。 TACAS(2) 2022 : 137-155 [i2] 莫里斯·拉维奥 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
符号平价游戏的现场解决方案。 CoRR公司 abs/2201.09607 ( 2022 ) 2020 [第14条] 托马斯·尼尔 , 蒂姆·A·C·威廉斯 , 威格·威瑟林克 :
奇偶博弈的部分降阶及其在参数化布尔方程系统中的应用。 墨西哥玉米饼(2) 2020 : 307-324
2010 – 2019
2019 [第13条] 奥拉夫·邦特 , 简·弗里索·格鲁特 , 杰罗恩·J·A·凯伦 , 莫里斯·拉沃 , 托马斯·内勒 , 埃里克·德文克 , 威格·威瑟林克 , 安东·威伊斯 , 蒂姆·A·C·威廉斯 :
用于分析并发系统的mCRL2工具集-在表达性和可用性方面的改进。 TACAS(2) 2019 : 21-39 2018 [c12] 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
从参数化布尔方程系统中提取证据。 ARQNL@IJCAR 2018 : 86-100 [第11条] 莉塞特·桑切斯 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
基于BDD的奇偶博弈解算器的比较。 甘道夫 2018 : 103-117 2017 [第10条] 罗杰·范·博塞科姆 , 简·弗里索·格鲁特 , 保罗·胡根蒂克 , 罗伯特·豪 , 威格·威瑟林克 , 罗布·威林加 , 蒂姆·A·C·威廉斯 :
在mCRL2中对Dezyne建模语言进行形式化。 FMICS-AVoCS 2017 : 217-233 2015 [j7] 乔德·克兰恩 , 马西耶·加兹达 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
定点逻辑中的抽象。 ACM事务处理。 计算。 日志。 16 ( 4 ) : 29:1-29:39 ( 2015 ) 2014 【c9】 杰罗恩·J·A·凯伦 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
参数化布尔方程系统的活性分析。 ATVA公司 2014 : 219-234 2013 【c8】 乔德·克兰恩 , 简·弗里索·格鲁特 , 杰罗恩·J·A·凯伦 , 弗兰克·P·M·斯塔珀斯 , 埃里克·德文克 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
mCRL2工具集及其最新进展概述。 TACAS公司 2013 : 199-213 [i1] 杰罗恩·J·A·凯伦 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
使用控制流重构改进了参数化布尔方程系统的静态分析。 CoRR公司 abs/1304.6482 ( 2013 ) 2011 [j6] Bas Ploeger公司 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
通过实例化参数化布尔方程系统验证反应系统。 Inf.计算。 209 ( 4 ) : 637-663 ( 2011 ) [j5] 简·弗里索·格鲁特 , 杰罗恩·凯伦 , 弗兰克·P·M·斯塔珀斯 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
开发mCRL2工具集的经验。 柔和。 实际。 支出。 41 ( 2 ) : 143-153 ( 2011 )
2000 – 2009
2009 【c7】 西蒙娜·奥尔赞 , Wieger-Wesselink公司 , 蒂姆·A·C·威廉斯 :
参数化布尔方程系统的静态分析技术。 TACAS公司 2009 : 230-245 2007 【c6】 朱迪·罗米恩 , Wieger-Wesselink公司 , 阿尔扬·J·穆伊(Arjan J.Mooij) :
PVS中Chang-Roberts领导人选举的基于断言的证明检查。 ATVA公司 2007 : 347-361 2006 【c5】 阿尔扬·J·穆伊(Arjan J.Mooij) , 朱迪·罗米恩 , 威格·威瑟林克 :
组合MSC的实现标准。 AMAST公司 2006 : 248-262 【c4】 奥尔加·特维雷蒂纳 , 威格·威瑟林克 :
EufDpll-检查等式逻辑公式可满足性的工具。 MFCSIT公司 2006 : 405-420 2005 【c3】 阿尔扬·J·穆伊(Arjan J.Mooij) , 威格·威瑟林克 :
使用PVS对Owicki/Gries证明大纲进行增量验证。 ICFEM公司 2005 : 390-404 2002 【c2】 埃米尔·克莱默 , 苏菲亚·鲁特凯 , 马克运动衫 , 威格·威瑟林克 :
视听线索对突出程度的感知评估。 INTERSPEECH公司 2002 : 1933-1936 2001 【c1】 Dzmitry Aliakseyeu先生 , Jean-Bernard Martens公司 , 斯里拉姆·苏布拉曼尼亚语 , 玛丽娜·弗鲁贝尔 , 威格·威瑟林克 :
视觉交互平台。 互动 2001 : 232-239 2000 【j4】 迈克尔·弗兰森 , 雷姆科·C·维尔特坎普 , 威格·威瑟林克 :
三角B样条曲面的有效计算。 计算。 辅助Geom。 设计。 17 ( 9 ) : 863-877 ( 2000 )
1990 – 1999
1996 [j3] Günther Greiner先生 , 约阿希姆·卢斯 , 威格·威瑟林克 :
数据相关薄板能量及其在交互式曲面建模中的应用。 计算。 图表。 论坛 15 ( 三 ) : 175-186 ( 1996 ) 1995 [注2] 威格·威瑟林克 , 雷姆科·C·维尔特坎普 :
约束变分曲线的交互式设计。 计算。 辅助Geom。 设计。 12 ( 5 ) : 533-546 ( 1995 ) [j1] 雷姆科·C·维尔特坎普 , 威格·威瑟林克 :
最小能量3D曲线建模。 计算。 图表。 论坛 14 ( 三 ) : 97-110 ( 1995 )