Pubblicazioni

Pattern-based Rewriting through Abstraction

2016 - FUNDAMENTA INFORMATICAE
Bottoni, Paolo Gaspare; Guerra, Esther; De Lara, Juan

Constrained Allocation Flux Balance Analysis

2016 - PLOS COMPUTATIONAL BIOLOGY
Mori, Matteo; Hwa, Terence; Martin, Olivier C.; De Martino, Andrea; Marinari, Vincenzo

An application of support vector machines to sales forecasting under promotions

2016 - 4OR
Di Pillo, G; Latorre, V.; Lucidi, Stefano; Procacci, E.

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

Stabilizer theorems for even cycle matroids

2016 - JOURNAL OF COMBINATORIAL THEORY
Guenin, Bertrand; Pivotto, Irene; WOLLAN, PAUL JOSEPH

SyLVaaS: System level formal verification as a service

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

A Second-Order Finite-Volume Scheme for Euler Equations: Kinetic Energy Preserving and Staggering Effects

2016 - JOURNAL OF SCIENTIFIC COMPUTING
Perrotta, Andrea; Favini, Bernardo

AHEAD: A new architecture for active defense

2016 - SafeConfig 2016 - Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense, co-located with CCS 2016
DE GASPARI, FABIO; Jajodia, Sushil; MANCINI, Luigi Vincenzo; PANICO, AGOSTINO

Implementing set objects in dynamic distributed systems

2016 - JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Baldoni, Roberto; Bonomi, Silvia; Raynal, Michel

Enumeration of minimal stoichiometric precursor sets in metabolic networks

2016 - ALGORITHMS FOR MOLECULAR BIOLOGY
Andrade, Ricardo; Wannagat, Martin; Klein, Cecilia C.; Acuña, Vicente; MARCHETTI SPACCAMELA, Alberto; Milreu, Paulo V.; Stougie, Leen; Sagot, Marie France

An O(n√m) algorithm for the weighted stable set problem in claw, net-free graphs with α(G)≥4

2016 - DISCRETE OPTIMIZATION
Nobili, Paolo; Sassano, Antonio

Now or never: negotiating efficiently with unknown or untrusted counterparts

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni

Guest editorial: special issue on data and artifact-centric business processes

2016 - COMPUTING
Dumas, Marlon; Hull, Richard; Patrizi, Fabio

GMU: Genuine Multiversion Update-Serializable Partial Data Replication

2016 - IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Peluso, Sebastiano; Ruivo, Pedro; Romano, Paolo; QUAGLIA, Francesco; Rodrigues, Luís

Conditions, constraints and contracts: on the use of annotations for policy modeling

2016 - ELECTRONIC COMMUNICATIONS OF THE EASST
Bottoni, Paolo; Navigli, Roberto; Presicce, Francesco Parisi

CatRAPID signature: identification of ribonucleoproteins and RNA-binding regions

2016 - BIOINFORMATICS
Livi, Carmen Maria; Klus, Petr; Delli Ponti, Riccardo; Tartaglia, Gian Gaetano

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