Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Spanò, Alvise
19  Ergebnisse:
Personensuche X
?
1

Flexible and reversible conversion between extensible recor..:

Spanò, Alvise
Journal of Systems and Software.  216 (2024)  - p. 112141 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Rinmaker: a fast, versatile and reliable tool to determine ..:

Spanò, Alvise ; Fanton, Lorenzo ; Pizzolato, Davide...
BMC Bioinformatics.  24 (2023)  1 - p. , 2023
Link: https://doi.org/10.1186/..
 
?
3

ALGOMOVE – A Move Embedding for Algorand:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),
Benetollo, Lorenzo ; Bugliesi, Michele ; Crafa, Silvia.. - p. 62-67 , 2023
Link: https://doi.org/10.1109/..
 
?
4

A Wearable System for Jump Detection in Inline Figure Skati..:

Panfili, Antonio ; Spanò, Alvise ; Cortesi, Agostino
Sensors.  22 (2022)  4 - p. 1650 , 2022
Link: https://doi.org/10.3390/..
 
?
5

Geographic location based secure, dynamic and opportunistic..:

Chakraborty, Manali ; Spanò, Alvise ; Cortesi, Agostino
Ad Hoc Networks.  123 (2021)  - p. 102689 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Legodroid: A Type-Driven Library for Android and LEGO Minds..:

Spanò, Alvise ; Cortesi, Agostino
Sensors.  20 (2020)  7 - p. 1926 , 2020
Link: https://doi.org/10.3390/..
 
?
7

Type-Driven Cross-Programming for Android and LEGO Mindstor..:

, In: Computer Information Systems and Industrial Management; Lecture Notes in Computer Science,
Spanò, Alvise ; Cortesi, Agostino ; Zausa, Giulio - p. 191-209 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Geographic Location Based Dynamic and Opportunistic RPL for..:

, In: Computer Information Systems and Industrial Management; Lecture Notes in Computer Science,
Chakraborty, Manali ; Spano, Alvise ; Cortesi, Agostino - p. 120-131 , 2019
Link: https://doi.org/10.1007/..
 
?
9

A formal specification for casanova, a language for compute..:

, In: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems,
Maggiore, Giuseppe ; Spanò, Alvise ; Orsini, Renzo... - p. 287-292 , 2012
Link: https://dl.acm.org/doi/1..
 
?
10

Rinmaker: a fast, versatile and reliable tool to determine ..:

Spanò, Alvise ; Fanton, Lorenzo ; Pizzolato, Davide...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10496328/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
11

Legodroid: A Type-Driven Library for Android and LEGO Minds..:

Spanò, Alvise ; Cortesi, Agostino
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7181153/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
12

Lintent: Towards Security Type-Checking of Android Applicat..:

Bugliesi, Michele ; Calzavara, Stefano ; Spanò, Alvise
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-38592-6_20.  , 2013
Link: https://hal.inria.fr/hal..
 
?
13

Lintent: Towards Security Type-Checking of Android Applicat..:

Bugliesi, Michele ; Calzavara, Stefano ; Spanò, Alvise
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-38592-6_20.  , 2013
Link: https://hal.inria.fr/hal..
 
?
14

Rinmaker: a fast, versatile and reliable tool to determine ..:

Alvise Spanò ; Lorenzo Fanton ; Davide Pizzolato...
https://doi.org/10.1186/s12859-023-05466-y.  , 2023
Link: https://doi.org/10.1186/..
 
?
15

RINmaker: a fast, versatile and reliable tool to determine ..:

Alvise Spanò ; Lorenzo Fanton ; Davide Pizzolato...
info:eu-repo/semantics/altIdentifier/wos/WOS:001065797200002.  , 2023
Link: https://hdl.handle.net/1..
 
1-15