IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.926
AS - Asia 1.424
EU - Europa 1.112
SA - Sud America 277
Continente sconosciuto - Info sul continente non disponibili 80
AF - Africa 22
OC - Oceania 1
Totale 8.842
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.869
SG - Singapore 642
CN - Cina 289
VN - Vietnam 247
BR - Brasile 219
RU - Federazione Russa 208
UA - Ucraina 191
IT - Italia 154
SE - Svezia 131
FI - Finlandia 91
GB - Regno Unito 76
LV - Lettonia 64
DE - Germania 61
KR - Corea 61
FR - Francia 58
CA - Canada 32
BG - Bulgaria 31
IN - India 29
HK - Hong Kong 21
BD - Bangladesh 20
AR - Argentina 19
ID - Indonesia 16
IQ - Iraq 14
TR - Turchia 14
PL - Polonia 13
CO - Colombia 12
JO - Giordania 12
MX - Messico 12
JP - Giappone 11
PK - Pakistan 10
ES - Italia 8
PH - Filippine 7
VE - Venezuela 7
CL - Cile 6
EC - Ecuador 6
EG - Egitto 5
PY - Paraguay 5
ZA - Sudafrica 5
CR - Costa Rica 4
IE - Irlanda 4
MA - Marocco 4
TH - Thailandia 4
AZ - Azerbaigian 3
IL - Israele 3
MY - Malesia 3
NL - Olanda 3
UZ - Uzbekistan 3
AL - Albania 2
AM - Armenia 2
BE - Belgio 2
CZ - Repubblica Ceca 2
EE - Estonia 2
ET - Etiopia 2
EU - Europa 2
JM - Giamaica 2
KG - Kirghizistan 2
LB - Libano 2
LT - Lituania 2
PE - Perù 2
PT - Portogallo 2
RO - Romania 2
SA - Arabia Saudita 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BO - Bolivia 1
BW - Botswana 1
BZ - Belize 1
CH - Svizzera 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
HN - Honduras 1
MN - Mongolia 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SC - Seychelles 1
SY - Repubblica araba siriana 1
TG - Togo 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.765
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Ashburn 515
Chandler 440
Singapore 404
Jacksonville 392
Woodbridge 321
San Jose 270
Seattle 262
Wilmington 260
Houston 240
Cambridge 227
Columbus 180
Dallas 176
San Mateo 174
Santa Clara 164
Ann Arbor 125
Moscow 90
Ho Chi Minh City 81
Princeton 78
The Dalles 71
Council Bluffs 69
Riga 64
Seoul 61
Dearborn 60
Los Angeles 60
New York 60
Phoenix 57
Beijing 56
Lawrence 46
Hanoi 44
Lauterbourg 44
Trento 40
Staranzano 33
Buffalo 32
Sofia 31
Munich 26
São Paulo 24
Chicago 23
Helsinki 22
Da Nang 21
Boardman 18
Hong Kong 16
Orem 16
San Diego 15
Falls Church 13
Hefei 13
London 13
Milan 13
Redondo Beach 13
Denver 10
Haiphong 10
Montreal 10
Napoli 10
Tokyo 10
Warsaw 10
Norwalk 9
Bremen 8
Columbia City 8
Des Moines 8
San Francisco 8
Turku 8
Zhengzhou 8
Biên Hòa 7
Chennai 7
Nanjing 7
Rio de Janeiro 7
Salt Lake City 7
Atlanta 6
Brasília 6
Brooklyn 6
Campinas 6
Düsseldorf 6
Frankfurt am Main 6
Kilburn 6
Toronto 6
Verona 6
Elk Grove Village 5
Guangzhou 5
Jinan 5
Manchester 5
Mexico City 5
Mumbai 5
Nanchang 5
Nuremberg 5
Andover 4
Bến Tre 4
Curitiba 4
Dong Ket 4
Dublin 4
Guarulhos 4
Hounslow 4
Istanbul 4
Izmir 4
Jakarta 4
Kunming 4
Ninh Bình 4
Philadelphia 4
Ribeirão Preto 4
Tampa 4
Washington 4
Totale 6.411
Salva come PNG Salva come JPEG
Nome #
Communicating by compatibility 236
Network Inference from Time-Dependent Omics Data 222
A Translation of Beta-binders in a Prioritized Pi-calculus 197
Formal Analysis of BPMN Via a Translation into COWS 193
Modelling the dynamics of biosystems 192
An Automatic Translation of SBML into Beta-Binders 188
Beta-binders for Biological Quantitative Experiments 186
An Automatic Translation of SBML into Beta-Binders 184
A Formal Language for Computational Systems Biology 183
Expressing global priorities by best-matching 181
Beta-binders for biological quantitative experiments 179
Model Checking Biological Systems Described Using Ambient Calculus 178
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 176
A Formal Language for Computational Systems Biology 174
An imperative language of self-modifying graphs for biological systems 174
Shape Spaces in Formal Interactions 173
On Beta-Binders Communications 169
Shape spaces in formal interactions 164
Modeling Kohn Interaction Maps with Beta-Binders: An Example 162
A pi-calculus with explicit substitutions 162
Process Calculi Abstractions for Biology 158
Developing An Hierarchical Simulator for Beta-binders 158
Process Calculi Abstractions for Biology 158
Quantitative Analysis of Services 157
Communicating by Compatibility 153
Developing An Hierarchical Simulator for Beta-binders 153
BlenX Static and Dynamic Semantics 149
Formal executable descriptions of biological systems 146
A Tool for Checking Probabilistic Properties of COWS Services 146
Performance analysis of a UML micro business case study 145
Beta binders for biological interactions 145
BlenX4Bio – BlenX for Biologists 145
Beta Binders for Biological Interactions 144
Modelling the dynamics of biosystems 143
Pi-Congruences as CCS Equivalences 138
A Fully Parallel Calculus of Synchronizing Processes 137
Approximate Model Checking of Stochastic COWS 137
Model Checking Biological Systems Described Using Ambient Calculus 136
A translation of Beta-binders in a prioritized pi-calculus 131
On Beta-Binders Communications 127
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 125
Explicit substitutions for pi-congruences 123
Operational Patterns in Beta-Binders 118
A pi-calculus with Explicit Substitutions: the Late Semantics 117
Symbolic Lookaheads for Bottom-up Parsing 117
A pi-calculus with explicit Substitutions 103
The Pi-Calculus: Notes on Labelled Semantics 102
Stochastic COWS 102
Stochastic COWS 101
Types and full abstraction for polyadic pi-calculus 95
Towards a Semantic-Based Verification Environment for the pi-calculus 92
On Synchronous and Asynchronous Mobile Processes 91
Types and full abstraction for polyadic π-calculus 89
Towards a Semantic-Based Verification Environment for the pi-calculus 85
null 83
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 82
The Weak Late pi-calculus Semantics as Observation Equivalence 80
Briefly on Bottom-up 80
On encoding pPi in mPi 78
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 72
Walking on SR-automata to detect grammar ambiguity 71
Process Calculi in a Biological Context 68
Process Calculi Abstractions for Biology 66
null 64
Operational Patterns in Beta-binders 59
Totale 8.842
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.034
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.033
Totale 38.067
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022499 0 0 0 24 16 24 26 166 27 58 30 128
2022/2023830 155 85 14 128 86 136 4 57 109 4 46 6
2023/2024242 21 25 8 11 29 69 16 16 0 6 10 31
2024/20251.164 4 12 50 276 58 144 31 42 112 219 94 122
2025/20262.231 124 94 332 330 266 156 395 54 188 174 80 38
2026/2027639 50 140 335 114 0 0 0 0 0 0 0 0
Totale 8.842