logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Moshe Y. Vardi

Rice University

90H-index
869Paper Count
3.9WCitation Count
Published Papers 96
Publication Date
logo
An On-the-Fly Synthesis Framework for LTL over Finite Traces
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-04-01
err0
PREAI
errXiao, Shengping; Li, Yongkang; Zhu, Shufang; Sun, Jun; Li, Jianwen; Pu, Geguang; Vardi, Moshe y.
errShare
errSave
Engineering an LTLf Synthesis Tool
errIMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2025
IF0
err2026-01-01
err0
PREAI
errDuret-Lutz, Alexandre; Zhu, Shufang; Piterman, Nir; De Giacomo, Giuseppe; Vardi, Moshe Y.
errShare
errSave
Techno-Optimism, Techno-Pessimism, and Techno-Realism
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-12-01
err0
PREAI
errVardi, Moshe Y.
errShare
errSave
Keeping the Dream Alive The Power and Promise of Federally Funded Research
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-12-01
err0
PREAI
errHorvitz, Eric; Martonosi, Margaret; Vardi, Moshe; Larus, James
errShare
errSave
Big Tech, You Need Academia. Speak Up!
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-04-29
err0
PREAI
errVardi, Moshe Y.
errShare
errSave
I Was Wrong about the Ethics Crisis
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-12-20
err0
PREAI
errVardi, Moshe Y.
errShare
errSave
Human Intuition and Algorithmic Efficiency Must Be Balanced to Enhance Data Mesh Resilience
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-05-01
err0
errOAAI
errStrelzoff, Andrew; Trump, Benjamin D.; Cummings, Christopher L.; Smith, Madison; Galaitsi, Stephanie E.; Stoddard, Kelsey; Keisler, Jeff; Vardi, Moshe; Bastian, Nathaniel; Kott, Alexander; Linkov, Igor
errShare
errSave
More Is Different, in Social Media Too
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-05-01
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
What Do Computing and Economics Have to Say to Each Other?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-02-22
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
Computing, You Have Blood on Your Hands!
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-12-21
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
What Came First, Math or Computing?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-10-20
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
To Regulate Tech, Nullify Click-Through Contracts
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-08-23
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
Revisiting ACM's Open-Conference Principle
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-06-22
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
ACM for the Public Good
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-04-21
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
Who Is Responsible Around Here?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-02-22
err0
PREAI
errVardi, Moshe Y.
errShare
errSave
How Not to Win a Tech War
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-12-20
err0
errOAAI
errVardi, Moshe Y.
errShare
errSave
Accountability and Liability in Computing
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-10-20
err1
errOAAI
errVardi, Moshe Y.
errShare
errSave
Technology and Democracy
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-08-19
err0
errOAAI
errVerdi, Moshe Y.
errShare
errSave
War and Tech (and ACM)
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-04-25
err1
errOAAI
errVardi, Moshe Y.
errShare
errSave
ACM, Ethics, and Corporate Behavior
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-02-23
err5
errOAAI
errVardi, Moshe Y.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Margaret Martonosi
H-index: 79 · Papers: 380
W
Werner Aberer
H-index: 79 · Papers: 515
I
Igor Linkov
H-index: 76 · Papers: 707
S
Serge Abiteboul
H-index: 70 · Papers: 503
L
Lydia E. Kavraki
H-index: 69 · Papers: 438
View more