Introducing new node prediction in graph mining: Predicting all links from isolated nodes with Graph Neural Networks von Zanardini, Damiano, Serrano, Emilio

Volltext

Field-sensitive sharing von Zanardini, Damiano

Volltext

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing von Mastroeni, Isabella, Zanardini, Damiano

Volltext

Cost analysis of object-oriented bytecode programs von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano

Volltext

Reachability-based acyclicity analysis by Abstract Interpretation von Genaim, Samir, Zanardini, Damiano

Volltext

Corrigendum to “Reachability-based acyclicity analysis by abstract interpretation” [Theoretical Computer Science 474 (2013) 60–79] von Genaim, Samir, Zanardini, Damiano

Volltext

Inference of Field-Sensitive Reachability and Cyclicity von Zanardini, Damiano, Genaim, Samir

Volltext

Class-level Non-Interference von Zanardini, Damiano

Volltext

Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks von Zanardini, Damiano, Serrano, Emilio

Volltext bestellen

Resource–usage–aware configuration in software product lines von Zanardini, Damiano, Albert, Elvira, Villela, Karina

Volltext

Cost analysis of object-oriented bytecode programs: Quantitative Aspects of Programming Languages (QAPL 2010) von ALBERT, Elvira, ARENAS, Puri, GENAIM, Samir, PUEBLA, German, ZANARDINI, Damiano

Volltext

Intelligent Agent for Roadway Data Analysis von González-Moro, Gonzalo, Villarrubia, Gabriel, Zanardini, Damiano, Bajo, Javier

Volltext

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools von Albert, Elvira, Cañizares, Pablo C., Guerra, Esther, de Lara, Juan, Marcos, Esperanza, Núñez, Manuel, Román-Díez, Guillermo, Vara, Juan Manuel, Zanardini, Damiano

Volltext

Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks von Zanardini, Damiano, Serrano, Emilio

Volltext

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano

Volltext

Higher-Order Abstract Non-interference von Zanardini, Damiano

Volltext

Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing von Mastroeni, Isabella, Zanardini, Damiano

Volltext bestellen

Inference of Field-Sensitive Reachability and Cyclicity von Zanardini, Damiano, Genaim, Samir

Volltext bestellen

Reachability-based Acyclicity Analysis by Abstract Interpretation von Genaim, Samir, Zanardini, Damiano

Volltext

Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing von Mastroeni, Isabella, Zanardini, Damiano

Volltext