Scholar
Eduardo Bonelli
Google Scholar ID: EGjxtngAAAAJ
Stevens Institute of Technology
Citations & Impact
Citations
152
H-index
6
i10-index
2
Publications
20
Co-authors
7
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published extensively in top-tier venues including FoSSaCS, FSCD, CSL, PPDP, POPL, LMCS, and Theoretical Computer Science.
- Frequent collaborator with Delia Kesner, Pablo Barenbaum, Mauricio Ayala-Rincón, and Andrés Viso.
- Upcoming 2025 paper on sharing and linear logic with restricted access (FoSSaCS 2025).
- 2024 LMCS paper on strong bisimulation for a classical term calculus.
- 2017 PACMPL (ICFP) paper on foundations of strong call by need.
- 2014 POPL paper on a nonstandard standardization theorem.
- Co-edited proceedings of LSFA 2021 (EPTCS 357).
- Some works were invited presentations (e.g., CSL 2020).
