×

米哈埃拉·西希雷亚努

作者ID: sighireanu.mihaela公司“Sighireanu,Mihaela”最近发表的zbMATH文章
发布日期: 米哈埃拉·西希雷亚努
已编制索引的文档: 19出版物自1998年以来
1作为编辑的贡献
合著者: 20位合著者具有20联合出版物
444位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

12出版物有被引用94中的次77文件 引用人 年份
针对正则无交替演算的高效实时模型检查。 Zbl 1026.68098号
拉杜·马特埃斯库;米哈埃拉·西希雷亚努
19
2003
TREX:复杂系统可达性分析工具。 Zbl 0991.68645号
奥罗尔·安尼奇尼;艾哈迈德·博阿贾尼;米哈埃拉·西希雷亚努
16
2001
过程代数的图形并行复合算子。 Zbl 0952.68097号
休伯特Garavel;米哈埃拉·西希雷亚努
12
1999
用数据重写系统。 Zbl 1135.68467号
艾哈迈德·博阿贾尼;彼得·哈贝梅尔;Yan Jurski;米哈埃拉·西希雷亚努
9
2007
一种基于逻辑的框架,用于对复合数据结构进行推理。 Zbl 1254.68146号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
8
2009
分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号
康斯坦丁埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳
7
2014
具有归纳定义的分离逻辑的自动引理生成。 Zbl 1471.68139号
康斯坦丁埃纳;米哈埃拉·西希雷亚努;吴志林
5
2015
覆盖和嵌套链表的合成不变检查。 Zbl 1381.68051号
康斯坦丁埃纳;弗拉德·萨维卢克;米哈埃拉·西希雷亚努
4
2013
分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号
康斯坦丁埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳
4
2017
程序操作具有无限数据的列表和数组时的精确不变量检查。 Zbl 1374.68112号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
4
2012
关于具有无限数据的列表操作程序的自动推理的抽象域。 Zbl 1325.68058号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
2012
IEEE-1394串行总线(FireWire)链路层协议的验证:E-LOTOS实验。 Zbl 1065.68596号
米哈埃拉·西希雷亚努;拉杜·马特埃斯库
1998
分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号
康斯坦丁埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳
4
2017
具有归纳定义的分离逻辑的自动引理生成。 Zbl 1471.68139号
康斯坦丁埃纳;米哈埃拉·西希雷亚努;吴志林
5
2015
分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号
康斯坦丁埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳
7
2014
覆盖和嵌套链表的合成不变检查。 Zbl 1381.68051号
康斯坦丁埃纳;弗拉德·萨维卢克;米哈埃拉·西希雷亚努
4
2013
程序操作具有无限数据的列表和数组时的精确不变量检查。 Zbl 1374.68112号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
4
2012
关于具有无限数据的列表操作程序的自动推理的抽象域。 Zbl 1325.68058号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
2012
一种基于逻辑的框架,用于对复合数据结构进行推理。 Zbl 1254.68146号
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁埃纳;米哈埃拉·西希雷亚努
8
2009
用数据重写系统。 Zbl 1135.68467号
艾哈迈德·博阿贾尼;彼得·哈贝梅尔;Yan Jurski;米哈埃拉·西希雷亚努
9
2007
针对正则无交替演算的高效实时模型检查。 Zbl 1026.68098号
拉杜·马特埃斯库;米哈埃拉·西希雷亚努
19
2003
TREX:复杂系统可达性分析工具。 Zbl 0991.68645号
奥罗尔·安尼奇尼;艾哈迈德·博阿贾尼;米哈埃拉·西希雷亚努
16
2001
过程代数的图形并行复合算子。 Zbl 0952.68097号
休伯特Garavel;米哈埃拉·西希雷亚努
12
1999
IEEE-1394串行总线(FireWire)链路层协议的验证:E-LOTOS实验。 Zbl 1065.68596号
米哈埃拉·西希雷亚努;拉杜·马特埃斯库
1998
全部的 前5名

被165位作者引用

7 休伯特Garavel
7 弗雷德里克·朗
6 阿兰·芬克尔
5 拉杜·马特埃斯库
5 安东·威伊斯(Anton J.Wijs)。
4 汤姆·沃纳
威廉·扬·福克金
Ondřej Lengál
2 艾哈迈德·博阿贾尼
2 马吕斯·博兹加
2 皮埃尔·香巴特
2 陈、陶璐
2 魏恩根·钦
2 德容、希德
2 德普特、桑德
2 埃斯特尔·杜马斯
2 康斯坦丁埃纳
2 加塞米,法特梅
2 西尔维奥·吉拉尔迪
2 卢卡什·霍利克
2 拉杜·奥西夫
2 阿伊拉特·哈利莫夫
2 大辅木村
2 Le,Quang Loc公司
2 佩德罗·蒙泰罗。
2 庞、军
2 M·普拉文。
2 克里斯蒂安·普里萨卡里奥
2 西尔维奥·兰伊斯
2 格温·萨拉恩
2 施密茨,西尔万
2 杰拉尔多·施奈德
2 温德林·塞维
2 米哈埃拉·西希雷亚努
2 Makoto Tatsuta
2 托马斯·怀斯
2 吴志林
1 帕罗什·阿齐兹·阿卜杜拉
1 马克·艾吉尔
1 亚历山德罗·阿尔迪尼
1 拉杰夫·阿鲁尔
1 埃蒂安·安德烈
1 Jos C.M.Baeten。
1 伊塔·巴拉班
1 马可·贝尔纳多
1 斯特凡·布隆
1 尤罕·博伊库特
1 博特尼克,E。
1 佛罗伦萨Bouchy
1 安德鲁·巴特菲尔德
1 CéCé,热拉尔
1 乔恩,帕沃
1 陈一云
1 Jean-Paul彗星
1 丹尼尔·雅库布
1 M.Torabi Dashti
1 Stéphane P.德姆里。
1 Deters,摩根
1 朱尔根·丁格尔
1 董金松
1 塞萨拉·德拉戈伊
1 乔里·杜布罗文
1 穆纳乔·埃切宁
1 哈维尔·埃斯帕尔扎
1 埃夫拉德,雨果
1 莱奥·埃克巴德
1 皮埃特罗·费拉拉
1 艾曼纽·菲利奥特
1 哈达尔·弗兰克尔
1 佐尔坦,福尔öp
1 普拉纳夫·加格
1 Jan Friso,格鲁特
1 奥尔纳·格伦伯格
1 顾新才
1 彼得·哈贝梅尔
1 谢尔盖·哈达德
1 何冠华
1 海姆,皮尔雷·科里尔
1 凯乔·赫尔扬科
1 雷米·Hérilier
1 罗格·霍夫曼
1 马丁·赫鲁斯卡
1 托马斯·匈奴
1 克里斯蒂娜·詹森
1 巴托斯·贾西乌尔
1 本特·琼森
1 汤米·A·琼蒂拉。
1 Jens Katelaan公司
1 邱小成
1 拉丁·科斯拉维
1 奥尔加·库什纳伦科
1 瓦西里欧斯·库塔瓦斯
1 杰夫·克莱默
1 悉达哈·克里希纳
1 维克多·昆卡
1 奥尔纳·库普弗曼
1 帕斯卡尔·勒加尔
1 Le,Ton Chanh先生
1 Le,Xuan-Bach D。
1 杰罗姆·勒鲁
…还有65位作者

按年份列出的引文