SPANO', Alvise

SPANO', Alvise  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A formal specification for Casanova, a language for computer games 1-gen-2012 Alvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMEDSteffinlongo, Enrico + 4.1 Articolo in Atti di convegno -
A Wearable System for Jump Detection in Inline Figure Skating 1-gen-2022 Panfili A.Spano A.Cortesi A. 2.1 Articolo su rivista -
ALGOMOVE – A Move Embedding for Algorand 1-gen-2023 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise 4.1 Articolo in Atti di convegno -
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 1-gen-2012 GALLINA, LUCIAMARIN, AndreaROSSI, SabinaS. Spanò + 4.1 Articolo in Atti di convegno -
Designing Casanova: a language for games 1-gen-2011 Alvise SpanòORSINI, RenzoBUGLIESI, MicheleABBADI, MOHAMED + 4.1 Articolo in Atti di convegno -
Flexible and reversible conversion between extensible records and overloading constraints for ML 1-gen-2024 Spanò, Alvise 2.1 Articolo su rivista -
Geographic location based dynamic and opportunistic RPL for distributed networks 1-gen-2019 Chakraborty M.Spano A.Cortesi A. 4.1 Articolo in Atti di convegno -
Geographic location based secure, dynamic and opportunistic RPL for distributed networks 1-gen-2021 Chakraborty M.Spano A.Cortesi A. 2.1 Articolo su rivista -
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 1-gen-2020 Spano A.Cortesi A. 2.1 Articolo su rivista -
Lintent: Towards Security Type-Checking of Android Applications 1-gen-2013 BUGLIESI, MicheleCALZAVARA, STEFANOSPANO', ALVISE 4.1 Articolo in Atti di convegno -
RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins 1-gen-2023 Alvise SpanòLorenzo FantonDavide PizzolatoJacopo MoiFrancesco VinciAlberto PesceCedrix J. Dongmo FoumthuimAchille GiacomettiMarta Simeoni 2.1 Articolo su rivista -
Smart contract languages: A comparative analysis 1-gen-2024 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise + 2.1 Articolo su rivista -
Type-driven cross-programming for android and LEGO Mindstorms interoperability 1-gen-2019 Spano A.Cortesi A.Zausa G. 4.1 Articolo in Atti di convegno -
Type-Flow Analysis for Legacy Cobol Code 1-gen-2011 SPANO', ALVISEBUGLIESI, MicheleCORTESI, Agostino 4.1 Articolo in Atti di convegno -
Typing Legacy COBOL Code 1-gen-2013 SPANO', ALVISEBUGLIESI, MicheleCORTESI, Agostino 3.1 Articolo su libro -