CRAFA, SILVIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.596
AS - Asia 1.151
EU - Europa 1.147
SA - Sud America 252
AF - Africa 149
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 10
Totale 6.323
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.519
IT - Italia 423
SG - Singapore 377
HK - Hong Kong 268
CN - Cina 225
BR - Brasile 183
DE - Germania 123
VN - Vietnam 109
PL - Polonia 90
FI - Finlandia 89
FR - Francia 57
RU - Federazione Russa 56
UA - Ucraina 44
GB - Regno Unito 43
NL - Olanda 39
SE - Svezia 24
ES - Italia 19
AR - Argentina 14
ID - Indonesia 14
KR - Corea 14
AT - Austria 12
MK - Macedonia 12
GR - Grecia 11
IE - Irlanda 11
PK - Pakistan 11
BD - Bangladesh 10
EC - Ecuador 10
BB - Barbados 9
DK - Danimarca 9
IN - India 9
MA - Marocco 9
MX - Messico 9
BO - Bolivia 8
EE - Estonia 8
GA - Gabon 8
IQ - Iraq 8
JP - Giappone 8
AZ - Azerbaigian 7
CA - Canada 7
CW - ???statistics.table.value.countryCode.CW??? 7
CZ - Repubblica Ceca 7
MD - Moldavia 7
PY - Paraguay 7
AE - Emirati Arabi Uniti 6
BF - Burkina Faso 6
CI - Costa d'Avorio 6
JO - Giordania 6
PE - Perù 6
PH - Filippine 6
PT - Portogallo 6
SD - Sudan 6
TN - Tunisia 6
UY - Uruguay 6
VE - Venezuela 6
YE - Yemen 6
AO - Angola 5
AU - Australia 5
BS - Bahamas 5
CH - Svizzera 5
CO - Colombia 5
CV - Capo Verde 5
DJ - Gibuti 5
EG - Egitto 5
GF - Guiana Francese 5
GN - Guinea 5
KG - Kirghizistan 5
LY - Libia 5
MG - Madagascar 5
MW - Malawi 5
MY - Malesia 5
NO - Norvegia 5
PA - Panama 5
SA - Arabia Saudita 5
TJ - Tagikistan 5
TR - Turchia 5
UZ - Uzbekistan 5
ZA - Sudafrica 5
CU - Cuba 4
DZ - Algeria 4
GM - Gambi 4
HN - Honduras 4
HU - Ungheria 4
IL - Israele 4
JM - Giamaica 4
KZ - Kazakistan 4
LU - Lussemburgo 4
ME - Montenegro 4
ML - Mali 4
MR - Mauritania 4
NG - Nigeria 4
NI - Nicaragua 4
NZ - Nuova Zelanda 4
RE - Reunion 4
SI - Slovenia 4
SK - Slovacchia (Repubblica Slovacca) 4
TT - Trinidad e Tobago 4
WS - Samoa 4
YT - Mayotte 4
AD - Andorra 3
AL - Albania 3
Totale 6.206
Salva come PNG Salva come JPEG
Città #
Fairfield 499
Woodbridge 410
Santa Clara 307
Houston 297
Hong Kong 268
Ann Arbor 238
Ashburn 222
Singapore 194
Seattle 182
Jacksonville 172
Wilmington 167
Cambridge 165
Chandler 108
Boardman 89
Bytom 83
Princeton 76
Dong Ket 71
Beijing 63
Milan 56
Padova 53
Medford 51
Munich 46
San Diego 45
Rome 40
Des Moines 38
Helsinki 35
Nanjing 28
Catania 16
London 16
Shenyang 16
São Paulo 15
Valenzano 14
Hanoi 12
Ho Chi Minh City 12
Brendola 11
Turku 11
Amsterdam 10
Dublin 10
Hebei 10
Hefei 10
Los Angeles 10
Naples 10
Nuremberg 9
Venice 9
Bridgetown 8
Libreville 8
Maastricht 8
Varese 8
Vienna 8
Baku 7
Florence 7
Móstoles 7
Nanchang 7
Rio de Janeiro 7
Roxbury 7
Seravezza 7
Tallinn 7
Venezia 7
Amman 6
Atlanta 6
Montevideo 6
Ouagadougou 6
Skopje 6
Tianjin 6
Willemstad 6
Abidjan 5
Boston 5
Brooklyn 5
Chisinau 5
Conakry 5
Dhaka 5
Djibouti 5
Dushanbe 5
Genoa 5
Lappeenranta 5
Madrid 5
Moscow 5
Panama City 5
Sanaa 5
Seoul 5
Stockholm 5
Vigonza 5
Warsaw 5
Antananarivo 4
Apia 4
Aprilia 4
Athens 4
Bamako 4
Belo Horizonte 4
Buenos Aires 4
Cairo 4
Casablanca 4
Cava de' Tirreni 4
Charlotte 4
Columbus 4
Council Bluffs 4
Guayaquil 4
Jakarta 4
Jiaxing 4
Jinan 4
Totale 4.507
Salva come PNG Salva come JPEG
Nome #
Sull’indeterminatezza della procedura di attribuzione dei seggi nella legge elettorale italiana 219
Computing from LaTeX: automated numerical computing from LaTeX expressions 213
Subtyping and Matching for Mobile Objects 156
The chemical approach to typestate-oriented programming 148
A type system for discretionary access control 141
Saving space in a time efficient simulation algorithm 141
The role of concurrency in an evolutionary view of programming abstractions 138
Communication Interference in Mobile Boxed Ambients 137
Event structure semantics of parallel extrusion in the pi-calculus. 135
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 133
Access control for mobile agents: the calculus of boxed ambients 133
The chemical approach to typestate-oriented programming 129
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 128
Boxed Ambients 126
Impronte digitali, algoritmo e trattamento di dati personali: questioni di "law and technology" 125
Probabilistic bisimulation and simulation algorithms by abstract interpretation 121
Communication and mobility control in boxed ambients 119
A theory of noninterference for the pi-calculus 119
Saving space in a time efficient simulation algorithm 119
Secrecy in Untrusted Networks 115
P-congruences as noninterference for the pi-calculus. 114
Typed interpretations of extensible objects 113
Information Flow Security in Boxed Ambients 113
Reasoning about security in Mobile Ambients 105
Semantics of (Resilient) X10 103
A Logic for True Concurrency 102
Controlling information release in the pi-calculus. 99
Type based discretionary access control 99
A spectrum of behavioral relations over LTSs on probability distributions 98
A Survey of Name-Passing Calculi and Crypto-PrimitivesFoundations of Security Analysis and Design II 97
Is Solidity Solid Enough? 97
MitopatHs: A new logically-framed tool for visualizing multiple mitochondrial pathways 93
A Logic for True Concurrency 92
Object Calculi with Dynamic Messages 90
Proof search in a context-sensitive logic for molecular biology 87
Compositional event structure semantics for the internal pi-calculus 83
Fine-Grained Detection of Privilege Escalation Attacks on Browser ExtensionsProgramming Languages and Systems 81
Hereditary History-Preserving Bisimilarity: Logics and Automata 81
Preface 80
Solidity 0.5: when typed does not mean type safe 74
Digital technologies and behavior manipulation 74
PicNic - pi-calculus non-interference checker. (Tool paper) 69
Actors vs Shared Memory: two models at work on Big Data application frameworks 69
An overview of Boxed Ambients 66
Pacta sunt servanda: legal contracts in Stipula 65
Artificial Intelligence and Human Dialogue 65
Tecnologia accessibile e societa' inclusiva: binomio possibile? 65
From agent-based modeling to actor-based reactive systems in the analysis of financial networks 65
Typed mobile objects 64
Dalle competenze alla consapevolezza digitale: capire la complessita' e la non neutralita' del software 63
Moral Exercises for Human Oversight of Algorithmic Decision-Making 62
Le forme del falso negli smart contract 61
Piattaforma o non piattaforma? Considerazioni a margine dell'art. 1, comma 1, lett. c), del d.l. 101/2019 61
Behavioural Types for Actor Systems 60
Understanding the development of modern programming languages in an evolutionary framework [Comprendere lo sviluppo dei moderni linguaggi di programmazione in chiave evolutiva] 56
ALGOMOVE – A Move Embedding for Algorand 55
Pacta sunt servanda: Legal contracts in Stipula 53
Algorithmic Thinking for the Legal Writing: The Case of Italian Election Law 53
Preface 53
Programming Legal Contracts: – A Beginners Guide to Stipula – 51
Art Attach - The digital world with the language of art 51
Smart contract languages: A comparative analysis 50
Causality in concurrent systems 48
Il business della vendita dei dati, pratiche e conseguenze nell'etica sociale 43
Modelling the Evolution of Programming Languages 40
Art Attach - The digital world with the language of art: Relationships, between aesthetics and digital 38
On the reactive nature of financial networks 37
On the chemistry of typestate-oriented actors 34
Liquidity Analysis in Resource-Aware Programming 33
Controlling information release in the π-calculus 32
The data selling business, its practices and consequences in social ethics 31
From Legal Contracts to Legal Calculi: the code-driven normativity 28
Formal Verification in Solidity and Move: Insights from a Comparative Analysis 18
Totale 6.409
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.291
article - articoli 8.231
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.643
Totale 32.165
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021462 0 0 12 19 19 27 6 62 52 93 76 96
2021/2022694 15 103 130 32 27 13 36 87 34 9 99 109
2022/2023408 110 3 10 25 67 52 3 27 59 9 23 20
2023/2024359 11 51 54 32 16 13 22 16 10 27 65 42
2024/20251.864 45 126 80 103 403 25 65 163 118 67 257 412
2025/2026832 163 464 205 0 0 0 0 0 0 0 0 0
Totale 6.409