Concepedia

Eduardo Bonelli

EB

Statistics

Publications

6

Citations

187

H-Index

6

Active since

2001

Affiliations

Stevens Institute of Technology(Current)

National University of Quilmes

Délégation Paris 7

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

Eduardo Bonelli is an author at Stevens Institute of Technology specializing in computing, programming languages, and computer science.

Publications per year

2001–2017

6

Publications

6

Correspondence assertions for process synchronization in concurrent communications

Eduardo Bonelli, Adriana Compagnoni, Elsa L. Gunter · Journal of Functional Programming · 2005 · 60 citations · Full text

Computing, Computer Science, Communication Theory +13

A nonstandard standardization theorem

Beniamino Accattoli, Eduardo Bonelli, Delia Kesner et al. · 2014 · 57 citations

Computing, Computer Science, Programming Languages +5

Foundations of strong call by need

Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli et al. · Proceedings of the ACM on Programming Languages · 2017 · 26 citations · Full text

Computing, Computer Science, Algorithms +10

Typechecking Safe Process Synchronization

Eduardo Bonelli, Adriana Compagnoni, Elsa L. Gunter · Electronic Notes in Theoretical Computer Science · 2005 · 20 citations · Full text

Computing, Computer Science, Algorithms +9

Perpetuality in a named lambda calculus with explicit substitutions

Eduardo Bonelli · Mathematical Structures in Computer Science · 2001 · 13 citations

Computing, Computer Science, Mathematics +14

1–5 of 6