Luca Chiarabini

From Internet of Things Mashups to Model-Based Development

Christian Prehofer, Luca Chiarabini, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

The Polidoxa Shift: a New Approach to Social Networks

Manuel Mazzara, Luca Chiarabini, Antonio Marraffa, 2011, J. Internet Serv. Inf. Secur..

Multipurpose print preview of drawings

Luca Chiarabini, Mascort Xavier Fernandez-Diaz, Barron Rodolfo Jodra, 1997 .

A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration

Olivier Danvy, Luca Chiarabini, O. Danvy, 2011, J. Formaliz. Reason..

Automated on-line printing service

Luca Chiarabini, 2000 .

Complexity reduction on two-dimensional convolutions for image processing

Jonathan Yen, Luca Chiarabini, 1998, Electronic Imaging.

Program development by proof transformation

Luca Chiarabini, 2009 .