编辑配置文件（在新选项卡中打开） 瓦伦蒂安·瓦莱罗 合著者距离 作者ID： 瓦莱罗·瓦伦丁 发布日期： 瓦伦蒂安·瓦莱罗;瓦伦丁·瓦莱罗;瓦莱罗，V。 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 18出版物自1995年起 1名编辑贡献 合著者： 13合著者具有18联合出版物 88位合作作者 全部的 前5名合著者 1 单作者的 9 费尔南多·库亚特罗 9 赫梅内吉尔达梅西 5 玛丽亚·艾米利亚·坎布罗内罗 4 格雷戈里奥·迪亚兹 3 迭戈·卡佐拉 3 戴维·德·弗鲁托斯 3 胡安·何塞·帕尔多 2 费尔南多·洛佩斯·佩莱奥 2 塔拉修克，伊戈尔·瓦莱尔耶维奇 1 安东尼奥·布埃诺 1 恩里克·马丁内斯 1 埃内斯托·皮门特尔 1 鲁伊斯，M.卡门 全部的 前5名系列 5 逻辑与代数程序设计杂志 1 信息处理信件 1 应用数学与计算 1 编程和计算机软件 1 理论计算机科学 1 计算机程序设计科学 1 系统设计中的形式化方法 1 欧洲控制杂志 1 动力系统的数学和计算机建模 1 计算机基础理论 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 领域 17 计算机科学（68至XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用58中的次36文件 引用人▼ 年份▼ 概率和不确定性过程的代数理论。 Zbl 1054.68091号 迭戈·卡佐拉;费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;费尔南多·佩莱奥。;J.JoséPardo 8 2003 时间Petri网的时间过程。 Zbl 1496.68251号 瓦伦蒂安·瓦莱罗;戴维·德·弗鲁托斯;费尔南多·库亚特罗 8 1995 使用时间自动机验证web服务编排。 Zbl 1207.68082号 米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 7 2011 介绍sPBC中的迭代。 Zbl 1110.68420号 赫尔梅内吉尔达·马西阿;瓦莱罗，瓦伦丁;迭戈·卡佐拉;费尔南多·库亚特罗 5 2004 将TPAL规范转换为定时弧Petri网。 Zbl 1047.68090号 瓦伦蒂安·瓦莱罗;胡安·何塞·帕尔多;费尔南多·库亚特罗 4 2002 sPBC：具有立即多作用的Petri盒演算的马尔科夫扩展。 Zbl 1154.68092号 赫梅内吉尔达梅西;瓦伦丁·瓦莱罗;费尔南多·库亚特罗;鲁伊斯，M.卡门 4 2008 概率过程模型。 Zbl 1123.68079号 费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;戴维·德·弗鲁托斯 4 2007 概率过程和非确定性过程的过程代数。 兹比尔1003.68087 D.卡佐拉。;F.库亚特罗。;瓦莱罗，V。;佩莱奥，F.L。 3 2001 sPBC的同余关系。 Zbl 1138.68040号 赫梅内吉尔达梅西;瓦伦蒂安·瓦莱罗;费尔南多·库亚特罗;戴维·德弗鲁托斯 3 2008 dtsiPBC性能评估中的随机过程约简。 Zbl 1346.60118号 I.V.塔拉修克。;H.Maciá。;瓦伦丁·瓦莱罗 3 2015 用于设计和分析web服务编排的Petri网方法。 Zbl 1188.68205号 瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达梅西 3 2009 代数dtsiPBC中并发系统的性能分析。 Zbl 1339.68033号 塔拉修克，I。;马西娅，H。;瓦伦丁·瓦莱罗 3 2014 \（\text的翻译{第三方评估}_{p} \）成为一类时间概率Petri网。 Zbl 1068.68092号 安东尼奥·布埃诺;瓦伦蒂安·瓦莱罗;费尔南多·夸特罗 1 2005 具有时间限制的WS-CDL子集的阻塞操作语义。 Zbl 1183.68077号 瓦莱罗，瓦伦丁;格雷戈里奥·迪亚斯;玛丽亚·艾米利亚·坎布罗内罗;赫梅内吉尔达梅西 1 2009 移除时间弧Petri网中的死转换。 Zbl 1156.93361号 瓦伦蒂安·瓦莱罗;赫梅内吉尔达梅西 1 2009 dtsiPBC性能评估中的随机过程约简。 Zbl 1346.60118号 I.V.塔拉修克。;H.Maciá。;瓦伦丁·瓦莱罗 3 2015 代数dtsiPBC中并发系统的性能分析。 Zbl 1339.68033号 塔拉修克，I。;马西娅，H。;瓦伦丁·瓦莱罗 3 2014 使用时间自动机验证web服务编排。 Zbl 1207.68082号 米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 7 2011 用于设计和分析web服务编排的Petri网方法。 Zbl 1188.68205号 瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达梅西 3 2009 具有时间限制的WS-CDL子集的阻塞操作语义。 Zbl 1183.68077号 瓦莱罗，瓦伦丁;格雷戈里奥·迪亚斯;玛丽亚·艾米利亚·坎布罗内罗;赫梅内吉尔达梅西 1 2009 移除时间弧Petri网中的死转换。 Zbl 1156.93361号 瓦伦蒂安·瓦莱罗;赫梅内吉尔达梅西 1 2009 sPBC：具有立即多作用的Petri盒演算的马尔科夫扩展。 Zbl 1154.68092号 赫梅内吉尔达梅西;瓦伦丁·瓦莱罗;费尔南多·库亚特罗;鲁伊斯，M.卡门 4 2008 sPBC的同余关系。 Zbl 1138.68040号 赫梅内吉尔达梅西;瓦伦蒂安·瓦莱罗;费尔南多·库亚特罗;戴维·德弗鲁托斯 3 2008 概率过程模型。 Zbl 1123.68079号 费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;戴维·德·弗鲁托斯 4 2007 \（\text的翻译{第三方评估}_{p} \）转化为一类定时概率Petri网。 Zbl 1068.68092号 安东尼奥·布埃诺;瓦莱罗，瓦伦丁;费尔南多·库亚特罗 1 2005 介绍sPBC中的迭代。 Zbl 1110.68420号 赫尔梅内吉尔达·马西阿;瓦伦蒂安·瓦莱罗;迭戈·卡佐拉;费尔南多·库亚特罗 5 2004 概率和不确定性过程的代数理论。 Zbl 1054.68091号 迭戈·卡佐拉;费尔南多·库亚特罗;瓦伦蒂安·瓦莱罗;费尔南多·佩莱奥。;J.JoséPardo 8 2003 将TPAL规范转换为定时弧Petri网。 Zbl 1047.68090号 瓦伦蒂安·瓦莱罗;胡安·何塞·帕尔多;费尔南多·库亚特罗 4 2002 概率过程和非确定性过程的过程代数。 Zbl 1003.68087号 D.卡佐拉。;F.库亚特罗。;瓦莱罗，V。;佩莱奥，F.L。 3 2001 时间Petri网的时间过程。 Zbl 1496.68251号 瓦伦蒂安·瓦莱罗;戴维·德·弗鲁托斯;费尔南多·库亚特罗 8 1995 所有引用出版物 前5名被引用出版物 全部的 前5名67位作者引用 8 瓦伦蒂安·瓦莱罗 4 Manuel A.努内兹。 4 塔拉修克，伊戈尔·瓦莱尔耶维奇 4 伊琳娜·B·维碧茨卡岩。 3 玛丽亚·艾米利亚·坎布罗内罗 3 费尔南多·库亚特罗 3 格雷戈里奥·迪亚兹 3 赫梅内吉尔达梅西 3 伊斯梅尔·罗德里格斯 3 吉·斯尔巴 3 吉田、Nobuko 2 光环，Tuomas 2 劳拉·博奇 2 罗曼·德曼根 2 本田、高黑 2 雅各布森，拉塞 2 雅各布森，莫顿 2 约翰·利利乌斯 2 费尔南多·洛佩斯·佩莱奥 2 米凯尔·哈克杰·默勒 2 鲁米亚纳内科娃 1 阿克西，S。 1 苏珊娜·安多瓦 1 马可·贝尔纳多 1 博罗夫列夫，V.A。 1 F.D.J.鲍登。 1 博振科娃（Elena N.Bozhenkova）。 1 安东尼奥·布埃诺 1 D.I.布欣。 1 德米特里·布欣 1 约阿金·比格 1 迭戈·卡佐拉 1 陈子春 1 戴维·德·弗鲁托斯 1 洛科·德尼古拉 1 邓玉欣 1 朱尔根·丁格尔 1 加西亚·吉拉奥（García Guirao）、胡安·路易斯（Juan Luis） 1 索尼娅·乔治耶夫斯卡 1 洛依茨海露 1 轩尼诗，Matthew C.B。 1 罗伯特·马克·海伦斯 1 胡雷蒙德 1 约根森、肯尼思·伊尔克 1 路易斯·费尔南多·拉娜·迪亚斯 1 纳塔利亚·洛佩斯 1 米歇尔·洛雷蒂 1 赫梅内吉尔达·马西·索勒 1 恩里克·马丁内斯 1 何塞·安东尼奥·马特奥 1 梅雷约（Mercedes G.Merayo）。 1 卡罗尔·C·摩根。 1 胡安·何塞·帕尔多 1 玛丽亚·佩莱奥。 1 拉姆昌德拉·帕瓦德 1 波波瓦·齐格曼（Louchka Popova-Zeugmann） 1 浦、葛光 1 巴勃罗·拉巴纳尔 1 鲁迪、凯伦 1 苏婷 1 瓦伦蒂安·瓦莱罗·鲁伊斯 1 罗伯特·詹·范·格拉贝克 1 Waez，Md Tawhid Bin 1 王，郑 1 肖浩 1 张晨毅 1 赵永新 全部的 前5名14篇连载文章中引用 6 逻辑与代数程序设计杂志 5 理论计算机科学 4 编程和计算机软件 3 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 计算的形式方面 2 系统设计中的形式化方法 1 应用数学与计算 1 计算与应用数学杂志 1 信息与计算 1 数学和计算机建模 1 国际计算机数学杂志 1 欧洲控制杂志 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 35 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 按年份列出的引文