IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.398
AS - Asia 1.405
EU - Europa 1.039
SA - Sud America 248
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 8.116
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.356
SG - Singapore 641
CN - Cina 288
VN - Vietnam 244
BR - Brasile 208
RU - Federazione Russa 208
UA - Ucraina 191
SE - Svezia 130
IT - Italia 99
FI - Finlandia 91
GB - Regno Unito 66
LV - Lettonia 64
DE - Germania 61
KR - Corea 61
FR - Francia 57
BG - Bulgaria 31
IN - India 29
CA - Canada 23
HK - Hong Kong 21
BD - Bangladesh 19
AR - Argentina 18
IQ - Iraq 14
TR - Turchia 13
JO - Giordania 12
PL - Polonia 12
JP - Giappone 11
MX - Messico 11
ID - Indonesia 10
PK - Pakistan 10
EG - Egitto 5
ES - Italia 5
PH - Filippine 5
PY - Paraguay 5
ZA - Sudafrica 5
CL - Cile 4
EC - Ecuador 4
IE - Irlanda 4
MA - Marocco 4
AZ - Azerbaigian 3
CO - Colombia 3
IL - Israele 3
NL - Olanda 3
TH - Thailandia 3
UZ - Uzbekistan 3
VE - Venezuela 3
AL - Albania 2
AM - Armenia 2
BE - Belgio 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
EU - Europa 2
KG - Kirghizistan 2
LB - Libano 2
LT - Lituania 2
MY - Malesia 2
PE - Perù 2
PT - Portogallo 2
RO - Romania 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
EE - Estonia 1
HN - Honduras 1
MN - Mongolia 1
NI - Nicaragua 1
OM - Oman 1
QA - Qatar 1
SA - Arabia Saudita 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.116
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Ashburn 446
Chandler 440
Singapore 404
Jacksonville 392
Woodbridge 321
Seattle 262
Wilmington 258
Houston 238
Cambridge 227
San Jose 226
Dallas 174
San Mateo 174
Santa Clara 155
Columbus 126
Ann Arbor 125
Moscow 90
Ho Chi Minh City 79
Princeton 78
The Dalles 71
Riga 64
Seoul 61
Dearborn 60
New York 60
Los Angeles 59
Beijing 56
Lawrence 46
Hanoi 44
Lauterbourg 44
Trento 39
Buffalo 32
Sofia 31
Munich 26
São Paulo 23
Helsinki 22
Da Nang 21
Chicago 19
Boardman 18
Hong Kong 16
Orem 16
San Diego 15
Council Bluffs 13
Falls Church 13
Hefei 13
London 13
Redondo Beach 13
Haiphong 10
Montreal 10
Napoli 10
Tokyo 10
Warsaw 10
Milan 9
Norwalk 9
Bremen 8
Des Moines 8
San Francisco 8
Turku 8
Zhengzhou 8
Biên Hòa 7
Chennai 7
Denver 7
Nanjing 7
Rio de Janeiro 7
Salt Lake City 7
Brasília 6
Campinas 6
Düsseldorf 6
Frankfurt am Main 6
Kilburn 6
Phoenix 6
Verona 6
Elk Grove Village 5
Guangzhou 5
Jinan 5
Manchester 5
Mexico City 5
Mumbai 5
Nanchang 5
Nuremberg 5
Toronto 5
Andover 4
Atlanta 4
Bến Tre 4
Dong Ket 4
Dublin 4
Guarulhos 4
Hounslow 4
Istanbul 4
Izmir 4
Jakarta 4
Kunming 4
Ninh Bình 4
Ribeirão Preto 4
Washington 4
Alexandria 3
Amman 3
Ankara 3
Baku 3
Brooklyn 3
Can Tho 3
Totale 6.062
Salva come PNG Salva come JPEG
Nome #
Communicating by compatibility 225
Network Inference from Time-Dependent Omics Data 211
Formal Analysis of BPMN Via a Translation into COWS 182
Modelling the dynamics of biosystems 181
A Translation of Beta-binders in a Prioritized Pi-calculus 181
An Automatic Translation of SBML into Beta-Binders 176
An Automatic Translation of SBML into Beta-Binders 172
Expressing global priorities by best-matching 171
Beta-binders for Biological Quantitative Experiments 170
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 168
A Formal Language for Computational Systems Biology 168
Beta-binders for biological quantitative experiments 167
A Formal Language for Computational Systems Biology 164
Shape Spaces in Formal Interactions 160
On Beta-Binders Communications 160
An imperative language of self-modifying graphs for biological systems 159
Model Checking Biological Systems Described Using Ambient Calculus 159
Shape spaces in formal interactions 156
Developing An Hierarchical Simulator for Beta-binders 149
Process Calculi Abstractions for Biology 148
Process Calculi Abstractions for Biology 147
Developing An Hierarchical Simulator for Beta-binders 147
A pi-calculus with explicit substitutions 146
BlenX Static and Dynamic Semantics 144
Communicating by Compatibility 142
Modeling Kohn Interaction Maps with Beta-Binders: An Example 141
Quantitative Analysis of Services 140
Performance analysis of a UML micro business case study 138
A Tool for Checking Probabilistic Properties of COWS Services 137
BlenX4Bio – BlenX for Biologists 137
Modelling the dynamics of biosystems 135
Beta binders for biological interactions 135
Beta Binders for Biological Interactions 135
Formal executable descriptions of biological systems 134
A Fully Parallel Calculus of Synchronizing Processes 130
Pi-Congruences as CCS Equivalences 129
Approximate Model Checking of Stochastic COWS 129
Model Checking Biological Systems Described Using Ambient Calculus 123
A translation of Beta-binders in a prioritized pi-calculus 122
On Beta-Binders Communications 121
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 120
Explicit substitutions for pi-congruences 114
Operational Patterns in Beta-Binders 106
A pi-calculus with Explicit Substitutions: the Late Semantics 103
Symbolic Lookaheads for Bottom-up Parsing 97
The Pi-Calculus: Notes on Labelled Semantics 93
A pi-calculus with explicit Substitutions 93
Stochastic COWS 92
Stochastic COWS 92
Towards a Semantic-Based Verification Environment for the pi-calculus 87
Types and full abstraction for polyadic pi-calculus 84
null 83
On Synchronous and Asynchronous Mobile Processes 82
Types and full abstraction for polyadic pi-calculus 80
Towards a Semantic-Based Verification Environment for the pi-calculus 77
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 76
Briefly on Bottom-up 73
On encoding pPi in mPi 69
The Weak Late pi-calculus Semantics as Observation Equivalence 68
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 67
Walking on SR-automata to detect grammar ambiguity 66
null 64
Process Calculi in a Biological Context 64
Process Calculi Abstractions for Biology 57
Operational Patterns in Beta-binders 47
Totale 8.193
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.444
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.637
Totale 35.081
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202167 0 0 0 0 0 0 0 0 0 0 0 67
2021/2022668 19 135 15 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.221 124 94 332 330 266 156 395 54 188 174 80 28
Totale 8.193