×
作者ID: 维埃内斯·马格斯“Veanes,Margus”最近发表的zbMATH文章
发布日期: 玛格斯·维纳斯;韦恩斯,M。
已编制索引的文档: 50种出版物自1997年以来,包括2本书
3作为编辑的贡献
合著者: 42位合著者具有46份联合出版物
1048合著作者

按年份列出的出版物

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名

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位作者

按年份列出的引文