学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
AMiner 沉思
AMiner 亮点
学术资源
AI2000
期刊/会议
学者库
学术API
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
arXiv: Programming Languages | AMiner期刊详情 | AMiner
arXiv: Programming Languages
Journal
年发文量
研究主题
论文（704）
排序
时间
引用
No data
No data
高被引作者
作者
引用
发文
David Monniaux
1391
5
Antoine Miné
1000
2
Xavier Rival
967
2
Patrick Cousot
949
1
Bruno Blanchet
949
1
Jérôme Feret
949
1
Radhia Cousot
949
1
Laurent Mauborgne
949
1
Zachary Tatlock
582
5
Shoaib Kamil
403
2
高产作者
作者
引用
发文
David Van Horn
388
13
Vasco T. Vasconcelos
116
9
Kees Middelburg
86
8
J.A. (Jan) Bergstra
86
8
Nobuko Yoshida
50
7
James Cheney
144
7
Luca Padovani
158
7
Sam Tobin-Hochstadt
113
6
Justin Hsu
213
6
Matthew Might
162
6
相关期刊
IEEE Computer Architecture Letters
Embedded Computer Systems: Architectures, Modeling and Simulation
International Conference on Field-Programmable Technology
IEEE International Conference on Application-Specific Systems, Architectures, and Processors
Applied Reconfigurable Computing
International Symposium on Memory Systems
Machines, Computations, and Universality
Rapid Simulation and Performance Evaluation
arXiv: Hardware Architecture
ACM/IEEE International Symposium on Networks-on-Chips
