Sfoglia per Autore
Emerging Distributed Programming Paradigm for Cyber-Physical Systems Over LoRaWANs
2018 Danilo Pianini, Ahmed Elzanaty, Andrea Giorgetti, Marco Chiani
Spatial Tuples: Augmenting reality with tuples
2018 Ricci, Alessandro; Viroli, Mirko; Omicini, Andrea*; Mariani, Stefano; Croatti, Angelo; Pianini, Danilo
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
2018 Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini
Self-organising coordination regions: A pattern for edge computing
2019 Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Democratic process and digital platforms: An engineering perspective
2019 Danilo Pianini; Andrea Omicini
Aggregate processes in field calculus
2019 Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Security in collective adaptive systems: A roadmap
2019 Danilo Pianini, Roberto Casadei, Mirko Viroli:
Preface
2019 Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
Case studies for a new IoT programming paradigm: Fluidware
2019 Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
On a Higher-Order Calculus of Computational Fields
2019 Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
From distributed coordination to field calculus and aggregate computing
2019 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
A development approach for collective opportunistic Edge-of-Things services
2019 Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko
A Higher-Order Calculus of Computational Fields
2019 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing
2019 Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, Mirko
On context-orientation in aggregate programming
2019 Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:
The Future of Digital Democracy. An Interdisciplinary Approach
2019 Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
The share operator for field-based coordination
2019 Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment
2020 Roberto Casadei; Danilo Pianini; Andrea Placuzzi; Mirko Viroli; Danny Weyns
Field-based coordination with the share operator
2020 Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M.
Time-fluid field-based coordination
2020 Pianini D.; Mariani S.; Viroli M.; Zambonelli F.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Emerging Distributed Programming Paradigm for Cyber-Physical Systems Over LoRaWANs | Danilo Pianini, Ahmed Elzanaty, Andrea Giorgetti, Marco Chiani | 2018-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | LoraGlobe18_CameraREady.pdf |
| Spatial Tuples: Augmenting reality with tuples | Ricci, Alessandro; Viroli, Mirko; Omicini, Andrea*; Mariani, Stefano; Croatti, Angelo; Pianini, D...anilo | 2018-01-01 | EXPERT SYSTEMS | - | 1.01 Articolo in rivista | - |
| Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain | Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini | 2018-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| Self-organising coordination regions: A pattern for edge computing | Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Democratic process and digital platforms: An engineering perspective | Danilo Pianini; Andrea Omicini | 2019-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
| Aggregate processes in field calculus | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Security in collective adaptive systems: A roadmap | Danilo Pianini, Roberto Casadei, Mirko Viroli: | 2019-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Preface | Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu | 2019-01-01 | - | Springer Verlag | 2.02 Prefazione | - |
| Case studies for a new IoT programming paradigm: Fluidware | Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re..., Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli | 2019-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper6.pdf |
| On a Higher-Order Calculus of Computational Fields | Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| From distributed coordination to field calculus and aggregate computing | Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | ViroliM_postprint.pdf |
| A development approach for collective opportunistic Edge-of-Things services | Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko | 2019-01-01 | INFORMATION SCIENCES | - | 1.01 Articolo in rivista | - |
| A Higher-Order Calculus of Computational Fields | Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob | 2019-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | 1610.08116.pdf |
| Modelling and simulation of Opportunistic IoT Services with Aggregate Computing | Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, ...Mirko | 2019-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | - |
| On context-orientation in aggregate programming | Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli: | 2019-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| The Future of Digital Democracy. An Interdisciplinary Approach | Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu | 2019-01-01 | - | Springer | 3.02 Curatela | - |
| The share operator for field-based coordination | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment | Roberto Casadei; Danilo Pianini; Andrea Placuzzi; Mirko Viroli; Danny Weyns | 2020-01-01 | FUTURE INTERNET | - | 1.01 Articolo in rivista | futureinternet-12-00203.pdf |
| Field-based coordination with the share operator | Audrito G.; Beal J.; Damiani F.; Pianini D.; Viroli M. | 2020-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1910.02874.pdf |
| Time-fluid field-based coordination | Pianini D.; Mariani S.; Viroli M.; Zambonelli F. | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | pmvz-coordination2020-round.pdf |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile