CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 23.836
NA - Nord America 9.552
AS - Asia 4.800
SA - Sud America 704
AF - Africa 226
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 9
Totale 39.137
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 21.142
US - Stati Uniti d'America 9.166
SG - Singapore 1.567
CN - Cina 1.406
HK - Hong Kong 878
SE - Svezia 876
BR - Brasile 580
DE - Germania 532
BG - Bulgaria 351
CA - Canada 296
VN - Vietnam 257
TR - Turchia 222
GB - Regno Unito 180
FI - Finlandia 170
RU - Federazione Russa 137
FR - Francia 116
CI - Costa d'Avorio 103
KR - Corea 103
UA - Ucraina 86
IN - India 70
JP - Giappone 62
MX - Messico 56
AR - Argentina 51
BD - Bangladesh 47
CH - Svizzera 32
BE - Belgio 31
NL - Olanda 31
SA - Arabia Saudita 29
IQ - Iraq 27
EC - Ecuador 26
ES - Italia 22
MA - Marocco 19
PL - Polonia 18
GR - Grecia 17
SN - Senegal 17
ID - Indonesia 16
KE - Kenya 16
UZ - Uzbekistan 16
ZA - Sudafrica 16
PK - Pakistan 14
VE - Venezuela 14
AT - Austria 13
TN - Tunisia 12
HU - Ungheria 11
LT - Lituania 11
AE - Emirati Arabi Uniti 10
IL - Israele 9
JO - Giordania 9
PY - Paraguay 9
TT - Trinidad e Tobago 9
DZ - Algeria 8
EG - Egitto 8
NG - Nigeria 8
RO - Romania 8
CO - Colombia 7
JM - Giamaica 7
MY - Malesia 7
NP - Nepal 7
AU - Australia 6
EU - Europa 6
KZ - Kazakistan 6
PT - Portogallo 6
CZ - Repubblica Ceca 5
DK - Danimarca 5
IE - Irlanda 5
IR - Iran 5
LB - Libano 5
SK - Slovacchia (Repubblica Slovacca) 5
UY - Uruguay 5
AL - Albania 4
CL - Cile 4
CR - Costa Rica 4
ET - Etiopia 4
HR - Croazia 4
KG - Kirghizistan 4
NZ - Nuova Zelanda 4
PE - Perù 4
RS - Serbia 4
AZ - Azerbaigian 3
BJ - Benin 3
DO - Repubblica Dominicana 3
EE - Estonia 3
MD - Moldavia 3
QA - Qatar 3
AM - Armenia 2
BB - Barbados 2
BO - Bolivia 2
BY - Bielorussia 2
GE - Georgia 2
KH - Cambogia 2
LU - Lussemburgo 2
NI - Nicaragua 2
NO - Norvegia 2
OM - Oman 2
PA - Panama 2
TH - Thailandia 2
TW - Taiwan 2
UG - Uganda 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
Totale 39.112
Salva come PNG Salva come JPEG
Città #
Serra 20.162
Ashburn 1.000
Hong Kong 869
Singapore 862
Fairfield 826
Woodbridge 784
Santa Clara 687
Ann Arbor 601
Dallas 579
Houston 564
Chandler 495
Seattle 394
Sofia 351
Beijing 340
Wilmington 308
Cambridge 306
Shanghai 291
Ottawa 256
Milan 235
New York 220
Frankfurt am Main 173
Hefei 169
Boardman 160
Los Angeles 160
Izmir 140
Princeton 133
Lawrence 124
Pisa 119
Nanjing 110
Abidjan 103
Jacksonville 100
Seoul 97
Munich 89
Medford 86
Bremen 71
Chicago 71
Des Moines 69
Florence 65
Ho Chi Minh City 61
Rome 61
Dearborn 60
Buffalo 57
Istanbul 56
Dong Ket 45
The Dalles 45
San Diego 43
Redondo Beach 41
São Paulo 41
Tokyo 41
Düsseldorf 40
London 40
Helsinki 39
Boulder 38
Marseille 36
Hanoi 35
Ogden 35
Turku 35
Nanchang 33
Bern 30
Brussels 30
San Jose 26
Jiaxing 21
Jüchen 20
Kunming 19
Rio de Janeiro 19
Fuzhou 18
Columbus 17
Dakar 17
Hebei 16
Pune 16
Atlanta 15
Brooklyn 15
Phoenix 15
Belo Horizonte 14
Council Bluffs 14
Lauterbourg 14
Mexico City 14
Nairobi 14
Shenyang 14
Tashkent 14
Nuremberg 13
Orem 13
Warsaw 13
Dhaka 12
Kent 12
Montreal 12
Norwalk 12
Quanzhou 12
Washington 12
Baghdad 11
Changsha 11
Guangzhou 11
Jinan 11
Livorno 11
Riyadh 11
Ankara 10
Auburn Hills 10
Como 10
Denver 10
Jeddah 10
Totale 33.670
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 591
Modular Verification of Interactive Systems with an Application to Biology 584
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 522
Generalized contexts for reaction systems: definition and study of dynamic causalities 476
Modelling Population Dynamics Using Grid Systems 469
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 465
Modular Verification of Qualitative Pathway Models with Fairness 455
P Systems with Transport and Diffusion Membrane Channels 439
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 437
Delay stochastic simulation of biological systems: A purely delayed approach 435
An Intermediate Language for the Simulation of Biological Systems 434
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 431
Tumour suppression by Immune System through Stochastic Oscillations 429
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 426
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 424
Systolic automata and p systems 418
A high-level model checking language with compile-time pruning of local variables 418
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 416
Investigating dynamic causalities in reaction systems 416
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 414
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 412
BoPi - A distributed machine for experimenting web services technologies 411
Foundational aspects of multiscale modeling of biological systems with process algebras 408
Simulation of Spatial P system models 407
A probabilistic model for molecular systems 402
Specialized Predictor for Reaction Systems with Context Properties 402
Spatial Calculus of Looping Sequences 401
Translating Stochastic CLS into Maude 401
A Compositional Semantics of Reaction Systems with Restriction 400
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 400
Identification of components in biochemical pathways: Extensive application to SBML models 398
Parallel Probabilistic Semantics for Multiset Rewriting 397
Predictors for flat membrane systems 395
An algorithm for simulating human selective attention 394
Spatial Calculus of Looping Sequences 391
The Calculus of Looping Sequences 389
Timed P Automata 387
A tool for the modelling and simulation of ecological systems based on grid systems 384
Compositional Semantics of Spiking Neural P Systems 383
An Intermediate Language for the Stochastic Simulation of Biological Systems 383
Specialized Predictor for Reaction Systems with Context Properties 383
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 382
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 382
Computing preimages and ancestors in reaction systems 381
Formal modeling and analysis of safety-critical human multitasking 379
Computational Models for Population Dynamics: Two Case Studies 378
Probabilistic model checking of biological systems with uncertain kinetic rates 378
Bisimulation Congruences in the Calculus of Looping Sequences 378
Compositional semantics and behavioural equivalences for reaction systems with restriction 377
An executable formal framework for safety-critical human multitasking 376
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 371
On Conditions for Modular Verification in Systems of Synchronising Components 371
An Algorithm for the Identification of Components in Biochemical Pathways 371
An Overview of Operational Semantics in Membrane Computing 370
A computational model of internet addiction phenomena in social networks 366
Bisimulations in Calculi Modelling Membranes 365
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 364
Studying Opacity of Reaction Systems through Formula Based Predictors 364
Compositional semantics and behavioral equivalences for P Systems 363
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 363
Simulating gene regulatory networks using reaction systems 362
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 361
Design and Verification of Long-Running Transactions in a Timed Framework 360
Information technology controlled greenhouse: A system architecture 359
Modular Verification of Interactive Systems with Application to Biology 356
Modeling and analysis of human memory load in multitasking scenarios 355
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 354
A Calculus of Looping Sequences for Modelling Microbiological Systems 352
Modeling long-running transactions with communicating hierarchical timed automata 351
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 350
null 350
null 346
Formalizing a notion of concentration robustness for biochemical networks 346
A P Systems Flat Form Preserving Step-by-step Behaviour 341
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 337
Hidden states in reaction systems 327
MoKMaSD organizers' message 326
Security in a Model for Long-running Transactions 325
Timed P automata 324
The Calculus of Looping Sequences for Modelling Biological Membranes 319
Spatial P Systems 317
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 206
P Systems with Transport and Diffusion Membrane Channels 201
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 182
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations 171
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 168
Modelling Biochemical Pathways with the Calculus of Looping Sequences 165
Towards Modular Verification of Pathways: Fairness and Assumptions 159
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 159
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 157
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 155
Prediction of dynamical properties of biochemical pathways with graph neural networks 153
Dynamic Bayesian network for crop growth prediction in greenhouses 148
Bayesian sigmoid-type time series forecasting with missing data for greenhouse crops 146
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 145
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 144
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 141
Characterization and computation of ancestors in reaction systems 138
Antibody design using deep learning: from sequence and structure design to affinity maturation 137
Studying Opacity of Reaction Systems through Formula Based Predictors 137
Totale 34.736
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.547
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 76.547
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021555 0 0 0 0 0 0 40 98 143 72 76 126
2021/20221.567 17 89 40 187 362 201 54 81 76 20 103 337
2022/20232.021 269 233 120 218 144 203 34 139 493 12 137 19
2023/20241.543 159 124 198 80 227 251 87 95 28 48 74 172
2024/20254.896 35 183 108 228 470 493 395 222 389 603 506 1.264
2025/20263.205 302 655 638 504 596 498 12 0 0 0 0 0
Totale 39.374