Topic | Research area |
---|---|
Data intensive scalable computing |
Sistemi informativi
Information systems applications |
Static Analysis |
Ingegneria del Software e Sicurezza
Software organization and properties |
Spatial query processing and optimization |
Sistemi informativi
Data management systems |
Geographical Information Systems & Spatial Data Infrastructures (SDI) |
Sistemi informativi
Information systems applications |
Conceptual modeling of spatial databases |
Sistemi informativi
Information systems applications |
Program semantics |
Informatica teorica
Semantics and reasoning |
Sistemi di raccomandazione |
Sistemi informativi
Information systems applications |
Process-Aware Information Systems |
Sistemi informativi
Information systems applications |
Title | Managers | Sponsors | Starting date | Duration (months) |
---|---|---|---|---|
Implementation of a Java Framework for Smart Contracts | Nicola Fausto Spoto | Ailia SA | Jan 1, 2019 | 12 |
Integrazione del linguaggio Takamaka di programmazione di smart contract in Java con la blockchain Takamaka e sua documentazione per l’utente | Nicola Fausto Spoto | Ailia SA | Jun 16, 2020 | 6 |
Study and documentation of the Cosmos SDK for programming blockchains | Nicola Fausto Spoto | Commerc.io srl | Oct 1, 2020 | 2 |
CSS e script comuni siti DOL - frase 9957