Sign in
Chiara Naso
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Minimum Length
Website
Edge Directed
Interpolation Methods
Top Venues
CoRR
ACM Trans. Comput. Log.
</>
Publications
</>
Silvio Ghilardi
,
Alessandro Gianola
,
Deepak Kapur
,
Chiara Naso
Interpolation Results for Arrays with Length and MaxDiff.
ACM Trans. Comput. Log.
24 (4) (2023)
Silvio Ghilardi
,
Alessandro Gianola
,
Deepak Kapur
,
Chiara Naso
General Interpolation and Strong Amalgamation for Contiguous Arrays.
CoRR
(2022)