IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.262
AS - Asia 1.401
EU - Europa 1.037
SA - Sud America 248
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 7.974
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.223
SG - Singapore 640
CN - Cina 287
VN - Vietnam 244
BR - Brasile 208
RU - Federazione Russa 208
UA - Ucraina 191
SE - Svezia 130
IT - Italia 97
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 20
HK - Hong Kong 20
AR - Argentina 18
BD - Bangladesh 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 7.974
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Chandler 440
Ashburn 437
Singapore 404
Jacksonville 392
Woodbridge 321
Seattle 261
Wilmington 258
Houston 235
Cambridge 227
San Jose 194
San Mateo 174
Dallas 172
Santa Clara 146
Columbus 126
Ann Arbor 125
Moscow 90
Ho Chi Minh City 79
Princeton 78
The Dalles 71
Riga 64
Seoul 61
Dearborn 60
Los Angeles 56
New York 56
Beijing 55
Lawrence 46
Hanoi 44
Lauterbourg 44
Trento 39
Sofia 31
Buffalo 29
Munich 26
São Paulo 23
Helsinki 22
Da Nang 21
Boardman 18
Chicago 18
Orem 16
Hong Kong 15
San Diego 15
Falls Church 13
Hefei 13
London 13
Redondo Beach 13
Haiphong 10
Napoli 10
Tokyo 10
Warsaw 10
Montreal 9
Norwalk 9
Bremen 8
Des Moines 8
Milan 8
Turku 8
Zhengzhou 8
Biên Hòa 7
Chennai 7
Council Bluffs 7
Nanjing 7
Rio de Janeiro 7
Salt Lake City 7
San Francisco 7
Brasília 6
Campinas 6
Denver 6
Düsseldorf 6
Frankfurt am Main 6
Kilburn 6
Verona 6
Elk Grove Village 5
Guangzhou 5
Jinan 5
Manchester 5
Mexico City 5
Mumbai 5
Nanchang 5
Nuremberg 5
Phoenix 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
Amman 3
Ankara 3
Baku 3
Brooklyn 3
Can Tho 3
Canary Wharf 3
Changsha 3
Totale 5.981
Salva come PNG Salva come JPEG
Nome #
Communicating by compatibility 224
Network Inference from Time-Dependent Omics Data 205
Modelling the dynamics of biosystems 181
Formal Analysis of BPMN Via a Translation into COWS 178
A Translation of Beta-binders in a Prioritized Pi-calculus 177
An Automatic Translation of SBML into Beta-Binders 173
An Automatic Translation of SBML into Beta-Binders 167
Beta-binders for Biological Quantitative Experiments 167
Expressing global priorities by best-matching 166
A Formal Language for Computational Systems Biology 166
A Formal Language for Computational Systems Biology 163
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 163
Beta-binders for biological quantitative experiments 163
On Beta-Binders Communications 160
Shape Spaces in Formal Interactions 156
An imperative language of self-modifying graphs for biological systems 155
Model Checking Biological Systems Described Using Ambient Calculus 155
Shape spaces in formal interactions 153
Process Calculi Abstractions for Biology 146
Process Calculi Abstractions for Biology 146
A pi-calculus with explicit substitutions 145
Developing An Hierarchical Simulator for Beta-binders 144
Developing An Hierarchical Simulator for Beta-binders 144
Communicating by Compatibility 142
BlenX Static and Dynamic Semantics 140
Quantitative Analysis of Services 139
Modeling Kohn Interaction Maps with Beta-Binders: An Example 139
Performance analysis of a UML micro business case study 135
A Tool for Checking Probabilistic Properties of COWS Services 135
Beta Binders for Biological Interactions 134
BlenX4Bio – BlenX for Biologists 134
Modelling the dynamics of biosystems 133
Beta binders for biological interactions 133
Formal executable descriptions of biological systems 131
A Fully Parallel Calculus of Synchronizing Processes 130
Pi-Congruences as CCS Equivalences 127
Approximate Model Checking of Stochastic COWS 126
Model Checking Biological Systems Described Using Ambient Calculus 123
On Beta-Binders Communications 121
A translation of Beta-binders in a prioritized pi-calculus 120
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 118
Explicit substitutions for pi-congruences 111
Operational Patterns in Beta-Binders 106
A pi-calculus with Explicit Substitutions: the Late Semantics 102
Symbolic Lookaheads for Bottom-up Parsing 95
The Pi-Calculus: Notes on Labelled Semantics 92
A pi-calculus with explicit Substitutions 90
Stochastic COWS 90
Stochastic COWS 89
Towards a Semantic-Based Verification Environment for the pi-calculus 86
null 83
Types and full abstraction for polyadic pi-calculus 81
Types and full abstraction for polyadic pi-calculus 79
On Synchronous and Asynchronous Mobile Processes 79
Towards a Semantic-Based Verification Environment for the pi-calculus 74
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 73
Briefly on Bottom-up 72
On encoding pPi in mPi 67
The Weak Late pi-calculus Semantics as Observation Equivalence 67
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 67
Walking on SR-automata to detect grammar ambiguity 65
null 64
Process Calculi in a Biological Context 62
Process Calculi Abstractions for Biology 56
Operational Patterns in Beta-binders 44
Totale 8.051
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.037
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.428
Totale 33.465
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021193 0 0 0 0 0 0 0 0 0 59 67 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.079 124 94 332 330 266 156 395 54 188 140 0 0
Totale 8.051