Damiano Zanardini
Orcid: 0000-0002-4202-3484Affiliations:
- Technical University of Madrid, Spain
According to our database1,
Damiano Zanardini
authored at least 29 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
2
1
1
3
2
1
1
2
1
2
4
4
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Introducing new node prediction in graph mining: Predicting all links from isolated nodes with Graph Neural Networks.
Neurocomputing, 2024
2018
2017
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing.
ACM Trans. Comput. Log., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
2016
J. Log. Algebraic Methods Program., 2016
2014
ACM Trans. Comput. Log., 2014
2013
Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79].
Theor. Comput. Sci., 2013
Theor. Comput. Sci., 2013
2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the Formal Methods for Components and Objects, 2012
2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
CoRR, 2009
Proceedings of the Foundations of Security Analysis and Design V, 2009
2008
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
2007
Proceedings of the Second Workshop on Bytecode Semantics, 2007
Analyzing Non-Interference with respect to Classes.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005