1. Lecture Notes in Computer Science;D Beyer,2007
2. Beyer, D., Henzinger, T.A., Théoduloz, G.: Program analysis with dynamic precision adjustment. In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pp. 29–38 (2008)
3. Lecture Notes in Computer Science;T-H Choi,2006
4. Cortesi, A., Costantini, G., Ferrara, P.: A survey on product operators in abstract interpretation. In: Semantics, Abstract Interpretation, and Reasoning About Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, pp. 325–336 (2013)
5. Costantini, G.: Lexical and numerical domains for abstract interpretation. Ph.D. thesis, Università Ca’ Foscara Di Venezia (2014)