Rajeev Alur

Citado por

	Total	Desde 2019
Citas	54561	11440
Índice h	97	48
Índice i10	248	150

2400

1200

600

1800

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024193 385 453 637 671 825 1112 1112 1225 1372 1645 1774 2135 2046 2244 2225 2226 2180 2184 2076 2313 2152 2312 2136 2250 2170 2082 1917 1873 1896 1919 1748

Acceso público

Ver todo

45 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenDirección de correo verificada de cuhk.edu.cn
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityDirección de correo verificada de cs.columbia.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Dirección de correo verificada de google.com
Kousha EtessamiUniversity of EdinburghDirección de correo verificada de inf.ed.ac.uk
Mukund RaghothamanUniversity of Southern CaliforniaDirección de correo verificada de usc.edu
Franjo IvančićGoogle, Inc.Dirección de correo verificada de google.com
Pavol CernyProfessor, TU WienDirección de correo verificada de tuwien.ac.at
Vijay KumarProfessor of Mechanical Engineering and Applied Mechanics, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Salvatore La TorreUniversità degli Studi di SalernoDirección de correo verificada de unisa.it
Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Armando Solar-LezamaMITDirección de correo verificada de csail.mit.edu
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Dirección de correo verificada de univista-isg.com
Rishabh SinghResearch Scientist, Google BrainDirección de correo verificada de google.com
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityDirección de correo verificada de cs.biu.ac.il
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il

Seguir

Rajeev Alur

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

Dirección de correo verificada de seas.upenn.edu - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	10260	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	2878	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	1973	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	1908	1991
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1658	1990
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill Fifth Annual IEEE Symposium on Logic in Computer Science, 414-425, 1990	1445	1990
Model checking in dense real time R Alur, C Courcoubetis, D Dill Information and Computation 104 (1), 2-32, 1993	1406	1993
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1118	2000
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	1024	2013
Reactive modules R Alur, TA Henzinger Formal methods in system design 15, 7-48, 1999	1017	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	1013	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	996	1996
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	954	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	920	1992
Timed automata R Alur Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	910	1999
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	841	1993
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	745	2004
Principles of Cyber-Physical Systems R Alur The MIT Press, 2015	657	2015
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman International Symposium on Compositionality, 23-60, 1997	607	1997
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	577	1993

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores