Epidemics spreading in predator-prey systems. - S. Chaudhuri; Andrea Costamagna; Ezio Venturino (Int. J. Comput. Math., 2012)

Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition. - Andrea Costamagna; Giovanni De Micheli (PRIME, 2022)

Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions. - Andrea Costamagna; Giovanni De Micheli (Integr., 2023)

An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. - Andrea Costamagna; Alan Mishchenko; Satrajit Chatterjee; Giovanni De Micheli (ISCAS, 2024)

Area-Oriented Optimization After Standard-Cell Mapping. - Andrea Costamagna; Alessandro Tempia Calvino; Alan Mishchenko; Giovanni De Micheli (ASP-DAC, 2025)

Lazy Man's Resynthesis For Glitching-Aware Power Minimization. - Andrea Costamagna; Xiaoqing Xu; Giovanni De Micheli; Dino Ruic (DDECS, 2025)

SPFD-Based Delay Resynthesis. - Andrea Costamagna; Chang Meng; Giovanni De Micheli (SMACD, 2025)

Symmetry-Based Synthesis for Interpretable Boolean Evaluation. - Andrea Costamagna; Alan Mishchenko; Satrajit Chatterjee; Giovanni De Micheli (VLSID, 2025)

Area-Oriented Resubstitution For Networks of Look-Up Tables. - Andrea Costamagna; Alessandro Tempia Calvino; Alan Mishchenko; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)