IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.936
AS - Asia 989
EU - Europa 953
SA - Sud America 229
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.119
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.906
SG - Singapore 573
CN - Cina 268
RU - Federazione Russa 207
BR - Brasile 193
UA - Ucraina 188
SE - Svezia 128
IT - Italia 90
FI - Finlandia 86
LV - Lettonia 64
GB - Regno Unito 59
DE - Germania 55
VN - Vietnam 53
BG - Bulgaria 31
AR - Argentina 16
CA - Canada 15
IN - India 12
BD - Bangladesh 11
FR - Francia 11
PL - Polonia 11
TR - Turchia 11
HK - Hong Kong 10
JO - Giordania 10
MX - Messico 9
ID - Indonesia 8
JP - Giappone 7
PK - Pakistan 6
PY - Paraguay 5
EC - Ecuador 4
ES - Italia 4
MA - Marocco 4
CL - Cile 3
CO - Colombia 3
IE - Irlanda 3
IL - Israele 3
IQ - Iraq 3
NL - Olanda 3
ZA - Sudafrica 3
AM - Armenia 2
AZ - Azerbaigian 2
BE - Belgio 2
CZ - Repubblica Ceca 2
EU - Europa 2
KG - Kirghizistan 2
LT - Lituania 2
MY - Malesia 2
PE - Perù 2
PT - Portogallo 2
RO - Romania 2
VE - Venezuela 2
AT - Austria 1
BB - Barbados 1
BO - Bolivia 1
BZ - Belize 1
CR - Costa Rica 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
NI - Nicaragua 1
OM - Oman 1
PH - Filippine 1
SA - Arabia Saudita 1
SC - Seychelles 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 7.119
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Chandler 440
Ashburn 407
Jacksonville 391
Singapore 371
Woodbridge 321
Seattle 261
Wilmington 258
Houston 233
Cambridge 227
San Mateo 174
Dallas 172
Santa Clara 144
Columbus 126
Ann Arbor 125
Moscow 90
Princeton 78
Riga 64
Dearborn 60
Beijing 55
Los Angeles 51
Lawrence 46
New York 46
Trento 39
The Dalles 37
Sofia 31
Buffalo 28
Munich 26
Ho Chi Minh City 22
São Paulo 20
Boardman 18
Chicago 18
Helsinki 17
San Diego 15
Falls Church 13
Hefei 13
Redondo Beach 13
London 11
Hong Kong 10
Napoli 10
Norwalk 9
Warsaw 9
Bremen 8
Des Moines 8
San Jose 8
Turku 8
Zhengzhou 8
Milan 7
Montreal 7
Nanjing 7
Salt Lake City 7
Brasília 6
Campinas 6
Denver 6
Düsseldorf 6
Hanoi 6
Kilburn 6
San Francisco 6
Tokyo 6
Verona 6
Elk Grove Village 5
Guangzhou 5
Jinan 5
Nanchang 5
Rio de Janeiro 5
Toronto 5
Andover 4
Biên Hòa 4
Dong Ket 4
Frankfurt am Main 4
Hounslow 4
Izmir 4
Jakarta 4
Kunming 4
Manchester 4
Mexico City 4
Orem 4
Ribeirão Preto 4
Atlanta 3
Brooklyn 3
Changsha 3
Chennai 3
Ciudad del Este 3
Como 3
Council Bluffs 3
Dublin 3
Guarulhos 3
Islamabad 3
Istanbul 3
Johannesburg 3
Juazeiro do Norte 3
New Delhi 3
Ninh Bình 3
Phoenix 3
Querétaro 3
Shanghai 3
Tampa 3
The Bronx 3
Washington 3
West Jordan 3
Totale 5.393
Salva come PNG Salva come JPEG
Nome #
Network Inference from Time-Dependent Omics Data 198
Communicating by compatibility 184
A Translation of Beta-binders in a Prioritized Pi-calculus 163
Formal Analysis of BPMN Via a Translation into COWS 159
An Automatic Translation of SBML into Beta-Binders 158
An Automatic Translation of SBML into Beta-Binders 157
On Beta-Binders Communications 154
A Formal Language for Computational Systems Biology 151
Expressing global priorities by best-matching 150
Beta-binders for biological quantitative experiments 149
A Formal Language for Computational Systems Biology 149
Modelling the dynamics of biosystems 148
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 146
Beta-binders for Biological Quantitative Experiments 143
An imperative language of self-modifying graphs for biological systems 135
Process Calculi Abstractions for Biology 134
Process Calculi Abstractions for Biology 132
A pi-calculus with explicit substitutions 132
Communicating by Compatibility 131
BlenX Static and Dynamic Semantics 131
Modelling the dynamics of biosystems 129
Developing An Hierarchical Simulator for Beta-binders 129
Developing An Hierarchical Simulator for Beta-binders 129
A Fully Parallel Calculus of Synchronizing Processes 123
Performance analysis of a UML micro business case study 121
Beta Binders for Biological Interactions 121
Pi-Congruences as CCS Equivalences 119
Formal executable descriptions of biological systems 119
A Tool for Checking Probabilistic Properties of COWS Services 119
Model Checking Biological Systems Described Using Ambient Calculus 119
Beta binders for biological interactions 118
Shape spaces in formal interactions 118
Quantitative Analysis of Services 118
BlenX4Bio – BlenX for Biologists 118
Modeling Kohn Interaction Maps with Beta-Binders: An Example 117
Approximate Model Checking of Stochastic COWS 117
Shape Spaces in Formal Interactions 115
On Beta-Binders Communications 112
Model Checking Biological Systems Described Using Ambient Calculus 111
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 111
A translation of Beta-binders in a prioritized pi-calculus 110
Explicit substitutions for pi-congruences 102
Operational Patterns in Beta-Binders 97
A pi-calculus with Explicit Substitutions: the Late Semantics 90
Symbolic Lookaheads for Bottom-up Parsing 84
null 83
Stochastic COWS 83
A pi-calculus with explicit Substitutions 82
Towards a Semantic-Based Verification Environment for the pi-calculus 81
Stochastic COWS 78
The Pi-Calculus: Notes on Labelled Semantics 77
Types and full abstraction for polyadic pi-calculus 75
Types and full abstraction for polyadic pi-calculus 73
On Synchronous and Asynchronous Mobile Processes 69
Towards a Semantic-Based Verification Environment for the pi-calculus 66
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 64
null 64
Briefly on Bottom-up 64
On encoding pPi in mPi 60
Walking on SR-automata to detect grammar ambiguity 59
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 58
Process Calculi in a Biological Context 56
The Weak Late pi-calculus Semantics as Observation Equivalence 54
Process Calculi Abstractions for Biology 43
Operational Patterns in Beta-binders 37
Totale 7.196
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.507
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.191
Totale 31.698
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021480 0 0 0 0 0 59 81 71 76 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/20261.224 124 94 332 330 266 78 0 0 0 0 0 0
Totale 7.196