( en | de | ru )

 

Disambiguation of "Zanardini, Damiano"

Author of the publication

copydeleteadd this publication to your clipboard
Cost analysis of object-oriented bytecode programs.

, , , , and . Theor. Comput. Sci., 413 (1): 142-159 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Damiano Stefani

Damiano Bolzoni

Damiano Guazzini

Carla Ann Damiano

Carl Ann Damiano

 

Other publications of authors with the same name

Reachability-based Acyclicity Analysis by Abstract Interpretation, and . CoRR, (2012)Class-level Non-Interference.. New Gener. Comput., 30 (2-3): 241-270 (2012)Certified abstract non-interference.. University of Verona, Italy, (2006)Automatic Inference of Bounds on Resource Consumption., , , , , , , , , and 2 other author(s). FMCO, volume 7866 of Lecture Notes in Computer Science, page 119-144. Springer, (2012)COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode., , , , and . FMCO, volume 5382 of Lecture Notes in Computer Science, page 113-132. Springer, (2007)Towards product configuration taking into account quality concerns., , and . SPLC (2), page 82-90. ACM, (2012)18th Workshop on Logic-based methods in Programming Environments (WLPE 2008), and . CoRR, (2009)Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks., and . CoRR, (2024)SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools., , , , , , , , and . STAF Workshops, volume 10748 of Lecture Notes in Computer Science, page 367-374. Springer, (2017)Inference of Field-Dependent Cyclicity., and . CoRR, (2013)