默认搜索操作

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

问别人

萨查·艾莉·阿尤恩

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/LouwNACKMG24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/LoowNACKMG24
安德烈亚斯·洛夫,丹尼尔·南特斯·索布里尼奥,萨查·艾莉·阿尤恩,卡罗琳·克朗贾格,纳特·卡米奥斯,佩塔尔·马克西莫维奇,菲利普·加德纳:
用于正确性和不正确性推理的合成符号执行（人工制品）。 Dagstuhl Artifacts爵士。 10(2):13:1-13:2(2024)
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/LoowNACMG24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/LoowNACMG24
安德烈亚斯·洛夫,丹尼尔·南特斯·索布里尼奥,萨查·艾莉·阿尤恩,卡罗琳·克朗贾格,佩塔尔·马克西莫维奇,菲利普·加德纳:
用于正确性和错误性推理的合成符号执行。 ECOOP公司 2024:25:1-25:28
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/LoowNAMG24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/LoowNAMG24
安德烈亚斯·洛夫,丹尼尔·南特斯·索布里尼奥,萨查·艾莉·阿尤恩,佩塔尔·马克西莫维奇,菲利普·加德纳:
组合推理中框架推理的匹配方案。 ECOOP公司 2024:26:1-26:20
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2403-15122
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-15122
萨查·艾莉·阿尤恩,师丹尼斯,佩塔尔·马克西莫维奇,菲利普·加德纳:
半自动锈蚀验证的混合方法。 CoRR公司 abs/2403.15122(2024)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2407-10838
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2407-10838
安德烈亚斯·洛夫,丹尼尔·南特斯·索布里尼奥,萨查·艾莉·阿尤恩,卡罗琳·克朗贾格,佩塔尔·马克西莫维奇,菲利普·加德纳:
用于正确性和不正确性推理的合成符号执行（扩展版）。 CoRR公司 abs/2407.10838(2024)
2023
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 现金/债务/KarmiosAG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/debt/KarmiosAG23
纳特·卡米奥斯,萨查·艾莉·阿尤恩,菲利普·加德纳:
与Gillian进行符号调试。债务@SIGMOD 2023:1-2
2022
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2208-07200
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-07200
佩塔尔·马克西莫维奇,卡罗琳·克朗贾格,朱利安·萨瑟兰,安德烈亚斯·洛夫,萨查·艾莉·阿尤恩,菲利普·加德纳:
精确分离逻辑。 CoRR公司 abs/2208.07200(2022)
2021
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MaksimovicASG20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MaksimovicASG20
佩塔尔·马克西莫维奇,萨查·艾莉·阿尤恩,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
Gillian，第二部分：JavaScript和C的真实世界验证。卡瓦（2） 2021:827-850
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-14769
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-14769
佩塔尔·马克西莫维奇,何塞·弗拉戈索·桑托斯,萨查·艾莉·阿尤恩,菲利普·加德纳:
Gillian：统一符号分析的多语言平台。 CoRR公司 abs/2105.14769(2021)
2020
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SantosMAG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SantosMAG20
何塞·弗拉戈索·桑托斯,佩塔尔·马克西莫维奇,萨查·艾莉·阿尤恩,菲利普·加德纳:
Gillian，第一部分：符号执行的多语言平台。 PLDI公司 2020:927-942
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-05059
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-05059
何塞·弗拉戈索·桑托斯,佩塔尔·马克西莫维奇,萨查·艾莉·阿尤恩,菲利普·加德纳:
吉莉安：为所有人创作的象征性执行。 CoRR公司腹肌/2001.05059(2020)

合著者索引

请参阅常见问题解答

管理网站设置

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