CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 23.135
NA - Nord America 6.906
AS - Asia 1.148
AF - Africa 130
SA - Sud America 18
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 6
Totale 31.351
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 20.995
US - Stati Uniti d'America 6.643
SE - Svezia 868
CN - Cina 501
DE - Germania 386
BG - Bulgaria 350
SG - Singapore 282
CA - Canada 262
TR - Turchia 150
GB - Regno Unito 112
FI - Finlandia 107
CI - Costa d'Avorio 103
VN - Vietnam 97
UA - Ucraina 79
FR - Francia 63
HK - Hong Kong 57
BE - Belgio 31
CH - Svizzera 30
RU - Federazione Russa 30
JP - Giappone 21
IN - India 17
NL - Olanda 16
SN - Senegal 16
GR - Grecia 15
AR - Argentina 11
HU - Ungheria 10
ES - Italia 8
NG - Nigeria 8
AU - Australia 6
EU - Europa 6
KR - Corea 6
AT - Austria 5
BR - Brasile 5
RO - Romania 5
SK - Slovacchia (Repubblica Slovacca) 5
IR - Iran 4
MY - Malesia 4
PL - Polonia 4
PT - Portogallo 4
HR - Croazia 3
IE - Irlanda 3
CZ - Repubblica Ceca 2
ID - Indonesia 2
IL - Israele 2
NZ - Nuova Zelanda 2
RS - Serbia 2
TN - Tunisia 2
BD - Bangladesh 1
CO - Colombia 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
JO - Giordania 1
KZ - Kazakistan 1
MX - Messico 1
NO - Norvegia 1
NP - Nepal 1
SA - Arabia Saudita 1
Totale 31.351
Salva come PNG Salva come JPEG
Città #
Serra 20.162
Fairfield 825
Woodbridge 784
Ann Arbor 601
Houston 557
Chandler 495
Ashburn 480
Seattle 390
Sofia 350
Wilmington 308
Cambridge 306
Ottawa 254
Milan 218
New York 192
Beijing 186
Frankfurt am Main 160
Boardman 149
Izmir 138
Princeton 133
Lawrence 124
Singapore 112
Nanjing 109
Abidjan 103
Jacksonville 100
Medford 86
Pisa 86
Bremen 71
Des Moines 69
Florence 61
Dearborn 60
Chicago 59
Hong Kong 52
Rome 51
Dong Ket 45
San Diego 43
Boulder 38
Marseille 35
Ogden 35
Nanchang 32
Bern 30
Brussels 30
London 28
Dallas 24
Los Angeles 23
Düsseldorf 21
Jiaxing 21
Jüchen 20
Kunming 18
Dakar 16
Hebei 16
Helsinki 16
Pune 15
Shenyang 14
Kent 12
Norwalk 12
Hefei 11
Washington 11
Auburn Hills 10
Changsha 10
Como 10
Indiana 9
Redwood City 9
Jinan 8
Lagos 8
Livorno 8
Monsummano Terme 8
Pesaro 8
Santa Clara 8
Torino 8
Desenzano del Garda 7
Guangzhou 7
Phoenix 7
Shanghai 7
Tianjin 7
Verona 7
Istanbul 6
Pistoia 6
Council Bluffs 5
Kocaeli 5
Nürnberg 5
Vienna 5
Capannori 4
Carrara 4
Doetinchem 4
Groningen 4
Hangzhou 4
Horia 4
La Spezia 4
Ningbo 4
North York 4
Orange 4
Pontedera 4
Riomaggiore 4
Southwark 4
Tokyo 4
Velp 4
Walnut 4
Augusta 3
Bologna 3
Bratislava 3
Totale 28.648
Salva come PNG Salva come JPEG
Nome #
Modular Verification of Interactive Systems with an Application to Biology 544
P systems with endosomes 524
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 425
Generalized contexts for reaction systems: definition and study of dynamic causalities 418
Modular Verification of Qualitative Pathway Models with Fairness 402
Modelling Population Dynamics Using Grid Systems 402
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 390
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 389
An Intermediate Language for the Simulation of Biological Systems 389
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 388
Delay stochastic simulation of biological systems: A purely delayed approach 388
Tumour suppression by Immune System through Stochastic Oscillations 383
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 381
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 379
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 379
A high-level model checking language with compile-time pruning of local variables 373
P Systems with Transport and Diffusion Membrane Channels 372
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 370
BoPi - A distributed machine for experimenting web services technologies 365
A Compositional Semantics of Reaction Systems with Restriction 364
A probabilistic model for molecular systems 363
Investigating dynamic causalities in reaction systems 363
Spatial Calculus of Looping Sequences 362
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 362
Foundational aspects of multiscale modeling of biological systems with process algebras 362
Specialized Predictor for Reaction Systems with Context Properties 359
Systolic automata and p systems 356
Timed P Automata 352
Simulation of Spatial P system models 352
Translating Stochastic CLS into Maude 351
Spatial Calculus of Looping Sequences 350
null 350
Parallel Probabilistic Semantics for Multiset Rewriting 349
The Calculus of Looping Sequences 348
A tool for the modelling and simulation of ecological systems based on grid systems 347
null 346
Specialized Predictor for Reaction Systems with Context Properties 343
An Intermediate Language for the Stochastic Simulation of Biological Systems 342
Identification of components in biochemical pathways: Extensive application to SBML models 342
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 340
Probabilistic model checking of biological systems with uncertain kinetic rates 339
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. 339
An algorithm for simulating human selective attention 336
Compositional Semantics of Spiking Neural P Systems 335
Computational Models for Population Dynamics: Two Case Studies 333
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 333
Formal modeling and analysis of safety-critical human multitasking 333
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 331
An Overview of Operational Semantics in Membrane Computing 329
Predictors for flat membrane systems 329
An Algorithm for the Identification of Components in Biochemical Pathways 328
Bisimulation Congruences in the Calculus of Looping Sequences 327
Compositional semantics and behavioural equivalences for reaction systems with restriction 327
Compositional semantics and behavioral equivalences for P Systems 324
Bisimulations in Calculi Modelling Membranes 323
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 322
On Conditions for Modular Verification in Systems of Synchronising Components 322
Computing preimages and ancestors in reaction systems 320
Information technology controlled greenhouse: A system architecture 319
A computational model of internet addiction phenomena in social networks 318
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 317
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 317
A Calculus of Looping Sequences for Modelling Microbiological Systems 316
Modeling long-running transactions with communicating hierarchical timed automata 316
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 315
Design and Verification of Long-Running Transactions in a Timed Framework 313
Modular Verification of Interactive Systems with Application to Biology 310
An executable formal framework for safety-critical human multitasking 310
Studying Opacity of Reaction Systems through Formula Based Predictors 309
Formalizing a notion of concentration robustness for biochemical networks 308
A P Systems Flat Form Preserving Step-by-step Behaviour 308
Simulating gene regulatory networks using reaction systems 305
Modeling and analysis of human memory load in multitasking scenarios 302
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers 300
Timed P automata 295
Hidden states in reaction systems 292
The Calculus of Looping Sequences for Modelling Biological Membranes 289
MoKMaSD organizers' message 286
Objective/MC: A high-level model checking language: Formalization of the imperative core and translation into PRISM 285
Security in a Model for Long-running Transactions 282
Spatial P Systems 280
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 167
P Systems with Transport and Diffusion Membrane Channels 139
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 135
Modelling Biochemical Pathways with the Calculus of Looping Sequences 121
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 111
Towards Modular Verification of Pathways: Fairness and Assumptions 110
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 106
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 103
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 101
Prediction of dynamical properties of biochemical pathways with graph neural networks 100
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 99
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 94
Proc. of the 1st workshop on applications of membrane computing, concurrency and agent-based modelling in pulation biology 93
Formal Modeling in Systems Biology. An approach from Theoretical Computer Science 92
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 91
Dynamic Bayesian network for crop growth prediction in greenhouses 91
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 91
Inauguration of the Centro 3R for the promotion of 3Rs principles in teaching and research 87
A Process Calculus for Molecular Interaction Maps 85
Totale 30.002
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.220
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 54.220
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202016.671 0 0 14.900 230 234 284 265 202 221 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/2025265 35 183 47 0 0 0 0 0 0 0 0 0
Totale 31.538