Rajeev Alur 个人学术档案 - 学术资源搜索

引用次数

	总计	2018 年至今
引用	50640	10703
h 指数	92	47
i10 指数	236	142

2300

1150

575

1725

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023139 190 349 441 644 659 807 1068 1088 1199 1352 1592 1725 2070 1977 2186 2173 2173 2115 2125 2023 2263 2098 2294 2134 2223 2117 2025 1925 1817 1877 935

开放获取的出版物数量

查看全部

35 篇文章

3 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Thomas HenzingerIST Austria在 ist.ac.at 的电子邮件经过验证
David L. DillProfessor, Emeritus, of Computer Science, Stanford University在 stanford.edu 的电子邮件经过验证
Costas CourcoubetisProfessor in SDS, CUHK Shenzhen在 cuhk.edu.cn 的电子邮件经过验证
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
Insup LeeProfessor, Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University在 cs.columbia.edu 的电子邮件经过验证
Kousha EtessamiUniversity of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)在 google.com 的电子邮件经过验证
Franjo IvančićGoogle, Inc.在 google.com 的电子邮件经过验证
Mukund RaghothamanUniversity of Southern California在 usc.edu 的电子邮件经过验证
Salvatore La TorreUniversità degli Studi di Salerno在 unisa.it 的电子邮件经过验证
Vijay KumarProfessor of Mechanical Engineering and Applied Mechanics, University of Pennsylvania在 seas.upenn.edu 的电子邮件经过验证
Pavol CernyProfessor, TU Wien在 tuwien.ac.at 的电子邮件经过验证
Radu GrosuProfessor of Computer Science在 tuwien.ac.at 的电子邮件经过验证
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)在 univista-isg.com 的电子邮件经过验证
Doron A. PeledProfessor Of Computer Science, Bar Ilan University在 cs.biu.ac.il 的电子邮件经过验证
Abhishek UdupaMicrosoft Research在 microsoft.com 的电子邮件经过验证
Armando Solar-LezamaMIT在 csail.mit.edu 的电子邮件经过验证
Orna KupfermanProfessor of Computer Science, The Hebrew University在 cs.huji.ac.il 的电子邮件经过验证

关注

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

在 seas.upenn.edu 的电子邮件经过验证 - 首页

Formal methods Trustworthy AI Cyber-physical systems Programming languages Logic in Computer Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A theory of timed automata R Alur, D Dill Theoretical Computer Science 126 (2), 183-235, 1994	10930*	1994
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995	2817	1995
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	2655*	1990
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	2184*	2002
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho International Hybrid Systems Workshop, 209-229, 1991	1871	1991
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1060	2000
Reactive modules R Alur, TA Henzinger Formal methods in system design 15, 7-48, 1999	983	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	977	1994
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	941	1996
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	922	1996
Logics and models of real time: A survey R Alur, TA Henzinger Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992	899	1992
Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... 2013 Formal Methods in Computer-Aided Design, 1-8, 2013	850	2013
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	798	1993
Timed automata R Alur Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	780	1999
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	697	2004
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	551	1998
Principles of cyber-physical systems R Alur MIT press, 2015	537	2015
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	526	1993
Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000	451	2000
Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998	426	1998

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用