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