CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 24.376
NA - Nord America 11.340
AS - Asia 5.584
SA - Sud America 807
AF - Africa 256
Continente sconosciuto - Info sul continente non disponibili 254
OC - Oceania 12
Totale 42.629
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 21.414
US - Stati Uniti d'America 10.884
SG - Singapore 1.750
CN - Cina 1.524
HK - Hong Kong 898
SE - Svezia 884
BR - Brasile 631
DE - Germania 547
VN - Vietnam 482
BG - Bulgaria 351
CA - Canada 327
FR - Francia 253
TR - Turchia 234
GB - Regno Unito 202
FI - Finlandia 180
JP - Giappone 146
RU - Federazione Russa 140
IN - India 104
CI - Costa d'Avorio 103
KR - Corea 103
UA - Ucraina 91
MX - Messico 69
BD - Bangladesh 68
AR - Argentina 64
CH - Svizzera 52
NL - Olanda 51
IQ - Iraq 43
EC - Ecuador 34
SA - Arabia Saudita 34
BE - Belgio 33
PK - Pakistan 31
ES - Italia 27
UZ - Uzbekistan 27
ZA - Sudafrica 27
PL - Polonia 25
ID - Indonesia 23
MA - Marocco 20
VE - Venezuela 20
CO - Colombia 19
KE - Kenya 19
GR - Grecia 17
SN - Senegal 17
JM - Giamaica 15
TN - Tunisia 15
AT - Austria 14
JO - Giordania 13
PY - Paraguay 13
DZ - Algeria 12
LT - Lituania 12
AE - Emirati Arabi Uniti 11
CL - Cile 11
EG - Egitto 11
HU - Ungheria 11
IL - Israele 11
TT - Trinidad e Tobago 11
RO - Romania 10
NG - Nigeria 9
NP - Nepal 9
PH - Filippine 9
AU - Australia 8
LB - Libano 8
MY - Malesia 8
IE - Irlanda 7
KZ - Kazakistan 7
PT - Portogallo 7
CR - Costa Rica 6
CZ - Repubblica Ceca 6
EU - Europa 6
HR - Croazia 6
SK - Slovacchia (Repubblica Slovacca) 6
UY - Uruguay 6
DK - Danimarca 5
IR - Iran 5
NI - Nicaragua 5
PE - Perù 5
RS - Serbia 5
AL - Albania 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
BB - Barbados 3
BJ - Benin 3
BS - Bahamas 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
BO - Bolivia 2
GE - Georgia 2
KH - Cambogia 2
Totale 42.347
Salva come PNG Salva come JPEG
Città #
Serra 20.162
Ashburn 1.126
Singapore 969
Hong Kong 883
Fairfield 826
Woodbridge 785
San Jose 713
Santa Clara 706
Ann Arbor 601
Dallas 591
Houston 569
Chandler 495
Seattle 397
Sofia 351
Beijing 342
Wilmington 309
Cambridge 307
Shanghai 292
Milan 270
Ottawa 256
New York 238
Frankfurt am Main 180
Los Angeles 174
Hefei 169
Boardman 161
Pisa 151
Izmir 141
Ho Chi Minh City 137
Princeton 133
Lauterbourg 125
Lawrence 124
Tokyo 121
Nanjing 110
Abidjan 103
Council Bluffs 103
Jacksonville 100
Seoul 97
Hanoi 91
Munich 89
Rome 88
Medford 86
Chicago 75
Bremen 71
Des Moines 69
Florence 69
Buffalo 61
Dearborn 60
Istanbul 59
The Dalles 54
São Paulo 48
Helsinki 47
Dong Ket 45
San Diego 44
London 42
Düsseldorf 41
Redondo Beach 41
Atlanta 38
Boulder 38
Marseille 36
Ogden 35
Turku 35
Nanchang 33
Brussels 32
Bern 30
Columbus 30
Orem 25
Tashkent 24
Amsterdam 23
Genoa 22
Zurich 22
Brooklyn 21
Jiaxing 21
Rio de Janeiro 21
Jüchen 20
Baltimore 19
Da Nang 19
Kunming 19
Figino 18
Fuzhou 18
Pune 18
Dakar 17
Nairobi 17
Haiphong 16
Hebei 16
Mexico City 16
Phoenix 16
Dhaka 15
Nuremberg 15
Baghdad 14
Belo Horizonte 14
Montreal 14
San Francisco 14
Shenyang 14
Warsaw 14
Washington 14
Amman 13
Denver 13
Hải Dương 13
Jeddah 13
Riyadh 13
Totale 35.405
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 520
Modelling Population Dynamics Using Grid Systems 489
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 481
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 468
Modular Verification of Qualitative Pathway Models with Fairness 465
P Systems with Transport and Diffusion Membrane Channels 457
Investigating dynamic causalities in reaction systems 457
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 452
Delay stochastic simulation of biological systems: A purely delayed approach 450
An Intermediate Language for the Simulation of Biological Systems 444
Tumour suppression by Immune System through Stochastic Oscillations 443
A high-level model checking language with compile-time pruning of local variables 442
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 436
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 433
Systolic automata and p systems 433
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 433
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 428
Simulation of Spatial P system models 427
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 423
Foundational aspects of multiscale modeling of biological systems with process algebras 423
Specialized Predictor for Reaction Systems with Context Properties 422
A Compositional Semantics of Reaction Systems with Restriction 420
A probabilistic model for molecular systems 417
Predictors for flat membrane systems 417
Parallel Probabilistic Semantics for Multiset Rewriting 415
Spatial Calculus of Looping Sequences 412
Specialized Predictor for Reaction Systems with Context Properties 411
Translating Stochastic CLS into Maude 410
Identification of components in biochemical pathways: Extensive application to SBML models 410
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 409
Computing preimages and ancestors in reaction systems 407
An algorithm for simulating human selective attention 405
The Calculus of Looping Sequences 401
Spatial Calculus of Looping Sequences 399
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
A tool for the modelling and simulation of ecological systems based on grid systems 395
Formal modeling and analysis of safety-critical human multitasking 395
Timed P Automata 394
Compositional Semantics of Spiking Neural P Systems 394
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 394
Computational Models for Population Dynamics: Two Case Studies 393
Simulating gene regulatory networks using reaction systems 390
Bisimulation Congruences in the Calculus of Looping Sequences 389
A computational model of internet addiction phenomena in social networks 389
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 389
An Overview of Operational Semantics in Membrane Computing 388
Probabilistic model checking of biological systems with uncertain kinetic rates 386
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 385
An Algorithm for the Identification of Components in Biochemical Pathways 384
An executable formal framework for safety-critical human multitasking 383
Studying Opacity of Reaction Systems through Formula Based Predictors 383
Bisimulations in Calculi Modelling Membranes 382
On Conditions for Modular Verification in Systems of Synchronising Components 379
Compositional semantics and behavioral equivalences for P Systems 375
Design and Verification of Long-Running Transactions in a Timed Framework 370
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 369
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 369
Information technology controlled greenhouse: A system architecture 369
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 366
Modeling long-running transactions with communicating hierarchical timed automata 366
Modeling and analysis of human memory load in multitasking scenarios 366
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 362
A Calculus of Looping Sequences for Modelling Microbiological Systems 362
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 343
MoKMaSD organizers' message 336
Security in a Model for Long-running Transactions 334
Timed P automata 333
The Calculus of Looping Sequences for Modelling Biological Membranes 330
Spatial P Systems 323
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 279
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 239
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations 233
P Systems with Transport and Diffusion Membrane Channels 223
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+ 190
Dynamic Bayesian network for crop growth prediction in greenhouses 187
Modelling Biochemical Pathways with the Calculus of Looping Sequences 182
Towards Modular Verification of Pathways: Fairness and Assumptions 180
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 175
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 172
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Prediction of dynamical properties of biochemical pathways with graph neural networks 171
Bayesian sigmoid-type time series forecasting with missing data for greenhouse crops 170
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 169
Antibody design using deep learning: from sequence and structure design to affinity maturation 168
RettDb: the Rett syndrome omics database to navigate the Rett syndrome genomic landscape 165
Drug Mechanism: A bioinformatic update 165
Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation 163
Totale 36.511
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.533
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 85.533
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.550 0 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.892 302 655 638 504 596 498 872 273 396 627 239 292
2026/2027568 192 376 0 0 0 0 0 0 0 0 0 0
Totale 42.629