Rapporti Tecnici
2011
- Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Riferimenti: TR-INF-2011-06-01-UNIPMN, Ed. Computer Science Department, UPO, 2011 - A new symbolic approach for network reliability analysis
Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis, Roberta Terruggia
Riferimenti: TR-INF-2011-06-02-UNIPMN, Ed. Computer Science Department, UPO, 2011 - SAN models of a benchmark on dynamic reliability
Daniele Codetta Raiteri
Riferimenti: TR-INF-2011-12-03-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Achieving completeness in bounded model checking of action theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Riferimenti: TR-INF-2011-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2011
