编辑配置文件(在新选项卡中打开) 玛格斯·维纳斯 合著者距离 作者ID: 维埃内斯·马格斯 发布日期: 玛格斯·维纳斯;韦恩斯,M。 已编制索引的文档: 50种出版物自1997年以来,包括2本书 3作为编辑的贡献 合著者: 42位合著者具有46份联合出版物 1048合著作者 全部的 前5名合著者 7 单作者的 10 尼古拉·S·比约纳。 8 洛丽斯·达安东尼 6 尤里·古里维奇 4 列夫·纳奇曼森 4 沃尔夫拉姆·舒尔特 三 哈拉尔德·甘辛格 三 沃尔夫冈·格里斯坎普 三 佛罗伦萨·杰克马尔 三 本杰明·利夫希茨 三 大卫·莫尔纳 三 尼古拉·蒂尔曼 2 安纳托利·伊万诺维奇·德吉亚列夫 2 Pieter Hooimeijer 2 杰基、乔纳森 2 巴利亚特·纳伦德兰 1 乔纳斯·巴克隆德 1 迈克·巴奈特 1 吉尔·巴特 1 谢尔盖·贝雷格。 1 安德烈亚斯·拉斐尔 1 伊贡博格尔 1 罗伯特·科克伦。 1 维罗尼克·科尔蒂尔 1 乔纳森·德·哈勒克斯 1 莱昂纳多·德·莫拉 1 朱汉·厄尼茨 1 卢卡什·霍利克 1 康斯坦丁·科洛文 1 Ondřej Lengál 1 约尔迪·利维 1 托德·米特科维奇 1 亚历山大·佩特连科 1 安藤萨巴斯 1 奥利·萨里基维 1 Síč,尤拉杰 1 杰夫·萨特克利夫 1 埃利斯·塔姆 1 特雷特曼,简 1 卢卡·维甘诺 1 汤姆·沃纳 1 安德烈·沃伦科夫 1 查尔斯·华莱士 全部的 前5名系列 三 信息处理信件 2 理论计算机科学 2 信息与计算 2 计算机科学课堂讲稿 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 美国医学会杂志 1 欧洲理论计算机科学协会公报 1 逻辑与代数程序设计杂志 1 EPiC计算系列 字段 48 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用202中的次122文件 引用人▼ 年份▼ 符号有限状态传感器:算法和应用。 Zbl 1321.68341号 玛格斯·维纳斯;Pieter Hooimeijer;本杰明·利夫希茨;大卫·莫尔纳;尼古拉·比约纳 20 2012 符号自动机最小化。 Zbl 1284.68347号 洛丽斯·达安东尼;玛格斯·维纳斯 20 2014 关于二阶统一的不可判定性。 Zbl 1005.03007号 约尔迪·利维;玛格斯·维纳斯 14 2000 符号自动机和传感器的威力。 Zbl 1494.68133号 洛丽斯·达安东尼;玛格斯·维纳斯 12 2017 使用Spec Explorer测试并发面向对象系统。 Zbl 1120.68354号 科林·坎贝尔;沃尔夫冈·格里斯坎普;列夫·纳奇曼森;沃尔夫拉姆·舒尔特;尼古拉·蒂尔曼;玛格斯·维纳斯 11 2005 符号有限自动机的应用。 兹比尔1298.68160 玛格斯·维纳斯 10 2013 符号自动机约束求解。 Zbl 1306.68097号 玛格斯·维纳斯;尼古拉·比约纳;莱昂纳多·德·莫拉 10 2010 播放以测试。 Zbl 1183.68176号 安德烈亚斯·布拉斯;尤里·古里维奇;列夫·纳奇曼森;玛格斯·维纳斯 9 2006 Qex:符号SQL查询资源管理器。 Zbl 1253.68114号 玛格斯·维纳斯;尼古拉·蒂尔曼;乔纳森·德·哈勒克斯 8 2010 字符串分析自动机算法的评估。 Zbl 1317.68287号 Pieter Hooimeijer;玛格斯·维纳斯 8 2011 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 Zbl 0944.68103号 德吉亚雷夫,A。;Y.古雷维奇。;纳伦德兰,P。;韦恩斯,M。;沃伦科夫,A。 7 2000 一元分解。 Zbl 1426.03026号 玛格斯·维纳斯;尼古拉·比约纳;列夫·纳奇曼森;谢尔盖·贝雷格 6 2017 刚性可达性。 Zbl 0928.03002号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 5 1998 具有两个变量的同时刚性统一的不可判定性。 Zbl 0884.03047号 玛格斯·维纳斯 5 1997 二阶统一与同时刚性统一之间的关系。 Zbl 0945.03528号 玛格斯·维纳斯 5 1998 使用C#进行基于模型的软件测试和分析。 Zbl 1142.68024号 杰基、乔纳森;玛格斯·维纳斯;科林·坎贝尔;沃尔夫拉姆·舒尔特 5 2008 有限符号树变换器基础。 Zbl 1257.68100号 玛格斯·维纳斯;尼古拉·比约纳 5 2011 符号自动机:工具箱。 Zbl 1352.68138号 玛格斯·维纳斯;尼古拉·比约纳 4 2012 扩展符号有限自动机和变换器。 Zbl 1341.68085号 洛丽斯·达安东尼;玛格斯·维纳斯 4 2015 符号树自动机。 Zbl 1317.68103号 玛格斯·维纳斯;尼古拉·比约纳 4 2015 一个变量同时刚性统一的可判定性。 Zbl 0903.03007号 安纳托利·德吉亚列夫;尤里·古里维奇;巴利亚特·纳伦德兰;玛格斯·维纳斯;安德烈·沃伦科夫 三 1998 有限序列上的一元二阶逻辑。 Zbl 1387.03006号 洛丽斯·达安东尼;玛格斯·维纳斯 三 2017 符号树自动机的最小化。 Zbl 1401.68159号 洛丽斯·达安东尼;玛格斯·维纳斯 2 2016 关于具有集合理解的程序的有界可达性。 Zbl 1182.68048号 玛格斯·维纳斯;安藤萨巴斯 2 2008 同时刚性可达性的可判定碎片。 Zbl 0943.68096号 维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 1999 模型程序的组成。 Zbl 1215.68072号 玛格斯·维纳斯;科林·坎贝尔;沃尔夫拉姆·舒尔特 2 2007 抽象状态机在语言理论中有用吗? Zbl 1111.68054号 尤里·古里维奇;玛格斯·维纳斯;查尔斯·华莱士 2 2007 非确定性符号有限自动机的前向互模拟。 Zbl 1452.68103号 洛丽斯·达安东尼;玛格斯·维纳斯 2 2017 字符串编码器和解码器的静态分析。 Zbl 1426.68043号 洛丽斯·达安东尼;玛格斯·维纳斯 2 2013 刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 2000 关于同时刚性统一。 Zbl 0887.68098号 玛格斯·维纳斯 1 1997 平等的逻辑:党派支持和转移配对。 兹比尔1004.03036 尤里·古里维奇;玛格斯·维纳斯 1 1999 具有抽象数据结构的模型程序中的状态同构。 Zbl 1215.68073号 玛格斯·维纳斯;Ernits,巨汉;科林·坎贝尔 1 2007 输入输出模型程序。 Zbl 1250.68198号 玛格斯·维纳斯;尼古拉·比约纳 1 2009 数据并行字符串操作程序。 兹比尔1345.68035 玛格斯·维纳斯;托德·米特科维奇;大卫·莫尔纳;本杰明·利夫希茨 1 2015 符号传感器最小化。 Zbl 1494.68149号 奥利·萨里基维;玛格斯·维纳斯 1 2017 符号树传感器。 Zbl 1336.68158号 玛格斯·维纳斯;尼古拉·比约纳 1 2012 模型程序的符号有界一致性检查。 Zbl 1274.68082号 玛格斯·维纳斯;尼古拉·比约纳 1 2010 符号自动机和传感器的威力。 Zbl 1494.68133号 D’洛丽斯·安东尼;玛格斯·维纳斯 12 2017 一元分解。 Zbl 1426.03026号 玛格斯·维纳斯;尼古拉·比约纳;列夫·纳奇曼森;谢尔盖·贝雷格 6 2017 有限序列上的一元二阶逻辑。 Zbl 1387.03006号 D’洛丽斯·安东尼;玛格斯·维纳斯 三 2017 非确定性符号有限自动机的前向互模拟。 Zbl 1452.68103号 D’洛丽斯·安东尼;玛格斯·维纳斯 2 2017 符号传感器最小化。 Zbl 1494.68149号 奥利·萨里基维;玛格斯·维纳斯 1 2017 符号树自动机的最小化。 Zbl 1401.68159号 D’安东尼,洛里斯;玛格斯·维纳斯 2 2016 扩展符号有限自动机和变换器。 Zbl 1341.68085号 D’安东尼,洛里斯;玛格斯·维纳斯 4 2015 符号树自动机。 Zbl 1317.68103号 玛格斯·维纳斯;尼古拉·比约纳 4 2015 数据并行字符串操作程序。 Zbl 1345.68035号 玛格斯·维纳斯;托德·米特科维奇;大卫·莫尔纳;本杰明·利夫希茨 1 2015 符号自动机最小化。 Zbl 1284.68347号 D’洛丽斯·安东尼;玛格斯·维纳斯 20 2014 符号有限自动机的应用。 Zbl 1298.68160号 玛格斯·维纳斯 10 2013 字符串编码器和解码器的静态分析。 Zbl 1426.68043号 D’洛丽斯·安东尼;玛格斯·维纳斯 2 2013 符号有限状态传感器:算法和应用。 Zbl 1321.68341号 玛格斯·维纳斯;Pieter Hooimeijer;本杰明·利夫希茨;大卫·莫尔纳;尼古拉·比约纳 20 2012 符号自动机:工具箱。 Zbl 1352.68138号 玛格斯·维纳斯;尼古拉·比约纳 4 2012 符号树传感器。 Zbl 1336.68158号 玛格斯·维纳斯;尼古拉·比约纳 1 2012 字符串分析自动机算法的评估。 Zbl 1317.68287号 Pieter Hooimeijer;玛格斯·维纳斯 8 2011 有限符号树变换器基础。 Zbl 1257.68100号 玛格斯·维纳斯;尼古拉·比约纳 5 2011 符号自动机约束求解。 Zbl 1306.68097号 玛格斯·维纳斯;尼古拉·比约纳;莱昂纳多·德·莫拉 10 2010 Qex:符号SQL查询浏览器。 Zbl 1253.68114号 玛格斯·维纳斯;尼古拉·蒂尔曼;乔纳森·德·哈勒克斯 8 2010 模型程序的符号有界一致性检查。 Zbl 1274.68082号 玛格斯·维纳斯;尼古拉·比约纳 1 2010 输入输出模型程序。 Zbl 1250.68198号 玛格斯·维纳斯;尼古拉·比约纳 1 2009 使用C#进行基于模型的软件测试和分析。 Zbl 1142.68024号 杰基、乔纳森;玛格斯·维纳斯;科林·坎贝尔;沃尔夫拉姆·舒尔特 5 2008 关于具有集合理解的程序的有界可达性。 Zbl 1182.68048号 玛格斯·维纳斯;安藤萨巴斯 2 2008 模型程序的组成。 Zbl 1215.68072号 玛格斯·维纳斯;科林·坎贝尔;沃尔夫拉姆·舒尔特 2 2007 抽象状态机在语言理论中有用吗? Zbl 1111.68054号 尤里·古里维奇;玛格斯·维纳斯;查尔斯·华莱士 2 2007 具有抽象数据结构的模型程序中的状态同构。 Zbl 1215.68073号 玛格斯·维纳斯;朱汉·厄尼茨;科林·坎贝尔 1 2007 播放以测试。 Zbl 1183.68176号 安德烈亚斯·布拉斯;尤里·古里维奇;列夫·纳奇曼森;玛格斯·维纳斯 9 2006 使用Spec Explorer测试并发面向对象系统。 Zbl 1120.68354号 科林·坎贝尔;沃尔夫冈·格里斯坎普;列夫·纳奇曼森;沃尔夫拉姆·舒尔特;尼古拉·蒂尔曼;玛格斯·维纳斯 11 2005 关于二阶统一的不可判定性。 Zbl 1005.03007号 约尔迪·利维;玛格斯·维纳斯 14 2000 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 兹比尔0944.68103 德吉亚雷夫,A。;Y.古雷维奇。;纳伦德兰,P。;韦恩斯,M。;沃伦科夫,A。 7 2000 刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 2000 同时刚性可达性的可判定片段。 Zbl 0943.68096号 维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 1999 平等的逻辑:党派支持和转移配对。 Zbl 1004.03036号 尤里·古里维奇;玛格斯·维纳斯 1 1999 刚性可达性。 Zbl 0928.03002号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 5 1998 二阶统一与同时刚性统一之间的关系。 Zbl 0945.03528号 玛格斯·维纳斯 5 1998 与一个变量同时刚性统一的可判定性。 Zbl 0903.03007号 安纳托利·德吉亚列夫;尤里·古里维奇;巴利亚特·纳伦德兰;玛格斯·维纳斯;安德烈·沃伦科夫 三 1998 具有两个变量的同时刚性统一的不可判定性。 Zbl 0884.03047号 玛格斯·维纳斯 5 1997 关于同时刚性统一。 Zbl 0887.68098号 玛格斯·维纳斯 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名241位作者引用 13 玛格斯·维纳斯 6 安德烈·沃伦科夫 5 尤里·古里维奇 5 卢卡什·霍利克 5 Ondřej Lengál 4 克拉克·W·巴雷特。 4 洛丽斯·达安东尼 4 约尔迪·利维 4 安德鲁·雷诺兹 4 曼弗雷德·施密特·沙乌 4 塞萨尔·蒂内利 4 汤姆·沃纳 三 尼古拉·S·比约纳。 三 罗德里克·布洛姆 三 克里希南德·查特吉 三 沃伊特·哈夫勒纳 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 Anthony Widjaja林 三 内尔玛·莫雷拉 三 德扬·尼科维奇 三 马图·维拉雷特 三 福格勒、海科 三 扎哈罗夫,弗拉基米尔·阿纳托利耶维奇 2 埃齐奥·巴托西 2 尼古拉斯·贝尔迪塞努 2 伊戈尔·波多诺夫(Igor B.Bourdonov)。 2 安纳托利·伊万诺维奇·德吉亚列夫 2 汤姆·菲多尔 2 伯恩德·芬克贝纳 2 达纳·菲斯曼 2 玛丽亚姆·古拉尼 2 拉杜·格里戈尔 2 佛罗伦萨·杰克马尔 2 斯特凡·雅克西奇 2 斯特凡·基弗 2 斯塔夫罗斯·康斯坦蒂尼迪斯 2 亚历山大·科萨切夫。 2 维克托·五·库利亚明。 2 帕特里克·兰德威尔 2 梁天一 2 克里斯托夫·Löding 2 安德烈斯·诺兹利 2 罗杰里奥·里斯 2 阿列克西·舒伯特 2 克劳斯·舒尔茨。 2 赫尔穆特·西蒙尼斯 2 内斯塔·齐斯卡里泽 1 艺术、忠诚 1 埃德加·A·阿吉拉尔。 1 穆阿特·阿尔卡拉夫 1 拉杰夫·阿鲁尔 1 阿梅里、雷扎 1 加尔阿姆拉姆 1 叶卡捷琳娜·阿拉法利奥娃 1 文森佐·阿塞里 1 阿南德·巴拉克利什南 1 迈克尔·班特吉 1 Barbosa,哈尼尔 1 巴勃罗·巴塞洛 1 David A.Basin。 1 马丁·伯格伦德 1 让·伯斯特尔 1 威廉·贝斯特 1 乌鸦·贝特纳 1 弗兰蒂舍克·布拉胡德克 1 安德烈亚斯·拉斐尔 1 卢克·博阿松 1 博迪,恰拉 1 文森特·博博尔 1 劳拉·博泽利 1 萨宾·布罗达 1 阿希姆·D·布鲁克。 1 弗朗索瓦·布里 1 特夫菲克·布尔坦 1 卡尔森,Mats 1 奥利维尔·卡尔顿 1 西尔维亚卡瓦达斯 1 艾曼纽·沙伊洛 1 查克拉波蒂,苏普拉特克 1 陈玉芳 1 德米特里五世·奇斯蒂科夫。 1 乔利亚特,大卫 1 亚历山德罗·西马蒂 1 克拉克(Edmund Melson jun Clarke)。 1 克伦,多纳托 1 阿戈斯蒂诺·科尔特斯 1 加布里埃尔·科斯塔 1 布鲁诺·库塞尔 1 克里斯蒂亚,马克西米利亚诺 1 米拉·达拉·普雷达 1 皮耶保罗·德加诺 1 迈克尔·德利西 1 何塞·德斯哈奈斯 1 Jyotirmoy V.德斯穆赫。 1 Deters,摩根 1 多明格斯、杰苏斯·埃米利奥 1 雷米·杜伦斯 1 塞缪尔·德鲁斯 1 曼弗雷德·德罗斯特 1 维杰·迪尔瓦 …还有141位作者 全部的 前5名26篇连载文章中引用 11 理论计算机科学 7 系统设计中的形式化方法 6 信息与计算 4 自动推理杂志 三 信息处理信件 三 计算机与系统科学杂志 三 编程和计算机软件 三 符号计算杂志 三 计算的形式方面 三 国际计算机科学基础杂志 2 信息学报 2 工程、通信和计算中的应用代数 2 约束条件 2 Modelirovanie i Analiz信息系统 1 模糊集与系统 1 计算机程序设计科学 1 分布式计算 1 计算系统理论 1 软计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 伊朗模糊系统杂志 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 114 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 历史和传记(01-XX) 2 群论与推广(20-XX) 2 概率论与随机过程(60-XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文