IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.561
AS - Asia 1.407
EU - Europa 1.061
SA - Sud America 253
Continente sconosciuto - Info sul continente non disponibili 80
AF - Africa 22
OC - Oceania 1
Totale 8.385
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.515
SG - Singapore 642
CN - Cina 289
VN - Vietnam 244
BR - Brasile 211
RU - Federazione Russa 208
UA - Ucraina 191
SE - Svezia 130
IT - Italia 116
FI - Finlandia 91
GB - Regno Unito 66
LV - Lettonia 64
DE - Germania 61
KR - Corea 61
FR - Francia 58
BG - Bulgaria 31
IN - India 29
CA - Canada 25
HK - Hong Kong 21
AR - Argentina 19
BD - Bangladesh 19
IQ - Iraq 14
PL - Polonia 13
TR - Turchia 13
JO - Giordania 12
JP - Giappone 11
MX - Messico 11
ID - Indonesia 10
PK - Pakistan 10
ES - Italia 7
EG - Egitto 5
PH - Filippine 5
PY - Paraguay 5
ZA - Sudafrica 5
CL - Cile 4
CO - Colombia 4
EC - Ecuador 4
IE - Irlanda 4
MA - Marocco 4
AZ - Azerbaigian 3
CR - Costa Rica 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
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
JM - Giamaica 1
MN - Mongolia 1
NI - Nicaragua 1
OM - Oman 1
QA - Qatar 1
RS - Serbia 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.308
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Ashburn 462
Chandler 440
Singapore 404
Jacksonville 392
Woodbridge 321
Seattle 262
Wilmington 258
Houston 238
Cambridge 227
San Jose 227
Columbus 178
Dallas 174
San Mateo 174
Santa Clara 161
Ann Arbor 125
Moscow 90
Ho Chi Minh City 79
Princeton 78
The Dalles 71
Council Bluffs 69
Riga 64
Seoul 61
Dearborn 60
Los Angeles 60
New York 60
Beijing 56
Lawrence 46
Hanoi 44
Lauterbourg 44
Trento 40
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
Falls Church 13
Hefei 13
London 13
Milan 13
Redondo Beach 13
Haiphong 10
Montreal 10
Napoli 10
Tokyo 10
Warsaw 10
Denver 9
Norwalk 9
Bremen 8
Des Moines 8
San Francisco 8
Turku 8
Zhengzhou 8
Biên Hòa 7
Chennai 7
Nanjing 7
Phoenix 7
Rio de Janeiro 7
Salt Lake City 7
Brasília 6
Campinas 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
Toronto 5
Andover 4
Atlanta 4
Brooklyn 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
Ribeirão Preto 4
Washington 4
Alexandria 3
Amman 3
Ankara 3
Baku 3
Totale 6.204
Salva come PNG Salva come JPEG
Nome #
Communicating by compatibility 229
Network Inference from Time-Dependent Omics Data 216
Formal Analysis of BPMN Via a Translation into COWS 186
Modelling the dynamics of biosystems 184
A Translation of Beta-binders in a Prioritized Pi-calculus 184
An Automatic Translation of SBML into Beta-Binders 178
Expressing global priorities by best-matching 175
An Automatic Translation of SBML into Beta-Binders 175
Beta-binders for Biological Quantitative Experiments 174
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 170
Beta-binders for biological quantitative experiments 170
A Formal Language for Computational Systems Biology 170
A Formal Language for Computational Systems Biology 166
An imperative language of self-modifying graphs for biological systems 166
Shape Spaces in Formal Interactions 162
On Beta-Binders Communications 162
Model Checking Biological Systems Described Using Ambient Calculus 161
Shape spaces in formal interactions 158
Developing An Hierarchical Simulator for Beta-binders 153
A pi-calculus with explicit substitutions 152
Process Calculi Abstractions for Biology 151
Process Calculi Abstractions for Biology 149
Developing An Hierarchical Simulator for Beta-binders 148
Modeling Kohn Interaction Maps with Beta-Binders: An Example 146
BlenX Static and Dynamic Semantics 146
Quantitative Analysis of Services 144
Communicating by Compatibility 144
Performance analysis of a UML micro business case study 142
A Tool for Checking Probabilistic Properties of COWS Services 140
BlenX4Bio – BlenX for Biologists 140
Beta binders for biological interactions 138
Beta Binders for Biological Interactions 138
Modelling the dynamics of biosystems 137
Formal executable descriptions of biological systems 137
Pi-Congruences as CCS Equivalences 134
A Fully Parallel Calculus of Synchronizing Processes 132
Approximate Model Checking of Stochastic COWS 130
Model Checking Biological Systems Described Using Ambient Calculus 127
A translation of Beta-binders in a prioritized pi-calculus 126
On Beta-Binders Communications 123
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 122
Explicit substitutions for pi-congruences 116
Operational Patterns in Beta-Binders 111
A pi-calculus with Explicit Substitutions: the Late Semantics 107
Symbolic Lookaheads for Bottom-up Parsing 103
The Pi-Calculus: Notes on Labelled Semantics 96
Stochastic COWS 96
A pi-calculus with explicit Substitutions 95
Stochastic COWS 95
Towards a Semantic-Based Verification Environment for the pi-calculus 89
Types and full abstraction for polyadic pi-calculus 88
Types and full abstraction for polyadic π-calculus 84
On Synchronous and Asynchronous Mobile Processes 84
null 83
Towards a Semantic-Based Verification Environment for the pi-calculus 79
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 78
Briefly on Bottom-up 76
On encoding pPi in mPi 72
The Weak Late pi-calculus Semantics as Observation Equivalence 71
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 69
Walking on SR-automata to detect grammar ambiguity 67
Process Calculi in a Biological Context 66
null 64
Process Calculi Abstractions for Biology 59
Operational Patterns in Beta-binders 52
Totale 8.385
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.555
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.807
Totale 36.362
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022649 0 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.231 124 94 332 330 266 156 395 54 188 174 80 38
2026/2027182 50 132 0 0 0 0 0 0 0 0 0 0
Totale 8.385