Damiano Zanardini - Citegraph

Author Info

Name	Affiliation	Papers
DAMIANO ZANARDINI	CLIP, Technical University of Madrid, Boadilla del Monte, Madrid, Spain E-28660	27
Collaborators	Citations	PageRank
33	324	16.83
Referers	Referees	References
402	494	516

Search Limit

100494

Publications (27 rows)

Collaborators (33 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Field-sensitive sharing.	0	0.34	2018
Influencing over people with a social emotional model.	3	0.46	2017
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.	0	0.34	2017
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing.	4	0.41	2017
Resource-usage-aware configuration in software product lines.	2	0.35	2016
Inference of Field-Sensitive Reachability and Cyclicity	1	0.35	2014
Inference of Field-Dependent Cyclicity.	0	0.34	2013
Reachability-based acyclicity analysis by Abstract Interpretation	5	0.41	2013
Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79].	0	0.34	2013
Class-level Non-Interference.	0	0.34	2012
Towards product configuration taking into account quality concerns	2	0.35	2012
Automatic Inference of Bounds on Resource Consumption.	2	0.39	2012
Cost analysis of object-oriented bytecode programs	50	1.32	2012
Task-level analysis for a language with async/finish parallelism	10	0.55	2011
Termination and Cost Analysis with COSTA and its User Interfaces	11	0.50	2009
Resource Usage Analysis and Its Application to Resource Certification	8	0.54	2009
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)	0	0.34	2009
Data dependencies and program slicing: from syntax to abstract semantics	20	0.66	2008
Removing useless variables in cost analysis of Java bytecode	13	0.59	2008
The Semantics of Abstract Program Slicing	5	0.44	2008
Termination Analysis of Java Bytecode	40	1.63	2008
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode	49	1.40	2007
Analyzing Non-Interference with respect to Classes	2	0.36	2007
Cost analysis of java bytecode	79	2.49	2007
Experiments in Cost Analysis of Java Bytecode	9	0.67	2007
Abstract non-interference in a fragment of Java bytecode	4	0.46	2006
Higher-order abstract non-interference	5	0.44	2005