Luca Chiarabini

According to our database, Luca Chiarabini authored at least 5 papers between 1998 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

From Internet of Things Mashups to Model-Based Development.

Christian Prehofer, Luca Chiarabini

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2011

The Polidoxa Shift: a New Approach to Social Networks.

Manuel Mazzara, Antonio Marraffa, Luca Biselli, Luca Chiarabini

J. Internet Serv. Inf. Secur., 2011

A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration.

Luca Chiarabini, Olivier Danvy

J. Formaliz. Reason., 2011

2009

Program development by proof transformation.

Luca Chiarabini

PhD thesis, 2009

1998

Complexity reduction on two-dimensional convolutions for image processing.

Luca Chiarabini, Jonathan Yen

Proceedings of the Color Imaging: Device-Independent Color, 1998