Selene Linares Arevalo
Research Fellow in Computer Science
Faculty of Engineering and Information Technology
7 Scholarly works
0 Projects
HIGHLIGHTS
2026
Conference Proceedings
Memory Safety: Uniqueness as Separation
DOI: 10.1007/978-981-95-3585-9_12022
Conference Proceedings
Composing Linear Types and Separation Logic Proofs of Memory Safety
DOI: 10.1145/3563768.35641192022
Journal article
A dual-context sequent calculus for the constructive modal logic S4
DOI: 10.1017/S09601295220003782020
Journal article
Interactive proof-search for equational reasoning
DOI: 10.1093/jigpal/jzaa0132020
Journal article
On Interactive Proof-Search for Constructive Modal Necessity
DOI: 10.1016/j.entcs.2020.10.0092020
Journal article
Dual and axiomatic systems for constructive S4, a formally verified equivalence
DOI: 10.1016/j.entcs.2020.02.0052019
Journal article
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
DOI: 10.1080/11663081.2019.1647653