编辑配置文件(在新选项卡中打开) 米哈埃拉·西希雷亚努 合著者距离 作者ID: sighireanu.mihaela公司 发布日期: 米哈埃拉·西希雷亚努 已编制索引的文档: 19出版物自1998年以来 1作为编辑的贡献 合著者: 20位合著者具有20联合出版物 444位合作作者 全部的 前5名合著者 0 单作者的 9 艾哈迈德·博阿贾尼 8 康斯坦丁埃纳 5 塞萨拉·德拉戈伊 4 Yan Jurski 2 Ondřej Lengál 2 拉杜·马特埃斯库 2 汤姆·沃纳 1 奥罗尔·安尼奇尼 1 弗朗索瓦·博博特 1 昆廷·布伊拉盖 1 奥罗雷·科伦·安尼奇尼 1 方、斌 1 休伯特Garavel 1 彼得·哈贝梅尔 1 亚辛·拉赫内奇 1 大卫·皮哈迪 1 弗拉德·萨维卢克 1 泰瑟·图利 1 吴志林 1 鲍里斯·雅科博夫斯基 系列 1 计算机程序设计科学 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 字段 20 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名19篇连载文章中引用 5 理论计算机科学 5 系统设计中的形式化方法 5 逻辑与代数程序设计杂志 4 计算的形式方面 三 信息学报 三 计算机程序设计科学 三 自动推理杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 国际并行程序设计杂志 1 信息与计算 1 实时系统 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 计算机科学中的数学 1 对称 1 计算机科学评论 在4个字段中引用 76 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 三 生物学和其他自然科学(92-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文