Concepedia

Elena Giachino

EG

Statistics

Publications

12

Citations

480

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 computing, computer science, and formal methods.

Publications per year

2007–2017

12

Publications

12

Session types revisited

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

Computing, Computer Science, Formal Methods +11

Foundations of session types

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

Computing, Computer Science, Formal Methods +12

Global escape in multiparty sessions

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

Computing, Computer Science, Distributed Systems +14

Session types revisited

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

Computing, Computer Science, Formal Methods +11

A framework for deadlock detection in core ABS

Elena Giachino, Cosimo Laneve, Michaël Lienhardt · Software & Systems Modeling · 2015 · 42 citations · Full text

Computing, Computer Engineering, Computer Science +5

1–5 of 12