Publications

Submitted papers

  • M. Bartoletti, L. Bocchi, M. Murgia. Compositional Asynchronous Timed Refinement. Submitted, 2017
  • M. Bartoletti, A. Scalas, R. Zunino. A semantic deconstruction of session types. Submitted, 2017
  • R. Saia, S. Carta. Introducing a Combined Entropy-based Strategy to Define a Proactive Credit Scoring Approach. Submitted, 2017.
  • R. Saia, S. Carta. Introducing a Vector Space Model to Perform a Proactive Credit Scoring. Submitted, 2017.

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008