C

Carlo A. Furia

Università della Svizzera italiana

ORCID: 0000-0003-1040-3201

183 papers and 2.5k citations.

PubIndex Score17Top 83% · seniorHow it's scored

183Publications

2.5kTotal Citations

First publication: 2003First senior author: 2003

Top publicationsby citations

A fully verified container library

Nadia Polikarpova, Carlo A. Furia|Formal Aspects of Computing|2017

Cited by 16

Indexing the rest of 183 publications…