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

Nicolas Peltier

communaute universite grenoble alpes

14H-index
179Paper Count
736Citation Count
Published Papers 3
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
The Satisfiability Problem in a Separation Logic of Relations
errLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
err2026-01-01
err0
PREAI
errPeltier, Nicolas
errShare
errSave
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
errINTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
IF3.7
err2008-10-01
err12
PREAI
errCaffera, Ricardo; Peltier, Nicolas
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Mihaela Sighireanu
H-index: 20 · Papers: 79
R
Ricardo Caferra
H-index: 13 · Papers: 67
Q
Quentin Petitjean
H-index: 0 · Papers: 5
All loaded