编辑配置文件（在新选项卡中打开） 艾丽西亚·维拉纽埃娃 合著者距离 作者ID： 利西亚别墅 发布方式： 艾丽西亚·维拉纽埃娃;维拉努埃瓦。 外部链接： MGP公司 已编制索引的文档： 17出版物自2001年起 2作为编辑的贡献 合著者： 22合著者具有17联合出版物 413位合作作者 全部的 前5名合著者 2 单作者的 7 玛丽亚·阿尔普特 5 马可·科米尼 4 玛丽亚·德尔马·加拉多 4 劳拉·蒂托洛 三 埃内斯托·皮门特尔 2 莫雷诺，法拉斯基 2 马可·费利乌。 2 阿列克谢·莱斯卡伊勒 2 丹尼尔·帕尔多 1 乔瓦尼·巴奇 1 巴特·博加特 1 玛丽娜·德沃斯 1 埃代姆，埃斯拉 1 保罗·福多 1 安德烈亚·福米萨诺 1 Gallardo先生。 1 伯恩哈德·格拉姆利希 1 伊安尼，乔瓦姆巴蒂斯塔 1 达尼埃拉·因利赞 1 阿尔贝托，Policriti 1 德国维达尔 1 杨芳凯 全部的 前5名系列 三 逻辑程序设计理论与实践 1 理论计算机科学 1 计算的形式方面 1 AI通信 1 计算机基础理论 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集（EPTCS） 领域 19 计算机科学（68至XX） 2 一般性和全局性主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用42中的次15文件 引用人▼ 年份▼ 定时并发约束程序的自动验证。 Zbl 1101.68679号 莫雷诺，法拉斯基;艾丽西亚·维拉纽埃娃 10 2006 定时并发约束程序的抽象诊断。 Zbl 1222.68053号 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 用于tccp程序抽象模型检查的语义框架。 Zbl 1087.68053号 玛丽亚·阿尔普特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 6 2005 用时间并发约束语言对指定的并发系统进行建模。一、。 Zbl 1263.68118号 莫雷诺，法拉斯基;阿尔贝托，Policriti;艾丽西亚·维拉纽埃娃 6 2001 这个tccp公司口译员。 Zbl 1294.68047号 阿列克谢·莱斯卡伊勒;艾丽西亚·维拉纽埃娃 三 2009 带有外部函数的定时并发约束编程框架。 兹比尔1278.68066 Alpunte，M。;格拉姆利希，B。;维拉努埃瓦。 三 2007 基于源到源转换的同步并发语言抽象分析框架。 Zbl 1278.68065号 Alpunte，M。;M·M·加拉多。;皮门特尔，E。;维拉努埃瓦。 2 2007 弥合两种并发约束语言之间的差距。 Zbl 1327.68056号 莱斯卡耶，阿列克谢;艾丽西亚·维拉纽埃娃 1 2011 （mathsf{tccp}）的泛性质的抽象分析。 Zbl 1362.68044号 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 函数逻辑语言中的逻辑特性为自动合成规范带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 重写框架中的符号抽象契约合成。 Zbl 1485.68051号 玛丽亚·阿尔普特;丹尼尔·帕尔多;艾丽西亚·维拉纽埃娃 1 2017 重写框架中的符号抽象契约合成。 Zbl 1485.68051号 玛丽亚·阿尔普特;丹尼尔·帕尔多;艾丽西亚·维拉纽埃娃 1 2017 （mathsf{tccp}）的泛性质的抽象分析。 Zbl 1362.68044号 马可·科米尼;玛丽亚·德尔·加拉多;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 1 2015 函数逻辑语言中的逻辑特征给规范的自动合成带来了额外的困难。 Zbl 1281.68075号 乔瓦尼·巴奇;马可·科米尼;马可·费利乌。;艾丽西亚·维拉纽埃娃 1 2012 定时并发约束程序的抽象诊断。 Zbl 1222.68053号 马可·科米尼;劳拉·蒂托洛;艾丽西亚·维拉纽埃娃 8 2011 弥合两种并发约束语言之间的差距。 Zbl 1327.68056号 阿列克谢·莱斯卡伊勒;艾丽西亚·维拉纽埃娃 1 2011 这个tccp公司口译员。 Zbl 1294.68047号 阿列克谢·莱斯卡伊勒;艾丽西亚·维拉纽埃娃 三 2009 带有外部函数的定时并发约束编程框架。 Zbl 1278.68066号 Alpunte，M。;格拉姆利希，B。;维拉努埃瓦。 三 2007 基于源到源转换的同步并发语言抽象分析框架。 兹比尔1278.68065 Alpunte，M。;M·M·加拉多。;皮门特尔，E。;维拉努埃瓦。 2 2007 定时并发约束程序的自动验证。 Zbl 1101.68679号 莫雷诺，法拉斯基;艾丽西亚·维拉纽埃娃 10 2006 用于tccp程序抽象模型检查的语义框架。 Zbl 1087.68053号 玛丽亚·阿尔普特;玛丽亚·德尔马·加拉多;埃内斯托·皮门特尔;艾丽西亚·维拉纽埃娃 6 2005 用时间并发约束语言对指定的并发系统进行建模。一、。 Zbl 1263.68118号 莫雷诺，法拉斯基;阿尔贝托，Policriti;艾丽西亚·维拉纽埃娃 6 2001 所有引用出版物 前5名被引用出版物 全部的 前5名被21位作者引用 8 艾丽西亚·维拉纽埃娃 4 卡洛斯·奥拉特 三 玛丽亚·阿尔普特 三 马可·科米尼 三 玛丽亚·德尔马·加拉多 三 劳拉·蒂托洛 2 莫雷诺，法拉斯基 2 阿列克谢·莱斯卡伊勒 2 卡图西亚帕拉米德斯 2 卡米洛·鲁埃达 2 巴伦西亚，弗兰克·D。 1 詹姆·阿里亚斯 1 毛里齐奥·加布里埃利 1 伯恩哈德·格拉姆利希 1 葡萄藤古普塔 1 米歇尔·古兹曼 1 拉德哈·贾加迪桑 1 丹尼尔·帕尔多 1 佩雷斯（Jorge A.Pérez）。 1 埃内斯托·皮门特尔 1 Vijay A.萨拉斯瓦特。 5篇连载文章中引用 2 理论计算机科学 2 计算机基础理论 2 逻辑程序设计理论与实践 1 计算的形式方面 1 约束条件 在3个字段中引用 14 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文