Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
A
Andreas Podelski
University of Freiburg
42
H-index
287
Paper Count
6.8K
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
COMMUNICATIONS OF THE ACM
IF
12.2
2011-05-01
83
PRE
AI
Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
B
Byron Cook
H-index: 42 · Papers: 143
A
Andrey Rybalchenko
H-index: 40 · Papers: 139
All loaded
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave