Publications

2021

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia. A theory of transaction parallelism in blockchains. To appear in Logical Methods in Computer Science. Also available as Corr abs/2011.13837
M. Bartoletti, S. Lande, R. Zunino. Computationally sound Bitcoin tokens. In Proc. CSF 2021. Also available as Corr abs/2009.12140
M. Bartoletti, J. Chiang, A. Lluch Lafuente. SoK: Lending pools in decentralized finance. In Proc. WTSC, 2021. Also available as Corr abs/2012.13230
M. Bartoletti, A. Bracciali, C. Lepore, A. Scalas, R. Zunino. A formal model of Algorand smart contracts. In Proc. Financial Cryptography, 2021. Also available as Corr abs/2010.01347
M. Bartoletti, J. Hsin-yu Chiang, A. Lluch-Lafuente. A theory of Automated Market Makers in DeFi. COORDINATION, 2021
M. Bartoletti, J. Hsin-yu Chiang, A. Lluch-Lafuente. Towards a Theory of Decentralized Finance. DeFi Workshop, 2021.
M. Bartoletti, J. Hsin-yu Chiang, A. Lluch-Lafuente. Maximizing Extractable Value from Automated Market Makers. Corr abs/2106.01870, 2021

2020

M. Bartoletti, S. Carta, T. Cimoli, R. Saia. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. In Future Generation Computer Systems, 102, 2020
M. Bartoletti. Smart contracts contracts. In Frontiers in Blockchain (Perspective article), 2020.
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino. Verification of recursive Bitcoin contracts. Available as Corr abs/2011.14165, 2020.
M. Bartoletti, M. Murgia, R. Zunino. Renegotiation and recursion in Bitcoin contracts. In Proc. COORDINATION 2020. Also available as Corr abs/2003.00296
M. Bartoletti, L. Galletta, M. Murgia. A true concurrent model of smart contracts executions. In Proc. COORDINATION 2020 (Awarded as COORDINATION 2020 best paper and as IFIP Best Paper Award). Also available as Corr abs/1905.04366, 2019
M. Bartoletti, S. Lande, R. Zunino. Bitcoin covenants unchained. In Proc. ISOLA 2020. Also available as ArXiV preprint 2006.03918, 2020.

2019

N. Atzei, M. Bartoletti, S. Lande, N. Yoshida, R. Zunino. Developing secure Bitcoin contracts with BitML. In Proc. ESEC/FSE, 2019. Also presented at the Scaling Bitcoin Workshop, 2019.
M. Bartoletti, B. Bellomy, L. Pompianu. A journey into Bitcoin metadata. In Journal of Grid Computing 17(1), 3-22, 2019
M. Bartoletti, L. Galletta, M. Murgia: A minimal core calculus for Solidity contracts. In Proc. CBT, 2019
M. Bartoletti, R. Zunino. Verifying liquidity of Bitcoin contracts. In Proc. POST, 2019
M. Bartoletti, R. Zunino. Formal models of Bitcoin contracts: a survey. In Frontiers in Blockchain, 2019.
L. Bocchi, M. Murgia, V. T. Vasconcelos, N, Yoshida. Asynchronous timed session types from duality to time-sensitive processes. In Proc. ESOP, 2019
S. Carta, A. Ferreira, D.R. Recupero, M. Saia, R. Saia. A Combined Entropy-based Approach for a Proactive Credit Scoring, In Engineering Applications of Artificial Intelligence, Elsevier, 2019
S. Carta, A. Corriga, R. Mulas, D. R. Recupero, R. Saia. A Supervised Multi-class Multi-label Word Embeddings Approach for Toxic Comment Classification. To be presented at 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR), 2019
R. Saia, S. Carta, D. R. Recupero, G. Fenu, M. M. Stanciu. A Discretized Extended Feature Space (DEFS) Model to Improve the Anomaly Detection Performance in Network Intrusion Detection. To be presented at 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR), 2019
R. Saia, S. Carta, D. R. Recupero, G. Fenu, M. Saia. A Discretized Enriched Technique to Enhance Machine Learning Performance in Credit Scoring. To be presented at 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR), 2019.

2018

N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino. SoK: unraveling Bitcoin smart contracts. In Proc. POST, 2018
N. Atzei, M. Bartoletti, S. Lande, R. Zunino. A formal model of Bitcoin transactions. In Proc. Financial Cryptography, 2018
M. Bartoletti, R. Zunino. BitML: a calculus for Bitcoin smart contracts. In Proc. ACM CCS, 2018. Also available as Cryptology ePrint Archive 2018/122, 2018
M. Bartoletti, L. Bocchi, M. Murgia. Progress-preserving Refinements of CTA. In Proc. CONCUR, 2018
M. Bartoletti, T. Cimoli, R. Zunino. Fun with Bitcoin smart contracts. In Proc. ISOLA, 2018. Also avaiable as Cryptology ePrint Archive 2018/398, 2018
M. Bartoletti, T. Cimoli, L. Pompianu, S. Serusi. Blockchain for social good: a quantitative analysis. In Proc. Goodtechs, 2018
M. Bartoletti, B. Pes, S. Serusi. Data mining for detecting Bitcoin Ponzi schemes. In Proc. Crypto Valley Conference on Blockchain Technology, 2018
S. Carta, A. Medda, A. Pili, D. R. Recupero, R. Saia. Forecasting E-commerce Products Prices by Combining an Autoregressive Integrated Moving Average (ARIMA) Model and Google Trends Data. In Future Internet (FI), MDPI, 2018
G. Michele Pinna and Eric Fabre. Toward a uniform approach to the unfolding of nets. In Proc. ICE, 2018.
R. Saia, D. Reforgiato Recupero, S. Carta. A Probabilistic-driven Ensemble Approach to Perform Event Classification in Intrusion Detection System. In Proc. KDIR, 2018
R. Saia, S. Carta. Proactivity or Retroactivity? Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques in Fraud Detection Tasks. In Proc. IoTBDS, 2018
R. Saia, S. Carta, G. Fenu. A Wavelet-based Data Analysis to Credit Scoring. In Proc. ICDSP, 2018
R. Saia, S. Carta. Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques. In Future Generation Computer Systems, Elsevier (FGCS), 2018
R. Saia. Unbalanced Data Classification in Fraud Detection by Introducing a Multidimensional Space Analysis. In Proc. IoTBDS, 2018
R. Saia, S. Carta. Introducing a Vector Space Model to Perform a Proactive Credit Scoring. In Communications in Computer and Information Science, 2018
R. Saia, D. Reforgiato Recupero, S. Carta, G. Fenu. Internet of Entities (IoE): a Blockchain-based Distributed Paradigm for Data Exchange Between Wireless-based Devices. In Proc. SENSORNETS, 2018
R. Saia, L. Piras, S. Carta. Recommending Friends by Identifying Latent Similarities in Social Environments. In Proc. Social Aspects in Personalization and Search Workshop (SoAPS), 2018

2017

N. Atzei, M. Bartoletti, T. Cimoli. A survey of attacks on Ethereum smart contracts (SoK). In Proc. POST, 2017
N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu. Contract-oriented programming with timed session types. In Behavioural Types: from Theory to Tools, 2017
N. Atzei, M. Bartoletti, M. Murgia, E. Tuosto, R. Zunino. Contract-oriented design of distributed applications: a tutorial. In Behavioural Types: from Theory to Tools, 2017
M. Bartoletti, A. Bracciali, S. Lande, L. Pompianu. A general framework for blockchain analytics. In Proc. SERIAL, 2017
M. Bartoletti, T. Cimoli, M. Murgia. Timed session types. In Logical Methods in Computer Science 13(4), 2017
M. Bartoletti, M. Murgia, A. Scalas, R. Zunino. Verifiable abstractions for contract-oriented systems. In JLAMP 86(1), 2017
M. Bartoletti, R. Zunino. Constant-deposit multiparty lotteries on Bitcoin. In Proc. Bitcoin Workshop, 2017.
M. Bartoletti, L. Pompianu. An analysis of Bitcoin OP_RETURN metadata. In Proc. Bitcoin Workshop, 2017
M. Bartoletti, L. Pompianu. An empirical analysis of smart contracts: platforms, applications, and design patterns. In Proc. WTSC, 2017
M. Bartoletti, S. Lande, A.S. Podda. A Proof-of-Stake protocol for consensus on Bitcoin subchains. In Proc. WTSC, 2017
G. Casu, G. M. Pinna. Petri nets and dynamic causality for service-oriented computations. In Proc. SOAP@SAC, 2017
G. Casu, G. M. Pinna. Merging relations: a way to compact Petri nets’ behaviors uniformly. In Proc. LATA, 2017
R. Saia, S. Carta. A Fourier Spectral Pattern Analysis to Design Credit Scoring Models. In Proc. International Conference on Internet of Things and Machine Learning (IML), 2017
R. Saia. A Discrete Wavelet Transform Approach to Fraud Detection. In Proc. International Workshop on Security Measurements of Cyber Networks (SMCN), 2017
R. Saia, S. Carta. Evaluating Credit Card Transactions in the Frequency Domain for a Proactive Fraud Detection Approach. In Proc. 14th International Conference on Security and Cryptography (SECRYPT), 2017
R. Saia, S. Carta. A Frequency-domain-based Pattern Mining for Credit Card Fraud Detection. In Proc. 2nd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2017

2016

M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. In Logical Methods in Computer Science, 12(4), 2016.
M. Bartoletti, T. Cimoli, G.M. Pinna, R. Zunino. Contracts as games on event structures. In JLAMP, 85(3), 2016.
N. Atzei, M. Bartoletti. Developing honest Java programs with Diogenes. In Proc. FORTE, 2016.
M. Bartoletti, S. Lande, A. Massa. FadeRank: an incremental algorithm for ranking Twitter users. In Proc. WISE, 2016.
G. Casu, G. M. Pinna. An unifying framework for compacting Petri nets behaviors. In Proc. ICTCS, 2016.
R. Saia, L. Boratto, S. Carta, G. Fenu. Using Neural Word Embeddings to Model User Behavior and Detect User Segments. In Knowledge-Based Systems (KBS), Elsevier, 2016.
R. Saia, L. Boratto, S. Carta, G. Fenu. Binary Sieves: Toward a Semantic Approach to User Segmentation for Behavioral Targeting. Accepted for publication in Future Generation Computer Systems (FGCS), Elsevier, 2016.
R. Saia, L. Boratto, S. Carta, G. Fenu. A semantic approach to remove incoherent items from a user profile and improve the accuracy of a recommender system. Accepted for publication in Journal of Intelligent Information Systems (JIIS), Springer, 2016.
R. Saia, L. Boratto, S. Carta, G. Fenu. Exploiting a Determinant-based Metric to Evaluate a Word-embeddings Matrix of Items. In Proc. IEEE International Conference on Data Mining series (ICDM), SERecSys Workshop, 2016.
R. Saia, L. Boratto, S. Carta, G. Fenu. Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. In Proc. ACM Recommender Systems conference (RecSys), 2016.
R. Saia, L. Boratto, S. Carta. Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. In Proc. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), 2016.
R. Saia, S. Carta. A Linear-dependence-based Approach to Design Proactive Credit Scoring Models. In Proc. 8th International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2016.
R. Saia, S. Carta. An Entropy Based Algorithm for Credit Scoring. Lecture Notes in Business Information Processing, Springer (LNBIP), 2016.

2015

M. Bartoletti, T. Cimoli, M. Murgia, L. Pompianu, A.S. Podda. A contract-oriented middleware. In Proc. FACS 2015.
M. Bartoletti, R. Zunino. On the decidability of honesty and of its variants. In Proc. WSFM/BEAT, 2015
M. Bartoletti, I. Castellani, P.M. Deniélou, M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, J.A. Pérez, P. Thiemann, B. Toninho, H.T. Vieira. Combining behavioural types with security analysis. In JLAMP 84(6), 2015.
M. Bartoletti, T. Cimoli, R. Zunino. Compliance in behavioural contracts: a brief survey. Festschrift Symposium in Honour of Pierpaolo Degano, 2015.
M. Bartoletti, T. Cimoli, G. M. Pinna. Lending Petri nets. In Science of Computer Programming 112(1), 2015.
M. Bartoletti, P. Degano, P. Di Giamberardino, R. Zunino. Debits and credits in Petri nets and Linear Logic. In LRC, 2015
M. Bartoletti, T. Cimoli, M. Murgia, L. Pompianu, A.S. Podda. Compliance and subtyping in timed session types. In Proc. FORTE, 2015.
M. Bartoletti, T. Cimoli, P. Di Giamberardino, R. Zunino. Vicious circles in contracts and in logic. In Science of Computer Programming 109, 2015.
M. Bartoletti, J. Lange, A. Scalas, R. Zunino. Choreographies in the wild. In Science of Computer Programming 109, 2015.
M. Bartoletti, P. Degano, G. Ferrari and R. Zunino. Model checking usage policies. In Mathematical Structures in Computer Science 25(3), 2015.
M. Bartoletti, T. Cimoli, G.M. Pinna, R. Zunino. Models of circular causality. In Proc. ICDCIT, 2015
L. Boratto and S. Carta. ART: Group Recommendation Approaches for Automatically Detected Groups. In International Journal of Machine Learning and Cybernetics, 2015.
P. Di Giamberardino and U. Dal Lago. On Session Types and Polynomial Time. In Mathematical Structures in Computer Science, 2015.
F. Gadducci, F. Santini, L.F. Pino, F.D. Valencia. A labelled semantics for Soft Concurrent Constraint Programming. In Proc. COORDINATION, 2015
M. Manca, L. Boratto, S. Carta. Friend Recommendation in a Social BookMarking System: Design and Architecture Guidelines. In Intelligent Systems in Science and Information 2014, 2015.
M. Piazza and G. Pulcini. A deflationary account of the truth of the Godel Sentence G. Boston Studies in the Philosophy of Science 308, 2015.
R. Saia, L. Boratto, S. Carta. Popularity Does Not Always Mean Triviality: Introduction of Popularity Criteria to Improve the Accuracy of a Recommender System. Accepted for publication in Journal of Computers (JCP), 2015.
R. Saia, L. Boratto, S. Carta. Exploiting the Evaluation Frequency of the Items to Enhance the Recommendation Accuracy. In Proc. Int. Conf. on Computer Applications & Technology (ICCAT), 2015.
R. Saia, L. Boratto, S. Carta. A Class-based Strategy to User Behavior Modeling. Accepted for publication in Studies in computational intelligence, Springer (SCI), 2015.
R. Saia, L. Boratto, S. Carta. A Proactive Time-frame Convolution Vector (TFCV) Technique to Detect Frauds Attempts in E-commerce Transactions. Accepted for publication in International Journal of e-Education, e-Business, e-Management and e-Learning (IJEEEE), 2015.
R. Saia, L. Boratto, S. Carta. Introducing a Weighted Ontology to Improve the Graph-based Semantic Similarity Measures. Accepted for publication in International Journal of Signal Processing Systems (IJSPS), 2015.
R. Saia, L. Boratto, S. Carta. A New Perspective on Recommender Systems: a Class Path Information Model. In Proc. of the Science and Information Conference (SAI), 2015.
R. Saia, L. Boratto, S. Carta. A Latent Semantic Pattern Recognition Strategy for an Untrivial Targeted Advertising. In Proc. BigData, 2015.
R. Saia, L. Boratto, S. Carta. Multiple Behavioral Models: a Divide and Conquer Strategy to Fraud Detection in Financial Data Streams. In Proc. 7th International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2015.
A. Scalas, M. Bartoletti. The LTS WorkBench. In Proc. ICE, 2015.

2014

M. Bartoletti, T. Cimoli, G.M. Pinna and R. Zunino. Circular causality in event structures. In Fundamenta Informaticae 134(3-4), 2014.
M. Bartoletti, A. Scalas, R. Zunino. A semantic deconstruction of session types. In Proc. CONCUR, 2014. Longer version with proofs available here
M. Bartoletti, T. Cimoli, G.M. Pinna. A note on two notions of compliance. In Proc. ICE, 2014.
M. Bartoletti, M. Murgia, A. Scalas, R. Zunino. Modelling and verifying contract-oriented systems in Maude. In Proc. WRLA, 2014.
M. Bartoletti, A. Scalas, R. Zunino. Towards a theory of honesty. Presented at HotSpot, 2014.
L. Boratto and S. Carta. Using Collaborative Filtering to Overcome the Curse of Dimensionality when Clustering Users in a Group Recommender System. In Proc. International Conference on Enterprise Information Systems (ICEIS), 2014.
L. Boratto and S. Carta. Modeling the Preferences of a Group of Users Detected by Clustering - a Group Recommendation Case-Study. In Proc. International Conference on Web Intelligence, Mining and Semantics (WIMS'14), 2014.
L. Boratto and S. Carta. The Rating Prediction Task in a Group Recommender System that Automatically Detects Groups: Architectures, Algorithms, and Performance Evaluation. Journal of Intelligent Information Systems, 2014.
S. Carta, G. Fenu, F. Mulas, P. Pilloni, D. Spano. Experiences from a long run with a virtual personal trainer. In HCI International, 2014.
G. Casu, G. M. Pinna. Flow unfolding of multi-clock nets. In Proc. Petri Nets, 2014.
G. Ciobanu, G.M. Pinna. Catalytic and communicating Petri nets are Turing-complete. Information and Computation, 2014.
M. Manca, L. Boratto, and S. Carta. Design and Architecture of a Friend Recommender System in the Social Bookmarking Domain. In Proc. Science and Information Conference, 2014.
L. Boratto and S. Carta. Impact of Content Novelty on the Accuracy of a Group Recommender System. In Proceedings of the 16th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2014), 2014.
M. Manca, L. Boratto, S. Carta. Mining User Behavior in a Social Bookmarking System: a Delicious Friend Recommender System. In Proceedings of the 3rd International Conference on Data Management Technologies and Applications (DATA 2014), 2014.
R. Saia, L. Boratto, S. Carta. Semantic Coherence-based User Profile Modeling in the Recommender Systems Context. In Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval (KDIR), 2014.

2013

M. Bartoletti, T. Cimoli and R. Zunino. A theory of agreements and protection. In Proc. POST, 2013.
M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. In Proc. FMOODS-FORTE, 2013. A preliminary version of this paper has been presented at BEAT 2013.
M. Bartoletti, T. Cimoli and G.M. Pinna. Lending Petri nets and contracts. In Proc. FSEN, 2013. Also available as CoRR abs/1211.3624.
M. Bartoletti, T. Cimoli, P. Di Giamberardino and R. Zunino. Contract agreements via logic. In Proc. ICE, 2013. Also available as CoRR abs/1306.0026.
M. Bartoletti, P. Di Giamberardino and R. Zunino. Towards a linear contract logic. In Proc. ICTCS, 2013.
L. Boratto, S. Carta, M. Manca, F. Mulas, P. Pilloni, G.M. Pinna, and E. Vargiu. A Clustering Approach for Tag Recommendation in Social Environments. International Journal of E-Business Development, 3(3), 2013.
L. Boratto and S. Carta. Exploring the Ratings Prediction Task in a Group Recommender System that Automatically Detects Groups. In Proc. IMMM 2013, 3rd Int. Conf. on Advances in Information Mining and Management, 2013.
J. Lange and A. Scalas. Choreography synthesis as contract agreement. In Proc. ICE, 2013.
F. Mulas, S. Carta, P. Pilloni, and L. Boratto. Everywhere Run: a Virtual Personal Trainer for Supporting People in their Running Activity. In IJACSci, Vol. 3, No. 2, 2013
P. Pilloni, F.Mulas, L. Piredda, and S. Carta. How User Experience Design Can Affect Motivation: A Study on a Real World Sport Application. In Proc. Int. Conf. on Social Eco-Informatics (SOTICS), 2013.
P. Pilloni, F.Mulas, L. Piredda, and S. Carta. Assessing the User Experience Design as a Persuasive Methodology in a Real World Sport Application. In Proc. Int. Conf. on Advances in Mobile Computing & Multimedia (MoMM), 2013.
M. Manca, L. Boratto and S. Carta. Producing Friend Recommendations in a Social Bookmarking System by Mining Users Content. In Proc. IMMM 2013, 3rd Int. Conf. on Advances in Information Mining and Management, 2013.
F. Mulas, P. Pilloni, M. Manca, L. Boratto, S. Carta. Linking Human-Computer Interaction with the Social Web: a Web Application to Improve Motivation in the Exercising Activity of Users. In Proc. 4th IEEE International Conference on Cognitive Infocommunicaitons (CogInfoCom'13), 2013.
F. Mulas, P. Pilloni, M. Manca, L. Boratto, S. Carta. Using New Communication Technologies and Social Media Interaction to Improve the Motivation of Users to Exercise. In Proc. 2nd Int. Conf. on Future Generation Communication Technologies (FGCT 2013), 2013.

2012

B. Aman, G. Ciobanu and G. M. Pinna. Timed Catalytic Petri Nets. In Proc. SYNASC, 2012
M. Bartoletti, E. Tuosto, R. Zunino. Contract-oriented Computing in CO2. In Scientific Annals of Computer Science, 22(1), 2012.
M. Bartoletti, E. Tuosto, R. Zunino. On the realizability of contracts in dishonest systems. In Proc. COORDINATION, 2012. Also available as CoRR abs/1201.6188, 2012.
M. Bartoletti, T. Cimoli, G.M. Pinna and R. Zunino. An event-based model for contracts. In Proc. PLACES, 2012.
M. Bartoletti, T. Cimoli, G.M. Pinna and R. Zunino. Circular causality in event structures. In ICTCS, 2012.
M. Bartoletti, A. Scalas, E. Tuosto and R. Zunino. What if contracts are violated? Short paper presented at FLACOS, 2012.
G. Ciobanu and G.M. Pinna. Catalytic Petri Nets are Turing Complete. In Proc. LATA, 2012.
F. Mulas, P. Pilloni, S. Carta. Everywhere Race! A Social Mobile Platform for Sport Engagement and Motivation. In Proc. Int. Conf. on Social Eco-Informatics (SOTICS), 2012.
G. Michele Pinna, Andrea Saba. Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. 431, 2012

2011

M. Bartoletti, E. Tuosto and R. Zunino. Contracts in Distributed Systems. In Proc. Interaction and Concurrency Experience (ICE), 2011
M. Bartoletti, L. Caires, I. Lanese, F. Mazzanti, D. Sangiorgi, H. T. Vieira and R. Zunino. Tools and Verification. In Martin Wirsing and Matthias Hölzl (Eds.). Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, Springer LNCS 6582, 2011
M. Bartoletti, P. Degano, G. Ferrari and R. Zunino. Call-by-contract for service discovery, orchestration and recovery. In Martin Wirsing and Matthias Hölzl (Eds.). Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, Springer LNCS 6582, 2011
G.M. Pinna. How much is worth to remember ? A taxonomy based on Petri Nets unfoldings. In Proc. Petri Nets, 2011.
F. Mulas, S. Carta, P. Pilloni, and M. Manca. Everywhere run: a virtual personal trainer for supporting people in their running activity. In Proc. 8th Int. Conf. on Advances in Computer Entertainment Technology (ACE), 2011.
F. Mulas, S. Carta, A. Acquaviva. Queue-based scheduling for soft real time applications. In Proc. 3rd Int. Conf. on Advances in Multimedia (MMEDIA), 2011 (Best Paper Award)

2010

M. Bartoletti and R. Zunino. A calculus of contracting processes. In Proc. IEEE Logics in Computer Science (LICS), 2010.
M. Bartoletti and R. Zunino. Primitives for contract-based synchronization. In Proc. Interaction and Concurrency Experience (ICE), 2010
M. Bartoletti and R. Zunino. Static enforcement of service deadlines. In Proc. IEEE Software Engineering and Formal Methods (SEFM), 2010.
L. Boratto and S. Carta. State-of-the-Art in Group Recommendation and New Approaches for Automatic Identification of Groups. In Information Retrieval and Mining in Distributed Environments. Studies for Computational Intelligence, Springer Verlag, 2010.
L. Boratto, S. Carta, and M. Satta. Groups Identification and Individual Recommendations in Group Recommendation Algorithms. In Proc. Workshop on the Practical Use of Recommender Systems, Algorithms and Technologies (PRSAT), 2010.
F. Mulas, A. Acquaviva, S. Carta, G. Fenu, D. Quaglia, F. Fummi. Network-Adaptive Management of Computation Energy in Wireless Sensor Networks. In Proc. ASM Symposium On Applied Computing, 2010
G. Michele Pinna, Andrea Saba. Simultaneity in Event Structures. In Proc. TAMC, 2010

2009

M. Bartoletti, P. Degano, G.L. Ferrari and R. Zunino. Local policies for resource usage analysis. In ACM Transactions on Programming Languages and Systems, Vol. 31, Issue 6, 2009.
M. Bartoletti, P. Degano and G.L. Ferrari. Planning and verifying service composition. In Journal of Computer Security, Vol. 17, Issue 5, 2009.
M. Bartoletti, P. Degano, G. Costa, F. Martinelli and R. Zunino. Securing Java with Local Policies. In Journal of Object Technology, Vol. 8, Issue 4, 2009.
L. Boratto, S. Carta, A. Chessa, M. Agelli, M.L. Clemente. Group recommendation with automatic identification of users communities. In Proc. IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2009.
L. Boratto, S. Carta, E. Vargiu. RATC. A Robust Automated Tag Clustering Technique. In E-Commerce and Web Technologies. In Proc. EC-Web 09, LNCS 5692, Springer-Verlang, 2009.
F. Mulas, D.Atienza, A. Acquaviva, S. Carta, L. Benini G. De Micheli. Thermal Balancing Policy for Multiprocessor Stream Computing Platforms. In Transactions on Computer-Aided Design of Integrated Circuits And Systems, vol. 28, 2009

2008

M. Bartoletti, P. Degano, G.L. Ferrari and R. Zunino. Semantics-based design for secure Web Services. In IEEE Transactions on Software Engineering, Vol. 34, Issue 1, 2008. (tech report)
S. Carta, A. Alimonda, M.L. Clemente, M. Agelli. Glue: Improving tag-based contents retrieval exploiting implicit user feedback. In Proc. 8th Dutch-Belgian Information Retrieval Workshop (DIR 2008), 2008.
F. Mulas, M. Pittau, M. Buttu, S. Carta, A. Acquaviva, D. Atienza, L. Benini, G. De Micheli. Thermal Balancing Policy for Streaming Computing on Multiprocessor Architectures. In Proc. IEEE/ACM Design Automation and Test Conference, 2008.