IRIS
Quaglia, Paola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.169
EU - Europa 584
AS - Asia 362
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
Totale 5.121
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.162
SG - Singapore 214
UA - Ucraina 185
SE - Svezia 126
CN - Cina 120
FI - Finlandia 77
IT - Italia 73
GB - Regno Unito 43
BG - Bulgaria 31
DE - Germania 24
JO - Giordania 9
RU - Federazione Russa 8
CA - Canada 6
TR - Turchia 4
VN - Vietnam 4
FR - Francia 3
ID - Indonesia 3
PK - Pakistan 3
CO - Colombia 2
EU - Europa 2
IE - Irlanda 2
JP - Giappone 2
LT - Lituania 2
NL - Olanda 2
PL - Polonia 2
AT - Austria 1
BE - Belgio 1
BR - Brasile 1
DK - Danimarca 1
EE - Estonia 1
IN - India 1
KG - Kirghizistan 1
MX - Messico 1
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
SC - Seychelles 1
Totale 5.121
Salva come PNG Salva come JPEG
Città #
Fairfield 628
Chandler 440
Jacksonville 391
Woodbridge 321
Ashburn 305
Seattle 260
Wilmington 257
Houston 229
Cambridge 227
Singapore 184
San Mateo 174
Ann Arbor 125
Columbus 120
Princeton 78
Dearborn 60
Lawrence 46
Beijing 43
Trento 38
Sofia 31
New York 29
Helsinki 17
Boardman 15
San Diego 15
Falls Church 13
Napoli 10
London 9
Norwalk 9
Santa Clara 9
Bremen 8
Des Moines 8
Hefei 7
Moscow 7
Düsseldorf 6
Kilburn 6
Los Angeles 6
Jinan 5
Nanchang 5
Nanjing 5
Andover 4
Dallas 4
Dong Ket 4
Hounslow 4
Izmir 4
Kunming 4
Toronto 4
Como 3
Islamabad 3
Washington 3
Zhengzhou 3
Cartagena 2
Chiswick 2
Costa Mesa 2
Dublin 2
Fremont 2
Grevenbroich 2
Guangzhou 2
Jakarta 2
Milan 2
Nanning 2
Phoenix 2
Povo 2
Redwood City 2
Tokyo 2
Verona 2
Wuhan 2
Acton 1
Altamura 1
Amsterdam 1
Bad Bellingen 1
Bari 1
Bishkek 1
Bonndorf 1
Brussels 1
Changsha 1
Clearwater 1
Fayetteville 1
Frankfurt am Main 1
Fuzhou 1
Gunzenhausen 1
Huzhou 1
Iesi 1
Jinhua 1
Lanzhou 1
Laurel 1
Manila 1
Montichiari 1
Mountain View 1
New Bedfont 1
Ningbo 1
Nuremberg 1
Ottawa 1
Pademangan Timur 1
Prescot 1
Shanghai 1
Shenyang 1
Southwark 1
Sovizzo 1
São Paulo 1
Taastrup 1
Taiyuan 1
Totale 4.253
Salva come PNG Salva come JPEG
Nome #
Network Inference from Time-Dependent Omics Data 166
On Beta-Binders Communications 127
Communicating by compatibility 124
Modelling the dynamics of biosystems 123
A Translation of Beta-binders in a Prioritized Pi-calculus 120
Expressing global priorities by best-matching 117
Formal Analysis of BPMN Via a Translation into COWS 116
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 115
An Automatic Translation of SBML into Beta-Binders 114
An Automatic Translation of SBML into Beta-Binders 113
A Formal Language for Computational Systems Biology 109
Process Calculi Abstractions for Biology 105
Process Calculi Abstractions for Biology 103
Modelling the dynamics of biosystems 102
Beta-binders for biological quantitative experiments 99
A Formal Language for Computational Systems Biology 98
Performance analysis of a UML micro business case study 97
An imperative language of self-modifying graphs for biological systems 96
Beta-binders for Biological Quantitative Experiments 95
Communicating by Compatibility 94
BlenX Static and Dynamic Semantics 93
Developing An Hierarchical Simulator for Beta-binders 92
A pi-calculus with explicit substitutions 92
A Fully Parallel Calculus of Synchronizing Processes 91
Shape spaces in formal interactions 90
Developing An Hierarchical Simulator for Beta-binders 90
Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10 89
A Tool for Checking Probabilistic Properties of COWS Services 89
Approximate Model Checking of Stochastic COWS 89
BlenX4Bio – BlenX for Biologists 89
On Beta-Binders Communications 88
Beta binders for biological interactions 88
Shape Spaces in Formal Interactions 88
Formal executable descriptions of biological systems 86
Quantitative Analysis of Services 86
Model Checking Biological Systems Described Using Ambient Calculus 85
null 83
Beta Binders for Biological Interactions 83
A translation of Beta-binders in a prioritized pi-calculus 80
Explicit substitutions for pi-congruences 79
Modeling Kohn Interaction Maps with Beta-Binders: An Example 79
Operational Patterns in Beta-Binders 77
Model Checking Biological Systems Described Using Ambient Calculus 76
Pi-Congruences as CCS Equivalences 74
Symbolic Lookaheads for Bottom-up Parsing 66
null 64
A pi-calculus with Explicit Substitutions: the Late Semantics 60
The Pi-Calculus: Notes on Labelled Semantics 58
Stochastic COWS 56
Types and full abstraction for polyadic pi-calculus 52
Stochastic COWS 52
Types and full abstraction for polyadic pi-calculus 51
Towards a Semantic-Based Verification Environment for the pi-calculus 50
A pi-calculus with explicit Substitutions 48
Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 43
On encoding pPi in mPi 41
Towards a Semantic-Based Verification Environment for the pi-calculus 41
Walking on SR-automata to detect grammar ambiguity 40
Briefly on Bottom-up 40
The Weak Late pi-calculus Semantics as Observation Equivalence 37
Process Calculi in a Biological Context 37
Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010 36
Operational Patterns in Beta-binders 21
Process Calculi Abstractions for Biology 10
On Synchronous and Asynchronous Mobile Processes 6
Totale 5.198
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.261
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.160
Totale 23.421
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020972 0 0 0 0 173 127 194 119 176 76 35 72
2020/2021944 21 179 67 110 87 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/2025390 4 12 50 276 48 0 0 0 0 0 0 0
Totale 5.198