Publications
Publications found: 64
- Minimum pattern length for short spaced seeds based on linear rulers
Lavinia Egidi, Giovanni Manzini
Published on TR-INF-2012-04-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Exploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Published on TR-INF-2012-04-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Trace retrieval and clustering for business process monitoring
Giorgio Leonardi, Stefania Montani
Published on TR-INF-2012-03-01-UNIPMN, Ed. Computer Science Department, UPO, 2012 - Achieving completeness in bounded model checking of action theories in ASP
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Published on TR-INF-2011-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2011 - SAN models of a benchmark on dynamic reliability
Daniele Codetta Raiteri
Published on TR-INF-2011-12-03-UNIPMN, Ed. Computer Science Department, UPO, 2011 - A new symbolic approach for network reliability analysis
Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis, Roberta Terruggia
Published on TR-INF-2011-06-02-UNIPMN, Ed. Computer Science Department, UPO, 2011 - Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Published on TR-INF-2011-06-01-UNIPMN, Ed. Computer Science Department, UPO, 2011 - ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Published on TR-INF-2010-12-04-UNIPMN, Ed. Computer Science Department, UPO, 2010 - ICCBR 2010 Workshop Proceedings
Cindy Marling
Published on TR-INF-2010-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2010 - Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Published on TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010