停止战争！

Остановите войну!

对于科学家来说：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

豪尔赫·纳瓦斯

>主页 >珀森斯

人员信息

附属： 美国加利福尼亚州门罗公园SRI国际
附属： Certora Inc，美国德克萨斯州奥斯汀
隶属关系（前）： 西班牙马德里技术大学

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2023
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/NavasG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/NavasG23
豪尔赫·纳瓦斯,阿什什·盖哈尼:
OCCAM-v2：结合静态和动态分析，实现高效的整体程序专业化。 Commun公司。ACM公司 66(4):40-47(2023)
2022
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/队列/NavasG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/queue/NavasG22
豪尔赫·纳瓦斯,阿什什·盖哈尼:
OCCAM-v2：结合静态和动态分析实现高效和高效的整体程序专业化：利用可扩展的指针分析、价值分析和动态分析。 ACM队列 20(5):58-85(2022)
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Garcia-Contreras22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/Garcia-Contreras22
伊莎贝尔·加西亚-孔特拉斯,阿里·古芬克尔,豪尔赫·纳瓦斯:
高效的基于模块化SMT的指针程序模型检查。 SAS公司 2022:227-246
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/WesleyCNTWG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/WesleyCNTWG22
斯科特·卫斯理,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,理查德·特雷弗,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）,阿里·古芬克尔:
通过SmartACE中的通信抽象验证实体智能合同。 VMCAI公司 2022:425-449
2021
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/GangeMNSSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/GanggeMNSS21
格雷姆恒河,马泽群,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
全新的分区和八角形。 ACM事务处理。程序。语言系统。 43(三):11:1-11:51(2021)
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChristakisEHHKL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChristakisEHHKL21
玛丽亚·克里斯塔基斯,哈桑·费里特·恩塞尔,霍尔格·赫尔曼斯,约格·霍夫曼,尤格什·科塔里,李建林,豪尔赫·纳瓦斯,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
调用神经网络程序的自动安全验证。 CAV（1） 2021:201-224
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MansurMCNW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MansurMCNW20
穆罕默德·努迈尔·曼苏尔,本杰明·马里亚诺,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
根据自定义使用场景自动定制抽象解释。 CAV（2） 2021:777-800
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/GangeNSSS21配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GangeNSSS21
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
析取区间分析。 SAS公司 2021:144-165
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/Wesley公司CNTWG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/WesleyCNTWG21
斯科特·卫斯理,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,理查德·特雷弗,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）,阿里·古芬克尔:
通过通信抽象对智能合约进行组合验证。 SAS公司 2021:429-452
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/GurfinkelN21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/GurfinkelN21网址
阿里·古芬克尔,豪尔赫·纳瓦斯:
使用基于区域的内存模型对LLVM进行抽象解释。 VSTTE公司 2021:122-144
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-08583
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-08583
斯科特·卫斯理,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,理查德·特雷弗,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）,阿里·古芬克尔:
通过通信抽象对智能合约进行组合验证（扩展）。 CoRR公司 abs/2107.08583(2021)
2020
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hpdc/NiddodiGMNM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hpdc/NiddodiGMNM20
查特拉·尼多迪,阿什什·盖哈尼,塔努·马利克,豪尔赫·纳瓦斯,斯宾·默翰:
MiDas：通过I/O专业化将数据密集型应用程序容器化。 HPDC的P-RECS 2020:21-25
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/NavasDM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/NavasDM20
豪尔赫·纳瓦斯,布鲁诺·杜特雷,伊恩·梅森:
优化NTT算法的验证。 VSTTE公司 2020:144-160
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/2019
Supratik Chakraborty公司,豪尔赫·纳瓦斯:
已验证软件。理论、工具和实验——第11届国际会议，2019年7月13日至14日，美国纽约市，VSTTE 2019，修订论文集。计算机科学课堂讲稿12031,施普林格 2020，国际标准图书编号978-3-030-41599-0 【内容】
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2009-13860
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2009-13860
穆罕默德·努迈尔·曼苏尔,本杰明·马里亚诺,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
根据自定义使用场景自动调整静态分析。 CoRR公司 abs/2009.13860(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2019
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/GangeNSSS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/GangeNSSS19
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
剖析拓宽：将终止与信息分离。阿普拉斯 2019:95-114
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/KuderskiNG19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/KuderskiNG19
雅库布·库德斯基,豪尔赫·纳瓦斯,阿里·古芬克尔:
基于统一的指针分析，无过度共享。 FMCAD公司 2019:37-45
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/GershuniAGNNRRS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19
埃拉扎尔·格舒尼,纳达夫·阿米特,阿里·古芬克尔,妮娜·纳洛季斯卡,豪尔赫·纳瓦斯,诺姆·里内茨基,列奥尼德·雷日克,穆利·萨吉夫:
对不受信任的Linux内核扩展进行简单而精确的静态分析。 PLDI公司 2019:1069-1084
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1906-01706
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1906-01706
雅库布·库德斯基,豪尔赫·纳瓦斯,阿里·古芬克尔:
基于统一的指针分析，无过度共享。 CoRR公司 abs/1906.01706(2019)
2018
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/HowarGMN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/HowarGMN18
福克·豪尔,迪米特拉·吉安娜科波卢,麦芽木,豪尔赫·纳瓦斯:
通过集成静态和符号分析、学习和运行时监控生成组件接口。 ISoLA（2） 2018:120-136
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/DutertreJN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/DutertreJN18
布鲁诺·杜特雷,德扬·约万诺维奇,豪尔赫·纳瓦斯:
与Sally一起验证容错协议。天然气管理 2018:113-120
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/GennariGKNS18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/GennariGKNS18
杰弗里·根纳里,阿里·古芬克尔,Temesghen Kahsai公司,豪尔赫·纳瓦斯,爱德华·施瓦茨:
软件模型检查中的可执行反例。 VSTTE公司 2018:17-37
2017
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/GurfinkelN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GurfinkelN17
阿里·古芬克尔,豪尔赫·纳瓦斯:
用于验证C/C++程序的上下文敏感内存模型。 SAS公司 2017:148-168
2016
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GangeNSSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GangeNSSS16
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙切特,哈拉尔德·森德加德,彼得·J·斯塔基:
无上下文语言规则可分性的完整细化过程。西奥。计算。科学。 625:1-24(2016)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/恒河NSSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GangeNSSS16
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
利用差分矩阵的稀疏性。 SAS公司 2016:189-211
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/GangeNSSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/GangeNSSS16
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·斯塔基:
未解释函数的抽象域。 VMCAI公司 2016:85-103
2015
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/GurfinkelKN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/GurfinkelKN15
阿里·古芬克尔,Temesghen Kahsai公司,豪尔赫·纳瓦斯:
基于算法逻辑的验证。 ACM SIGLOG新闻 2(2):29-38(2015)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/GangeNSSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/GangeNSSS15
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
Horn子句作为程序分析和转换的中间表示。理论与实践。日志。程序。 15(4-5):526-542(2015)
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Gurfinkel KKN15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GurfinkelKKN15
阿里·古芬克尔,Temesghen Kahsai公司,安维什·科穆拉维利,豪尔赫·纳瓦斯:
SeaHorn验证框架。 CAV（1） 2015:343-361
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KahsaiNJS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KahsaiNJS15
Temesghen Kahsai公司,豪尔赫·纳瓦斯,德扬·约万诺维奇,马丁·施瓦夫:
使用循环查找程序中的不一致。 LPAR公司 2015:499-514
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/恒河NSSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/GangeNSSS15
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,Harald Søndergaard公司,彼得·J·斯塔基:
一个用于交叉上下文无关语法的工具及其应用。非金融市场 2015:422-428
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GurfinkelKN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GurfinkelKN15
阿里·古芬克尔,Temesghen Kahsai公司,豪尔赫·纳瓦斯:
SeaHorn：验证C程序的框架（竞争贡献）。 TACAS公司 2015:447-450
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GangeNSSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GangeNSSS15
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
Horn子句作为程序分析和转换的中间表示。 CoRR公司 abs/1507.05762(2015)
2014
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/GangeNSSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/GangeNSSS14
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
区间分析和机器算法：为什么有意义的无知是幸福。 ACM事务处理。程序。语言系统。 37(1):1:1-1:35(2014)
[c19]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/CornishGNSSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/CornishGNSSS14
J.罗伯特·M·科尼什,格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
通过程序转换分析数组操作程序。洛普斯特 2014:3-20
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/BratNSV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/BratNSV14
纪尧姆·布拉特,豪尔赫·纳瓦斯,Nija Shi公司,阿诺·维尼特:
IKOS：基于抽象解释的静态分析框架。 SEFM公司 2014:271-277
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/更正/天使FNP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AngelisFNP14
伊曼纽尔·德·安吉利斯,法比奥·菲奥拉万蒂,豪尔赫·纳瓦斯,毛里齐奥·普罗埃蒂:
通过结合迭代专门化和插值对程序进行验证。 HCVS公司 2014:3-18
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GangeNSSS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GangeNSSS14
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
数组内容分析的部分顺序方法。 CoRR公司腹肌/1408.1754(2014)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GangeNSSS14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GangeNSSS14a
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙切特,Harald Søndergaard公司,彼得·J·斯塔基:
无上下文语言规则可分性的完整细化过程。 CoRR公司 abs/1411.5131(2014)
2013
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/GangeNSSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/GangeNSSS13
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
通过插值进行故障表约束逻辑编程。理论与实践。日志。程序。 13(4-5):593-607(2013)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/FrancisNS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/FrancisNS13
凯瑟琳·弗朗西斯,豪尔赫·纳瓦斯,彼得·J·斯塔基:
破坏性分配建模。人物配对关系 2013:315-330
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/GangeNSSS13配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/GangeNSSS13
格雷姆恒河,豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
非参数抽象域上的抽象解释。 SAS公司 2013:6-24
[c14]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/JaffarMN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/JaffarMN13
佐克森·贾法尔,维贾亚拉加万·穆拉利,豪尔赫·纳瓦斯:
通过插值促进共调测试。 ESEC/SIGSOFT FSE公司 2013:48-58
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/GangeNSSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/GangeNSSS13
格雷姆恒河,豪尔赫·纳瓦斯,彼得·J·斯塔基,哈拉尔德·森德加德,彼得·沙赫特:
正则语言约束的无边界模型检查与插值。 TACAS公司 2013:277-291
2012
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/NavasSSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/NavasSSS12
豪尔赫·纳瓦斯,彼得·沙赫特,哈拉尔德·森德加德,彼得·J·斯塔基:
有意义-忽略程序分析：低层代码的精确整数边界。阿普拉斯 2012:115-130
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JaffarMNS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JaffarMNS12
佐克森·贾法尔,维贾亚拉加万·穆拉利,豪尔赫·纳瓦斯,安德鲁·E·桑托萨:
TRACER：用于验证的符号执行工具。 CAV汽车 2012:758-766
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/JaffarMNS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/JaffarMNS12
佐克森·贾法尔,维贾亚拉加万·穆拉利,豪尔赫·纳瓦斯,安德鲁·桑托萨:
路径敏感反向切片。 SAS公司 2012:231-247
2011
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/JaffarNS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/JaffarNS11
佐克森·贾法尔,豪尔赫·纳瓦斯,安德鲁·桑托萨:
程序验证的无边界符号执行。 RV汽车 2011:396-411
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JaffarNS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JaffarNS11
佐克森·贾法尔,豪尔赫·纳瓦斯,安德鲁·桑托萨:
用于验证的符号执行。 CoRR公司 abs/1103.2027(2011)
2010
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/JaffarNS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/JaffarNS10
佐克森·贾法尔,豪尔赫·纳瓦斯,安德鲁·桑托萨:
抽象学习。 ATVA公司 2010:17
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1002-1836
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1002-1836
弗朗西斯科·布埃诺,豪尔赫·纳瓦斯,曼努埃尔·V·赫梅内吉尔多:
使用集合约束实现参数化正则类型推断。 CoRR公司 abs/1002.1836(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2009
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/NavasMH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/NavasMH09
豪尔赫·纳瓦斯,马里奥·曼德斯·洛霍,曼纽尔·埃尔梅内吉尔多:
Java字节码的用户定义资源使用边界分析。 BYTECODE@ETAPS 2009:65-82
2008
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/TriasNAFH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/TriasNAFH08
埃里克·D·特里亚斯,豪尔赫·纳瓦斯,埃琳娜·S·阿克利,斯蒂芬妮·福雷斯特,曼纽尔·埃尔梅内吉尔多:
负三值集共享。 ICLP公司 2008:301-316
2007
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iclp/NavasMLH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NavasMLH07
豪尔赫·纳瓦斯,爱迪生·梅拉,佩德罗·洛佩斯·加西亚,曼纽尔·埃尔梅内吉尔多:
逻辑程序的用户定义资源边界分析。 ICLP公司 2007:348-363
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/门德斯-LojoNH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Mendez-LojoNH07网站
马里奥·曼德斯·洛霍,豪尔赫·纳瓦斯,曼纽尔·埃尔梅内吉尔多:
一种灵活的、基于（C）LP的面向对象程序分析方法。洛普斯特 2007:154-168
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MendezNH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MendezNH07网站
马里奥·曼德斯·洛霍,豪尔赫·纳瓦斯,曼纽尔·埃尔梅内吉尔多:
用于Java字节码分析的高效参数定点算法。字节码@ETAPS 2007:51-66
2006
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/NavasBH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/NavasBH06
豪尔赫·纳瓦斯,弗朗西斯科·布埃诺,曼纽尔·埃尔梅内吉尔多:
使用Cliques进行高效的自顶向下集共享分析。 PADL（PADL） 2006:183-198
2005
【c1】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - conf/lpe/NavasBH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpe/NavasBH05
豪尔赫·纳瓦斯,弗朗西斯科·布埃诺,曼纽尔·埃尔梅内吉尔多:
基于集团的集合共享分析研究。无线局域网 2005:31-45
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/NavasBH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/NavasBH05
豪尔赫·纳瓦斯,弗朗西斯科·布埃诺,曼纽尔·埃尔梅内吉尔多:
通过团进行集共享分析的研究。 CoRR公司 abs/cs/0508112(2005)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。