跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼程序
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
程序设计语言与系统学报
日记本主页
刚刚接受
最新版本
档案文件
作者
作者指南
提交网站
ACM作者策略
编辑
编辑委员会
编辑指南
副编辑欢迎视频
审阅者
开放式访问
TOPLAS开放存取
ACM开放访问
关于
关于TOPLAS
公告
摘要/索引
TOPLAS作者列表
TOPLAS附属机构
ACM奖得主
联系我们
更多
程序设计语言与系统学报
在TOPLAS中搜索
搜索
搜索
主页
ACM期刊
程序设计语言与系统学报
作者
TOPLAS的作者
跳过幻灯片
最常见的作者
被引用次数最多的作者
去年的热门话题
正式软件验证
查看研究
去年的热门关键字
斯卡拉
查看研究
最常见的从属关系
应用的筛选器
程序设计语言与系统学报
机构
卡内基梅隆大学
(75)
沃森研究中心
(68)
威斯康星大学麦迪逊分校
(56)
康奈尔大学
(46)
亚利桑那大学
(45)
鲁汶大学
(44)
马里兰大学帕克分校
(44)
麻省理工学院
(42)
莱斯大学
(41)
斯坦福大学
(39)
得克萨斯大学奥斯汀分校
(38)
Hewlett-Packard公司。
(37)
比萨大学
(33)
微软研究院
(29)
Technion-以色列理工学院
(29)
加州大学伯克利分校
(29)
诺基亚贝尔实验室
(27)
普林斯顿大学
(27)
伦敦帝国理工学院
(26)
石溪大学
(26)
ACM名称
成员
研究员
尊敬的会员
高级成员
按日期筛选
更改此筛选器后,页面将自动刷新
过去5年
过去2年
过去一年
按名称查找:
清除
显示
1 - 20
属于
2053作者
过滤器
每页:
10
20
50
排序依据:
计数
姓名
姓氏
姓名
纸张计数
托马斯代表
20
20份论文
莱斯利·兰伯特
15
15纸张计数
延斯·帕尔斯伯格
15
15纸张计数
彼得·斯塔基
11
11纸张计数
马丁·阿巴迪
10
10纸张计数
K.平加里
10
10张纸
K.麦金利
9
9纸张计数
索米娅·坎蒂·德布雷
8
8纸张计数
穆利·萨吉夫
8
8纸张计数
Krzysztof R公寓
8
8纸张计数
本杰明·皮尔斯
8
8纸张计数
肯·韦德·肯尼迪
8
8纸张计数
托德·米尔斯坦
7
7纸张计数
弗雷德·巴里·施耐德
7
7纸张计数
贾亚德夫·米斯拉
7
7纸张计数
安德鲁·W·阿佩尔
7
7纸张计数
吉田信子
7
7纸张计数
金·G·万豪酒店
7
7纸张计数
Kwangkeun Yi公司
7
7纸张计数
玛丽·卢·索法
7
7纸张计数
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。