Calculated based on number of publications stored in Pure and citations from Scopus
19992024

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

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
  • 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 journalArticlepeer-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 proceedingConference contributionpeer-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 journalEditorial

  • Rewrites as terms through justification logic

    Barenbaum, P. & Bonelli, E., 8 Sep 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. 3414091. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Strong bisimulation for control operators

    Kesner, D., Bonelli, E. & Viso, A., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations