Pubblicazioni

Computing biological model parameters by parallel statistical model checking

2015 - Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015.
Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor

Binding forms in first-order logic

2015 - 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Mogavero, F.; Perelli, G.

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