Eduardo Bonelli
Stevens Institute of Technology
H-index: 14
North America-United States
Top articles of Eduardo Bonelli
A Strong Bisimulation for a Classical Term Calculus
Logical Methods in Computer Science
2024/4/18
Eduardo Bonelli
H-Index: 7
Reductions in higher-order rewriting and their equivalence
arXiv preprint arXiv:2210.15654
2022/10/27
Pablo Barenbaum
H-Index: 5
Eduardo Bonelli
H-Index: 7
Proceedings 16th Logical and Semantic Frameworks with Applications
arXiv preprint arXiv:2204.03415
2022/4/7
Eduardo Bonelli
H-Index: 7
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
2020
Véronique Cortier
H-Index: 24
Anuj Dawar
H-Index: 17
Artur Jeż
H-Index: 14
Eduardo Bonelli
H-Index: 7
Roberto Maieli
H-Index: 3
Dana Angluin
H-Index: 27
Orna Kupferman
H-Index: 26
Paul Brunet
H-Index: 7
Anupam Das
H-Index: 2
Robert Harper
H-Index: 4
Yijia Chen
H-Index: 9
Robin Cockett
H-Index: 15
Alessio Mansutti
H-Index: 6
Thomas Ferrère
H-Index: 10
Bernhard Kragl
H-Index: 4
Giulio Guerrieri
H-Index: 11
Jurriaan Rot
H-Index: 11
Tim Lyon
H-Index: 4
Alwen Tiu
H-Index: 15
Ranald Clouston
H-Index: 9
Martin Zimmermann
H-Index: 11
Paweł Parys
H-Index: 11
Robert Passmann
H-Index: 3
Martin Ziegler
H-Index: 25
José Espírito Santo
H-Index: 5
Jonas Schmidt
H-Index: 1
Thomas Schwentick
H-Index: 23
Ioannis Kokkinis
H-Index: 5
Strong Bisimulation for Control Operators
28th EACSL Annual Conference on Computer Science Logic
2020/1
Eduardo Bonelli
H-Index: 7
Strong bisimulation for control operators (invited talk)
2020
Eduardo Bonelli
H-Index: 7
Rewrites as terms through justification logic
2020/9/8
Pablo Barenbaum
H-Index: 5
Eduardo Bonelli
H-Index: 7