Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ferruccio Damiani

A Core Calculus for Dynamic Delta-Oriented Programming

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

On Designing Multicore-Aware Simulators for Systems Biology Endowed With OnLine Statistics

BioMed Research International
ImmunologyMolecular BiologyBiochemistryMicrobiology MedicineGenetics
2014English

A Calculus for Boxes and Traits in a Java-Like Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2013English

Standard Type Soundness for Agents and Artifacts

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2012English

HyVar

Communications in Computer and Information Science
MathematicsComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy