Concepedia

Beniamino Accattoli

BA

22

Publications

609

Citations

15

H-Index

2010

Active since

Affiliations

École Polytechnique(Current)

Laboratoire d'Informatique de l'École Polytechnique

University of Bologna

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Beniamino Accattoli is an author at École Polytechnique specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityFormal VerificationProgram AnalysisTheory Of ComputingComplexityParallel Programming

Publications per year

2010–2022

22

Publications

22

Distilling abstract machines

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza · 2014 · 77 citations

Abstract Machine, Engineering, Lambda Calculi +13

A nonstandard standardization theorem

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

Engineering, Software Engineering, Functional Analysis +17

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed

Beniamino Accattoli, Ugo Dal Lago · Logical Methods in Computer Science · 2016 · 47 citations · Full text

Mathematical Programming, Random Access Machines, Computational Complexity Theory +16

An Abstract Factorization Theorem for Explicit Substitutions

Beniamino Accattoli · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 46 citations · Full text

Explicit Substitution Calculi, Engineering, Linear Head Reduction +15

On the Invariance of the Unitary Cost Model for Head Reduction

Beniamino Accattoli, Ugo Dal Lago · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 45 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +17

Rows per page

1–5 of 22