Skip to main navigation Skip to search Skip to main content
No photo of Eduardo Bonelli

View Scopus Profile

Eduardo Bonelli

1999 …2025

Research activity per year

Fingerprint

Dive into the research topics where Eduardo Bonelli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022

    Bonelli, E. & Nantes-Sobrinho, D., 1 Sep 2025, In: Mathematical Structures in Computer Science. 35, e22.

    Research output: Contribution to journal › Editorial

    Open Access

  • Sharing and Linear Logic with Restricted Access

    Barenbaum, P. & Bonelli, E., 2025, Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Abdulla, P. A. & Kesner, D. (eds.). p. 287-307 21 p. (Lecture Notes in Computer Science; vol. 15691 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • A STRONG BISIMULATION FOR A CLASSICAL TERM CALCULUS

    Bonelli, E., Kesner, D. & Viso, A., 2024, In: Logical Methods in Computer Science. 20, 2, p. 4:1-4:52

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Reductions in Higher-Order Rewriting and Their Equivalence

    Barenbaum, P. & Bonelli, E., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preface

    Alpuente, M., Porto, S. A., Aoto, T., Rincón, M. A., Bonelli, E., Contejean, E., de Paiva, V., Finger, M., Forster, Y., del Carmen González Huesca, L., Haeusler, E. H., Kop, C., Kutsia, T., Melgratti, H., Miquel, A., Morawska, B., Moscato, M., Muñoz, C., Nantes, D. & Olarte, C. & 13 others, Olmedo, F., Pardo, A., Pérez, J. A., Rocha, C., Roux, C., Schubert, A., Thiemann, R., Wassermann, R., Felty, A., London, M. F., Nalon, C., Sobrinho, D. N. & Reis, G., 8 Apr 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 357

    Research output: Contribution to journal › Editorial

View all 47 Research outputs