Pubblicazioni

Micro-accounting for optimizing and saving energy in smart buildings

2016 - Advanced Information Systems Engineering Workshops

Sora, Daniele; Mecella, Massimo; Leotta, Francesco; Querzoni, Leonardo; Baldoni, Roberto; Bracone, Giuseppe; Buonanno, Daniele; Caruso, Mario; Cerocchi, Adriano; Leva, Mariano

An analysis of factors affecting automatic assessment based on teacher-mediated peer evaluation: The case of OpenAnswer

2016 - Proceedings of the 8th International Conference on Computer Supported Education

DE MARSICO, Maria; Sterbini, Andrea; Temperini, Marco

SyLVaaS: System level formal verification as a service

2016 - FUNDAMENTA INFORMATICAE

Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

Oii-web: An interactive online programming contest training system

2016 - OLYMPIADS IN INFORMATICS

Di Luigi, William; Farina, Gabriele; Laura, Luigi; Nanni, Umberto; Temperini, Marco; Versari, Luca

A machine learning approach to identify dependencies among learning objects

2016 - Proceedings of the 8th International Conference on Computer Supported Education

De Medio, Carlo; Gasparetti, Fabio; Limongelli, Carla; Sciarrone, Filippo; Temperini, Marco

Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables

2016 - INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING

Pellegrini, Alessandro; Peluso, Sebastiano; Quaglia, Francesco; Vitali, Roberto

OnboardICNg: A secure protocol for on-boarding IoT devices in ICN

2016 - ACM-ICN '16 Proceedings of the 3rd ACM Conference on Information-Centric Networking

Compagno, Alberto; Conti, Mauro; Droms, Ralph

Now or never: negotiating efficiently with unknown or untrusted counterparts

2016 - FUNDAMENTA INFORMATICAE

Mancini, Toni

Efficient non-malleable codes and key derivation for poly-size tampering circuits

2016 - IEEE TRANSACTIONS ON INFORMATION THEORY

Faust, Sebastian; Mukherjee, Pratyay; Venturi, Daniele; Wichs, Daniel

Bioinspired security analysis of wireless protocols

2016 - MOBILE NETWORKS AND APPLICATIONS

Petrocchi, Marinella; SPOGNARDI, Angelo; Santi, Paolo

Upgrade of foss date plug-in: Implementation of a new radargrammetric DSM generation capability

2016 - INTERNATIONAL ARCHIVES OF THE PHOTOGRAMMETRY, REMOTE SENSING AND SPATIAL INFORMATION SCIENCES

Di Rita, Martina; Nascetti, Andrea; Fratarcangeli, Francesca; Crespi, Mattia Giovanni

The limits of popularity-based recommendations, and the role of social ties

2016 - Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Bressan, Marco; Leucci, Stefano; Panconesi, Alessandro; Raghavan, Prabhakar; Terolli, Erisa

Biconnectivity of social and web graphs

2016 - Proceedings of the 24th Italian Symposium on Advanced Database Systems, SEBD 2016

Chiapparo, Giuseppe; Ferraro-Petrillo, Umberto; Firmani, Donatella; Laura, Luigi

A system to support the learning of movement qualities in dance: A case study on dynamic symmetry

2016 - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp '16)

Camurri, Antonio; Canepa, Corrado; Ferrari, Nicola; Mancini, Maurizio; Niewiadomski, Radoslaw; Piana, Stefano; Volpe, Gualtiero; Matos, Jean Marc; Palacio, Pablo; Romero, Muriel

The Strategic Intelligence: implication for information systems

2016 - Management Control

Galeotti, Michele; Garzella, Stefano; Fiorentino, Raffaele; DELLA CORTE, Gaetano

A semantic recommender for micro-blog users

2015 - Proceedings of IEEE International Congress on Big Data 2015

VELARDI, Paola; FARALLI, Stefano; STILO, GIOVANNI

Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems

2015 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY

Baruah, Sanjoy; Bonifaci, Vincenzo; D'Angelo, Gianlorenzo; Li, Haohan; Marchetti Spaccamela, Alberto; Van Der Ster, Suzanne; Stougie, Leen

A glimpse of SmartHG project test-bed and communication infrastructure

2015 - Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan

User flexibility aware price policy synthesis for smart grids

2015 - Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars

MP-shield: A framework for phishing detection in mobile devices

2015 - 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing

Bottazzi, G.; Casalicchio, Emiliano; Cingolani, Davide; Marturana, F.; Piu, M.

LSH-Preserving functions and their applications

2015 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY

Chierichetti, Flavio; Kumar, Ravi

Efficient algorithms for public-private social networks

2015 - KDD '15 Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Chierichetti, Flavio; Epasto, Alessandro; Kumar, Ravi; Lattanzi, Silvio; Mirrokni, Vahab

Can't you hear me knocking: Identification of user actions on android apps via traffic analysis

2015 - CODASPY 2015 - Proceedings of the 5th ACM Conference on Data and Application Security and Privacy

Conti, Mauro; MANCINI, Luigi Vincenzo; SPOLAOR, RICCARDO; VERDE, NINO VINCENZO

Capturing interactions in face-to-face social networks

2015 - WEBIST 2015 - 11th International Conference on Web Information Systems and Technologies, Proceedings

Ficarola, Francesco; Vitaletti, Andrea

Special Issue on: Knowledge-intensive Business Processes

2015 - JOURNAL ON DATA SEMANTICS

ter Hofstede, Arthur; Mecella, Massimo; Sardina, Sebastian