Beniamino Accattoli - Concepedia

Author

Beniamino Accattoli

École Polytechnique ORCID

Also Known As

Accattoli B., Accattoli, Beniamino, BENIAMINO ACCATTOLI, Beniamino Accattoli, Charatonik, Witold

108

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

École Polytechnique 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	17	521
2	Business	1	1	11
3	Education	1	1	19
4	Language Studies	1	1	12
5	Computer Engineering	1	1	30

Beniamino Accattoli

Publications

609

Citations

H-Index

Page 1

	Year	Citations
Distilling abstract machines Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza Abstract MachineEngineeringLambda CalculiOperational SemanticsAutomated Reasoning	2014	77
A nonstandard standardization theorem Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, EngineeringSoftware EngineeringFunctional AnalysisFormal VerificationExplicit Substitutions	2014	57
(Leftmost-Outermost) Beta Reduction is Invariant, Indeed Beniamino Accattoli, Ugo Dal Lago Logical Methods in Computer Science Mathematical ProgrammingRandom Access MachinesComputational Complexity TheoryEngineeringComputational Model Theory	2016	47
An Abstract Factorization Theorem for Explicit Substitutions Beniamino Accattoli DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) Explicit Substitution CalculiEngineeringLinear Head ReductionComputational Number TheoryAutomated Reasoning	2012	46
On the Invariance of the Unitary Cost Model for Head Reduction Beniamino Accattoli, Ugo Dal Lago DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) Mathematical ProgrammingEngineeringComputational ComplexityCost ModelFormal Verification	2012	45
Beta reduction is invariant, indeed Beniamino Accattoli, Ugo Dal Lago Schubert CalculusRandom Access MachinesComputational Complexity TheoryEngineeringComputational Model Theory	2014	35
Proof nets and the call-by-value λ-calculus Beniamino Accattoli Theoretical Computer Science EngineeringAutomated ReasoningProof ComplexityProof NetsFormal Methods	2015	31
On the Relative Usefulness of Fireballs Beniamino Accattoli, Claudio Sacerdoti Coen EngineeringComputational Model TheoryUseful SharingComputational ComplexityFire Protection	2015	30
Environments and the complexity of abstract machines Beniamino Accattoli, Bruno Barras EngineeringSoftware EngineeringComputational ComplexityData StructureSoftware Analysis	2017	30
The structural lambda-calculus Beniamino Accattoli, Delia Kesner HAL (Le Centre pour la Communication Scientifique Directe)	2010	24

Page 1