Publications

(last three years)

Engineering collective intelligence at the edge with aggregate processes

Published in: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, Anno: 2021
Autori: Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F.

Aggregate centrality measures for IoT-based coordination

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2021
Autori: Audrito G.; Pianini D.; Damiani F.; Viroli M.

A class of Recursive Permutations which is Primitive Recursive complete

Published in: THEORETICAL COMPUTER SCIENCE, Anno: 2020
Autori: Paolini L.; Piccolo M.; Roversi L.

The fixed point problem of a simple reversible language

Published in: THEORETICAL COMPUTER SCIENCE, Anno: 2020
Autori: Armando Matos, Luca Paolini, Luca Roversi

Field-based coordination with the share operator

Published in: LOGICAL METHODS IN COMPUTER SCIENCE, Anno: 2020
Autori: Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.

On the expressiveness of modal transition systems with variability constraints

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2019
Autori: ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

A formal model for Multi Software Product Lines

Published in: SCIENCE OF COMPUTER PROGRAMMING, Anno: 2019
Autori: Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca

A higher-order calculus of computational fields

Published in: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Anno: 2019
Autori: Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob

Certifying delta-oriented programs

Published in: SOFTWARE AND SYSTEMS MODELING, Anno: 2019
Autori: Rodrigues V.; Donetti S.; Damiani F.

QPCF: Higher-Order Languages and Quantum Circuits

Published in: JOURNAL OF AUTOMATED REASONING, Anno: 2019
Autori: Paolini L.; Piccolo M.; Zorzi M.

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Published in: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, Anno: 2019
Autori: Damiani F.; Lienhardt M.; Paolini L.

From distributed coordination to field calculus and aggregate computing

Published in: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, Anno: 2019
Autori: Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo

A core calculus for dynamic delta-oriented programming

Published in: ACTA INFORMATICA, Anno: 2018
Autori: Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph