Rajeev Alur - Concepedia

Author

Rajeev Alur

University of Pennsylvania ORCID

Also Known As

Alur, Rajeev, R ALUR, R. Alur, Rajeev Alur

401

Publications

37.8K

Citations

H-Index

173

Concepts

All Affiliations

University of Pennsylvania California University of Pennsylvania University of California, Berkeley Philadelphia University Stanford University

About

Rajeev Alur is an author at University of Pennsylvania specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	59	124	23.8K
2	Language Studies	7	7	1.1K
3	Business	3	3	95
4	Education	2	2	207
5	Management	1	1	14

Rajeev Alur

146

Publications

25K

Citations

H-Index

Page 1

	Year	Citations
A theory of timed automata Rajeev Alur, David L. Dill Theoretical Computer Science EngineeringFormal MethodsAutomaton NetworkAutomaton OperationComputer Science	1994	6.4K
The algorithmic analysis of hybrid systems Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Theoretical Computer Science EngineeringReachability ProblemVerificationHybrid ComputingModel Checking	1995	1.9K
Alternating-time temporal logic Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Journal of the ACM Computational LogicNon-classical LogicAlternating-time Temporal LogicEngineeringUniversal Quantification	2002	1.4K
Model-checking for real-time systems Rajeev Alur, Costas Courcoubetis, David L. Dill EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2002	890
Model-Checking in Dense Real-Time Rajeev Alur, Costas Courcoubetis, David L. Dill Information and Computation EngineeringDense Real-timeAutomated ReasoningVerificationFormal Methods	1993	824
Discrete abstractions of hybrid systems Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, Proceedings of the IEEE Stochastic Hybrid SystemDiscrete AbstractionsEngineeringAutomated ReasoningRectangular Hybrid Systems	2000	813
Visibly pushdown languages Rajeev Alur, P. Madhusudan EngineeringPushdown LanguagesVerificationPushdown AutomatonSoftware Analysis	2004	543
Reactive Modules Rajeev Alur, Thomas A. Henzinger Formal Methods in System Design	1999	538
Syntax-guided synthesis Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Program-synthesis ProblemLogic SynthesisSyntaxCorrectness SpecificationEngineering	2013	512
A really temporal logic Rajeev Alur, Thomas A. Henzinger Journal of the ACM EngineeringVerificationSemanticsSoftware AnalysisFormal Verification	1994	503

Page 1