Luca Benvenuti

Pubblicazioni

An application of parallel satisfiability solving to the verification of complex embedded systems (2018)
Ferrante, Orlando; Ferrari, Alberto; Sofronis, Christos; Mangeruca, Leonardo; Benvenuti, Luca
Handbook of parallel constraint reasoning - 978-3-319-63515-6...
pagg. 617-632
The NIEP for four dimensional Leslie and doubly stochastic matrices with zero trace from the coefficients of the characteristic polynomial (2018)
Benvenuti, Luca
LINEAR ALGEBRA AND ITS APPLICATIONS [0024-3795]. 544: pagg. 286-298
Revisiting the linear recursions with nonnegative coefficients problem (2017)
Benvenuti, L.; Farina, L.
LINEAR ALGEBRA AND ITS APPLICATIONS [0024-3795]. 535: pagg. 191-194
An optimal plan for food consumption with minimal environmental impact: the case of school lunch menus (2016)
Benvenuti, Luca; DE SANTIS, Alberto; Santesarti, Fabio; Tocca, Luigino
JOURNAL OF CLEANER PRODUCTION [0959-6526]. 129: pagg. 704-713
A note on eigenvalues location for trace zero doubly stochastic matrices (2015)
Benvenuti, Luca
THE ELECTRONIC JOURNAL OF LINEAR ALGEBRA [1081-3810]. 30: pagg. 599-604

Ultime pubblicazioni

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma