CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019894 0 0 0 0 0 0 0 0 0 283 349 262
2019/202022.213 283 5.259 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.261 159 124 198 80 227 251 87 95 28 12 0 0
Totale 30.991