scispace - formally typeset
M

Moshe Y. Vardi

Researcher at Rice University

Publications -  818
Citations -  50821

Moshe Y. Vardi is an academic researcher from Rice University. The author has contributed to research in topics: Model checking & Linear temporal logic. The author has an hindex of 99, co-authored 796 publications receiving 47959 citations. Previous affiliations of Moshe Y. Vardi include Association for Computing Machinery & Beth Israel Deaconess Medical Center.

Papers
More filters
Journal Article

Risk factors for urinary tract infection caused by Enterobacteriaceae with extended-spectrum beta-lactamase resistance in patients admitted to internal medicine departments.

Moshe Y. Vardi, +3 more
- 01 Feb 2012 - 
TL;DR: ESBL resistance is becoming prevalent outside hospital settings, and patients admitted to an internal medicine department with UTI frequently carry risk factors for harboring resistant bacteria.
Proceedings ArticleDOI

LTL f satisfiability checking

Jianwen Li, +4 more
TL;DR: In this paper, a direct approach to LTLf satisfiability checking is proposed, where they take advantage of the difference in the semantics between LTL and LTL f. This enables them to introduce specialized heuristics, where also exploit recent progress in Boolean SAT solving.
Posted Content

Combining the $k$-CNF and XOR Phase-Transitions

Jeffrey M. Dudek, +2 more
- 27 Feb 2017 - 
TL;DR: In this paper, the authors studied the satisfiability of random CNF-XOR formulas and showed a phase transition that follows a linear trade-off between CNF and XOR constraints.
Journal ArticleDOI

Efficiency vs. resilience: what COVID-19 teaches computing

Moshe Y. Vardi
- 20 Apr 2020 - 
TL;DR: Vardi offers insights about what COVID-19 pandemic teaches computing and William A Galston argues that there is a trade-off between efficiency and resilience.
Journal ArticleDOI

Long-term efficacy and safety of Zotarolimus-eluting stent in patients with diabetes mellitus: pooled 5-year results from the ENDEAVOR III and IV trials.

Moshe Y. Vardi, +12 more
- 01 Dec 2013 - 
TL;DR: To assess long‐term outcomes of Endeavor Zotarolimus‐eluting stent (E‐ZES) implantation in patients with diabetes mellitus (DM), data suggest that the E‐Zes is inferior to other DES in this population.