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

Mooly Sagiv

Tel Aviv University

53H指数
326论文数
1.1W被引数
收录论文 5
发表时间
logo
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-05-01
err0
PREAI
errAlbert, Elvira; Grossman, Shelly; Rinetzky, Noam; Rodriguez-Nunez, Clara; Rubio, Albert; Sagiv, Mooly
err分享
err收藏
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures
errTHEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018
IF0
err2018-06-26
err8
PREAI
errKorneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly
err分享
err收藏
An Introduction to Data Representation Synthesis数据表示综合导论
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-12-01
err2
errOAAI
errHawkins, Peter; Rinard, Martin; Aiken, Alex; Sagiv, Mooly; Fisher, Kathleen
err分享
err收藏
Scaling model checking of dataraces using dynamic information
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2007-05-01
err12
PREAI
errShacham, Ohad; Sagiv, Mooly; Schuster, Assaf
err分享
err收藏
Install-time vaccination of windows executables to defend against stack smashing attacks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2006-01-01
err9
PREAI
errNebenzahl, D; Sagiv, M; Wool, A
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alex Aiken
H 指数: 75 · 论文数: 395
M
Martin Rinard
H 指数: 66 · 论文数: 482
A
Assaf Schuster
H 指数: 42 · 论文数: 302
A
Avishai Wool
H 指数: 39 · 论文数: 177
N
Nikolaj Bjørner
H 指数: 39 · 论文数: 191
查看更多