IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.926
AS - Asia 974
EU - Europa 953
SA - Sud America 229
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.094
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.896
SG - Singapore 562
CN - Cina 265
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 7
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.094
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Chandler 440
Ashburn 404
Jacksonville 391
Singapore 360
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
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
San Jose 3
Shanghai 3
Tampa 3
The Bronx 3
Washington 3
West Jordan 3
Totale 5.374
Salva come PNG Salva come JPEG
Nome #
Network Inference from Time-Dependent Omics Data 198
Communicating by compatibility 183
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 153
A Formal Language for Computational Systems Biology 151
Expressing global priorities by best-matching 149
A Formal Language for Computational Systems Biology 149
Beta-binders for biological quantitative experiments 148
Modelling the dynamics of biosystems 148
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 146
Beta-binders for Biological Quantitative Experiments 142
An imperative language of self-modifying graphs for biological systems 134
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 120
Pi-Congruences as CCS Equivalences 119
Formal executable descriptions of biological systems 119
Model Checking Biological Systems Described Using Ambient Calculus 119
Beta binders for biological interactions 118
A Tool for Checking Probabilistic Properties of COWS Services 118
Modeling Kohn Interaction Maps with Beta-Binders: An Example 117
Approximate Model Checking of Stochastic COWS 117
BlenX4Bio – BlenX for Biologists 117
Shape spaces in formal interactions 116
Quantitative Analysis of Services 116
Shape Spaces in Formal Interactions 113
On Beta-Binders Communications 112
A translation of Beta-binders in a prioritized pi-calculus 110
Model Checking Biological Systems Described Using Ambient Calculus 110
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 109
Explicit substitutions for pi-congruences 102
Operational Patterns in Beta-Binders 96
A pi-calculus with Explicit Substitutions: the Late Semantics 89
Symbolic Lookaheads for Bottom-up Parsing 84
null 83
Stochastic COWS 83
A pi-calculus with explicit Substitutions 81
Towards a Semantic-Based Verification Environment for the pi-calculus 80
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 65
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 58
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 57
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.171
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.319
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.167
Totale 31.486
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.199 124 94 332 330 266 53 0 0 0 0 0 0
Totale 7.171