跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
美国计算机学会程序设计语言会议录
日记本主页
刚刚接受
最新版本
档案文件
作者
作者指南
文件征集
PACMPL策略
ACM作者策略
作者列表
编辑
编辑委员会
副编辑欢迎视频
审阅者
开放式访问
PACMPL开放存取
ACM开放访问
获奖者
关于
关于PACMPL
公告
摘要/索引
PACMPL附属公司
联系我们
更多
美国计算机学会程序设计语言会议录
在PACMPL中搜索
搜索
搜索
主页
ACM日志
美国计算机学会程序设计语言会议录
作者
PACMPL的作者
跳过幻灯片
最常见的作者
被引用次数最多的作者
去年的热门话题
逻辑和验证
查看研究
去年的热门关键字
程序综合
查看研究
最常见的从属关系
应用的筛选器
美国计算机学会程序设计语言会议录
机构
麻省理工学院
(161)
马克斯·普朗克软件系统研究所
(161)
卡内基梅隆大学
(137)
普渡大学
(128)
宾夕法尼亚大学
(127)
奥胡斯大学
(120)
伊利诺伊香槟分校
(120)
东北大学
(107)
苏黎世瑞士联邦理工学院
(100)
INRIA国家信息与自动化研究所
(96)
伦敦帝国理工学院
(95)
微软公司
(95)
微软研究院
(95)
剑桥大学
(94)
加州大学圣地亚哥分校
(92)
德克萨斯大学奥斯汀分校
(89)
华盛顿大学
(83)
爱丁堡大学
(72)
康奈尔大学
(61)
普林斯顿大学
(58)
ACM名称
成员
研究员
高级成员
尊敬的会员
按日期筛选
更改此筛选器后,页面将自动刷新
过去5年
过去2年
过去一年
按名称查找:
清除
显示
1 - 20
属于
3060位作者
过滤器
每页:
10
20
50
排序依据:
计数
姓名
姓氏
姓名
纸张计数
拉尔斯·比克达尔
26
26纸张计数
伊森·迪利格
24
24纸张计数
德里克·R·德雷尔
22
22纸张计数
罗伯特·克雷伯斯
19
19纸张计数
吉尔斯·巴特
16
16纸张计数
维克托·瓦菲阿迪斯
16
16纸张计数
阿明·蒂曼尼
16
16纸张计数
J.维泰克
15
15纸张计数
兰吉特·贾拉
14
14纸张计数
Deepak Garg公司
14
14纸张计数
本杰明·皮尔斯
13
13纸张计数
迈克尔·卡宾
13
13纸张计数
史蒂夫·阿瑟·兹丹塞维奇
13
13纸张计数
安德烈亚斯·帕夫罗甘尼斯
13
13纸张计数
尼古拉斯·吴
13
13纸张计数
阿曼多·索拉勒扎马
12
12纸张计数
鲁帕克·马朱姆达尔
12
12纸张计数
埃里克·坦特
12
12纸张计数
Joost Pieter Katoen公司
12
12纸张计数
纳迪娅·波里卡波娃
12
12纸张计数
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请再试一次。