[1]	Damiano Zanardini. Field-sensitive sharing. Journal of Logical and Algebraic Methods in Programming, 95:103--127, February 2018. [ bib \| DOI ]
[2]	Isabella Mastroeni and Damiano Zanardini. Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. ACM Transactions on Computational Logic, 18(1):1--58, April 2017. [ bib \| DOI ]
[3]	Jaime Andrés Rincón, Fernando de la Prieta, Damiano Zanardini, Vicente Julián, and Carlos Carrascosa. Influencing over people with a social emotional model. Neurocomputing, 231:47--54, March 2017. [ bib \| DOI ]
[4]	Damiano Zanardini, Elvira Albert, and Karina Villela. Resource-Usage-Aware Configuration in Software Product Lines. Journal of Logical and Algebraic Methods in Programming, 85(1):173--199, January 2016. Formal Methods for Software Product Line Engineering. [ bib \| DOI ]
[5]	Damiano Zanardini and Samir Genaim. Inference of Field-Sensitive Reachability and Cyclicity. ACM Transactions on Computational Logic, 15(4/33):1--41, September 2014. [ bib \| DOI ]
[6]	Samir Genaim and Damiano Zanardini. Reachability-based Acyclicity Analysis by Abstract Interpretation. Theoretical Computer Science, 474(0):60--79, February 2013. [ bib \| DOI ]
[7]	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Cost Analysis of Object-Oriented Bytecode Programs. Theoretical Computer Science, 413(1):142--159, January 2012. [ bib \| DOI ]
[8]	Damiano Zanardini. Class-level Non-Interference. New Generation Computing, 30(2-3):241--270, June 2012. [ bib \| DOI ]
[9]	Elvira Albert, Puri Arenas, Samir Genaim, and Damiano Zanardini. Task-Level Analysis for a Language with async-finish Parallelism. ACM SIGPLAN Notices, 46(5):21--30, May 2011. [ bib \| DOI ]

This file was generated by bibtex2html 1.99.