NOMAD - Next-generation Open Mobile Apps Development This project has been funded by the Autonomous Region of Sardinia, with grant PIA 2013 (total funding: EU 1.020.000).
Project MembersUniversità degli Studi di Cagliari - Dipartimento di Matematica e Informatica
Project Coordinators
- Massimo Bartoletti
- Salvatore Carta
Reseach Associates - Ludovico Boratto
- Tiziana Cimoli
- Paolo Pilloni
- G. Michele Pinna
- Roberto Saia
PhD Students - Nicola Atzei
- Maurizio Murgia
- Alessandro Sebastian Podda
- Livio Pompianu
Temporary contract holders
- Stefano Lande
- Maria Luisa Mulas
- Giordano Sini
Publications2018- 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
- 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, S. Carta. Evaluating the Benefits of Using Proactive Transformed-domain-based Techniques. In Future Generation Computer Systems, Elsevier (FGCS), 2018
- R. Saia, D. Reforgiato Recupero, S. Carta. A Probabilistic-driven Ensemble Approach to Perform Event Classification in Intrusion Detection System. 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KDIR), 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
- R. Saia, S. Carta. Proactivity
or Retroactivity? Evaluating the Benefits of Using Proactive
Transformed-domain-based Techniques in Fraud Detection Tasks. High Quality Journal Forum, 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 2018.
- R. Saia, S. Carta, G. Fenu. A Wavelet-based Data Analysis to Credit Scoring. 2nd International Conference on Digital Signal Processing (ICDSP), 2018.
- R. Saia. Unbalanced Data Classification in Fraud Detection by Introducing a Multidimensional Space Analysis. 3rd International Conference on Internet of Things, Big Data and Security (IoTBDS), 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, S. Carta, T. Cimoli, R. Saia. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. Presented at P2PFISY, 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. A Discrete Wavelet Transform Approach to Fraud Detection. International Workshop on Security Measurements of Cyber Networks (SMCN), Helsinki, Finland, 2017.
- R. Saia, S. Carta. Evaluating Credit Card Transactions in the Frequency Domain for a Proactive Fraud Detection Approach. 14th International Conference on Security and Cryptography (SECRYPT), 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), 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- N. Atzei, M. Bartoletti. Developing honest Java programs with Diogenes. In Proc. FORTE, 2016.
- M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. In Logical Methods in Computer Science, 12(4), 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. Representing Items as Word-Embedding Vectors and Generating Recommendations by Measuring their Linear Independence. ACM Recommender Systems conference (RecSys-2016), Boston, MA, USA, 2016.
- R. Saia, L. Boratto, S. Carta. Improving the Accuracy of Latent-space-based Recommender Systems by Introducing a Cut-off Criterion. Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS), Brussels, Belgium, 2016.
- R. Saia, L. Boratto, S. Carta, G. Fenu. Using Neural Word Embeddings to Model User Behavior and Detect User Segments. 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. 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.
|