Concepedia

Moshe Y. Vardi

MY

Statistics

Publications

314

Citations

26K

H-Index

75

Active since

1981

Affiliations

Rice University(Current)

IBM Research - Almaden

IBM (United States)

Hebrew University of Jerusalem

Stanford University

Moshe Y. Vardi is an author at Rice University specializing in computer science, computing, and algorithms.

Publications per year

1981–2025

314

Publications

314

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

The complexity of relational query languages (Extended Abstract)

Moshe Y. Vardi · 1982 · 1.2K citations

Computing, Computer Science, Algebra +16

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 · 1998 · 1.1K citations

Computing, Computer Science, Mathematics +15

Reasoning about Infinite Computations

Moshe Y. Vardi, Pierre Wolper · Information and Computation · 1994 · 794 citations · Full text

Computing, Computer Science, Mathematics +10

Automatic verification of probabilistic concurrent finite state programs

Moshe Y. Vardi · 1985 · 675 citations

Computing, Computer Science, Algorithms +16

1–5 of 314