DAMIANI, Ferruccio
DAMIANI, Ferruccio
INFORMATICA
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Calculus for Boxes and Traits in a Java-Like Setting
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A Calculus of Agents and Artifacts
2011-01-01 Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
A Calculus of Computational Fields
2013-01-01 Mirko Viroli; Ferruccio Damiani; Jacob Beal
A Calculus of Self-stabilising Computational Fields
2014-01-01 Mirko Viroli;Ferruccio Damiani
A conjunctive type system for useless-code elimination
2003-01-01 F. DAMIANI
A core calculus for dynamic delta-oriented programming
2018-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
A Decidable Intersection Type System based on Relevance
1994-01-01 Ferruccio Damiani; Paola Giannini
A field-based computing approach to sensing-driven clustering in robot swarms
2022-01-01 Aguzzi, G; Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M
A Filter Model for Mobile Processes
1999-01-01 DAMIANI F.; M. DEZANI; GIANNINI P.
A formal foundation for dynamic delta-oriented software product lines
2013-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A formal model for Multi Software Product Lines
2019-01-01 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A Formal Model of the Kubernetes Container Framework
2020-01-01 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
A higher-order calculus of computational fields
2019-01-01 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
A Mechanisms for Flexible Dynamic Trait Replacement
2009-01-01 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A novel model-based testing approach for software product lines
2017-01-01 Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel
A Prototypical Java-like Language with Records and Traits
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A provenly correct translation of Fickle into Java
2007-01-01 D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A calculus for "environment-aware" computation | 2002 | Viviana Bono; Ferruccio Damiani; Paola Giannini | |
| A Calculus for Boxes and Traits in a Java-Like Setting | 2010 | Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer | |
| A Calculus of Agents and Artifacts | 2011 | Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli | |
| A Calculus of Computational Fields | 2013 | Mirko Viroli; Ferruccio Damiani; Jacob Beal | |
| A Calculus of Self-stabilising Computational Fields | 2014 | Mirko Viroli;Ferruccio Damiani | |
| A conjunctive type system for useless-code elimination | 2003 | F. DAMIANI | |
| A core calculus for dynamic delta-oriented programming | 2018 | Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph | |
| A Decidable Intersection Type System based on Relevance | 1994 | Ferruccio Damiani; Paola Giannini | |
| A field-based computing approach to sensing-driven clustering in robot swarms | 2022 | Aguzzi, G; Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M | |
| A Filter Model for Mobile Processes | 1999 | DAMIANI F.; M. DEZANI; GIANNINI P. | |
| A formal foundation for dynamic delta-oriented software product lines | 2013 | Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina | |
| A formal foundation for dynamic delta-oriented software product lines | 2012 | Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer | |
| A formal model for Multi Software Product Lines | 2019 | Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca | |
| A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
| A Formal Model of the Kubernetes Container Framework | 2020 | Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F. | |
| A higher-order calculus of computational fields | 2019 | Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob | |
| A Mechanisms for Flexible Dynamic Trait Replacement | 2009 | Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani | |
| A novel model-based testing approach for software product lines | 2017 | Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel | |
| A Prototypical Java-like Language with Records and Traits | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco | |
| A provenly correct translation of Fickle into Java | 2007 | D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA |