编辑配置文件(在新选项卡中打开) 席尔瓦,约瑟夫 合著者距离 作者ID: 西尔瓦·约塞普 发布日期: 席尔瓦,约瑟夫;J.席尔瓦。;乔塞普·席尔瓦·加利亚纳 更多。。。较少的 主页: http://personales.upv.es/josilga/ 外部链接: MGP公司·ORCID公司 已编制索引的文档: 27出版物自2005年以来,包括1本书 2作为编辑的贡献 合著者: 21位合著者具有26联合出版物 350位合作作者 全部的 前5名合著者 2 单作者的 11 萨尔瓦多塔马利特 9 德国维达尔 7 玛丽莎·洛伦斯 7 哈维尔·奥利弗 5 大卫·英莎 4 卡洛斯·加林多牧师 三 J.瓜达卢佩·拉莫斯 2 Michael Leuschel先生 1 古斯塔沃·阿罗约 1 伯恩德·布拉埃尔 1 迭戈·切达 1 塞巴斯蒂安·费舍尔 1 Victor M.古利亚斯。 1 迈克尔·哈纳斯 1 弗兰克,哈 1 科瓦奇,劳拉·伊尔迪科 1 直纪西田 1 克劳迪奥·奥乔亚 1 罗萨里奥·普格利泽 1 安托尼奥·拉瓦拉 1 弗朗西斯科·蒂埃齐 1 塞萨尔·托马斯 全部的 前5名系列 5 程序设计中的逻辑和代数方法杂志 2 逻辑与代数程序设计杂志 1 倒排索引综述 1 信息处理信件 1 信息与计算 1 高阶和符号计算 1 计算机基础理论 1 逻辑程序设计理论与实践 1 理论计算机科学电子笔记 字段 29 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 12出版物有被引用40中的次24文件 引用人▼ 年份▼ 基于程序切片技术的词汇表。 Zbl 1293.68081号 席尔瓦,约瑟夫 8 2012 归纳顺序程序的快速窄带驱动部分求值。 Zbl 1302.68067号 J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔 7 2005 CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 5 2009 功能逻辑程序的运行时分析。 Zbl 1134.68329号 布拉塞尔,B。;哈纳斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。 4 2005 使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号 古斯塔沃·阿罗约;J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔 4 2007 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔 4 2008 Petri网的动态切片技术。 Zbl 1337.68188号 M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。 2 2008 通过循环扩展和树压缩增强声明性调试。 Zbl 1394.68075号 大卫·英莎;席尔瓦,约瑟夫;塞萨尔·托马斯 2 2013 CSP的跟踪语义。 Zbl 1286.68083号 玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 1 2010 重写系统的静态切片。 Zbl 1279.68051号 迭戈·切达;席尔瓦,约瑟夫;德国维达尔 1 2007 算法调试概述。 Zbl 1395.68094号 大卫·英莎;席尔瓦,约瑟夫 1 2018 显式同步语言的静态切片。 Zbl 1253.68246号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 1 2012 算法调试概述。 兹比尔1395.68094 大卫·英莎;席尔瓦,约瑟夫 1 2018 通过循环扩展和树压缩增强声明性调试。 Zbl 1394.68075号 大卫·英莎;席尔瓦,约瑟夫;塞萨尔,托马斯 2 2013 基于程序切片技术的词汇表。 Zbl 1293.68081号 席尔瓦,约瑟夫 8 2012 显式同步语言的静态切片。 Zbl 1253.68246号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 1 2012 CSP的跟踪语义。 Zbl 1286.68083号 玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 1 2010 CSP规范的MEB和CEB静态分析。 Zbl 1185.68207号 Michael Leuschel先生;玛丽莎·洛伦斯;哈维尔·奥利弗;席尔瓦,约瑟夫;萨尔瓦多塔马利特 5 2009 基于redex跟踪的惰性函数程序的动态切片。 Zbl 1192.68139号 克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔 4 2008 Petri网的动态切片技术。 Zbl 1337.68188号 M.洛伦斯。;J·奥利弗。;J.席尔瓦。;塔马利特,S。;G.维达尔。 2 2008 使用大小变化图改进离线窄化驱动的部分求值。 Zbl 1196.68037号 古斯塔沃·阿罗约;瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔 4 2007 重写系统的静态切片。 Zbl 1279.68051号 迭戈·切达;席尔瓦,约瑟夫;德国维达尔 1 2007 归纳顺序程序的快速窄带驱动部分求值。 Zbl 1302.68067号 J.瓜达卢佩·拉莫斯;席尔瓦,约瑟夫;德国维达尔 7 2005 功能逻辑程序的运行时分析。 Zbl 1134.68329号 布拉塞尔,B。;哈努斯,M。;Huch,F。;J.席尔瓦。;G.维达尔。 4 2005 所有引用出版物 排名前五的出版物 全部的 前5名36位作者引用 10 席尔瓦,约瑟夫 8 德国维达尔 7 萨尔瓦多塔马利特 5 哈维尔·奥利弗 4 玛丽莎·洛伦斯 2 迈克尔·哈纳斯 2 英萨,大卫 2 直纪西田 2 J.瓜达卢佩·拉莫斯 1 艾尔维拉·阿尔伯特 1 阿姆托夫特,托本 1 凯莉·安德罗索普洛斯 1 古斯塔沃·阿罗约 1 伯恩德·布拉埃尔 1 拉斐尔·E·卡巴列罗。 1 大卫·克拉克 1 丁志军 1 马丁·埃尔维格 1 莫雷诺,法拉斯基 1 方贤文 1 塞巴斯蒂安·费舍尔 1 毛里齐奥·加布里埃利 1 卡洛斯·加林多牧师 1 弗兰克,哈 1 尼古拉·科马托夫 1 帕斯卡尔·勒加尔 1 莱切内特,Jean-Christophe 1 Michael Leuschel先生 1 恩里克·马丁·马汀 1 何塞·梅塞盖尔·瓜伊塔 1 克劳迪奥·奥乔亚 1 卡洛斯·奥拉特 1 卡图西亚帕拉米德斯 1 阿德里安·里斯科 1 普拉桑纳·塔蒂 1 于、王阳 全部的 前5名11篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 高阶和符号计算 2 计算机基础理论 1 信息处理信件 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 工程、通信和计算中的应用代数 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 亚洲控制杂志 在4个字段中引用 23 计算机科学(68至XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文