8 citations · 10 across the 5 of their papers we have counts for
5 papers
Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks
Damiano Zanardini, Emilio Serrano
This paper introduces a new problem in the field of graph mining and social network analysis called new node prediction. More technically, the task can be categorized as zero-shot…
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact val…
Inference of Field-Sensitive Reachability and Cyclicity
Damiano Zanardini, Samir Genaim
In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination: this information guarantees that the depth of the data s…
Reachability-based Acyclicity Analysis by Abstract Interpretation
Samir Genaim, Damiano Zanardini
In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of terminati…
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
Puri Arenas, Damiano Zanardini
This volume contains the papers presented at WLPE 2008: the 18th Workshop on Logic-based Methods in Programming Environments held on 12th December, 2008 in Udine, Italy. It was hel…