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

Peter Schachte

university of melbourne

15H-index
90Paper Count
703Citation Count
Published Papers 2
Publication Date
logo
Memory Safety: Uniqueness as Separation
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errArevalo, Pilar Selene Linares; de Amorim, Arthur Azevedo; Jackson, Vincent; O'Connor, Liam; Schachte, Peter; Rizkallah, Christine
errShare
errSave
Information loss in knowledge compilation: A comparison of Boolean envelopes
errartificial intelligence review
IF4.6
err2010-06-01
err1
errOAAI
errSchachte, Peter; Sondergaard, Harald; Whiting, Leigh; Henshall, Kevin
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
H
Harald Søndergaard
H-index: 26 · Papers: 141
A
Arthur Azevedo de Amorim
H-index: 11 · Papers: 51
C
Christine Rizkallah
H-index: 10 · Papers: 58
L
Liam O’Connor
H-index: 8 · Papers: 47
L
Leigh Whiting
H-index: 2 · Papers: 6
View more