Alberto Policriti
0000-0001-8502-5896
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Algorithms and Data Compression
(52)
Formal Methods in Verification
(48)
Logic, Reasoning, and Knowledge
(45)
Logic, programming, and type systems
(42)
semigroups and automata theory
(40)
Affiliations
Supélec
Clarke University
University of Udine
Centre National de la Recherche Scientifique
University of Salerno