CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 24.213
NA - Nord America 10.753
AS - Asia 5.563
SA - Sud America 792
AF - Africa 253
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 9
Totale 41.595
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 21.268
US - Stati Uniti d'America 10.324
SG - Singapore 1.741
CN - Cina 1.523
HK - Hong Kong 895
SE - Svezia 878
BR - Brasile 623
DE - Germania 547
VN - Vietnam 482
BG - Bulgaria 351
CA - Canada 317
FR - Francia 250
TR - Turchia 233
GB - Regno Unito 202
FI - Finlandia 180
JP - Giappone 144
RU - Federazione Russa 140
CI - Costa d'Avorio 103
IN - India 103
KR - Corea 103
UA - Ucraina 89
BD - Bangladesh 67
MX - Messico 67
AR - Argentina 62
CH - Svizzera 52
NL - Olanda 49
IQ - Iraq 43
EC - Ecuador 34
SA - Arabia Saudita 34
BE - Belgio 32
PK - Pakistan 28
ES - Italia 27
UZ - Uzbekistan 27
PL - Polonia 25
ZA - Sudafrica 24
ID - Indonesia 23
MA - Marocco 20
VE - Venezuela 20
KE - Kenya 19
CO - Colombia 17
GR - Grecia 17
SN - Senegal 17
TN - Tunisia 15
AT - Austria 14
JO - Giordania 13
PY - Paraguay 13
DZ - Algeria 12
LT - Lituania 12
AE - Emirati Arabi Uniti 11
EG - Egitto 11
HU - Ungheria 11
IL - Israele 11
JM - Giamaica 10
RO - Romania 10
TT - Trinidad e Tobago 10
NG - Nigeria 9
NP - Nepal 9
PH - Filippine 9
AU - Australia 8
CL - Cile 8
LB - Libano 8
MY - Malesia 8
IE - Irlanda 7
KZ - Kazakistan 7
PT - Portogallo 7
EU - Europa 6
UY - Uruguay 6
CZ - Repubblica Ceca 5
DK - Danimarca 5
HR - Croazia 5
IR - Iran 5
PE - Perù 5
RS - Serbia 5
SK - Slovacchia (Repubblica Slovacca) 5
AL - Albania 4
CR - Costa Rica 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
KG - Kirghizistan 4
MD - Moldavia 4
NZ - Nuova Zelanda 4
QA - Qatar 4
TW - Taiwan 4
AM - Armenia 3
AZ - Azerbaigian 3
BJ - Benin 3
BY - Bielorussia 3
EE - Estonia 3
GT - Guatemala 3
HN - Honduras 3
OM - Oman 3
PA - Panama 3
TH - Thailandia 3
AO - Angola 2
BB - Barbados 2
BO - Bolivia 2
BS - Bahamas 2
GE - Georgia 2
KH - Cambogia 2
LU - Lussemburgo 2
Totale 41.560
Salva come PNG Salva come JPEG
Città #
Serra 20.162
Ashburn 1.088
Singapore 965
Hong Kong 880
Fairfield 826
Woodbridge 785
Santa Clara 694
San Jose 677
Ann Arbor 601
Dallas 590
Houston 568
Chandler 495
Seattle 395
Sofia 351
Beijing 342
Wilmington 309
Cambridge 307
Shanghai 292
Ottawa 256
Milan 249
New York 236
Frankfurt am Main 180
Hefei 169
Los Angeles 169
Boardman 161
Pisa 149
Izmir 141
Ho Chi Minh City 137
Princeton 133
Lauterbourg 125
Lawrence 124
Tokyo 121
Nanjing 110
Abidjan 103
Jacksonville 100
Seoul 97
Hanoi 91
Munich 89
Medford 86
Rome 76
Chicago 73
Bremen 71
Des Moines 69
Florence 68
Buffalo 61
Dearborn 60
Istanbul 59
The Dalles 53
Helsinki 47
Dong Ket 45
San Diego 44
São Paulo 44
Council Bluffs 43
London 42
Düsseldorf 41
Redondo Beach 41
Boulder 38
Marseille 36
Ogden 35
Turku 35
Nanchang 33
Brussels 31
Bern 30
Columbus 29
Atlanta 27
Orem 25
Tashkent 24
Amsterdam 22
Zurich 22
Jiaxing 21
Rio de Janeiro 21
Jüchen 20
Baltimore 19
Da Nang 19
Kunming 19
Brooklyn 18
Fuzhou 18
Genoa 18
Pune 18
Dakar 17
Nairobi 17
Haiphong 16
Hebei 16
Dhaka 15
Nuremberg 15
Phoenix 15
Baghdad 14
Belo Horizonte 14
Mexico City 14
Montreal 14
Shenyang 14
Warsaw 14
Amman 13
Hải Dương 13
Jeddah 13
Riyadh 13
San Francisco 13
Denver 12
Jinan 12
Kent 12
Totale 35.164
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 610
Modular Verification of Interactive Systems with an Application to Biology 591
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 539
Generalized contexts for reaction systems: definition and study of dynamic causalities 514
Modelling Population Dynamics Using Grid Systems 486
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 479
Modular Verification of Qualitative Pathway Models with Fairness 465
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 463
P Systems with Transport and Diffusion Membrane Channels 456
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 450
Investigating dynamic causalities in reaction systems 449
Delay stochastic simulation of biological systems: A purely delayed approach 448
An Intermediate Language for the Simulation of Biological Systems 443
A high-level model checking language with compile-time pruning of local variables 440
Tumour suppression by Immune System through Stochastic Oscillations 439
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 434
Systolic automata and p systems 433
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 432
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 430
Simulation of Spatial P system models 426
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 425
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 425
BoPi - A distributed machine for experimenting web services technologies 422
Foundational aspects of multiscale modeling of biological systems with process algebras 422
A Compositional Semantics of Reaction Systems with Restriction 420
Specialized Predictor for Reaction Systems with Context Properties 419
A probabilistic model for molecular systems 416
Parallel Probabilistic Semantics for Multiset Rewriting 415
Predictors for flat membrane systems 413
Spatial Calculus of Looping Sequences 411
Identification of components in biochemical pathways: Extensive application to SBML models 410
Translating Stochastic CLS into Maude 409
Specialized Predictor for Reaction Systems with Context Properties 408
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 408
An algorithm for simulating human selective attention 405
Computing preimages and ancestors in reaction systems 402
The Calculus of Looping Sequences 399
Spatial Calculus of Looping Sequences 398
Compositional semantics and behavioural equivalences for reaction systems with restriction 398
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 396
An Intermediate Language for the Stochastic Simulation of Biological Systems 395
Formal modeling and analysis of safety-critical human multitasking 395
A tool for the modelling and simulation of ecological systems based on grid systems 394
Timed P Automata 393
Compositional Semantics of Spiking Neural P Systems 393
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 393
Computational Models for Population Dynamics: Two Case Studies 390
A computational model of internet addiction phenomena in social networks 389
An Overview of Operational Semantics in Membrane Computing 388
Bisimulation Congruences in the Calculus of Looping Sequences 387
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 384
Probabilistic model checking of biological systems with uncertain kinetic rates 384
Simulating gene regulatory networks using reaction systems 384
An executable formal framework for safety-critical human multitasking 382
Bisimulations in Calculi Modelling Membranes 381
An Algorithm for the Identification of Components in Biochemical Pathways 381
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 380
Studying Opacity of Reaction Systems through Formula Based Predictors 380
On Conditions for Modular Verification in Systems of Synchronising Components 379
Compositional semantics and behavioral equivalences for P Systems 372
Design and Verification of Long-Running Transactions in a Timed Framework 369
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 368
Information technology controlled greenhouse: A system architecture 368
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 367
Modeling and analysis of human memory load in multitasking scenarios 366
Modeling long-running transactions with communicating hierarchical timed automata 365
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 363
Formalizing a notion of concentration robustness for biochemical networks 363
Modular Verification of Interactive Systems with Application to Biology 363
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 361
A Calculus of Looping Sequences for Modelling Microbiological Systems 361
null 350
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 348
null 346
A P Systems Flat Form Preserving Step-by-step Behaviour 345
Hidden states in reaction systems 341
MoKMaSD organizers' message 335
Security in a Model for Long-running Transactions 333
Timed P automata 332
The Calculus of Looping Sequences for Modelling Biological Membranes 328
Spatial P Systems 322
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations 225
P Systems with Transport and Diffusion Membrane Channels 217
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 215
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 189
Dynamic Bayesian network for crop growth prediction in greenhouses 183
Modelling Biochemical Pathways with the Calculus of Looping Sequences 179
Towards Modular Verification of Pathways: Fairness and Assumptions 175
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 175
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Bayesian sigmoid-type time series forecasting with missing data for greenhouse crops 170
Prediction of dynamical properties of biochemical pathways with graph neural networks 170
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 169
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 168
Characterization and computation of ancestors in reaction systems 161
Drug Mechanism: A bioinformatic update 160
Antibody design using deep learning: from sequence and structure design to affinity maturation 159
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 159
Predictive model for the growth rate of tomatoes in saline substrate cultivation 156
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 154
Totale 36.122
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.227
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 82.227
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021126 0 0 0 0 0 0 0 0 0 0 0 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/20265.665 302 655 638 504 596 498 872 273 396 627 239 65
Totale 41.834