CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
ItalianoDAMIANI, Ferruccio
Dettaglio
DAMIANI, Ferruccio
INFORMATICA
Pubblicazioni
Risultati 1 - 20 di 168 (tempo di esecuzione: 0.001 secondi).
| Titolo | Data di pubblicazione | Autore(i) | |
|---|---|---|---|
| 1 | A calculus for "environment-aware" computation | 2002 | Viviana Bono; Ferruccio Damiani; Paola Giannini |
| 2 | A Calculus for Boxes and Traits in a Java-Like Setting | 2010 | Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer |
| 3 | A Calculus of Agents and Artifacts | 2011 | Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli |
| 4 | A conjunctive type system for useless-code elimination | 2003 | F. DAMIANI |
| 5 | A Filter Model for Mobile Processes | 1999 | DAMIANI F.; M. DEZANI; GIANNINI P. |
| 6 | A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini |
| 7 | A Mechanisms for Flexible Dynamic Trait Replacement | 2009 | Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani |
| 8 | A Prototypical Java-like Language with Records and Traits | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco |
| 9 | A provenly correct translation of Fickle into Java | 2007 | D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA |
| 10 | A Spatial Calculus of Wrapped Compartments | 2011 | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina |
| 11 | A State Abstraction for Coordination in Java-like Languages | 2006 | F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU |
| 12 | A Transformational Proof System for Delta-Oriented Programming | 2012 | Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu |
| 13 | A type inference approach to program analysis | 1998 | M. COPPO; DAMIANI F.; GIANNINI P. |
| 14 | A type preserving translation of Fickle into Java: (Extended Abstract) | 2002 | D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca |
| 15 | A type safe state abstraction for coordination in Java -like languages | 2008 | Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou |
| 16 | A type system for checking specialization of packages in object-oriented programming | 2012 | Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch |
| 17 | Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 2011 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani |
| 18 | Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification | 2010 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani |
| 19 | Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael |
| 20 | Adaptive distributed monitors of spatial properties for cyber–physical systems | 2021 | Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M. |
Copyright © 2022