logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
S

Scott A. Smolka

Technische Universität Wien
H指数:42
被引数:6,795

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Strategic directions in concurrency research
ACM COMPUTING SURVEYS
IF28
1996-12-0130
OA
Cleaveland, R; Smolka, SA; Alur, R; Baeten, J; Bergstra, JA; Best, E; DeNicola, R; Gill, H; Gorrieri, R; Gouda, MG; Groote, JF; Henzinger, TA; Hoare, CAR; Luginbuhl, D; Meyer, A; Miller, D; Misra, J; Moller, F; Montanari, U; Pnueli, A; Prasad, S; Pratt, VR; Sifakis, J; SmolkaChair, SA; Steffen, B; Thomsen, B; Vaandrager, F; Vardi, M; Wolper, P

研究方向

暂未获取到该数据
R
Radu Grosu
H 指数:40论文数:351被引数:5,495
E
Ezio Bartocci
H 指数:37论文数:267被引数:4,391
S
Shan Lin
H 指数:27论文数:150被引数:2,700
N
Nicola Paoletti
H 指数:18论文数:136被引数:1,000
H
Hongkai Chen
H 指数:19论文数:181被引数:1,210
R
Rance Cleaveland
H 指数:36论文数:197被引数:4,727
A
Abhishek Murthy
H 指数:8论文数:20被引数:155
S
Scott D. Stoller
H 指数:39论文数:233被引数:4,886
S
Shouvik Roy
H 指数:4论文数:15被引数:35
A
Ali Karimoddini
H 指数:19论文数:133被引数:1,366