默认搜索操作

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

问别人

阿琼·拉德哈克里什纳

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aiware/BiyaniBRSG24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiware/BiyaniBRSG24
帕拉姆·比亚尼,亚沙特·巴杰派,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,苏米特·古尔瓦尼:
RUBICON：基于评估准则的领域特定人类人工智能对话评估。 AI软件 2024
[i18]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-06229
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-06229
巴维亚·乔普拉,亚沙特·巴杰帕伊,帕拉姆·比亚尼,古斯塔沃·索亚雷斯,阿琼·拉德哈克里什纳,克里斯·帕宁,苏米特·古尔瓦尼:
探索调试的交互模式：提高AI患者的会话能力。 CoRR公司 abs/2402.06229(2024)
[i17]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2405-13009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2405-13009
普里扬舒·古普塔,沙申克·基塔尼亚,安娜亚·辛哈,苏米特·古尔瓦尼,阿琼·拉德哈克里什纳,史雪莉（Sherry Shi）,古斯塔沃·苏亚雷斯:
方法部分：使用过去的反思为语言代理提供学习指导。 CoRR公司 abs/2405.13009(2024)
2023
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/NazariHSRR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/NazariHSRR23
阿米尔莫哈马德·纳扎里,黄一飞,萨曼塔屋顶,阿琼·拉德哈克里什纳,穆昆德·拉戈塔曼:
通过本地化规范进行可解释的程序合成。程序。ACM计划。语言。 7(OOPSLA2公司):2171-2195(2023)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/YuanRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/YuanRS23
袁永伟,阿琼·拉德哈克里什纳,萨曼塔屋顶:
递归函数程序的跟踪引导归纳综合。程序。ACM计划。语言。 7(PLDI公司):860-883(2023)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/CambroneroGLPRST23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/CambroneroGLPRST23
何塞·坎布罗内罗,苏米特·古尔瓦尼,武乐,丹尼尔·佩雷尔曼,阿琼·拉德哈克里什纳,克林特·西蒙,阿什什·蒂瓦里:
FlashFill++：通过示例缩放编程，切换到Chase。程序。ACM计划。语言。 7(POPL公司):952-981(2023)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/VaithilingamGGGHMPRSWY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/VaithilingamGGGHMPRSWY23
Priyan Vaithilingam公司,埃琳娜·格拉斯曼,彼得·格罗恩韦根,苏米特·古尔瓦尼,奥斯汀·Z·亨利,罗汉·马尔帕尼,大卫·普格,阿琼·拉德哈克里什纳,古斯塔沃·苏亚雷斯,王祖贤,亚伦·伊姆（Aaron Yim）:
走向更有效的AI辅助编程：改进Visual Studio IntelliCode用户体验的系统设计探索。 ICSE-SEIP系统 2023:185-195
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/GuptaKBCGKRS023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/GuptaKBCGKRS023
普里扬舒·古普塔,阿维什雷·哈雷,亚沙特·巴杰帕伊,Saikat Chakraborty公司,苏米特·古尔瓦尼,阿迪蒂亚·卡纳德,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,阿什什·蒂瓦里:
格雷斯：语言模型符合代码编辑。 ESEC/SIGSOFT FSE公司 2023:1483-1495
[i16]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-14129
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-14129
普里扬舒·古普塔,阿维什雷·哈雷,亚沙特·巴杰帕伊,Saikat Chakraborty公司,苏米特·古尔瓦尼,阿迪蒂亚·卡纳德,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,Ashish蒂瓦里:
GrACE：使用关联代码编辑生成。 CoRR公司 abs/2305.14129(2023)
2022
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/ZhangBGKABGRRST22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ZhangBGKABGRRST22
张玉浩,亚沙特·巴杰帕伊,普里扬舒·古普塔,阿米亚·凯特卡,米尔蒂亚迪斯·阿拉马尼斯,提图斯·巴里克,苏米特·古尔瓦尼,阿琼·拉德哈克里什纳,穆罕默德·拉扎,古斯塔沃·索亚雷斯,阿什什·蒂瓦里:
监视：代码编辑序列中的学习模式。程序。ACM计划。语言。 6(OOPSLA2公司):395-423(2022)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ParthasarathyPK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ParthasarathyPK22
Suresh Parthasarathy公司,林西·帕塔纳克,阿尼鲁德·卡特里,阿伦·尚卡·伊耶,阿琼·拉德哈克里什纳,斯里拉姆·拉贾马尼,穆罕默德·拉扎:
地标和区域：一种稳健的数据提取方法。 PLDI公司 2022:993-1009
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/Wu00GRRSWL022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/Wu00GRRSWL022
吴正凯,武乐,Ashish蒂瓦里,苏米特·古尔瓦尼,阿琼·拉德哈克里什纳,伊万·拉迪克,古斯塔沃·索亚雷斯,王新余,李振文,谢涛:
NL2Viz：通过受约束的语法引导合成从自然语言到可视化。 ESEC/SIGSOFT FSE公司 2022:972-983
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/SettyBURG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/SettyBURG22
曼尼什·谢蒂,切坦·班萨尔,赛普拉莫德·乌帕迪亚尤拉,阿琼·拉德哈克里什纳,古普塔:
AutoTSG：事故故障排除的学习和综合。 ESEC/SIGSOFT FSE公司 2022:1477-1488
【i15】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-05021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-05021
Suresh Parthasarathy公司,林西·帕塔纳克,阿尼鲁德·卡特里,阿伦·尚卡·伊耶,阿琼·拉德哈克里什纳,斯里拉姆·拉贾马尼,穆罕默德·拉扎:
地标和区域：一种稳健的数据提取方法。 CoRR公司 abs/2204.05021(2022)
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-13457
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-13457
曼尼什·谢蒂,切坦·班萨尔,赛普拉莫德·乌帕迪亚尤拉,阿琼·拉德哈克里什纳,古普塔:
AutoTSG：事件故障排除的学习和综合。 CoRR公司 abs/2205.13457(2022)
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-12456
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-12456
张玉浩,亚沙特·巴杰帕伊,普里扬舒·古普塔,阿米亚·凯特卡,米尔蒂亚迪斯·阿拉马尼斯,提图斯·巴里克,苏米特·古尔瓦尼,阿琼·拉德哈克里什纳,穆罕默德·拉扎,古斯塔沃·索亚雷斯,阿什什·蒂瓦里:
监视：代码编辑序列中的学习模式。 CoRR公司腹肌/2207.12456(2022)
2021
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GaoRSSGR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GaoRSSGR21
向高,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,里德万·谢里夫丁,苏米特·古尔瓦尼,阿比克·罗伊乔杜里:
APIfix：面向输出的程序综合，用于对抗库中的破坏性更改。程序。ACM计划。语言。 5(乌普斯拉):1-27(2021)
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/RahmaniRGLMRST21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/RahmaniRGLMRST21
基亚·拉赫曼尼,穆罕默德·拉扎,苏米特·古尔瓦尼,武乐,丹尼尔·莫里斯,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,阿什什·蒂瓦里:
多模式程序推理：预训练语言模型和基于组件的合成的结合。程序。ACM计划。语言。 5(乌普斯拉):1-29(2021)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/BhagwanMRG21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BagwanMRG21
兰吉塔·巴格旺,索努·梅塔,阿琼·拉德哈克里什纳,萨希尔·加格:
配置中的学习模式。 ASE公司 2021:817-828
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigmod/Fariha0RGM21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigmod/Fariha0RGM21
安娜·法里哈,阿什什·蒂瓦里,阿琼·拉德哈克里什纳,苏米特·古尔瓦尼,亚历山大·梅里奥:
一致性约束发现：测量数据驱动系统中的信任。 SIGMOD会议 2021:499-512
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigmod/Fariha0MRG21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigmod/Fariha0MRG21网站
安娜·法里哈,阿什什·蒂瓦里,亚历山大·梅里奥,阿琼·拉德哈克里什纳,苏米特·古尔瓦尼:
CoCo:数据理解和数据清理一致性约束的交互式探索。 SIGMOD会议 2021:2706-2710
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2109-02445
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2109-02445
基亚·拉赫曼尼,穆罕默德·拉扎,苏米特·古尔瓦尼,武乐,丹尼尔·莫里斯,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,阿什什·蒂瓦里:
多模程序推理：预训练语言模型和基于组件的合成的结合。 CoRR公司 abs/2109.02445(2021)
2020
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GulwaniLRRR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GulwaniLRRR20
苏米特·古尔瓦尼,武乐,阿琼·拉德哈克里什纳,伊万·拉迪克,穆罕默德·拉扎:
文本格式的结构解释。程序。ACM计划。语言。 4(乌普斯拉):212:1-212:29(2020)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GaoBRSGLN020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GaoBRSGLN020
向高,什拉达·巴克,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,苏米特·古尔瓦尼,任命梁敏硕,纳恰帕·纳加潘,阿什什·蒂瓦里:
反馈驱动的程序转换的半监督合成。程序。ACM计划。语言。 4(乌普斯拉):219:1-219:30(2020)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigmod/Fariha0RG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigmod/Fariha0RG20
安娜·法里哈,阿什什·蒂瓦里,阿琼·拉德哈克里什纳,苏米特·古尔瓦尼:
ExTuNe：解释元组不一致。 SIGMOD会议 2020:2741-2744
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2003-01289
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2003-01289
安娜·法里哈,阿什什·蒂瓦里,阿琼·拉德哈克里什纳,苏米特·古尔瓦尼,亚历山大·梅里奥:
数据不变量：关于数据驱动系统中的信任。 CoRR公司 abs/2003.01289(2020)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2006-12638
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-12638
阿什什·蒂瓦里,阿琼·拉德哈克里什纳,苏米特·古尔瓦尼,丹尼尔·佩雷尔曼:
信息论用户交互：程序合成的重要输入。 CoRR公司 abs/2006.12638(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LewchenkoRGC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LewchenkoRGC19
尼古拉斯·莱申科（Nicholas V.Lewchenko）,阿琼·拉德哈克里什纳,阿卡什·甘卡,帕沃尔·塞恩:
复制数据存储的顺序编程。程序。ACM计划。语言。三(ICFP公司):106:1-106:28(2019)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/MiltnerGLLRSTU19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/MiltnerGLLRSTU19
安德斯·米尔特纳,苏米特·古尔瓦尼,武勒,任命梁敏硕,阿琼·拉德哈克里什纳,古斯塔沃·索亚雷斯,阿什什·蒂瓦里,Abhishek Udupa公司:
编辑建议的动态合成。程序。ACM计划。语言。三(乌普斯拉):143:1-143:29(2019)
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/IyerJPRR19会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/IyerJPRR19
阿伦·尚卡·伊耶,马诺哈尔·琼纳拉赫达,Suresh Parthasarathy公司,阿琼·拉德哈克里什纳,斯里拉姆·拉贾马尼:
异构提取的合成和机器学习。 PLDI公司 2019:301-315
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-05964
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-05964
苏米特·古尔瓦尼,库纳尔·巴塔克,阿琼·拉德哈克里什纳,阿什什·蒂瓦里,Abhishek Udupa公司:
通过实例进行定量编程。 CoRR公司 abs/1909.05964(2019)
2018
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/RadhakrishnaLMM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/RadhakrishnaLMM18
阿琼·拉德哈克里什纳,尼古拉斯·莱申科（Nicholas V.Lewchenko）,肖恩·迈尔,塞尔吉奥·莫弗,克里希纳·查塔尼亚·斯里帕达,达米安·祖弗里,Bor-Yuh Evan Chang先生,帕沃尔·塞恩:
DroidStar:Android类的回调类型状态。 ICSE公司 2018:1160-1170
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1802-08733
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-08733
尼古拉斯·莱申科（Nicholas V.Lewchenko）,阿琼·拉德哈克里什纳,帕沃尔·塞恩:
冲突软件复制数据类型。 CoRR公司 abs/1802.08733(2018)
2017
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CernyCHRRST17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CernyCHRRST17
帕沃尔·塞恩,埃德蒙·克拉克,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,萨曼塔屋顶,托尔斯滕·塔拉赫:
使用同步合成从非抢占调度到抢占调度。形式方法系统。设计。 50(2-3):97-139(2017)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/AlurRU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/AlurRU17
拉杰夫·阿鲁尔,阿琼·拉德哈克里什纳,Abhishek Udupa公司:
通过Divide and Conquer缩放枚举程序合成。 TACAS（1） 2017:319-336
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/RadhakrishnaLMM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/RadhakrishnaLMM17
阿琼·拉德哈克里什纳,尼古拉斯·莱申科（Nicholas V.Lewchenko）,肖恩·迈尔,塞尔吉奥·莫弗,克里希纳·查塔尼亚·斯里帕达,达米安·祖弗里,Bor-Yuh Evan Chang先生,帕沃尔·塞恩:
学习Android类的异步类型状态。 CoRR公司 abs/1701.07842(2017)
2015
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlurCR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlurCR15
拉杰夫·阿鲁尔,帕沃尔·塞恩,阿琼·拉德哈克里什纳:
通过统一进行合成。 CAV（2） 2015:163-179
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyCHRRST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyCHRRST15
帕沃尔·塞恩,埃德蒙·克拉克,托马斯·汉津格,阿琼·拉德哈克里什纳,列昂尼德·瑞日克,萨曼塔屋顶,托尔斯滕·塔拉奇:
使用同步合成从非抢占调度到抢占调度。 CAV（2） 2015:180-197
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CernyHKRZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CernyHKRZ15
帕沃尔·塞恩,托马斯·汉津格,劳拉·科瓦奇,阿琼·拉德哈克里什纳,雅各布·兹维奇梅尔:
最坏情况执行时间分析的段抽象。员工持股计划 2015:105-131
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/GuptaHRST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/GuptaHRST15
阿舒托什·古普塔,托马斯·汉津格,阿琼·拉德哈克里什纳,萨曼塔屋顶,托尔斯滕·塔拉赫:
并发跟踪集的简洁表示。 POPL公司 2015:433-444
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CernyCHRRST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CernyCHRRST15
帕沃尔·塞恩,埃德蒙·克拉克,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,萨曼塔屋顶,托尔斯滕·塔拉赫:
使用同步合成从非抢占调度到抢占调度。 CoRR公司 abs/1505.04533(2015)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AlurCR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AlurCR15
拉杰夫·阿鲁尔,帕沃尔·塞恩,阿琼·拉德哈克里什纳:
通过统一进行合成。 CoRR公司 abs/1505.05868(2015)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CernyCHRRST15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CernyCHRRST15a
帕沃尔·塞恩,埃德蒙·克拉克,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,萨曼塔屋顶,托尔斯滕·塔拉赫:
优化同步合成中的解决方案质量。 CoRR公司 abs/1511.07163(2015)
2014
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CernyCHR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CernyCHR14
帕沃尔·塞尔尼,马丁·克梅利克,托马斯·汉津格,阿琼·拉德哈克里什纳:
接口模拟距离。西奥。计算。科学。 560:348-363(2014)
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyHRRT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyHRRT14
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,托尔斯滕·塔拉赫:
并行的无回归综合。 CAV汽车 2014:568-584
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/BokerHR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/BokerHR14
乌迪·博克,托马斯·汉津格,阿琼·拉德哈克里什纳:
电池转换系统。 POPL公司 2014:595-606
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CernyHRRT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CernyHRRT14
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,托尔斯滕·塔拉赫:
无回归并发综合。 CoRR公司 abs/1407.3681(2014)
2013
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyHRRT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyHRRT13
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,托尔斯滕·塔拉赫:
通过语义保持变换实现并发的高效合成。 CAV汽车 2013:951-967
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/CernyHR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/CernyHR13
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳:
定量抽象细化。 POPL公司 2013:115-128
2012
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CernyHR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CernyHR12
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳:
模拟距离。西奥。计算。科学。 413(1):21-35(2012)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/CernyGHRT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/CernyGHRT12
帕沃尔·塞尔尼,Sivakanth Gopi公司,托马斯·汉津格,阿琼·拉德哈克里什纳,Nishant Totla公司:
不兼容规范的合成。 EMSOFT公司 2012:53-62
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-2450
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-2450
帕沃尔·塞恩,马丁·克梅利克,托马斯·汉津格,阿琼·拉德哈克里什纳:
接口模拟距离。甘道夫 2012:29-42
2011
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyCHRS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyCHRS11
帕沃尔·塞恩,克里希南德·查特吉,托马斯·汉津格,阿琼·拉德哈克里什纳,罗希特·辛格:
并发程序的定量综合。 CAV汽车 2011:243-259
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-4306
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-4306
帕沃尔·塞恩,克里希南德·查特吉,托马斯·汉津格,阿琼·拉德哈克里什纳,罗希特·辛格:
并行程序的定量综合。 CoRR公司 abs/1104.4306(2011)
2010
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/CernyHR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CernyHR10
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳:
定量模拟游戏。纪念埃米尔·普努利的散文 2010:42-60
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyRZCA10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyRZCA10
帕沃尔·塞恩,阿琼·拉德哈克里什纳,达米安·祖弗里,斯瓦拉特·乔杜里,拉杰夫·阿鲁尔:
并发列表实现线性化的模型检查。 CAV汽车 2010:465-479
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeHJR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeHJR10
克里希南德·查特吉,托马斯·汉津格,芭芭拉·朱布斯曼,阿琼·拉德哈克里什纳:
要点：概率游戏的求解器。腔静脉 2010:665-669
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/CernyHR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CernyHR10
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳:
模拟距离。 CONCUR公司 2010:253-268
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1004-2367
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1004-2367
克里希南德·查特吉,托马斯·汉津格,Barbara Jobstmann芭芭拉·乔布斯特曼,阿琼·拉德哈克里什纳:
GIST：概率游戏的解算器。 CoRR公司 abs/1004.2367(2010)

合著者索引

请参阅常见问题解答

管理网站设置

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