We are gradually moving the dblp web pages to HTTPS, and you are still viewing this page via HTTP.
Please click here to switch to HTTPS.
default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Elena Giachino
◀
▶
joint publications with
Ornela Dardha
Trier 1
Trier 2
Dagstuhl
>
Home
>
Persons
>
Elena Giachino
>
Home
>
Persons
>
Ornela Dardha
Publications
2017
[j11]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/iandc/DardhaGS17
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/iandc/DardhaGS17
Ornela Dardha
,
Elena Giachino
,
Davide Sangiorgi
:
Session types revisited.
Inf. Comput.
256
:
253-286
(
2017
)
2013
[c11]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/sefm/DardhaGL13
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/conf/sefm/DardhaGL13
Ornela Dardha
,
Elena Giachino
,
Michael Lienhardt
:
A Type System for Components.
SEFM
2013
:
167-181
2012
[c10]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/ppdp/DardhaGS12
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/conf/ppdp/DardhaGS12
Ornela Dardha
,
Elena Giachino
,
Davide Sangiorgi
:
Session types revisited.
PPDP
2012
:
139-150
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits