IRIS
BRODO, Linda
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.219
AS - Asia 1.537
EU - Europa 1.082
SA - Sud America 954
AF - Africa 75
Continente sconosciuto - Info sul continente non disponibili 66
OC - Oceania 3
Totale 7.936
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.116
BR - Brasile 869
SG - Singapore 625
CN - Cina 416
IT - Italia 318
UA - Ucraina 253
HK - Hong Kong 145
VN - Vietnam 113
DE - Germania 111
FR - Francia 71
SE - Svezia 71
GB - Regno Unito 68
FI - Finlandia 52
CA - Canada 40
IN - India 37
MX - Messico 27
IQ - Iraq 26
TR - Turchia 25
AR - Argentina 24
ZA - Sudafrica 24
BD - Bangladesh 22
LT - Lituania 22
RU - Federazione Russa 21
BE - Belgio 20
UZ - Uzbekistan 19
EC - Ecuador 16
MA - Marocco 15
PK - Pakistan 14
JP - Giappone 13
CO - Colombia 12
NL - Olanda 12
KE - Kenya 10
PL - Polonia 10
TN - Tunisia 9
AZ - Azerbaigian 7
JM - Giamaica 7
JO - Giordania 7
KR - Corea 7
OM - Oman 7
PE - Perù 7
RO - Romania 7
SA - Arabia Saudita 7
VE - Venezuela 7
AE - Emirati Arabi Uniti 6
AT - Austria 6
CZ - Repubblica Ceca 6
DO - Repubblica Dominicana 6
ES - Italia 6
NP - Nepal 6
PY - Paraguay 6
BY - Bielorussia 5
DZ - Algeria 5
IR - Iran 5
PH - Filippine 5
UY - Uruguay 5
BO - Bolivia 4
CL - Cile 4
MD - Moldavia 4
AL - Albania 3
AU - Australia 3
CR - Costa Rica 3
EU - Europa 3
GE - Georgia 3
ID - Indonesia 3
IL - Israele 3
KZ - Kazakistan 3
LV - Lettonia 3
SN - Senegal 3
TT - Trinidad e Tobago 3
BG - Bulgaria 2
EG - Egitto 2
GT - Guatemala 2
HN - Honduras 2
HU - Ungheria 2
KW - Kuwait 2
MY - Malesia 2
NI - Nicaragua 2
PA - Panama 2
PR - Porto Rico 2
RS - Serbia 2
SV - El Salvador 2
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BW - Botswana 1
BZ - Belize 1
CH - Svizzera 1
CY - Cipro 1
ET - Etiopia 1
GA - Gabon 1
GP - Guadalupe 1
HR - Croazia 1
IE - Irlanda 1
KG - Kirghizistan 1
KH - Cambogia 1
KY - Cayman, isole 1
LC - Santa Lucia 1
MK - Macedonia 1
Totale 7.864
Salva come PNG Salva come JPEG
Città #
Dallas 1.756
Singapore 339
Chandler 338
San Jose 276
Ashburn 221
Hong Kong 144
Jacksonville 136
Council Bluffs 127
Santa Clara 91
Princeton 90
Beijing 82
São Paulo 72
Columbus 66
Ann Arbor 60
Nanjing 56
Lauterbourg 55
Staranzano 50
Los Angeles 47
Milan 43
Wilmington 41
Ho Chi Minh City 36
Shanghai 34
Sassari 33
Hanoi 29
Rio de Janeiro 28
Belo Horizonte 26
Dearborn 26
New York 26
London 24
Boardman 22
Mountain View 22
Changsha 21
Nanchang 20
The Dalles 19
Brussels 18
Johannesburg 18
Brasília 17
Palermo 17
Hebei 16
Orem 16
Tashkent 16
Toronto 15
Vilnius 15
Woodbridge 15
Curitiba 14
Shenyang 14
Buffalo 13
Campinas 13
Helsinki 13
Phoenix 13
Porto Alegre 13
San Mateo 13
Tokyo 13
Campo Grande 11
Miano 11
Houston 10
Montreal 10
Nairobi 10
San Francisco 10
Tianjin 10
Amsterdam 9
Baghdad 9
Certaldo 9
Chennai 9
Frankfurt am Main 9
Haiphong 9
Jinan 9
Joinville 9
São Bernardo do Campo 9
Warsaw 9
Atlanta 8
Duque de Caxias 8
Leawood 8
Uberlândia 8
Chicago 7
Guarulhos 7
Hangzhou 7
Naples 7
Rome 7
Salvador 7
Seoul 7
Stockholm 7
Turku 7
Amman 6
Andover 6
Augusta 6
Baku 6
Boston 6
Brooklyn 6
Caxias do Sul 6
Denver 6
Istanbul 6
Kunming 6
Lahore 6
Poplar 6
Quito 6
Recife 6
Ribeirão Preto 6
Zhengzhou 6
Alghero 5
Totale 5.096
Salva come PNG Salva come JPEG
Nome #
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 1.179
Distinctiveness of faces: a computational approach 227
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene» 215
Detecting and preventing type flaws at static time 204
A process algebraic approach to reaction systems 188
Comparing faces: a computational and perceptual study 180
On the complexity of visual judgement of kinship 170
Detecting and preventing type flaws: a control flow analysis with tags 159
A global occurrence counting analysis for Brane Calculi 155
A Flat Process Calculus for Nested Membrane Interactions 153
A static analysis for Brane Calculi providing global occurrence counting information 153
Control Flow Analysis of Generalised Boolean Networks 152
A formal approach to open multiparty interactions 152
A logical and graphical framework for reaction systems 151
Deducing interactions in partially unspecified biological systems 150
Enhancing Reaction Systems: A Process Algebraic Approach 142
A stochastic semantics for BioAmbients 136
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 134
A Constraint-based language for multiparty interactions 133
Brane Calculi Systems: A Static Preview of their Possible Behaviour 132
Comparing faces: a computational and perceptual study 131
Measuring changes in face appearance through aging 126
Verification techniques for a network algebra 121
On the Quantitative Estimation of Short-Term Aging in Human Faces 119
Static evidences for attack reconstruction 116
Visual judgments of kinship: An alternative perspective 111
Face-pair scrutiny - subject-type classification 107
The link-calculus for open multiparty interactions 106
ccReact: a rewriting framework for the formal analysis of reaction systems 104
Variabilità geografica nell'accesso e utilizzo dei servizi di salute mentale in Europa 104
Causal analysis of positive Reaction Systems 103
Static Detection of Logic Flaws in Service-Oriented Applications 103
On the expressiveness of π-calculus for encoding mobile ambients 101
Verification of Reaction Systems Processes 100
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 98
Formal Executable Descriptions of Biological Systems 98
Mapping Coloured Stochastic Petrinets to stochastic process algebras 97
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 96
Performance evaluation for global computation 95
Open multiparty interaction 94
Recognition of human faces: from biological to artificial vision 94
Reflecting Mobile Ambient into the pi-calculus 93
Symbolic semantics for multiparty interactions in the link-calculus 93
On the quantitative estimation of short-term aging in human faces 92
Statically Detecting Message Confusions in a Multi-Protocol Setting 91
A framework for monitored dynamic slicing of reaction systems 91
Static What-if Analysis of Generalised Boolean Networks 89
On the Expressiveness of the pi-Calculus and the Mobile Ambients 79
Process calculi for biological processes 78
Modeling and Analyzing Reaction Systems in Maude 77
Quantitative extensions of reaction systems based on SOS semantics 76
Formal executable descriptions of biological systems 76
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 71
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 71
Statically detecting message confusions in a multi-protocol setting 67
SOS Rules for Equivalences of Reaction Systems 64
Simulation and Analysis of Distributed Reaction Systems 63
Variations in use and access of mental health services in Europe 55
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 48
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 43
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 30
Totale 7.936
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.130
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 28.130
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022209 0 0 0 4 2 5 14 10 28 19 25 102
2022/2023610 58 56 45 104 49 90 0 66 98 1 32 11
2023/2024136 34 10 4 6 25 3 0 7 0 3 14 30
2024/20251.775 9 21 85 34 73 108 186 390 551 199 80 39
2025/20263.387 83 781 1.105 396 232 136 318 72 78 136 32 18
2026/2027771 50 165 275 281 0 0 0 0 0 0 0 0
Totale 7.936