×
编辑配置文件（在新选项卡中打开）

米罗斯拉夫·韦列夫。

合著者距离
作者ID： velev.miroslav-n公司最近由“Velev，Miroslav N.”撰写的zbMATH文章
发布日期： 米罗斯拉夫·韦列夫。；米罗斯拉夫·维列夫；M.N.维利耶夫。
已编制索引的文档： 11出版物自1972年起
1名编辑贡献
合著者： 5位合著者具有8联合出版物
64位合著者

合著者

4 单作者的
6 Randal E.布莱恩特。
2 德国人，Steven M。
1 扎巴巴罗夫，I.I。
1 约翰·V·佛朗哥。
1 G.P.古塞尼诺夫。

系列

2 ACM计算逻辑事务
1 符号计算杂志
1 Izvestiya Akademii Nauk Azerbaidzhanskoi SSR公司。Seriya Fiziko-Tektechniheskikh i Matematicheskikh-Nauk公司
1 数学与人工智能年鉴

领域

11 计算机科学（68至XX）
三 信息与通信理论、电路（94-XX）
2 数理逻辑与基础（03-XX）
1 总体主题；集合（00-XX）
1 流体力学（76-XX）

按年份列出的出版物

所有引用的出版物 前5名被引用出版物

zbMATH Open中包含的引文

8出版物有被引用53中的次38文件 引用人▼ 年份▼
在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 兹伯利1069.68119
米罗斯拉夫·韦列夫。；Randal E.布莱恩特。
14
2003
使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证。 Zbl 1365.68317号
Randal E.布莱恩特。；德国人，史蒂文；米罗斯拉夫·韦列夫。
13
2001
在带有未解释函数的等式逻辑中利用正等式。 Zbl 1046.68584号
Randal E.布莱恩特。；德国人，史蒂文；米罗斯拉夫·维列夫
9
1999
具有传递性约束的布尔可满足性。 Zbl 1365.68318号
Randal E.布莱恩特。；米罗斯拉夫·韦列夫。
5
2002
具有传递性约束的布尔可满足性。 Zbl 0974.94501号
Randal E.布莱恩特。；米罗斯拉夫·韦列夫。
4
2000
使用推测执行对VLIW微处理器进行形式验证。 Zbl 0974.68554号
米罗斯拉夫·韦列夫。
4
2000
EVC：利用未解释的函数和内存，利用正等式和保守变换，对等式逻辑进行有效性检查。 Zbl 0996.68588号
米罗斯拉夫·韦列夫。；Randal E.布莱恩特。
三
2001
在超标量微处理器的形式验证中自动提取内存。 Zbl 0978.68764号
米罗斯拉夫·韦列夫。
1
2001
在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程。 Zbl 1069.68119号
米罗斯拉夫·韦列夫。；Randal E.布莱恩特。
14
2003
具有传递性约束的布尔可满足性。 Zbl 1365.68318号
Randal E.布莱恩特。；米罗斯拉夫·韦列夫。
5
2002
使用将未解释函数的逻辑有效简化为命题逻辑的处理器验证。 Zbl 1365.68317号
Randal E.布莱恩特。；德国人，史蒂文；米罗斯拉夫·韦列夫。
13
2001
EVC：利用未解释的函数和内存，利用正等式和保守变换，对等式逻辑进行有效性检查。 Zbl 0996.68588号
米罗斯拉夫·韦列夫。；Randal E.布莱恩特。
三
2001
在超标量微处理器的形式验证中自动提取内存。 Zbl 0978.68764号
米罗斯拉夫·韦列夫。
1
2001
具有传递性约束的布尔可满足性。 Zbl 0974.94501号
Randal E.布莱恩特。；米罗斯拉夫·维列夫。
4
2000
使用推测执行对VLIW微处理器进行形式验证。 Zbl 0974.68554号
米罗斯拉夫·韦列夫。
4
2000
在带有未解释函数的等式逻辑中利用正等式。 Zbl 1046.68584号
Randal E.布莱恩特。；德国人，史蒂文；米罗斯拉夫·维列夫
9
1999
所有引用的出版物 前5名被引用出版物
全部的 前5名

被85位作者引用

4 斯特里赫曼（Ofer Strichman）
三 巴哈雷赫巴德班
2 萨伊德·阿贝德
2 奥特曼·阿伊特·穆罕默德
2 克拉克·W·巴雷特。
2 戴维·戴哈贝
2 塞尔盖·加斯佩斯
2 李楚敏
2 很多，费利普
2 亚辛·莫赫塔里
2 西尔维奥·兰伊斯
2 约夫·罗德
2 宋晓宇
2 斯泽德，斯特凡
2 索菲涅·塔哈尔
2 奥尔加·特维雷蒂纳
2 范德波尔，扬·科内利斯
2 汉斯·赞特马
1 卡洛斯·安索特吉
1 阿齐齐·苏尔坦、艾哈迈德·沙赫
1 穆苏诺里·班巴拉
1 拉蒙·贝加尔
1 阿纳布·巴塔查里亚
1 比杰西，佩尔
1 罗德里克·布洛姆
1 玛丽亚·保拉（Maria Paola Bonacina）
1 Randal E.布莱恩特。
1 阿尔巴州卡比斯科
1 陈文祥
1 Cheng，Xi（西成）
1 大卫·J·柯里。
1 莱昂纳多·德·莫拉
1 穆纳乔·埃切宁
1 冯秀山
1 塞萨尔·费尔南德斯。
1 福克斯，A.J.C。
1 Masahiro Fujita
1 卡拉·戈麦斯。
1 Jan Friso，格鲁特
1 阿什图什·古普塔
1 北卡罗来纳州哈曼。
1 爱德华·赫希。
1 胡亚伦·J·。
1 瑞典雅各布斯
1 伯纳德·尤尔科维亚克
1 哈迪·卡提比
1 亨利·考茨。
1 阿里斯特·科耶夫尼科夫
1 丹尼尔·科宁
1 拉克希曼·库普萨米
1 马克·关
1 何塞·拉鲁比亚
1 丹尼尔·勒贝雷
1 索米亚·马尼
1 Manolios，Panagiotis公司
1 Joáo P.塞尔瓦侯爵。
1 塞巴斯蒂安·奥德尼亚克
1 阿米尔·普努利
1 Sreeranga P.拉詹。
1 拉马努扬，M.S。
1 圣埃芬尼罗塞尔
1 罗扎诺夫、米伦
1 阿什什·萨巴沃尔
1 卡伦·萨卡拉。
1 萨科特·索拉布
1 巴特·塞尔曼
1 安吉特·舒克拉
1 迈克尔·西格尔
1 卡斯滕·辛兹
1 Soh，武藏
1 苏达珊·库马尔·斯里尼瓦桑
1 曼达扬·K·斯利瓦斯。
1 阿伦·斯塔姆
1 孙家光
1 铃木田村
1 穆昆德·塔泰
1 塞萨尔·蒂内利
1 吉尔·乌塔德
1 范盖尔德，艾伦
1 米罗斯拉夫·韦列夫。
1 Jorgiano维达尔
1 维泽尔，雅基尔
1 威格·威瑟林克
1 达雷尔·惠特利
1 周敏（Zhou，Min）
全部的 前5名

16篇连载文章中引用

4 自动推理杂志
三 信息与计算
三 数学与人工智能年鉴
2 离散应用数学
2 符号计算杂志
1 信息学报
1 人工智能
1 纯逻辑与应用逻辑年鉴
1 计算机科学与技术杂志
1 算法
1 国际并行程序设计杂志
1 计算的形式方面
1 系统设计中的形式化方法
1 约束条件
1 逻辑与代数程序设计杂志
1 泛逻辑
全部的 前5名

在7个字段中引用

36 计算机科学（68至XX）
14 数理逻辑与基础（03-XX）
2 组合数学（05-XX）
1 场论与多项式（12-XX）
1 运筹学、数学规划（90-XX）
1 生物学和其他自然科学（92-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文