IRIS
BRODO, Linda
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.642
AS - Asia 1.519
SA - Sud America 949
EU - Europa 902
AF - Africa 74
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 7.092
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.560
BR - Brasile 868
SG - Singapore 620
CN - Cina 412
UA - Ucraina 251
IT - Italia 165
HK - Hong Kong 140
VN - Vietnam 112
DE - Germania 111
SE - Svezia 71
FR - Francia 70
GB - Regno Unito 62
FI - Finlandia 52
IN - India 37
CA - Canada 35
MX - Messico 27
IQ - Iraq 26
TR - Turchia 25
AR - Argentina 24
ZA - Sudafrica 24
BD - Bangladesh 21
RU - Federazione Russa 21
BE - Belgio 20
UZ - Uzbekistan 18
EC - Ecuador 16
MA - Marocco 15
PK - Pakistan 14
JP - Giappone 13
NL - Olanda 12
CO - Colombia 9
KE - Kenya 9
LT - Lituania 9
PL - Polonia 9
TN - Tunisia 9
AZ - Azerbaigian 7
JO - Giordania 7
KR - Corea 7
OM - Oman 7
PE - Perù 7
SA - Arabia Saudita 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
RO - Romania 6
VE - Venezuela 6
BY - Bielorussia 5
DZ - Algeria 5
IR - Iran 5
PH - Filippine 5
UY - Uruguay 5
BO - Bolivia 4
CL - Cile 4
JM - Giamaica 4
MD - Moldavia 4
AL - Albania 3
AU - Australia 3
EU - Europa 3
GE - Georgia 3
ID - Indonesia 3
IL - Israele 3
KZ - Kazakistan 3
LV - Lettonia 3
SN - Senegal 3
BG - Bulgaria 2
CR - Costa Rica 2
EG - Egitto 2
KW - Kuwait 2
NI - Nicaragua 2
PA - Panama 2
AM - Armenia 1
AO - Angola 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BW - Botswana 1
CH - Svizzera 1
CY - Cipro 1
ET - Etiopia 1
GA - Gabon 1
GT - Guatemala 1
HN - Honduras 1
HU - Ungheria 1
IE - Irlanda 1
KG - Kirghizistan 1
KH - Cambogia 1
KY - Cayman, isole 1
MK - Macedonia 1
ML - Mali 1
MY - Malesia 1
NG - Nigeria 1
PT - Portogallo 1
QA - Qatar 1
RS - Serbia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 7.090
Salva come PNG Salva come JPEG
Città #
Dallas 1.755
Chandler 338
Singapore 337
San Jose 224
Ashburn 153
Hong Kong 139
Jacksonville 136
Princeton 90
Beijing 79
São Paulo 72
Ann Arbor 60
Nanjing 56
Lauterbourg 55
Los Angeles 45
Wilmington 41
Ho Chi Minh City 35
Shanghai 34
Sassari 31
Hanoi 29
Rio de Janeiro 28
Belo Horizonte 26
Dearborn 26
Boardman 22
London 22
Mountain View 22
New York 22
Changsha 21
Nanchang 20
The Dalles 19
Brussels 18
Johannesburg 18
Santa Clara 18
Brasília 17
Hebei 16
Orem 16
Council Bluffs 15
Tashkent 15
Toronto 15
Woodbridge 15
Curitiba 14
Shenyang 14
Campinas 13
Helsinki 13
Porto Alegre 13
San Mateo 13
Tokyo 13
Buffalo 12
Campo Grande 11
Milan 11
Palermo 11
San Francisco 10
Tianjin 10
Amsterdam 9
Baghdad 9
Certaldo 9
Chennai 9
Frankfurt am Main 9
Haiphong 9
Houston 9
Jinan 9
Joinville 9
Montreal 9
Nairobi 9
São Bernardo do Campo 9
Duque de Caxias 8
Leawood 8
Uberlândia 8
Warsaw 8
Columbus 7
Guarulhos 7
Hangzhou 7
Salvador 7
Seoul 7
Stockholm 7
Turku 7
Amman 6
Andover 6
Atlanta 6
Augusta 6
Baku 6
Boston 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
Ardabil 5
Betim 5
Brno 5
Canoas 5
Casablanca 5
Chicago 5
Jiaxing 5
Mexico City 5
Totale 4.588
Salva come PNG Salva come JPEG
Nome #
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 1.162
Distinctiveness of faces: a computational approach 208
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene» 200
Detecting and preventing type flaws at static time 193
A process algebraic approach to reaction systems 172
Comparing faces: a computational and perceptual study 166
Detecting and preventing type flaws: a control flow analysis with tags 145
On the complexity of visual judgement of kinship 144
A global occurrence counting analysis for Brane Calculi 142
Control Flow Analysis of Generalised Boolean Networks 141
A Flat Process Calculus for Nested Membrane Interactions 141
A formal approach to open multiparty interactions 140
A logical and graphical framework for reaction systems 138
A static analysis for Brane Calculi providing global occurrence counting information 137
Deducing interactions in partially unspecified biological systems 136
Enhancing Reaction Systems: A Process Algebraic Approach 130
A stochastic semantics for BioAmbients 124
Comparing faces: a computational and perceptual study 124
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 123
Brane Calculi Systems: A Static Preview of their Possible Behaviour 122
A Constraint-based language for multiparty interactions 117
Measuring changes in face appearance through aging 113
On the Quantitative Estimation of Short-Term Aging in Human Faces 110
Verification techniques for a network algebra 110
Static evidences for attack reconstruction 105
Visual judgments of kinship: An alternative perspective 100
Face-pair scrutiny - subject-type classification 97
Variabilità geografica nell'accesso e utilizzo dei servizi di salute mentale in Europa 94
On the expressiveness of π-calculus for encoding mobile ambients 93
The link-calculus for open multiparty interactions 91
Causal analysis of positive Reaction Systems 90
Formal Executable Descriptions of Biological Systems 90
Mapping Coloured Stochastic Petrinets to stochastic process algebras 89
Static Detection of Logic Flaws in Service-Oriented Applications 87
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 84
On the quantitative estimation of short-term aging in human faces 84
ccReact: a rewriting framework for the formal analysis of reaction systems 83
Symbolic semantics for multiparty interactions in the link-calculus 83
Static What-if Analysis of Generalised Boolean Networks 83
Performance evaluation for global computation 82
Open multiparty interaction 81
Recognition of human faces: from biological to artificial vision 80
A framework for monitored dynamic slicing of reaction systems 80
Statically Detecting Message Confusions in a Multi-Protocol Setting 79
Reflecting Mobile Ambient into the pi-calculus 78
Verification of Reaction Systems Processes 77
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 74
Formal executable descriptions of biological systems 67
On the Expressiveness of the pi-Calculus and the Mobile Ambients 67
Quantitative extensions of reaction systems based on SOS semantics 66
Process calculi for biological processes 63
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 61
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 60
Statically detecting message confusions in a multi-protocol setting 59
Modeling and Analyzing Reaction Systems in Maude 57
SOS Rules for Equivalences of Reaction Systems 54
Simulation and Analysis of Distributed Reaction Systems 51
Variations in use and access of mental health services in Europe 47
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 35
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 24
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 22
Totale 7.155
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.150
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 25.150
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202111 0 0 0 0 0 0 0 0 0 0 0 11
2021/2022247 34 3 1 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.377 83 781 1.105 396 232 136 318 72 78 136 32 8
Totale 7.155