Rajeev Alur

Citado por

	Total	Desde 2016
Citas	46482	10776
Índice h	90	45
Índice i10	230	142

2400

1200

600

1800

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021124 202 358 452 557 686 776 969 1101 1138 1280 1596 1687 2065 2080 2200 2219 2202 2158 2167 2083 2279 2167 2316 2145 2219 2081 2015 1882 426

Acceso público

Ver todo

30 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Costas CourcoubetisProfessor of Singapore University of Technology and DesignDirección de correo verificada de sutd.edu.sg
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
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
Kousha EtessamiUniversity of EdinburghDirección de correo verificada de inf.ed.ac.uk
Milo M. K. MartinFormer Associate Professor, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Franjo IvančićGoogle, Inc.Dirección de correo verificada de google.com
Vijay KumarProfessor of Mechanical Engineering and Applied Mechanics, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Pei-Hsin HoSynopsys, Inc.Dirección de correo verificada de synopsys.com
Salvatore La TorreUniversità degli Studi di SalernoDirección de correo verificada de unisa.it
Pavol CernyProfessor, TU WienDirección de correo verificada de tuwien.ac.at
Nicolas HalbwachsCNRS / VerimagDirección de correo verificada de imag.fr
Mukund RaghothamanUniversity of Southern CaliforniaDirección de correo verificada de usc.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityDirección de correo verificada de cs.biu.ac.il
Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il

Rajeev Alur

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

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

Formal methods Cyber-physical systems Programming languages Automata theory 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	9109	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	2510	1995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid systems, 209-229, 1992	1722	1992
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	1613	2002
Automata for modeling real-time systems R Alur, D Dill International colloquium on automata, languages, and programming, 322-335, 1990	1542	1990
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	1331	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1292	1993
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	993	2000
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	920	1996
Reactive modules R Alur, TA Henzinger Formal methods in system design 15 (1), 7-48, 1999	911	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	903	1994
Logics and models of real time: A survey R Alur, TA Henzinger Workshop/School/Symposium of the REX Project (Research and Education in …, 1991	843	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	825	1996
Timed automata R Alur International Conference on Computer Aided Verification, 8-22, 1999	716	1999
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	626	2004
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	582	2013
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman International Symposium on Compositionality, 23-60, 1997	551	1997
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran International Conference on Computer Aided Verification, 521-525, 1998	499	1998
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	480	1993
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	451	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

Subir PDF

Seguir a este autor

Citado por

Coautores