Moshe Y. Vardi - Concepedia

Author

Moshe Y. Vardi

Also Known As

Devika Subramanian, Giuseppe De Giacomo, Hecher, Markus, Jiwei Li, Lamb, Luis C., M Vardi, M Y Vardi, M. Vardi, M. Y Vardi, M. Y. Vardi

872

Publications

39.2K

Citations

H-Index

279

Concepts

All Affiliations

Rice University IBM Research - Almaden IBM (United States)Hebrew University of Jerusalem Stanford University

About

Moshe Y. Vardi is an author at Rice University specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	66	219	18.8K
2	Business	11	12	612
3	Health Sciences	10	10	976
4	Education	8	8	382
5	Arts	2	2	51

Moshe Y. Vardi

308

Publications

25.5K

Citations

H-Index

Page 1

	Year	Citations
An Automata-Theoretic Approach to Automatic Program Verification Moshe Y. Vardi, Pierre Wolper Open Repository and Bibliography (University of Liège)	1986	1.3K
The complexity of relational query languages (Extended Abstract) Moshe Y. Vardi EngineeringRelational AlgebraComplexity MeasuresData ComplexityAutomated Reasoning	1982	1.2K
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory Tomás Feder, Moshe Y. Vardi SIAM Journal on Computing Mathematical ProgrammingComputational Complexity TheoryEngineeringComputational ComplexityComputational Structure	1998	1.1K
Reasoning about Infinite Computations Moshe Y. Vardi, Pierre Wolper Information and Computation EngineeringAutomated ReasoningComputational Model TheoryFormal MethodsComputational Complexity	1994	792
Automatic verification of probabilistic concurrent finite state programs Moshe Y. Vardi EngineeringVerificationComputer-aided VerificationComputational ComplexityModel Checking	1985	672
An automata-theoretic approach to branching-time model checking Orna Kupferman, Moshe Y. Vardi, Pierre Wolper Journal of the ACM Tree AutomataEngineeringVerificationComputer-aided VerificationComputational Complexity	2000	613
Model Checking of Safety Properties Orna Kupferman, Moshe Y. Vardi Formal Methods in System Design	2001	571
Automata-theoretic techniques for modal logics of programs Moshe Y. Vardi, Pierre Wolper Journal of Computer and System Sciences Logical AutomatonEngineeringAutomated ReasoningAutomata-theoretic TechniquesModal Logic	1986	520
Linear temporal logic and linear dynamic logic on finite traces Giuseppe De Giacomo, Moshe Y. Vardi Rice Digital Scholarship Archive (Rice University) Applied LogicComputational LogicFinite TracesEngineeringAutomated Reasoning	2013	428
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) Moshe Y. Vardi, Pierre Wolper Logic in Computer Science Logical AutomatonEngineeringProgram CheckingProgram AnalysisAutomated Reasoning	1986	423

Page 1