TC

Tiziana Cimoli

University of Cagliari 0000-0002-8591-4527

27

Publications

2,294

Citations

14

h-index

16

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (10)
Book Chapter (10)
Preprint (8)

Filter by Open Access Type

Open Access (13)
Closed Access (15)

Filter by Authors

Tiziana Cimoli (28)
Massimo Bartoletti (28)
Roberto Zunino (13)
G. Pinna (9)
Livio Pompianu (5)

Filter by Topics

Logic, programming, and type systems (11)
Blockchain Technology Applications and Security (11)
Logic, Reasoning, and Knowledge (8)
Formal Methods in Verification (7)
Cryptography and Data Security (5)