编辑配置文件(在新选项卡中打开) 安东·J·维斯。 合著者距离 作者ID: wijs.anton-j 发布日期: 安东·威伊斯;A.J.威伊斯。;安东·J·维斯。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 22出版物自2005年以来 2作为编辑的贡献 合著者: 34位合著者具有23联合出版物 624位合作作者 全部的 前5名合著者 1 单作者的 4 博什纳奇·德拉甘 4 Jan Friso,格鲁特 3 德普特、桑德 3 威廉·扬·福克金 2 大卫·詹森(David N.Jansen)。 2 Jeroen J.A.Keiren。 2 拉杜·马特埃斯库 2 庞、军 1 侯赛因·阿贾扎尔 1 Jos C.M.巴滕。 1 博特尼克,E。 1 M.Torabi Dashti 1 斯特凡·爱德坎普 1 吕克·恩格伦 1 安斯加·芬克 1 保拉·赫伯 1 彼得·希玛 1 彼得·希伯斯(Peter A.J.Hilbers)。 1 Joost-Pieter卡托恩 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 罗姆·兰格拉克 1 威伦·利登贝格 1 伯特·利瑟 1 巴斯·卢提克 1 简·马滕斯 1 托马斯·内勒 1 马克西米利安·奥登布雷特 1 雅各布斯·E·罗达。 1 维克多·舒潘 1 穆罕默德·托拉比·达什蒂 1 尼古拉·特里卡 1 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 1 范德波尔,扬·科内利斯 1 乔赫里·范·埃尔德 全部的 前5名系列 2 逻辑与代数程序设计杂志 1 计算机程序设计科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机基础理论 1 ACM计算逻辑事务 1 马其顿数学 1 计算机科学课堂讲稿 领域 24 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用70中的次52文件 引用人▼ 年份▼ 一种计算断续等价和分支互模拟的(mathcal O(m\log n))算法。 兹比尔1367.68211 Jan Friso,格鲁特;大卫·詹森(David N.Jansen)。;Jeroen J.A.Keiren。;安东·J·维斯。 19 2017 标记转移系统上分支双相似性的(O(m\log n)算法。 兹比尔1483.68232 大卫·詹森(David N.Jansen)。;Jan Friso,格鲁特;Jeroen J.A.Keiren。;安东·威伊斯 8 2020 一种用于断续等价和分支互模拟的(O(m\log n)算法。 Zbl 1420.68146号 Jan Friso,格鲁特;安东·威伊斯 7 2016 定向模型检查调查。 Zbl 1226.68042号 斯特凡·爱德坎普;维克多·舒潘;博什纳奇·德拉甘;安东·威伊斯;安斯加·芬克;侯赛因·阿贾扎尔 7 2009 用于将图并行分解为强连接和最大末端分量的高效GPU算法。 Zbl 1404.68204号 安东·威伊斯;Joost-Pieter卡托恩;博什纳奇·德拉甘 5 2016 多核嵌套深度首次搜索。 Zbl 1348.68142号 阿尔芬斯·拉阿尔曼;罗姆·兰格拉克;雅各布·范德波尔;迈克尔·韦伯;安东·威伊斯 3 2011 模型优化的高效属性保留检查。 Zbl 1381.68187号 安东·威伊斯;吕克·恩格伦 3 2013 用于定量模型检查的分布式扩展波束搜索。 Zbl 1196.90052号 维斯,A.J。;B.利瑟。 3 2007 行为模型到模型转换的形式化验证技术。 Zbl 1380.68286号 德普特、桑德;安东·威伊斯 2 2018 时间分支的二相似性真的是等价的吗? Zbl 1175.68277号 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 使用扩展波束搜索修剪状态空间。 Zbl 1141.68493号 穆罕默德·托拉比·达什蒂;安东·J·维斯。 2 2007 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 Zbl 1088.68523号 博特尼克,E。;北卡罗来纳州特里卡。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 2 2005 加权图传递约简的并行算法。 Zbl 1337.05097号 博什纳奇·德拉甘;威伦·利登贝格;马克西米利安·奥登布雷特;安东·威伊斯;彼得·希尔伯斯 2 2010 基于BFS的线性时间特性模型检查,以及GPU上的应用程序。 Zbl 1411.68072号 安东·威伊斯 1 2016 基于水平采样的分层自适应状态空间缓存。 Zbl 1234.68261号 拉杜·马特埃斯库;安东·威伊斯 1 2009 验证验证器:关于LTS转换验证技术的形式正确性。 Zbl 1378.68114号 德普特、桑德;安东·威伊斯 1 2016 弱τ碰撞的连续和分布式实时计算。 Zbl 1243.68219号 拉杜·马特埃斯库;安东·威伊斯 1 2012 GPU上的术语重写。 Zbl 1496.68168号 乔赫里·范·埃尔德;Jan Friso,格鲁特;彼得·希玛;简·马滕斯;安东·威伊斯 1 2021 GPU上的术语重写。 Zbl 1496.68168号 乔赫里·范·埃尔德;Jan Friso,格鲁特;皮特·希玛;简·马滕斯;安东·威伊斯 1 2021 标记转移系统上分支双相似性的(O(m\log n)算法。 Zbl 1483.68232号 大卫·詹森(David N.Jansen)。;Jan Friso,格鲁特;Jeroen J.A.Keiren。;安东·威伊斯 8 2020 行为模型到模型转换的形式化验证技术。 兹比尔1380.68286 德普特、桑德;安东·威伊斯 2 2018 一种计算断续等价和分支互模拟的(mathcal O(m\log n))算法。 兹比尔1367.68211 Jan Friso,格鲁特;大卫·詹森(David N.Jansen)。;Jeroen J.A.Keiren。;安东·J·维斯。 19 2017 一种用于断续等价和分支互模拟的(O(m\log n)算法。 Zbl 1420.68146号 Jan Friso,格鲁特;安东·威伊斯 7 2016 用于将图并行分解为强连接和最大末端分量的高效GPU算法。 Zbl 1404.68204号 安东·威伊斯;Joost-Pieter卡托恩;博什纳奇·德拉甘 5 2016 基于BFS的线性时间特性模型检查,以及GPU上的应用程序。 Zbl 1411.68072号 安东·威伊斯 1 2016 验证验证器:关于LTS转换验证技术的形式正确性。 Zbl 1378.68114号 德普特、桑德;安东·威伊斯 1 2016 模型优化的高效属性保留检查。 Zbl 1381.68187号 安东·威伊斯;吕克·恩格伦 3 2013 弱τ碰撞的连续和分布式实时计算。 Zbl 1243.68219号 拉杜·马特埃斯库;安东·威伊斯 1 2012 多核嵌套深度首次搜索。 Zbl 1348.68142号 阿尔芬斯·拉阿尔曼;罗姆·兰格拉克;雅各布·范德波尔;迈克尔·韦伯;安东·威伊斯 3 2011 加权图传递约简的并行算法。 Zbl 1337.05097号 博什纳奇·德拉甘;威伦·利登贝格;马克西米利安·奥登布雷特;安东·威伊斯;彼得·希尔伯斯 2 2010 定向模型检查调查。 Zbl 1226.68042号 斯特凡·爱德坎普;维克多·舒潘;博什纳奇·德拉甘;安东·威伊斯;安斯加·芬克;侯赛因·阿贾扎尔 7 2009 基于水平采样的分层自适应状态空间缓存。 Zbl 1234.68261号 拉杜·马特埃斯库;安东·威伊斯 1 2009 用于定量模型检查的分布式扩展波束搜索。 Zbl 1196.90052号 A.J.威伊斯。;Lisser,B。 3 2007 使用扩展波束搜索修剪状态空间。 Zbl 1141.68493号 穆罕默德·托拉比·达什蒂;安东·J·维斯。 2 2007 时间分支双相似性真的是等价的吗? Zbl 1175.68277号 Wan Fokkink公司;庞、军;安东·威伊斯 2 2005 使用Spin、CADP和Uppaal分析转台系统的(chi)模型。 Zbl 1088.68523号 博特尼克,E。;Trčka,北卡罗来纳州。;A.J.威伊斯。;B.卢提克。;范·德·莫特尔·弗朗茨克(J.M.Van De Mortel-Fronczak)。;巴顿,J.C.M。;W.J.福克金。;罗达,J.E。 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名113位作者引用 8 Jan Friso,格鲁特 8 安东·J·维斯。 4 埃里克·P·德文克。 4 Tim A.C.Willemse。 3 卢博什·布里姆 3 文森佐·西安西亚 3 大卫·詹森(David N.Jansen)。 3 弗雷德里克·朗 3 迭戈·拉特拉 3 梅克·马西克 3 拉杜·马特埃斯库 2 尼古拉·贝内什 2 博什纳奇·德拉甘 2 砂光机de Putter 2 斯特凡·爱德坎普 2 简·赫尔曼·杰弗斯 2 罗伯托·戈里埃里 2 玛丽克·赫斯曼 2 Jeroen J.A.Keiren。 2 巴斯·卢提克 2 简·马滕斯 2 佛朗哥,马赞蒂 2 斯特凡·米利厄斯 2 Wytse Oortwijn公司 2 塞缪尔·帕斯特瓦 2 米歇尔·阿德里安·雷尼尔 2 雅各布斯·E·罗达。 2 萨夫拉内克,大卫 2 R.R.H.希弗勒。 2 卢茨·施罗德 2 范·比克,D.A。 2 托尔斯滕·维曼 2 杨鹏飞 1 侯赛因·阿贾扎尔 1 马里奥·阿尔瓦雷斯·皮卡略 1 Jos C.M.巴滕。 1 JiříBarnat 1 波登,泰国 1 Bezhanishvili,尼克 1 迈克尔·布隆丁 1 奥拉夫·邦特 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 米开朗基罗Ceci 1 杰弗里·查伦 1 Ranveer Chandra 1 斯乔德·克兰恩 1 Pieter J.L.Cuijpers。 1 M.Torabi Dashti 1 汉斯·佩特·迪费尔 1 乌尔里希·多尔希 1 克里斯蒂安·艾森特罗 1 汤姆·恩格斯。 1 安斯加·芬克 1 卡斯滕·福斯 1 大卫·加伯里亚 1 休伯特·加拉维 1 Jens Chr.Godskesen。 1 劳雷·贡诺德 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 吉安卢卡·格里莱蒂 1 克里斯托夫·哈斯 1 霍尔格·赫尔曼斯 1 彼得·希玛 1 巴特·雅各布斯 1 彼得·格约尔·詹森 1 钟曼,宋世堂。 1 Joosten,Sebastian J.C。 1 Joost-Pieter卡托恩 1 金恩赫(Kim,Eunhee) 1 塞巴斯蒂安·库普弗施米德 1 权永民 1 圣菲拉福顿 1 拉希里、舒文杜·库马尔 1 莫里斯·拉维奥 1 米歇尔·洛雷蒂 1 多纳托·马勒巴 1 罗比·马利克 1 伙计,卡洛克 1 萨哈尔·莫哈杰拉尼 1 菲利普·奥特马特 1 内克米耶Ozay 1 帕考德·勒梅,让·西蒙 1 吉安维托·皮奥 1 弗朗西丝卡·普里西亚达罗 1 米歇拉·夸迪尼 1 里奥·里维拉·威尔杜斯科 1 莫森野生动物园 1 维克多·舒潘 1 石景浩 1 西蒙切克,帕维尔 1 宋磊 1 琳达·斯潘宁斯 1 吉·斯尔巴 1 达米安·苏鲁夫斯基 1 托尼森,R.J.M。 1 Timmers,渡轮 1 西蒙·蒂尼 1 简·特雷尔 1 尼古拉·延森·乌尔里克 1 范德波尔,扬·科内利斯 …还有13位作者 全部的 前5名14篇连载文章中引用 8 计算机科学中的逻辑方法 3 系统设计中的形式化方法 2 信息学报 2 计算的形式方面 2 逻辑与代数程序设计杂志 1 信息处理信件 1 Automatica公司 1 编程和计算机软件 1 计算机程序设计科学 1 信息与计算 1 国际近似推理杂志 1 机器学习 1 计算机基础理论 1 算法 全部的 前5名在10个字段中引用 50 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 3 组合数学(05-XX) 2 概率论与随机过程(60-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 1 范畴理论;同调代数(18-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 系统论;控制(93至XX) 按年份列出的引文