default search action

combined dblp search
author search
venue search
publication search

ask others

Ferruccio Damiani

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j43]
- view
- export record
  dblp key:
  - journals/eaai/CasadeiVAPD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/CasadeiVAPD21
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021)
2020
[j42]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/AudritoBDPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AudritoBDPV20
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020)
[c91]
- view
- export record
  dblp key:
  - conf/coordination/AudritoBDV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoBDV20
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229
[c90]
- view
- export record
  dblp key:
  - conf/icse/LienhardtDJM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LienhardtDJM20
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521
[c89]
- view
- export record
  dblp key:
  - conf/ictac/DamianiLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DamianiLP20
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On Two Characterizations of Feature Models. ICTAC 2020: 103-122
[c88]
- view
- export record
  dblp key:
  - conf/isola/DamianiLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamianiLP20
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On Slicing Software Product Line Signatures. ISoLA (1) 2020: 81-102
[c87]
- view
- export record
  dblp key:
  - conf/isola/CasadeiVAD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CasadeiVAD20
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360
[c86]
- view
- export record
  dblp key:
  - conf/isola/TurinBDJTD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/TurinBDJTD20
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani:
A Formal Model of the Kubernetes Container Framework. ISoLA (1) 2020: 558-577
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-07383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-07383
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy Product Discovery in Huge Configuration Spaces. CoRR abs/2003.07383 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08626
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j41]
- view
- export record
  dblp key:
  - journals/jlap/ViroliBDACP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/ViroliBDACP19
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019)
[j40]
- view
- export record
  dblp key:
  - journals/scp/BeekDGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeekDGMP19
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019)
[j39]
- view
- export record
  dblp key:
  - journals/scp/DamianiLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DamianiLP19
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172: 203-231 (2019)
[j38]
- view
- export record
  dblp key:
  - journals/sosym/RodriguesDD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RodriguesDD19
Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. Softw. Syst. Model. 18(5): 2875-2906 (2019)
[j37]
- view
- export record
  dblp key:
  - journals/sttt/DamianiLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DamianiLP19
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21(6): 691-707 (2019)
[j36]
- view
- export record
  dblp key:
  - journals/tocl/AudritoVDPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/AudritoVDPB19
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019)
[c85]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AudritoBDV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AudritoBDV19
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626
[c84]
- view
- export record
  dblp key:
  - conf/coordination/AudritoBDPV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoBDPV19
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71
[c83]
- view
- export record
  dblp key:
  - conf/coordination/CasadeiVAPD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CasadeiVAPD19
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217
[c82]
- view
- export record
  dblp key:
  - conf/ecsa/AliDDSVW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/AliDDSVW19
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns:
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) 2019: 177-180
[c81]
- view
- export record
  dblp key:
  - conf/forte/AudritoVDPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AudritoVDPB19
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292
[c80]
- view
- export record
  dblp key:
  - conf/ifm/LienhardtDTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/LienhardtDTT19
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM 2019: 534-537
[c79]
- view
- export record
  dblp key:
  - conf/ifm/BeekDGMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeekDGMP19
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546
[c78]
- view
- export record
  dblp key:
  - conf/splc/BeekDLMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekDLMP19
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-02874
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-02874
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019)
2018
[j35]
- view
- export record
  dblp key:
  - journals/acta/DamianiPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DamianiPSS18
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018)
[j34]
- view
- export record
  dblp key:
  - journals/scp/LienhardtDTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LienhardtDTT18
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166: 3-34 (2018)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AudritoDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AudritoDV18
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018)
[j32]
- view
- export record
  dblp key:
  - journals/tomacs/ViroliABDP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tomacs/ViroliABDP18
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28(2): 16:1-16:28 (2018)
[c77]
- view
- export record
  dblp key:
  - conf/birthday/DamianiHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DamianiHKL18
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117
[c76]
- view
- export record
  dblp key:
  - conf/coordination/AudritoBDV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoBDV18
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20
[c75]
- view
- export record
  dblp key:
  - conf/coordination/ViroliBDACP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ViroliBDACP18
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279
[c74]
- view
- export record
  dblp key:
  - conf/rtss/AudritoDVB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/AudritoDVB18
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34
[c73]
- view
- export record
  dblp key:
  - conf/splc/DamianiHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DamianiHKL18
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/LienhardtDDP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/LienhardtDDP18
Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini:
Multi Software Product Lines in the Wild. VaMoS 2018: 89-96
[c71]
- view
- export record
  dblp key:
  - journals/corr/abs-1908-10743
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-10743
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61
2017
[j31]
- view
- export record
  dblp key:
  - journals/jss/BettiniD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BettiniD17
Lorenzo Bettini, Ferruccio Damiani:
Xtraitj: Traits for the Java platform. J. Syst. Softw. 131: 419-441 (2017)
[j30]
- view
- export record
  dblp key:
  - journals/sosym/DamianiFGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DamianiFGT17
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4): 1223-1251 (2017)
[j29]
- view
- export record
  dblp key:
  - journals/taas/BealVPD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/BealVPD17
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani:
Self-Adaptation to Device Distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12(3): 12:1-12:29 (2017)
[c70]
- view
- export record
  dblp key:
  - conf/coordination/AudritoDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/AudritoDV17
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77
[c69]
- view
- export record
  dblp key:
  - conf/esocc/RostSYDJC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/RostSYDJC17
Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta:
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops 2017: 159-163
[c68]
- view
- export record
  dblp key:
  - conf/fase/DamianiHKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DamianiHKL17
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/DamianiLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/DamianiLP17
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A Formal Model for Multi SPLs. FSEN 2017: 67-83
[c66]
- view
- export record
  dblp key:
  - conf/ifm/DamianiLMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DamianiLMS17
Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126
[c65]
- view
- export record
  dblp key:
  - conf/saso/AudritoCDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/AudritoCDV17
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100
[c64]
- view
- export record
  dblp key:
  - conf/tap/DamianiHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/DamianiHL17
Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20
[c63]
- view
- export record
  dblp key:
  - journals/corr/abs-1802-01788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01788
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-08297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-08297
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017)
2016
[j28]
- view
- export record
  dblp key:
  - journals/fomac/BubelDHJOSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fomac/BubelDHJOSY16
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/DamianiVB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DamianiVB16
Ferruccio Damiani, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016)
[c62]
- view
- export record
  dblp key:
  - conf/ifm/DamianiL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DamianiL16
Ferruccio Damiani, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62
[c61]
- view
- export record
  dblp key:
  - conf/isola/DamianiSY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamianiSY16
Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) 2016: 423-432
[c60]
- view
- export record
  dblp key:
  - conf/isola/ChestaDDGMNRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChestaDDGMNRS16
Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster:
A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) 2016: 497-511
[c59]
- view
- export record
  dblp key:
  - conf/isola/DamianiL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamianiL16
Ferruccio Damiani, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596
[c58]
- view
- export record
  dblp key:
  - conf/saso/BealVPD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/BealVPD16
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69
[c57]
- view
- export record
  dblp key:
  - conf/saso/AudritoDVC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/AudritoDVC16
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/WinkelmannKSSDS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/WinkelmannKSSDS16
Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer:
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016: 40-54
[c55]
- view
- export record
  dblp key:
  - journals/corr/DamianiL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DamianiL16
Ferruccio Damiani, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ViroliADPB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ViroliADPB16
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016)
2015
[j26]
- view
- export record
  dblp key:
  - journals/corr/DamianiV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DamianiV15
Ferruccio Damiani, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/BettiniDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BettiniDS15
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308 (2015)
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/forte/DamianiVPB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DamianiVPB15
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128
[c53]
- view
- export record
  dblp key:
  - conf/saso/ViroliBDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/ViroliBDP15
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BeekDGMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeekDGMP15
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359
2014
[j24]
- view
- export record
  dblp key:
  - journals/fac/DamianiDJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/DamianiDJS14
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26(4): 761-793 (2014)
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/coordination/ViroliD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/ViroliD14
Mirko Viroli, Ferruccio Damiani:
A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178
[c50]
- view
- export record
  dblp key:
  - conf/isola/DamianiSSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamianiSSW14
Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303
[c49]
- view
- export record
  dblp key:
  - conf/pppj/BettiniD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BettiniD14
Lorenzo Bettini, Ferruccio Damiani:
Generic traits for the Java platform. PPPJ 2014: 5-16
[c48]
- view
- export record
  dblp key:
  - conf/pppj/KoscielnyHSSBD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/KoscielnyHSSBD14
Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani:
DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ 2014: 63-74
[c47]
- view
- export record
  dblp key:
  - conf/splc/DamianiSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DamianiSW14
Ferruccio Damiani, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236
[e5]
- view
- export record
  dblp key:
  - conf/sfm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2014
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents]
2013
[j23]
- view
- export record
  dblp key:
  - journals/acta/BettiniDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BettiniDS13
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2): 77-122 (2013)
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/SciaccaSCDC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SciaccaSCDC13
Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo:
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. Electron. Notes Theor. Comput. Sci. 293: 83-96 (2013)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/BettiniDGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BettiniDGS13
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer:
Combining traits with boxes and ownership types in a Java-like setting. Sci. Comput. Program. 78(2): 218-247 (2013)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/BettiniDSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BettiniDSS13
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/scp/BettiniCD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BettiniCD13
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
On flexible dynamic trait replacement for Java-like languages. Sci. Comput. Program. 78(7): 907-932 (2013)
[c46]
- view
- export record
  dblp key:
  - conf/esocc/ViroliDB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/ViroliDB13
Mirko Viroli, Ferruccio Damiani, Jacob Beal:
A Calculus of Computational Fields. ESOCC Workshops 2013: 114-128
[c45]
- view
- export record
  dblp key:
  - conf/pppj/BettiniD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BettiniD13
Lorenzo Bettini, Ferruccio Damiani:
Pure trait-based programming on the Java platform. PPPJ 2013: 67-78
[c44]
- view
- export record
  dblp key:
  - conf/pppj/DamianiGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/DamianiGT13
Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140
[e4]
- view
- export record
  dblp key:
  - conf/fmco/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/2011
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents]
2012
[j18]
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/DamianiGRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/DamianiGRV12
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012)
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/tcs/CoppoDDGSST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CoppoDDGSST12
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Simulation techniques for the calculus of wrapped compartments. Theor. Comput. Sci. 431: 75-95 (2012)
[c43]
- view
- export record
  dblp key:
  - conf/gpce/DamianiPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/DamianiPS12
Ferruccio Damiani, Luca Padovani, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10
[c42]
- view
- export record
  dblp key:
  - conf/isola/DamianiS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DamianiS12
Ferruccio Damiani, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207
[c41]
- view
- export record
  dblp key:
  - conf/sac/DamianiPW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DamianiPW12
Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch:
A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742
[c40]
- view
- export record
  dblp key:
  - conf/splc/DamianiODSJY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DamianiODSJY12
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60
[e3]
- view
- export record
  dblp key:
  - conf/foveoos/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/2011
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents]
2011
[j16]
- view
- export record
  dblp key:
  - journals/tcsb/CoppoDDGGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcsb/CoppoDDGGT11
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina:
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13: 85-109 (2011)
[c39]
- view
- export record
  dblp key:
  - conf/aosd/SchaeferBD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/SchaeferBD11
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani:
Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56
[c38]
- view
- export record
  dblp key:
  - conf/ecoop/DamianiDJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DamianiDJS11
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP 2011: 8:1-8:6
[c37]
- view
- export record
  dblp key:
  - conf/europar/AldinucciCDDSSTT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/AldinucciCDDSSTT11
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina:
On Parallelizing On-Line Statistics for Stochastic Biological Simulations. Euro-Par Workshops (2) 2011: 3-12
[c36]
- view
- export record
  dblp key:
  - conf/pdp/AldinucciCDDTT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/AldinucciCDDTT11
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325
[c35]
- view
- export record
  dblp key:
  - conf/splc/DamianiS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DamianiS11
Ferruccio Damiani, Ina Schaefer:
Dynamic delta-oriented programming. SPLC Workshops 2011: 34
[c34]
- view
- export record
  dblp key:
  - journals/corr/abs-1109-1363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-1363
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments. CompMod 2011: 3-18
[c33]
- view
- export record
  dblp key:
  - journals/corr/abs-1106-1234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1234
Makoto Tatsuta, Ferruccio Damiani:
Type Inference for Bimorphic Recursion. GandALF 2011: 102-115
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-3426
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3426
Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina:
A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426 (2011)
2010
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/coordination/BettiniDLGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BettiniDLGS10
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer:
A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION 2010: 46-60
[c31]
- view
- export record
  dblp key:
  - conf/foveoos/AnconaCLD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foveoos/AnconaCLD10
Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45
[c30]
- view
- export record
  dblp key:
  - conf/gpce/SchaeferD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/SchaeferD10
Ina Schaefer, Ferruccio Damiani:
Pure delta-oriented programming. FOSD 2010: 49-56
[c29]
- view
- export record
  dblp key:
  - conf/pppj/BettiniDSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BettiniDSS10
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
A prototypical Java-like language with records and traits. PPPJ 2010: 129-138
[c28]
- view
- export record
  dblp key:
  - conf/sac/BettiniDS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BettiniDS10
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing software product lines using traits. SAC 2010: 2096-2102
[c27]
- view
- export record
  dblp key:
  - conf/splc/SchaeferBBDT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/SchaeferBBDT10
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91
[c26]
- view
- export record
  dblp key:
  - journals/corr/abs-1006-5099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5099
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98
[c25]
- view
- export record
  dblp key:
  - journals/corr/abs-1011-0494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0494
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. MeCBIC 2010: 102-120
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1010-2438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-2438
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-aware Simulators for Biological Systems. CoRR abs/1010.2438 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c24]
- view
- export record
  dblp key:
  - conf/ecoop/BettiniCD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BettiniCD09
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
A mechanism for flexible dynamic trait replacement. FTfJP@ECOOP 2009: 9:1-9:7
[c23]
- view
- export record
  dblp key:
  - conf/icsoft/DamianiGRV09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DamianiGRV09a
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) 2009: 124-136
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/DamianiGRV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DamianiGRV09
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
[c21]
- view
- export record
  dblp key:
  - journals/corr/abs-0910-1418
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-1418
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina:
Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92
[e2]
- view
- export record
  dblp key:
  - conf/types/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2008
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro:
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6 [contents]
2008
[j15]
- view
- export record
  dblp key:
  - journals/acta/DamianiGGD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DamianiGGD08
Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008)
[j14]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/DamianiGG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DamianiGG08
Ferruccio Damiani, Elena Giachino, Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae 88(1-2): 63-107 (2008)
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/ifipTCS/BonoDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/BonoDG08
Viviana Bono, Ferruccio Damiani, Elena Giachino:
On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382
[c19]
- view
- export record
  dblp key:
  - conf/sas/CominiDV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CominiDV08
Marco Comini, Ferruccio Damiani, Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158
2007
[j13]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Damiani07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Damiani07
Ferruccio Damiani:
Rank 2 Intersection for Recursive Definitions. Fundam. Informaticae 77(4): 451-488 (2007)
[j12]
- view
- export record
  dblp key:
  - journals/toplas/AnconaADDGZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AnconaADDGZ07
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007)
2006
[c18]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/DamianiGGC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DamianiGGC06
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola:
On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12
[c17]
- view
- export record
  dblp key:
  - conf/icsoft/DamianiGGC06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DamianiGGC06a
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola:
On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) 2006: 84-96
2005
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/entcs/CoppoD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CoppoD05
Mario Coppo, Ferruccio Damiani:
Preface. Electron. Notes Theor. Comput. Sci. 136: 1-2 (2005)
[c16]
- view
- export record
  dblp key:
  - conf/popl/AnconaDDZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AnconaDDZ05
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
[c15]
- view
- export record
  dblp key:
  - conf/tlca/Damiani05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/Damiani05
Ferruccio Damiani:
Rank-2 Intersection and Polymorphic Recursion. TLCA 2005: 146-161
2004
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jot/DamianiDG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/DamianiDG04
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
On Re-classification and Multi-threading. J. Object Technol. 3(11): 5-30 (2004)
[c14]
- view
- export record
  dblp key:
  - conf/sac/DamianiDG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DamianiDG04
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Re-classification and multi-threading: Fickle_MT. SAC 2004: 1297-1304
[e1]
- view
- export record
  dblp key:
  - conf/types/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2003
Stefano Berardi, Mario Coppo, Ferruccio Damiani:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3085, Springer 2004, ISBN 3-540-22164-6 [contents]
2003
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record