CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 23.491
NA - Nord America 8.031
AS - Asia 2.290
SA - Sud America 190
AF - Africa 150
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 6
Totale 34.168
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 21.090
US - Stati Uniti d'America 7.761
CN - Cina 900
SE - Svezia 869
SG - Singapore 728
DE - Germania 437
BG - Bulgaria 351
HK - Hong Kong 267
CA - Canada 266
TR - Turchia 201
BR - Brasile 166
RU - Federazione Russa 132
FI - Finlandia 128
GB - Regno Unito 117
CI - Costa d'Avorio 103
FR - Francia 102
VN - Vietnam 98
UA - Ucraina 81
CH - Svizzera 32
BE - Belgio 31
NL - Olanda 22
IN - India 21
JP - Giappone 21
GR - Grecia 16
SN - Senegal 16
AR - Argentina 15
AT - Austria 12
HU - Ungheria 10
MA - Marocco 10
ES - Italia 8
NG - Nigeria 8
PL - Polonia 7
AU - Australia 6
EU - Europa 6
KR - Corea 6
RO - Romania 6
IE - Irlanda 5
SK - Slovacchia (Repubblica Slovacca) 5
BD - Bangladesh 4
CZ - Repubblica Ceca 4
DK - Danimarca 4
EC - Ecuador 4
IQ - Iraq 4
IR - Iran 4
MY - Malesia 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
TN - Tunisia 4
UZ - Uzbekistan 4
BJ - Benin 3
DZ - Algeria 3
EE - Estonia 3
HR - Croazia 3
IL - Israele 3
KZ - Kazakistan 3
RS - Serbia 3
AZ - Azerbaigian 2
CO - Colombia 2
ID - Indonesia 2
JO - Giordania 2
KE - Kenya 2
LT - Lituania 2
MX - Messico 2
NO - Norvegia 2
NP - Nepal 2
PE - Perù 2
PK - Pakistan 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
CR - Costa Rica 1
GE - Georgia 1
KG - Kirghizistan 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
MD - Moldavia 1
PA - Panama 1
QA - Qatar 1
TH - Thailandia 1
VE - Venezuela 1
Totale 34.168
Salva come PNG Salva come JPEG
Città #
Serra 20.162
Ashburn 829
Fairfield 825
Woodbridge 784
Santa Clara 683
Ann Arbor 601
Houston 557
Chandler 495
Seattle 390
Sofia 351
Singapore 342
Wilmington 308
Cambridge 306
Shanghai 289
Hong Kong 262
Ottawa 256
Milan 234
Beijing 192
New York 192
Frankfurt am Main 170
Boardman 149
Izmir 139
Princeton 133
Lawrence 124
Nanjing 109
Pisa 109
Abidjan 103
Jacksonville 100
Medford 86
Bremen 71
Des Moines 69
Florence 65
Dearborn 60
Chicago 59
Rome 56
Istanbul 53
Dong Ket 45
San Diego 43
Düsseldorf 40
Boulder 38
Helsinki 36
Los Angeles 36
Marseille 35
Ogden 35
Nanchang 33
Bern 30
Brussels 30
London 29
Dallas 24
Jiaxing 21
Jüchen 20
Kunming 18
Fuzhou 17
Dakar 16
Hebei 16
Pune 15
Lauterbourg 14
Shenyang 14
The Dalles 14
Kent 12
Norwalk 12
São Paulo 12
Hefei 11
Livorno 11
Nuremberg 11
Quanzhou 11
Washington 11
Auburn Hills 10
Changsha 10
Como 10
Council Bluffs 10
Jinan 10
Guangzhou 9
Indiana 9
Redwood City 9
Belo Horizonte 8
Lagos 8
Monsummano Terme 8
Munich 8
Pesaro 8
Pontedera 8
Tianjin 8
Torino 8
Vienna 8
Cagliari 7
Desenzano del Garda 7
Phoenix 7
Shenzhen 7
Verona 7
Falkenstein 6
Pistoia 6
Rio de Janeiro 6
Xiamen 6
Dublin 5
Kocaeli 5
Naples 5
Nürnberg 5
Bologna 4
Buenos Aires 4
Capannori 4
Totale 30.663
Salva come PNG Salva come JPEG
Nome #
Modular Verification of Interactive Systems with an Application to Biology 561
P systems with endosomes 545
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 452
Generalized contexts for reaction systems: definition and study of dynamic causalities 442
Modelling Population Dynamics Using Grid Systems 430
Modular Verification of Qualitative Pathway Models with Fairness 425
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 412
Tumour suppression by Immune System through Stochastic Oscillations 408
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 406
An Intermediate Language for the Simulation of Biological Systems 406
Delay stochastic simulation of biological systems: A purely delayed approach 404
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 402
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 402
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 398
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 395
A high-level model checking language with compile-time pruning of local variables 393
P Systems with Transport and Diffusion Membrane Channels 392
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 392
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 385
Investigating dynamic causalities in reaction systems 384
Spatial Calculus of Looping Sequences 381
A Compositional Semantics of Reaction Systems with Restriction 381
Foundational aspects of multiscale modeling of biological systems with process algebras 381
Systolic automata and p systems 378
A probabilistic model for molecular systems 377
BoPi - A distributed machine for experimenting web services technologies 377
Spatial Calculus of Looping Sequences 377
Simulation of Spatial P system models 375
Specialized Predictor for Reaction Systems with Context Properties 374
Timed P Automata 368
The Calculus of Looping Sequences 368
Parallel Probabilistic Semantics for Multiset Rewriting 366
Translating Stochastic CLS into Maude 366
A tool for the modelling and simulation of ecological systems based on grid systems 364
An Intermediate Language for the Stochastic Simulation of Biological Systems 362
Specialized Predictor for Reaction Systems with Context Properties 362
Identification of components in biochemical pathways: Extensive application to SBML models 362
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 361
Computational Models for Population Dynamics: Two Case Studies 359
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 357
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 356
Probabilistic model checking of biological systems with uncertain kinetic rates 353
Formal modeling and analysis of safety-critical human multitasking 353
An algorithm for simulating human selective attention 352
Compositional Semantics of Spiking Neural P Systems 351
Compositional semantics and behavioural equivalences for reaction systems with restriction 351
null 350
Predictors for flat membrane systems 348
An Overview of Operational Semantics in Membrane Computing 347
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 346
null 346
Bisimulation Congruences in the Calculus of Looping Sequences 345
Bisimulations in Calculi Modelling Membranes 344
An Algorithm for the Identification of Components in Biochemical Pathways 344
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 341
Compositional semantics and behavioral equivalences for P Systems 340
Computing preimages and ancestors in reaction systems 340
On Conditions for Modular Verification in Systems of Synchronising Components 339
Information technology controlled greenhouse: A system architecture 336
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 335
A computational model of internet addiction phenomena in social networks 335
Design and Verification of Long-Running Transactions in a Timed Framework 332
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 332
A Calculus of Looping Sequences for Modelling Microbiological Systems 332
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 332
Modeling and analysis of human memory load in multitasking scenarios 330
An executable formal framework for safety-critical human multitasking 330
Modeling long-running transactions with communicating hierarchical timed automata 329
Modular Verification of Interactive Systems with Application to Biology 329
Simulating gene regulatory networks using reaction systems 328
Studying Opacity of Reaction Systems through Formula Based Predictors 325
Formalizing a notion of concentration robustness for biochemical networks 324
A P Systems Flat Form Preserving Step-by-step Behaviour 323
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 313
Timed P automata 312
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 308
Hidden states in reaction systems 305
Security in a Model for Long-running Transactions 303
The Calculus of Looping Sequences for Modelling Biological Membranes 303
MoKMaSD organizers' message 300
Spatial P Systems 299
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 187
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 162
P Systems with Transport and Diffusion Membrane Channels 156
Modelling Biochemical Pathways with the Calculus of Looping Sequences 143
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 129
Prediction of dynamical properties of biochemical pathways with graph neural networks 128
Towards Modular Verification of Pathways: Fairness and Assumptions 127
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 124
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 123
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 123
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 122
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 117
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 114
Characterization and computation of ancestors in reaction systems 111
Dynamic Bayesian network for crop growth prediction in greenhouses 110
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 108
Formal Modeling in Systems Biology. An approach from Theoretical Computer Science 107
Proc. of the 1st workshop on applications of membrane computing, concurrency and agent-based modelling in pulation biology 107
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations 105
Totale 31.874
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.072
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 64.072
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020335 0 0 0 0 0 0 0 0 0 126 157 52
2020/2021949 75 55 64 38 117 45 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/20253.119 35 183 108 228 470 493 395 222 389 596 0 0
Totale 34.392