Ferruccio Damiani

From distributed coordination to field calculus and aggregate computing

Mirko Viroli, Jacob Beal, Ferruccio Damiani et al. · Journal of Logical and Algebraic Methods in Programming · 2019 · 95 citations · Full text

Computing, Computer Science, Computer Systems +12

A Higher-Order Calculus of Computational Fields

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani et al. · ACM Transactions on Computational Logic · 2019 · 84 citations · Full text

Computing, Computer Science, Systems Engineering +16

More dynamic object reclassification

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini et al. · ACM Transactions on Programming Languages and Systems · 2002 · 79 citations · Full text

Computing, Computer Science, Formal Methods +16

Compositional type-checking for delta-oriented programming

Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani · 2011 · 64 citations · Full text

Computing, Computer Science, Formal Methods +13

Pure delta-oriented programming

Ina Schaefer, Ferruccio Damiani · 2010 · 62 citations · Full text

Computing, Computer Science, Programming Languages +11