IRIS
BRODO, Linda
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.312
AS - Asia 1.297
SA - Sud America 932
EU - Europa 812
AF - Africa 70
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 6.429
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.238
BR - Brasile 856
SG - Singapore 562
CN - Cina 352
UA - Ucraina 251
IT - Italia 156
HK - Hong Kong 132
DE - Germania 106
SE - Svezia 70
VN - Vietnam 60
GB - Regno Unito 55
FI - Finlandia 52
CA - Canada 32
IN - India 26
IQ - Iraq 24
MX - Messico 24
ZA - Sudafrica 24
AR - Argentina 23
TR - Turchia 23
RU - Federazione Russa 21
BE - Belgio 20
BD - Bangladesh 17
UZ - Uzbekistan 16
EC - Ecuador 15
MA - Marocco 15
NL - Olanda 12
JP - Giappone 11
PK - Pakistan 11
PL - Polonia 9
TN - Tunisia 9
CO - Colombia 8
FR - Francia 8
KE - Kenya 8
LT - Lituania 8
KR - Corea 7
OM - Oman 7
AT - Austria 6
AZ - Azerbaigian 6
CZ - Repubblica Ceca 6
DO - Repubblica Dominicana 6
ES - Italia 6
PE - Perù 6
PY - Paraguay 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
BY - Bielorussia 5
IR - Iran 5
JO - Giordania 5
RO - Romania 5
UY - Uruguay 5
BO - Bolivia 4
NP - Nepal 4
SA - Arabia Saudita 4
AU - Australia 3
CL - Cile 3
DZ - Algeria 3
EU - Europa 3
GE - Georgia 3
IL - Israele 3
JM - Giamaica 3
MD - Moldavia 3
SN - Senegal 3
AL - Albania 2
BG - Bulgaria 2
CR - Costa Rica 2
EG - Egitto 2
ID - Indonesia 2
KZ - Kazakistan 2
LV - Lettonia 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
GA - Gabon 1
GT - Guatemala 1
HN - Honduras 1
HU - Ungheria 1
IE - Irlanda 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
MK - Macedonia 1
ML - Mali 1
NG - Nigeria 1
PH - Filippine 1
PT - Portogallo 1
RS - Serbia 1
SI - Slovenia 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TG - Togo 1
TJ - Tagikistan 1
Totale 6.429
Salva come PNG Salva come JPEG
Città #
Dallas 1.755
Chandler 338
Singapore 303
Jacksonville 136
Hong Kong 131
Ashburn 108
Princeton 90
Beijing 72
São Paulo 71
Ann Arbor 60
Nanjing 56
Los Angeles 43
Wilmington 41
Shanghai 34
Sassari 31
Rio de Janeiro 28
Belo Horizonte 26
Dearborn 26
Boardman 22
Mountain View 22
New York 22
Changsha 21
London 21
Nanchang 20
Brussels 18
Johannesburg 18
Brasília 17
Hebei 16
Hanoi 15
The Dalles 15
Toronto 15
Woodbridge 15
Curitiba 14
Ho Chi Minh City 14
Shenyang 14
Tashkent 14
Campinas 13
Helsinki 13
Porto Alegre 13
San Mateo 13
Buffalo 12
Santa Clara 12
Milan 11
Palermo 11
Tokyo 11
Campo Grande 10
Tianjin 10
Amsterdam 9
Baghdad 9
Certaldo 9
Council Bluffs 9
Houston 9
Jinan 9
Joinville 9
San Francisco 9
São Bernardo do Campo 9
Chennai 8
Duque de Caxias 8
Leawood 8
Montreal 8
Nairobi 8
Uberlândia 8
Warsaw 8
Columbus 7
Frankfurt am Main 7
Guarulhos 7
Hangzhou 7
Orem 7
Salvador 7
San Jose 7
Seoul 7
Turku 7
Andover 6
Atlanta 6
Augusta 6
Baku 6
Boston 6
Caxias do Sul 6
Denver 6
Kunming 6
Poplar 6
Quito 6
Recife 6
Ribeirão Preto 6
Stockholm 6
Zhengzhou 6
Alghero 5
Ardabil 5
Betim 5
Brno 5
Canoas 5
Casablanca 5
Istanbul 5
Jiaxing 5
Lahore 5
Muscat 5
Osasco 5
Ottawa 5
Querétaro 5
Santo André 5
Totale 4.145
Salva come PNG Salva come JPEG
Nome #
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 1.152
Distinctiveness of faces: a computational approach 194
La modernità degradata delle periferie: un'analisi di «Berlinguer ti voglio bene» 187
Detecting and preventing type flaws at static time 177
Comparing faces: a computational and perceptual study 155
A process algebraic approach to reaction systems 154
Control Flow Analysis of Generalised Boolean Networks 134
On the complexity of visual judgement of kinship 132
A global occurrence counting analysis for Brane Calculi 129
Detecting and preventing type flaws: a control flow analysis with tags 126
A Flat Process Calculus for Nested Membrane Interactions 126
Deducing interactions in partially unspecified biological systems 123
A logical and graphical framework for reaction systems 122
A formal approach to open multiparty interactions 122
Enhancing Reaction Systems: A Process Algebraic Approach 121
A static analysis for Brane Calculi providing global occurrence counting information 119
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 114
A stochastic semantics for BioAmbients 110
Comparing faces: a computational and perceptual study 110
Brane Calculi Systems: A Static Preview of their Possible Behaviour 109
Verification techniques for a network algebra 105
Measuring changes in face appearance through aging 104
On the Quantitative Estimation of Short-Term Aging in Human Faces 102
A Constraint-based language for multiparty interactions 102
Static evidences for attack reconstruction 96
Face-pair scrutiny - subject-type classification 89
Visual judgments of kinship: An alternative perspective 88
Variabilità geografica nell'accesso e utilizzo dei servizi di salute mentale in Europa 88
Formal Executable Descriptions of Biological Systems 85
Mapping Coloured Stochastic Petrinets to stochastic process algebras 83
Static Detection of Logic Flaws in Service-Oriented Applications 80
On the expressiveness of π-calculus for encoding mobile ambients 79
Causal analysis of positive Reaction Systems 78
Performance evaluation for global computation 77
Open multiparty interaction 75
Recognition of human faces: from biological to artificial vision 75
Statically Detecting Message Confusions in a Multi-Protocol Setting 74
The link-calculus for open multiparty interactions 74
Static What-if Analysis of Generalised Boolean Networks 73
On the quantitative estimation of short-term aging in human faces 73
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 71
Reflecting Mobile Ambient into the pi-calculus 71
Symbolic semantics for multiparty interactions in the link-calculus 70
A framework for monitored dynamic slicing of reaction systems 70
Verification of Reaction Systems Processes 69
ccReact: a rewriting framework for the formal analysis of reaction systems 61
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 59
Quantitative extensions of reaction systems based on SOS semantics 59
Formal executable descriptions of biological systems 59
Process calculi for biological processes 55
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 53
On the Expressiveness of the pi-Calculus and the Mobile Ambients 53
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) 50
SOS Rules for Equivalences of Reaction Systems 48
Statically detecting message confusions in a multi-protocol setting 45
Modeling and Analyzing Reaction Systems in Maude 44
Variations in use and access of mental health services in Europe 40
Simulation and Analysis of Distributed Reaction Systems 39
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 31
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 18
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 11
Totale 6.492
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.601
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 22.601
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021230 0 0 0 0 0 20 43 1 55 51 49 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/20262.714 83 781 1.105 396 232 117 0 0 0 0 0 0
Totale 6.492