编辑配置文件(在新选项卡中打开) 凯西·菲斯勒 合著者距离 作者ID: 菲斯勒·卡蒂 发布日期: 凯西·菲斯勒 已编制索引的文档: 9出版物自1999年起 合著者: 8位合著者具有5联合出版物 324位合作作者 全部的 前5名合著者 三 单作者的 2 克里希纳穆提,施莱姆 2 Moshe Ya’akov瓦尔迪 1 约翰·克莱门茨(John C.Clements)。 1 丹尼尔·多尔蒂。 1 拉南·弗雷尔 1 吉拉·卡米 1 哈里·C·李。 1 杨子江 系列 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 函数编程杂志 字段 9 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用29中的次29文件 引用人▼ 年份▼ 有最好的符号循环检测算法吗? Zbl 0986.68522号 凯西·菲斯勒;拉南·弗雷尔;吉拉·卡米;莫舍·瓦尔迪。;杨紫江 11 2001 互模拟最小化和符号模型检查。 Zbl 1018.68052号 凯西·菲斯勒;莫舍·瓦尔迪。 11 2002 指定和推理动态访问控制策略。 Zbl 1222.68361号 丹尼尔·多尔蒂。;凯西·菲斯勒;克里希纳穆提,施莱姆 6 2006 时序图:形式化和算法验证。 Zbl 0941.03032号 凯西·菲斯勒 1 1999 指定和推理动态访问控制策略。 Zbl 1222.68361号 丹尼尔·多尔蒂。;凯西·菲斯勒;克里希纳穆提,施莱姆 6 2006 互模拟最小化和符号模型检查。 Zbl 1018.68052号 凯西·菲斯勒;莫舍·瓦尔迪。 11 2002 有最好的符号循环检测算法吗? Zbl 0986.68522号 凯茜·费斯勒;拉南·弗雷尔;吉拉·卡姆希;莫舍·瓦尔迪。;杨子江 11 2001 时序图:形式化和算法验证。 Zbl 0941.03032号 凯西·菲斯勒 1 1999 所有引用出版物 排名前五的出版物 全部的 前5名65位作者引用 6 Moshe Ya’akov瓦尔迪 4 JiříBarnat 三 卢博什·布里姆 2 伊万娜·乔纳 2 乌尔里希·多尔希 2 斯文·德拉赞 2 玛丽贝尔·费尔南德斯 2 斯特凡·米利厄斯 2 萨夫拉内克,大卫 2 卢茨·施罗德 2 托尔斯滕·维曼 2 吴,衡阳 1 福阿德·阿布贾拉德 1 桑德拉·阿尔维斯 1 包,易宝 1 David A.Basin。 1 克拉拉·贝托利西 1 罗德里克·布洛姆 1 贝特·博利格 1 博佐博纳克达普尔 1 查克拉波蒂,苏普拉特克 1 查洛普卡,雅库布 1 陈一香 1 邓雨欣 1 贾纳·法布里科娃 1 方彬兴 1 塞斯·福格蒂。 1 休伯特·加拉维 1 庆蒂里尼、拉斐拉 1 伊莎贝·格尼迪格 1 加里·哈赫特尔(Gary D.Hachtel)。 1 何康利 1 黄和娇 1 赫莱内·基什内尔 1 费利克斯·克莱特克 1 Sandeep S.Kulkarni。 1 奥尔纳·库普弗曼 1 弗雷德里克·朗 1 李勇 1 罗桂明 1 乔伊斯·梅基 1 塞缪尔·米勒 1 苏米特·奈恩 1 卡拉广场 1 阿尔贝托,Policriti 1 青、杜正 1 弗朗西斯科·兰扎托 1 卡维塔·拉维 1 克里斯汀·伊冯·罗泽尔 1 罗伯托·塞巴斯蒂亚尼 1 迪内什·库马尔·夏尔马 1 西蒙切克,帕维尔 1 伊莱·辛格曼 1 法比奥·萨蒙齐 1 卢卡斯·塔巴哈拉。 1 斯特凡诺·托内塔 1 蔡义权 1 范德波尔,扬·科内利斯 1 王超 1 王伟晶 1 迈克尔·D·韦伯。 1 尹丽华 1 于立新 1 尤根·兹利内斯库 1 张连毅 全部的 前5名12篇连载文章中引用 4 理论计算机科学 三 系统设计中的形式化方法 2 信息与计算 1 信息学报 1 模糊集与系统 1 算法 1 统计计算与模拟杂志 1 分布式计算 1 美国计算机学会期刊 1 计算机科学中的逻辑方法 1 科学中国。信息科学 1 计算机科学评论 全部的 前5名在6个字段中引用 29 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 三 概率论与随机过程(60-XX) 2 组合数学(05-XX) 2 生物学和其他自然科学(92-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文