Canyam
AI summaries for academic research
Home
Literature Help
Subscribe
Favorites
Tools
Analysis
Summary
Patents
Not logged in
Back
M
Mooly Sagiv
Tel Aviv University
53
H-index
326
Paper Count
1.1W
Citation Count
0
Related Insights
Subscribe
Published Papers
5
Publication Date
Publication Date
Impact Factor
Citations
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF
7.5
2023-05-01
0
PRE
AI
Albert, Elvira; Grossman, Shelly; Rinetzky, Noam; Rodriguez-Nunez, Clara; Rubio, Albert; Sagiv, Mooly
Share
Save
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018
IF
0
2018-06-26
8
PRE
AI
Korneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly
Share
Save
COMMUNICATIONS OF THE ACM
IF
12.2
2012-12-01
2
OA
AI
Hawkins, Peter; Rinard, Martin; Aiken, Alex; Sagiv, Mooly; Fisher, Kathleen
Share
Save
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF
4
2007-05-01
12
PRE
AI
Shacham, Ohad; Sagiv, Mooly; Schuster, Assaf
Share
Save
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF
7.5
2006-01-01
9
PRE
AI
Nebenzahl, D; Sagiv, M; Wool, A
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
A
Alex Aiken
H-index: 75 · Papers: 395
M
Martin Rinard
H-index: 66 · Papers: 482
A
Assaf Schuster
H-index: 42 · Papers: 302
A
Avishai Wool
H-index: 39 · Papers: 177
N
Nikolaj Bjørner
H-index: 39 · Papers: 191
View more