A. Policriti

activity

20092025

most citedHybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

12 citations · 22 across the 12 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

cs.LO2018

Encoding Sets as Real Numbers (Extended version)

Domenico Cantone, Alberto Policriti

We study a variant of the Ackermann encoding $N (x) := \sum_{y \in x} 2^{N (y)}$ of the hereditarily finite sets by the natural numbers, applicable to the larger coll…

cs.DS2018

String Attractors: Verification and Optimization

Dominik Kempa, Alberto Policriti, Nicola Prezza +1

String attractors [STOC 2018] are combinatorial objects recently introduced to unify all known dictionary compression techniques in a single theory. A set $Γ \subseteq [1.. n]$ is a…