Alessandro Abate

• HSSC' 16
• Formal Modeling and Analysis of Timed Systems
• Hybrid Systems Biology
• Numerical Software Verification
• Blue
• Computational Methods in Systems Biology
• Fairy Tales and Fables in the Lockdown
• Favole e Fiabe Nel Lockdown
• I, Destiny
• Impero Di Cartax
• Io, Destino
• Quantitative Evaluation of Systems