Ferruccio Damiani

Available identifiers

zbMath Open damiani.ferruccioWikidataQ58217745 ScholiaQ58217745MaRDI QIDQ235603

List of research outcomes

Publication	Date of Publication	Type
On a higher-order calculus of computational fields	2024-02-06	Paper
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala	2023-03-22	Paper
On logical and extensional characterizations of attributed feature models	2022-04-01	Paper
Refinement types for program analysis	2022-02-16	Paper
On two characterizations of feature models	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4964722	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5151035	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5129944	2020-11-03	Paper
From distributed coordination to field calculus and aggregate computing	2019-11-28	Paper
Standard Type Soundness for Agents and Artifacts	2019-02-08	Paper
A Higher-Order Calculus of Computational Fields	2019-02-07	Paper
A core calculus for dynamic delta-oriented programming	2018-06-26	Paper
Polymorphic bytecode	2017-07-14	Paper
Verifying traits: an incremental proof system for fine-grained reuse	2016-08-05	Paper
Type-based Self-stabilisation for Computational Fields	2016-01-07	Paper
On flexible dynamic trait replacement for Java-like languages	2014-04-02	Paper
Compositional type checking of delta-oriented software product lines	2013-06-26	Paper
Combining traits with boxes and ownership types in a Java-like setting	2013-06-06	Paper
Simulation techniques for the calculus of wrapped compartments	2012-05-30	Paper
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?	2011-01-21	Paper
Theoretical Computer Science	2010-02-23	Paper
A type safe state abstraction for coordination in JAVA-like languages	2009-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q3601885	2009-02-12	Paper
On Polymorphic Recursion, Type Systems, and Abstract Interpretation	2008-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q3593500	2007-07-20	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3024904	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472544	2004-08-04	Paper
A conjunctive type system for useless-code elimination	2003-06-23	Paper
Fickle: Dynamic Object Re-classification	2002-04-15	Paper
Strictness, totality, and non-standard-type inference	2002-03-03	Paper
Automatic useless-code elimination for HOT functional programs	2001-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4508295	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4490757	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4246944	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4699353	1999-11-10	Paper
A filter model for mobile processes	1999-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q4368373	1998-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4364386	1997-11-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ferruccio Damiani