Sfoglia per Autore
Designing Casanova: a language for games
2011-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Giulia, Costantini; Bugliesi, Michele; Abbadi, Mohamed
Type-Flow Analysis for Legacy Cobol Code
2011-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
A formal specification for Casanova, a language for computer games
2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
2012-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina; S., Spanò
Typing Legacy COBOL Code
2013-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Lintent: Towards Security Type-Checking of Android Applications
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Spano', Alvise
Type-driven cross-programming for android and LEGO Mindstorms interoperability
2019-01-01 Spano, A.; Cortesi, A.; Zausa, G.
Geographic location based dynamic and opportunistic RPL for distributed networks
2019-01-01 Chakraborty, M.; Spano, A.; Cortesi, A.
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability
2020-01-01 Spano, A.; Cortesi, A.
Geographic location based secure, dynamic and opportunistic RPL for distributed networks
2021-01-01 Chakraborty, M.; Spano, A.; Cortesi, A.
A Wearable System for Jump Detection in Inline Figure Skating
2022-01-01 Panfili, A.; Spano, A.; Cortesi, A.
ALGOMOVE – A Move Embedding for Algorand
2023-01-01 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise
RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins
2023-01-01 Spanò, Alvise; Fanton, Lorenzo; Pizzolato, Davide; Moi, Jacopo; Vinci, Francesco; Pesce, Alberto; Dongmo Foumthuim, Cedrix J.; Giacometti, Achille; Simeoni, Marta
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile