编辑配置文件(在新选项卡中打开) 福斯托·斯波托 合著者距离 作者ID: 福斯托港 发布日期: 福斯托·斯波托 编入索引的文档: 26出版物自1999年起 合著者: 14合著者具有21联合出版物 157位合作作者 全部的 前5名合著者 4 单作者的 8 帕特里夏·M·希尔。 4 尼科利奇,乌里卡 2 埃蒂安·佩耶特 1 吉安卢卡·阿马托 1 迈克尔·D·恩斯特。 1 皮埃特罗·费拉拉 1 萨米尔·根奈姆 1 乔治·列维 1 阿尔贝托·洛瓦托 1 马其顿,达米亚诺 1 卢卡·奥利维埃里 1 斯特凡诺·罗西诺利 1 斯特凡诺·塞奇 1 西普里安·斯皮里登 全部的 前5名系列 2 理论计算机科学 2 高阶和符号计算 1 逻辑程序设计杂志 1 信息与计算 1 逻辑与计算杂志 1 计算机语言、系统和结构 领域 26 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用57中的次32文件 引用人▼ 年份▼ 面向对象程序的对共享分析。 Zbl 1141.68378号 斯特凡诺·塞奇;福斯托·斯波托 12 2005 Java字节码的信息流分析。 Zbl 1111.68505号 萨米尔·根奈姆;福斯托·斯波托 8 2005 通过将抽象编译为布尔函数来检测非周期性。 兹比尔1176.68043 斯特凡诺·罗西诺利;福斯托·斯波托 6 2006 通过线性细化进行对独立性和自由度分析。 Zbl 1036.68020号 乔治·列维;福斯托·斯波托 4 2003 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 福斯托·斯波托;埃蒂安·佩耶特 4 2010 带cut的Prolog的操作语义和与目标无关的指称语义。 Zbl 0948.68030号 福斯托·斯波托 3 2000 将\(Def\)和\(Pos\)归纳为类型分析。 Zbl 1012.68040号 帕特里夏·M·希尔。;福斯托·斯波托 3 2002 观察点语义:用于组合和集中静态分析的工具。 Zbl 0997.68517号 福斯托·斯波托 2 2001 逃逸分析的基础。 Zbl 1275.68058号 帕特里夏·M·希尔。;福斯托·斯波托 2 2002 程序变量的可达性分析。 Zbl 1358.68075号 尼古拉·德乌里卡;福斯托·斯波托 2 2012 Java字节码的定义表达式别名分析。 Zbl 1362.68031号 尼科利奇,乌里卡;福斯托·斯波托 2 2012 通过线性细化进行自由度分析。 Zbl 0957.68058号 帕特里夏·希尔;福斯托·斯波托 1 1999 用于共享分析的摘要汇编。 Zbl 1037.68027号 吉安卢卡·阿马托;福斯托·斯波托 1 2001 通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号 托马斯·延森;福斯托·斯波托 1 2001 作为紧凑表示的逻辑程序。 Zbl 1059.68018号 帕特里夏·M·希尔。;福斯托·斯波托 1 2003 作为紧凑表示的逻辑程序。 兹比尔1026.68778 帕特里夏·M·希尔。;福斯托·斯波托 1 2002 推断数组的完整初始化。 Zbl 1292.68104号 尼科利奇,乌里卡;福斯托·斯波托 1 2013 escape属性的细化。 Zbl 1057.68586号 帕特里夏·M·希尔。;福斯托·斯波托 1 2002 信息流是恒常性的线性细化。 Zbl 1169.68369号 福斯托·斯波托 1 2005 基于自动机的数组初始化分析。 Zbl 1350.68180号 尼科利奇,乌里卡;福斯托·斯波托 1 2012 推断数组的完整初始化。 Zbl 1292.68104号 尼科利奇,乌里卡;福斯托·斯波托 1 2013 程序变量的可达性分析。 Zbl 1358.68075号 尼科利奇,乌里卡;福斯托·斯波托 2 2012 Java字节码的定义表达式别名分析。 Zbl 1362.68031号 尼科利奇,乌里卡;福斯托·斯波托 2 2012 基于自动化的阵列初始化分析。 Zbl 1350.68180号 尼科利奇,乌里卡;福斯托·斯波托 1 2012 Java字节码本地化分析的魔法集。 Zbl 1244.68052号 福斯托·斯波托;帕耶特,Étienne 4 2010 通过将抽象编译为布尔函数来检测非周期性。 Zbl 1176.68043号 斯特凡诺·罗西诺利;福斯托·斯波托 6 2006 面向对象程序的对共享分析。 Zbl 1141.68378号 斯特凡诺·塞奇;福斯托·斯波托 12 2005 Java字节码的信息流分析。 Zbl 1111.68505号 萨米尔·根奈姆;福斯托·斯波托 8 2005 信息流是恒常性的线性细化。 Zbl 1169.68369号 福斯托·斯波托 1 2005 通过线性细化进行对独立性和自由度分析。 Zbl 1036.68020号 乔治·列维;福斯托·斯波托 4 2003 作为紧凑表示的逻辑程序。 Zbl 1059.68018号 帕特里夏·M·希尔。;福斯托·斯波托 1 2003 将\(Def\)和\(Pos\)泛化为类型分析。 Zbl 1012.68040号 帕特里夏·M·希尔。;福斯托·斯波托 3 2002 逃逸分析的基础。 Zbl 1275.68058号 帕特里夏·M·希尔。;福斯托·斯波托 2 2002 作为紧凑表示的逻辑程序。 Zbl 1026.68778号 帕特里夏·M·希尔。;福斯托·斯波托 1 2002 escape属性的细化。 Zbl 1057.68586号 帕特里夏·M·希尔。;福斯托·斯波托 1 2002 观察点语义:用于组合和聚焦静态分析的工具。 Zbl 0997.68517号 福斯托·斯波托 2 2001 用于共享分析的摘要汇编。 Zbl 1037.68027号 吉安卢卡·阿马托;福斯托·斯波托 1 2001 通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号 托马斯·延森;福斯托·斯波托 1 2001 带cut的Prolog的操作语义和与目标无关的指称语义。 Zbl 0948.68030号 福斯托·斯波托 3 2000 通过线性细化进行自由度分析。 Zbl 0957.68058号 帕特里夏·希尔;福斯托·斯波托 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名被52位作者引用 6 福斯托·斯波托 5 吉安卢卡·阿马托 5 弗朗西丝卡·斯科扎里 3 艾尔维拉·阿尔伯特 3 曼努埃尔五世(Manuel V.Hermenegildo)。 3 卢、伦金 3 玛丽亚·希亚拉(Maria Chiara Meo) 3 达米亚诺·扎纳尔迪尼 2 萨米尔·根奈姆 2 帕特里夏·M·希尔。 2 乔治·列维 2 德国普埃布拉 1 普里阿雷纳斯 1 巴拉布里加,Clément 1 吉尔·巴特 1 巴苏,阿米塔布 1 伦纳特·贝林格 1 蔡国勇 1 马可·科米尼 1 尼科莱塔·德·弗朗西斯科 1 朱尔斯·德沙奈斯 1 纳菲·迪亚洛 1 阿戈斯蒂诺·多维尔 1 德拉本特,Włodzimierz 1 克里斯蒂安·埃内 1 算了吧,朱利安 1 安德烈亚·福米萨诺 1 加尔达洛,Wided 1 丹尼尔·卡贝扎(Daniel Cabeza),格拉斯(Gras) 1 顾天龙 1 戈帕尔·古普塔 1 雷纳·哈内尔 1 卢卡·马提尼 1 伊莎贝拉·马斯特罗埃尼 1 马里奥·梅恩德斯·洛霍 1 艾丽西亚·梅拉约 1 阿里·米莉 1 乔治·莫瑟 1 劳伦特·穆尼尔 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 尼科利奇,乌里卡 1 埃蒂安·佩耶特 1 恩里科·蓬泰利 1 玛丽·劳雷·波特 1 钱俊彦 1 塔玛拉·雷兹克 1 里卡多·罗查 1 吉列尔莫·罗曼·迪兹 1 乔迪·鲁伊斯 1 迈克尔·沙珀 1 多米尼克·施泰因霍费尔 1 赵玲忠 全部的 前5名13连载 5 理论计算机科学 5 逻辑程序设计理论与实践 4 信息与计算 2 高阶和符号计算 2 计算机语言、系统和结构 2 ACM计算逻辑事务 1 新一代计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 32 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文