logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Moshe Y. Vardi

Rice University

90H指数
869论文数
3.9W被引数
收录论文 96
发表时间
logo
An On-the-Fly Synthesis Framework for LTL over Finite Traces有限迹上LTL的在线合成框架
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.
err分享
err收藏
Engineering an LTLf Synthesis Tool构建LTLf合成工具
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.
err分享
err收藏
Techno-Optimism, Techno-Pessimism, and Techno-Realism技术乐观主义、技术悲观主义与技术现实主义
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-12-01
err0
PREAI
errVardi, Moshe Y.
err分享
err收藏
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
err分享
err收藏
Big Tech, You Need Academia. Speak Up!大科技公司，你需要学术界。大声说出来！
errCOMMUNICATIONS OF THE ACM
IF12.2
err2025-04-29
err0
PREAI
errVardi, Moshe Y.
err分享
err收藏
I Was Wrong about the Ethics Crisis我错了，关于伦理危机
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-12-20
err0
PREAI
errVardi, Moshe Y.
err分享
err收藏
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
err分享
err收藏
More Is Different, in Social Media Too
errCOMMUNICATIONS OF THE ACM
IF12.2
err2024-05-01
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
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.
err分享
err收藏
Computing, You Have Blood on Your Hands!
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-12-21
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
What Came First, Math or Computing?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-10-20
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
To Regulate Tech, Nullify Click-Through Contracts
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-08-23
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
Revisiting ACM's Open-Conference Principle
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-06-22
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
ACM for the Public Good
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-04-21
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
Who Is Responsible Around Here?
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-02-22
err0
PREAI
errVardi, Moshe Y.
err分享
err收藏
How Not to Win a Tech War
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-12-20
err0
errOAAI
errVardi, Moshe Y.
err分享
err收藏
Accountability and Liability in Computing
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-10-20
err1
errOAAI
errVardi, Moshe Y.
err分享
err收藏
Technology and Democracy
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-08-19
err0
errOAAI
errVerdi, Moshe Y.
err分享
err收藏
War and Tech (and ACM)
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-04-25
err1
errOAAI
errVardi, Moshe Y.
err分享
err收藏
ACM, Ethics, and Corporate Behavior
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-02-23
err5
errOAAI
errVardi, Moshe Y.
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
M
Margaret Martonosi
H 指数: 79 · 论文数: 380
W
Werner Aberer
H 指数: 79 · 论文数: 515
I
Igor Linkov
H 指数: 76 · 论文数: 707
S
Serge Abiteboul
H 指数: 70 · 论文数: 503
L
Lydia E. Kavraki
H 指数: 69 · 论文数: 438
查看更多