Graph explorer

Dimitra Giannakopoulou

Dimitra Giannakopoulou contributes to research discovery and scholarly infrastructure.

5 nodes4 linksoverview previewDimitra Giannakopoulou
5 nodes4 links
Dimitra Giannakopoulou5 visible / 5 total nodes / 4 links
AuthorshipAuthorshipAuthorshipAuthorshipADimitra GiannakopoulouResearcherWAbstraction and Learnin...preprint / 2013WProceedings 1st Worksho...preprint / 2014WA Compositional Proof F...preprint / 2022WVerifying the Safety of...preprint / 2015
PersonSignal 104 links

Dimitra Giannakopoulou

Researcher

Open