Concepedia

Antonio Bucciarelli

AB

6

Publications

141

Citations

6

H-Index

1993

Active since

Affiliations

Université Paris Cité(Current)

Laboratory Preuves, Programmes et Systèmes

Centre National de la Recherche Scientifique

Sapienza University of Rome

Antonio Bucciarelli is an author at Université Paris Cité specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceMathematical FoundationsParallel ProgrammingSemanticsGraph TheoryDiscrete MathematicsGomory-chvátal Theory

Publications per year

1993–2017

6

Publications

6

Non-idempotent intersection types for the Lambda-Calculus

Antonio Bucciarelli, Delia Kesner, Daniel Ventura · Logic Journal of IGPL · 2017 · 50 citations

Engineering, Automated Reasoning, Type Theory +12

A relational semantics for parallelism and non-determinism in a functional setting

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto · Annals of Pure and Applied Logic · 2011 · 32 citations

Relational Semantics, Engineering, Functional Setting +10

A theory of sequentiality

Antonio Bucciarelli, Thomas Ehrhard · Theoretical Computer Science · 1993 · 21 citations

Automated Reasoning, Order Theory, Sequential Algorithm +1

Graph lambda theories

Antonio Bucciarelli, Antonino Salibra · Mathematical Structures in Computer Science · 2008 · 17 citations

Graph Model, Graph Theory, Graph Lambda Theories +7

Degrees of parallelism in the continuous type hierarchy

Antonio Bucciarelli · Theoretical Computer Science · 1997 · 11 citations

Engineering, Type Theory, Parallel Complexity Theory +3

Rows per page

1–5 of 6