编辑配置文件(在新选项卡中打开) 安娜·R·卡瓦利。 合著者距离 作者ID: 卡瓦利亚纳-r 发布日期: 安娜·卡瓦利;安娜·R·卡瓦利。;A.卡瓦利。 更多。。。较少的 已编制索引的文档: 13出版物自1984年以来 1作为编辑的贡献 合著者: 20位合著者具有14份联合出版物 211合作作者 全部的 前5名合著者 0 单作者的 三 Manuel A.努内兹。 2 巴普蒂斯特·阿尔卡德 2 路易斯·法利尼亚斯·德尔·塞罗 2 黄一顺 2 法提哈扎伊迪 1 何塞·安东尼奥·阿内多 1 萨姆拉特·巴思。 1 伊曼纽尔·贝塞 1 斯坦·布德科夫斯基 1 陈东洛 1 达里亚诺、贾科莫·毛罗 1 Davy Khuu 1 圣埃芬·马格 1 蒙特斯·德奥卡(Edgardo Montes de Oca) 1 伊利·纳伊姆 1 Jean-Marie奥塞特 1 克里斯蒂安·林德克内特 1 乌亚尔,密歇根州立大学 1 埃沃顿·R·维埃拉。 1 尼娜·叶夫图申科 系列 2 计算机网络 1 信息处理信件 1 《亨利·彭加莱学院年鉴》。Physique Théorique运动鞋 1 国际信息处理联合会 字段 13 计算机科学(68-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 拓扑群、李群(22日至XX日) 1 几个复变量和分析空间(32-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用25中的次21文件 引用人▼ 年份▼ 基于不变量的被动测试方法:在WAP中的应用。 Zbl 1080.68534号 伊曼纽尔·贝塞;安娜·卡瓦利;曼努埃尔·努涅斯;法提哈扎伊迪 7 2005 线性时序逻辑的一种判定方法。 Zbl 0547.03008号 安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗 7 1984 半单李群不变的相干态紧流形。 兹比尔06233.2021 A.卡瓦利。;D’Ariano,G。;米歇尔,L。 三 1986 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号 2 1998 通过被动测试快速测试关键性能。 Zbl 1029.68646号 何塞·安东尼奥·阿内多;安娜·卡瓦利;曼努埃尔·努涅斯 2 2003 使用区间估计测试概率FSM。 兹比尔1202.68072 黄一顺;安娜·卡瓦利 2 2010 Hit-or-jump:一种用于对IN服务应用程序进行嵌入式测试的算法。 Zbl 0952.68007号 安娜·卡瓦利;大卫·李;克里斯蒂安·林德克内特;法提哈扎伊迪 1 1999 用于故障管理的网络协议系统被动测试:一种反向检查方法。 Zbl 1110.68321号 巴普蒂斯特·阿尔卡德;安娜·卡瓦利;陈东洛;Davy Khuu;大卫·李 1 2004 使用区间估计测试概率FSM。 Zbl 1202.68072号 黄一顺;安娜·卡瓦利 2 2010 基于不变量的被动测试方法:在WAP中的应用。 Zbl 1080.68534号 伊曼纽尔·贝塞;安娜·卡瓦利;曼努埃尔·努涅斯;法提哈扎伊迪 7 2005 用于故障管理的网络协议系统被动测试:一种反向检查方法。 Zbl 1110.68321号 巴普蒂斯特·阿尔卡德;安娜·卡瓦利;陈东洛;Davy Khuu;李大卫 1 2004 通过被动测试快速测试关键性能。 Zbl 1029.68646号 何塞·安东尼奥·阿内多;安娜·卡瓦利;曼努埃尔·努涅斯 2 2003 Hit-or-jump:一种用于对IN服务应用程序进行嵌入式测试的算法。 Zbl 0952.68007号 安娜·卡瓦利;李大卫;克里斯蒂安·林德克内特;法提哈扎伊迪 1 1999 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号 2 1998 半单李群不变的相干态紧流形。 Zbl 0623.32021号 A.卡瓦利。;D’G.阿里亚诺。;米歇尔,L。 三 1986 线性时序逻辑的一种判定方法。 Zbl 0547.03008号 安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗 7 1984 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 4 梅雷约(Mercedes G.Merayo)。 4 Manuel A.努内兹。 2 塞萨尔·安德烈斯 2 克莱尔·狄克逊 2 罗伯特·马克·海伦斯 2 诺里希罗·卡米德 2 伊斯梅尔·罗德里格斯 2 Boris I·Zhilinskií。 1 萨姆拉特·巴思。 1 亚历山大·博洛托夫 1 安娜·R·卡瓦利。 1 塞里托、塞雷内拉 1 玛尔塔·恰尔迪亚·梅耶 1 罗伯特·德莫洛姆 1 叶夫图申科,N.V。 1 伊利耶斯·法尔科内 1 迈克尔·费希尔 1 马丁·范策尔 1 Jose Gaintzarain 1 马库斯·格霍尔德 1 蒙特塞拉特赫莫 1 路易斯·拉纳 1 帕基·卢西奥 1 艾哈迈德·莫欣·马赫迪 1 路易斯·米歇尔 1 贾纳丹·库马尔·米斯拉 1 玛丽莎·纳瓦罗 1 费尔南多·奥雷贾斯 1 勒纳德,马蒂厄 1 安托万·罗莱 1 苏曼·罗伊 1 毛罗·斯佩拉 1 玛丽·斯托琳加 1 特瓦尔多夫斯基。 1 乌亚尔,密歇根州立大学 1 埃沃顿·R·维埃拉。 1 伯恩德·韦斯特法尔 全部的 前5名13篇连载文章中引用 2 物理报告 2 计算的形式方面 2 应用非经典逻辑杂志 2 逻辑与代数程序设计杂志 1 人工智能 1 几何与物理杂志 1 逻辑研究 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 自动推理杂志 1 分布式计算 1 程序设计中的逻辑和代数方法杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名在6个字段中引用 14 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 三 量子理论(81-XX) 1 微分几何(53至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文