DAMIANI, Ferruccio

DAMIANI, Ferruccio  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 188 (tempo di esecuzione: 0.033 secondi).
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 2023 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