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

Mihaela Sighireanu

institut national polytechnique de grenoble

20H-index
79Paper Count
1.3KCitation Count
Published Papers 2
Publication Date
logo
Deciding Satisfiability for Overlaid Symbolic Heaps
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errPeltier, Nicolas; Petitjean, Quentin; Sighireanu, Mihaela
errShare
errSave
Formal modelling of list based dynamic memory allocators
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2018-11-13
err6
PREAI
errFang, Bin; Sighireanu, Mihaela; Pu, Geguang; Su, Wen; Abrial, Jean-Raymond; Yang, Mengfei; Qiao, Lei
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
Geguang Pu
H-index: 25 · Papers: 221
B
Bin Fang
H-index: 19 · Papers: 88
N
Nicolas Peltier
H-index: 14 · Papers: 179
W
Wen Su
H-index: 12 · Papers: 39
M
Mengfei Yang
H-index: 8 · Papers: 32
View more