Concepedia

Elena Giachino

EG

Statistics

Publications

13

Citations

578

H-Index

12

Active since

2007

Affiliations

University of Bologna(Current)

University of Turin

Imperial College London

Université Paris Cité

Laboratory Preuves, Programmes et Systèmes

Elena Giachino is an author at University of Bologna specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSyntaxLanguageLinguisticsSoftware Analysis

Publications per year

2007–2017

13

Publications

13

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Session types revisited

Ornela Dardha, Elena Giachino, Davide Sangiorgi · 2012 · 102 citations

Engineering, Type Theory, Semantics +16

Foundations of session types

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino et al. · 2009 · 79 citations

Streamlined Theory, Formal Specification, Expressive Formalism +13

Global escape in multiparty sessions

Sara Capecchi, Elena Giachino, Nobuko Yoshida · Mathematical Structures in Computer Science · 2014 · 57 citations · Full text

Engineering, Default Execution, Program Analysis +14

Session types revisited

Ornela Dardha, Elena Giachino, Davide Sangiorgi · Information and Computation · 2017 · 51 citations · Full text

Rows per page

1–5 of 13