瓦伦特·瓦莱罗·鲁伊斯
人员信息
附属: 西班牙Castilla-La Mancha大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元34年] 埃斯特凡尼亚·科罗拉多 , 瓦伦特·瓦莱罗 , 玛丽亚·艾米丽亚·坎布罗内罗 , 路易斯·奥罗斯科·巴博萨 :
具有站点移动性的IEEE 802.11e协议的建模、仿真和性能评估。 同行J计算。 科学。 9 : 电子1457 ( 2023 ) [第52条] 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 恩里克·布拉塞雷斯 , 胡安·布贝塔·普格 , M.卡门·鲁伊斯 , 瓦伦特·瓦莱罗 :
结合CEP、CPN和模糊逻辑的海啸智能运输系统。 ICCS(1) 2023 : 47-60 [c51] 恩里克·布拉塞雷斯 , 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 :
利用CEP设计风力发电机组控制监测故障检测系统。 伊旺(2) 2023 : 304-314 2022 [公元33年] 恩里克·布拉塞雷斯 , 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 , 玛丽亚·特蕾莎·贝扎·罗梅罗 , 爱德米拉·瓦莱罗 , 瓦伦特·瓦莱罗 :
FUME:基于CEP技术和模糊逻辑的城市空气质量决策支持系统。 申请。 软计算。 129 : 109536 ( 2022 ) [公元32年] 恩里克·布拉塞雷斯 , 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 , 瓦伦特·瓦莱罗 , 胡安·布贝塔·普格 :
PITS:大流行时期的智能交通系统。 工程应用。 Artif公司。 智力。 114 : 105154 ( 2022 ) [公元31年] 玛丽亚·艾米丽亚·坎布罗内罗 , 米盖尔·马丁内斯 , 若泽·路易斯·德拉瓦拉 , 大卫·塞布利安 , 瓦伦特·瓦莱罗 :
GDPRValidator:一个工具,用于使使用云服务的公司符合GDPR。 同行J计算。 科学。 8 : e1171号 ( 2022 ) 【j30】 阿德里安·伯纳尔 , 玛丽亚·艾米丽亚·坎布罗内罗 , 阿尔贝托·努涅斯 , 巴勃罗·卡尼萨雷斯 , 瓦伦特·瓦莱罗 :
使用成本和SLA评估云交互。 J.超级计算机。 78 ( 6 ) : 7529-7555 ( 2022 ) [公元29年] 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 胡安·布贝塔·普格 , 赫梅内吉尔达·马西娅 , 恩里克·布拉塞雷斯 :
一种用于复杂事件模式建模和转换为具有黑色序列转换的有色Petri网的合成方法。 IEEE传输。 软件工程。 48 ( 7 ) : 2584-2605 ( 2022 ) [公元50年] 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 , 瓦伦特·瓦莱罗 , 爱德米拉·瓦莱罗 , 恩里克·布拉塞雷斯 , 胡安·布贝塔·普格 :
绿色智能交通系统:一项计算低污染路线的提案。 FNC/MobiSPC/SEIT公司 2022 : 334-341 2021 [公元28年] 阿德里安·伯纳尔 , 玛丽亚·艾米丽亚·坎布罗内罗 , 巴勃罗·卡尼萨雷斯 , 阿尔贝托·努涅斯 , 瓦伦特·瓦莱罗 , 埃尔南·德拉克鲁斯(Hernán-Indibil de la Cruz) :
使用不同的用户订阅时间分析云性能。 国际期刊软件。 工程知识。 工程师。 31 ( 11&12 ) : 1699-1720 ( 2021 ) [公元27年] 玛丽亚·艾米丽亚·坎布罗内罗 , 阿德里安·伯纳尔 , 瓦伦廷·瓦莱罗 , 巴勃罗·卡尼萨雷斯 , 阿尔贝托·努涅斯 :
分析云系统基础设施和用户交互的SLA。 同行J计算。 科学。 7 : 第513页 ( 2021 ) [公元26年] 埃斯特凡尼亚·科罗拉多 , 瓦伦特·瓦莱罗 , 路易斯·奥罗斯科·巴博萨 , 玛丽亚·艾米丽亚·坎布罗内罗 , 费尔南多·佩莱奥 :
使用有色Petri网对IEEE 802.11e无线协议的隐藏节点进行建模和仿真。 柔和。 系统。 模型。 20 ( 2 ) : 505-538 ( 2021 ) [公元49年] 埃尔南·德拉克鲁斯(Hernán-Indibil de la Cruz) , 玛丽亚·艾米莉亚·坎布罗内罗 , 瓦伦特·瓦莱罗 , 巴勃罗·卡尼萨雷斯 , 阿德里安·伯纳尔 , 阿尔贝托·努涅斯 :
研究不同云配置下用户订阅时间的影响。 瑞典克朗 2021 : 211-216 2020 [公元25年] 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 胡安·布贝塔·普格 , 费尔南多·库亚特罗 :
集成CEP和彩色Petri网的智能交通系统,用于控制城市中的空气污染和道路交通。 神经计算。 申请。 32 ( 2 ) : 405-426 ( 2020 )
2010 – 2019
2019 [公元24年] 阿德里安·伯纳尔 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 阿尔贝托·努涅斯 , 巴勃罗·卡尼萨雷斯 :
云基础设施和用户交互建模框架。 IEEE接入 7 : 43269-43285 ( 2019 ) [公元23年] 胡安·布贝塔·普格 , 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 瓜达卢佩-奥尔蒂斯 :
MEdit4CEP-CPN:一种通过优先着色petri网进行复杂事件处理建模的方法。 信息系统。 81 : 267-289 ( 2019 ) [公元22年] 阿贝尔·戈麦斯 , 里卡多·J·罗德里格斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗 :
使用有色Petri网分析发布/订阅范例以进行自动分析。 柔和。 系统。 模型。 18 ( 5 ) : 2973-3003 ( 2019 ) [公元21年] 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 胡安·布贝塔·普格 , 瓜达卢佩-奥尔蒂斯 :
通过计算智能模型驱动工具促进复杂事件的定量分析。 科学。 程序。 2019 : 2604148:1-2604148:17 ( 2019 ) [公元20年] 阿德里安·伯纳尔 , 玛丽亚·艾米丽亚·坎布罗内罗 , 阿尔贝托·努涅斯 , 巴勃罗·卡尼萨雷斯 , 瓦伦特·瓦莱罗 :
使用UML概要文件和M2T转换技术改进云架构。 J.超级计算机。 75 ( 12 ) : 8012-8058 ( 2019 ) [公元48年] 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 , 胡安·布贝塔·普格 , 爱德米拉·瓦莱罗 , 瓦伦特·瓦莱罗 :
结合模糊逻辑和CEP技术改善城市空气质量。 国际刑事法院(5) 2019 : 559-565 [公元47年] 格雷戈里奥·迪亚斯 , 恩里克·布拉塞雷斯 , 赫梅内吉尔达·马西娅 , 胡安·布贝塔·普格 , 瓦伦特·瓦莱罗 :
一个集成CEP和有色Petri网的智能系统,用于帮助制定有关污染场景的决策。 IWANN(1) 2019 : 729-740 2018 [公元19年] 玛丽亚·艾米丽亚·坎布罗内罗 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 , 路易斯·奥罗斯科·巴博萨 :
基于时间着色Petri网的单线通信协议建模与分析。 IEEE接入 6 : 27356-27372 ( 2018 ) [公元18年] 瓦伦特·瓦莱罗 :
时间弧Petri网中有很强的行为相似性。 申请。 数学。 计算。 333 : 401-415 ( 2018 ) 2017 [公元17年] 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 :
使用分布式资源的发布订阅结构的时间自动机建模与验证。 IEEE传输。 软件工程。 43 ( 1 ) : 76-99 ( 2017 ) [公元46年] 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
使用复杂事件处理和彩色Petri网控制城市空气污染的智能交通系统。 伊旺(2) 2017 : 415-426 [i2] 伊戈尔·V·塔拉修克 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 :
dtsiPBC并发系统性能分析的随机等价性。 CoRR公司 abs/1702.07478 ( 2017 ) 2016 [公元16年] 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 胡安·布贝塔·普格 , 瓜达卢佩-奥尔蒂斯 :
基于优先着色Petri网的复杂事件处理建模。 IEEE接入 4 : 7425-7439 ( 2016 ) 2015 [公元45年] 瓦伦特·瓦莱罗 , 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 :
Web服务资源上下文中发布/订阅范式的有色Petri网建模。 飞行管理信息系统 2015 : 81-95 [公元44年] 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 :
web服务上下文中发布订阅体系结构的模型检查验证。 囊 2015 : 1688-1695 2014 [公元15年] 伊戈尔·塔拉修克 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 :
代数dtsiPBC中并发系统的性能分析。 程序。 计算。 柔和。 40 ( 5 ) : 229-249 ( 2014 ) [公元43年] 何塞·安东尼奥·马特奥 , 瓦伦特·瓦莱罗·鲁伊斯 , 赫梅内吉尔达·马西娅 , 格雷戈里奥·迪亚斯 :
基于WS-BPEL和WSRF的有色Petri网建模和分析状态工作流方法。 SEFM研讨会 2014 : 389-404 2013 [公元14年] 埃内斯托·皮门特尔 , 瓦伦特·瓦莱罗 :
特邀编辑前言。 J.日志。 代数方法课程。 82 ( 5-7 ) : 163 ( 2013 ) [公元42年] 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦廷·瓦莱罗 :
使用UML用资源建模分布式服务系统。 ICCS系统 2013 : 140-148 2012 [j13] 瓦伦特·瓦莱罗·鲁伊斯 , 赫梅内吉尔达·马西娅 , 胡安·何塞·帕尔多 , 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 :
将具有优先级和时间约束的Web服务编排转换为具有优先级的时间着色Petri网。 科学。 计算。 程序。 77 ( 三 ) : 290-313 ( 2012 ) [公元12年] 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 恩里克·马丁内斯 , 瓦伦特·瓦莱罗·鲁伊斯 , 拉诺斯·托巴拉 :
WST:支持定时复合Web服务模型转换的工具。 模拟。 88 ( 三 ) : 349-364 ( 2012 ) [公元41年] 格雷戈里奥·迪亚斯 , 路易斯·拉纳 , 瓦伦特·瓦莱罗·鲁伊斯 , 何塞·安东尼奥·马特奥 :
使用C-O图验证规范规范的一致性。 弗拉科斯 2012 : 1-10 [公元40年] 伊戈尔·塔拉修克 , 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 :
离散时间随机Petri盒微积分与立即多作用dtsiPBC。 PASM/PDMC公司 2012 : 229-252 [i1] 何塞·安东尼奥·马特奥 , 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 :
BPEL-RF:集成分布式资源的BPEL编配的正式框架。 CoRR公司 腹肌/1203.1760 ( 2012 ) 2011 [公元11年] 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 瓦伦特·瓦莱罗 , 恩里克·马丁内斯 :
使用时间自动机验证Web服务编排。 J.日志。 代数方法课程。 80 ( 1 ) : 25-49 ( 2011 ) [公元10年] 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 恩里克·马丁内斯 :
具有时间限制的Web服务编排的设计和生成。 J.通用。 计算。 科学。 17 ( 13 ) : 1800-1829 ( 2011 ) [公元39年] 何塞·安东尼奥·马特奥 , 瓦伦廷·瓦莱罗 , 格雷戈里奥·迪亚斯 :
集成Web服务资源框架的BPEL业务流程的操作语义。 WS-FM公司 2011 : 79-94 [e1] 埃内斯托·皮门特尔 , 瓦伦特·瓦莱罗 :
2011年9月22日和23日,西班牙马拉加,FLACOS 2011,第五届形式语言与面向合同的软件分析研讨会论文集。 EPTCS系统 68, 2011 [目录] 2010 [公元9年] 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 格雷戈里奥·迪亚斯 :
实时系统设计验证。 柔和。 测试。 验证可靠性。 20 ( 1 ) : 3-37 ( 2010 ) [公元38年] 赫梅内吉尔达·马西娅 , 玛丽亚·伊莎贝尔·冈萨雷斯-桑切斯 , 瓦伦特·瓦莱罗·鲁伊斯 , 爱德米拉·瓦莱罗 :
应用Petri网分析叶绿体中的GSH-ASC循环。 ACSD/Petri网研讨会 2010 : 119-133
2000 – 2009
2009 [j8] 瓦伦特·瓦莱罗 , 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 赫梅内吉尔达·马西娅 :
用于设计和分析Web服务编排的Petri网方法。 J.日志。 代数方法课程。 78 ( 5 ) : 359-380 ( 2009 ) [j7] 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 赫梅内吉尔达·马西娅 :
具有时间限制的WS-CDL子集的阻塞操作语义。 J.日志。 代数方法课程。 78 ( 8 ) : 730-748 ( 2009 ) [公元37年] 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 恩里克·马丁内斯 , 瓦伦特·瓦莱罗 :
WSCI、WS-CDL和OWL-S的比较研究。 冰岛 2009 : 377-382 [公元36年] 恩里克·马丁内斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 瓦伦廷·瓦莱罗 :
Web服务组合的设计和验证。 ICIW公司 2009 : 395-400 [公元35年] 恩里克·马丁内斯 , 格雷戈里奥·迪亚斯 , 卡门·罗莎·马丁内斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗·鲁伊斯 :
SCA中的时间顺序体系结构。 TAMoCo公司 2009 : 117-126 2008 [j6] 赫梅内吉尔达·梅西 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 , 大卫·德·弗鲁托斯·埃斯克里格 :
sPBC的同余关系。 形式方法系统。 设计。 32 ( 2 ) : 85-128 ( 2008 ) [j5] 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 , 卡门·鲁伊斯先生 :
sPBC:具有立即多重作用的Petri盒演算的马尔可夫扩展。 芬丹。 信息学 87 ( 3-4 ) : 367-406 ( 2008 ) [公元34年] 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 拉诺斯·托巴拉 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩拉约 :
增强PADL用于指定Web服务体系结构的表达能力。 TAMoCo公司 2008 : 99-110 2007 【j4】 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 胡安·何塞·帕尔多 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
模型检查技术应用于Web服务的设计。 CLEI Electron公司。 J。 10 ( 2 ) ( 2007 ) [c33] 玛丽亚·佩莱奥 , 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗 , 格雷戈里奥·迪亚斯 , 埃琳娜·尼托 :
ROSA能很好地了解记忆过程吗? 国际电工委员会 2007 : 273-283 [公元32年] 格雷戈里奥·迪亚斯 , 埃琳娜·纳瓦罗 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
使用模型检查技术测试时间目标驱动的需求。 欧洲商业银行 2007 : 503-514 [c31] 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 胡安·何塞·帕尔多 , 瓦伦特·瓦莱罗 :
使用UML图对实时Web服务建模。 ICIW公司 2007 : 24 [公元30年] 大卫·塞布利安 , Valentín Valero Ruiz女士 , 费尔南多·库亚特罗 :
航空电子系统测试自动化。 测试通信/命运 2007 : 28-40 [公元29年] 玛丽亚·艾米丽亚·坎布罗内罗 , 胡安·何塞·帕尔多 , 格雷戈里奥·迪亚斯 , 瓦伦特·瓦莱罗 :
使用RT-UML建模web服务。 囊 2007 : 643-648 2006 [公元28年] 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 胡安·何塞·帕尔多 , 瓦伦廷·瓦莱罗 , 费尔南多·库亚特罗 :
使用模型检查技术自动生成正确的Web服务编排和编排。 AICT/ICIW公司 2006 : 186 [公元27年] 玛丽亚·艾米丽亚·坎布罗内罗 , 格雷戈里奥·迪亚斯 , 胡安·何塞·帕尔多 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 :
RT-UML用于实时Web服务建模。 SCW公司 2006 : 131-139 [公元26年] 格雷戈里奥·迪亚斯 , 玛丽亚·艾米丽亚·坎布罗内罗 , 拉诺斯·托巴拉 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
应用于Web服务组合的时间要求的分析和验证。 WS-FM 2006 : 178-192 2005 [j3] 安东尼奥·布埃诺 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 :
TPAL的翻译 第页 成为一类时间概率Petri网。 西奥。 计算。 科学。 338 ( 1-3 ) : 350-392 ( 2005 ) [公元25年] 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦廷·瓦莱罗 , 玛丽亚·佩莱奥 , 梅赛德斯·G·梅拉约 :
记忆是如何工作的? 通过时间弧Petri网。 IEEE ICCI标准 2005 : 128-135 [公元24年] 胡安·何塞·帕尔多 , Valentín Valero Ruiz女士 , M.卡门·鲁伊斯 , 费尔南多·库亚特罗 , 格雷戈里奥·迪亚斯 :
获得TPPAL过程的概率动态图。 澳大利亚软件工程会议 2005 : 118-127 【c23】 格雷戈里奥·迪亚斯 , 胡安·何塞·帕尔多 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
WS-CDL编排到时间自动机的自动转换。 EPEW/WS-FM公司 2005 : 230-242 [公元22年] 格雷戈里奥·迪亚斯 , 金·古德斯特兰·拉森 , 胡安·何塞·帕尔多 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗 :
一种处理电子商务中实时和概率行为的方法:验证SET协议。 囊 2005 : 815-820 【c21】 格雷戈里奥·迪亚斯 , 胡安·何塞·帕尔多 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
使用定时自动机验证Web服务。 WWV(WWV) 2005 : 177-191 [公元20年] 格雷戈里奥·迪亚斯 , 胡安·何塞·帕尔多 , 玛丽亚·艾米丽亚·坎布罗内罗 , 瓦伦特·瓦莱罗 , 费尔南多·库亚特罗 :
使用定时自动机验证Web服务。 世界大战 2005 : 19-34 2004 [第19条] 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗·鲁伊斯 , 迭戈·卡佐拉 , 费尔南多·库亚特罗 :
介绍sPBC中的迭代。 复地 2004 : 292-309 [第18条] 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 赫梅内吉尔达·马西娅 , 玛丽亚·L·佩拉约 :
应用时间弧Petri网提高MPEG-2编码算法的性能。 MMM(毫米) 2004 : 49-56 [第17条] 格雷戈里奥·迪亚斯 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 :
TLS握手协议的自动验证。 囊 2004 : 789-794 2003 [注2] 迭戈·卡佐拉 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 , 胡安·何塞·帕尔多 :
概率和不确定性过程的代数理论。 J.日志。 代数方法程序。 55 ( 1-2 ) : 57-103 ( 2003 ) [第16条] 赫梅内吉尔达·梅西 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 , 费尔南多·佩莱奥 :
有限随机Petri盒演算中的一种新的同步方法。 ACSD系统 2003 : 216-225 [第15条] 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 迭戈·卡佐拉 :
利用ROSA1分析MPEG-2编码算法。 飞行管理信息系统 2003 : 185-202 2002 [第14条] 瓦伦特·瓦莱罗·鲁伊斯 , 胡安·何塞·帕尔多 , 费尔南多·库亚特罗 :
将TPAL规范转换为时间弧Petri网。 国际贸易法委员会 2002 : 414-433 [第13条] 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 迭戈·卡佐拉 :
基于时间弧Petri网的MPEG-2视频编码器的规范与分析。 飞行管理信息系统 2002 : 120-131 2001 [j1] 迭戈·卡佐拉 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 :
概率过程和非确定性过程的过程代数。 Inf.流程。 莱特。 80 ( 1 ) : 15-23 ( 2001 ) [第12条] 胡安·何塞·帕尔多 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 , 迭戈·卡佐拉 :
时间进程代数到动态图的自动转换。 亚太经合组织 2001 : 63-70 [第11条] 赫梅内吉尔达·马西娅 , 瓦伦特·瓦莱罗 , 大卫·德·弗鲁托斯·埃斯克里格 :
sPBC:有限Petri盒演算的马尔科夫扩展。 PNPM公司 2001 : 207-216 2000 [第10条] 大卫·德·弗鲁托斯·埃斯克里格 , 瓦伦特·瓦莱罗·鲁伊斯 , 奥尔加·马洛奎恩·阿隆索 :
时间弧Petri网性质的判定。 ICATPN公司 2000 : 187-206 【c9】 迭戈·卡佐拉 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·佩莱奥 :
概率和非确定性过程的表示模型。 ICDCS分布式系统验证研讨会 2000 : E41-E48型 【c8】 费尔南多·佩莱奥 , 费尔南多·库亚特罗 , 瓦伦特·瓦莱罗·鲁伊斯 , 迭戈·卡佐拉 :
使用随机过程代数进行性能评估的示例:ROSA。 RTCSA公司 2000 : 271-278
1990 – 1999
1999 【c7】 瓦伦特·瓦莱罗·鲁伊斯 , 大卫·德·弗鲁托斯·埃斯克里格 , 费尔南多·库亚特罗·戈麦斯 :
时间弧Petri网可达性的不可判定性。 PNPM公司 1999 : 188-196 1997 【c6】 安东尼奥·布埃诺 , 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 :
TPAL:并发进程的时间概率模型。 亚太经合组织 1997 : 475-484 【c5】 费尔南多·库亚特罗 , 大卫·德·弗鲁托斯·埃斯克里格 , 瓦伦特·瓦莱罗·鲁伊斯 :
一个完善的概率过程证明系统。 艺术 1997 : 340-352 1995 【c4】 瓦伦特·瓦莱罗·鲁伊斯 , 大卫·德·弗鲁托斯·埃斯克里格 , 费尔南多·库亚特罗 :
时间Petri网的时间过程。 Petri网的理论与应用 1995 : 490-509 【c3】 瓦伦特·瓦莱罗·鲁伊斯 , 费尔南多·库亚特罗 , 安东尼奥·何塞·加里多·德尔·索洛 , 弗朗西斯科·奎尔斯 :
基于DLX处理器的数字图像处理应用程序的并行体系结构仿真工具。 ICIP(3)公司 1995 : 448-451 1993 [c2] 瓦伦特·瓦莱罗·鲁伊斯 , 大卫·德·弗鲁托斯·埃斯克里格 , 费尔南多·夸特罗·戈麦斯 :
具有有理和实持续时间的TPN的严格可达性问题的可判定性。 PNPM公司 1993 : 56-65 1991 【c1】 Valentín Valero Ruiz女士 , 大卫·德·弗鲁托斯·埃斯克里格 , 费尔南多·库亚特罗 :
用普通Petri网模拟时间Petri网,并应用于时间可达性问题和其他相关问题的可判定性。 PNPM公司 1991 : 154-163
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)