Michele Vescovi

According to our database1, Michele Vescovi authored at least 19 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Cities of a feather flock together: a study on the synchronization of communication between Italian cities.
EPJ Data Sci., 2019

Models and Practices in Urban Data Science at Scale.
Big Data Res., 2019

2018
Is social capital associated with synchronization in human communication? An analysis of Italian call records and measures of civic engagement.
EPJ Data Sci., 2018

No more ready-made deals: constructive recommendation for telco service bundling.
Proceedings of the 12th ACM Conference on Recommender Systems, 2018

2017
Anonymous or Not? Understanding the Factors Affecting Personal Mobile Data Disclosure.
ACM Trans. Internet Techn., 2017

2016
The Mobile Territorial Lab: a multilayered and dynamic view on parents' daily lives.
EPJ Data Sci., 2016

2015
Investigating Factors Affecting Personal Data Disclosure.
Proceedings of the 24th International Conference on World Wide Web Companion, 2015

Building an Eco-System of Trusted Services via User Control and Transparency on Personal Data.
Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

2014
My data store: toward user awareness and control on personal data.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, 2014

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.
Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014

2012
How Do I Manage My Personal Data? - A Telco Perspective.
Proceedings of the DATA 2012, 2012

2011
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics.
PhD thesis, 2011

Automated Reasoning in <i>ALCQ</i>\mathcal{ALCQ} via SMT.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2009
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability.
J. Artif. Intell. Res., 2009

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.
Proceedings of the Automated Deduction, 2009

2006
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005
Evaluation of BIC-based algorithms for audio segmentation.
Comput. Speech Lang., 2005

2003
A DP algorithm for speaker change detection.
Proceedings of the 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003, 2003

Efficient audio segmentation algorithms based on the BIC.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003


  Loading...