CINECA IRIS Institutional Research Information System

MAGGIOLO SCHETTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.538
NA - Nord America 7.600
AS - Asia 3.425
SA - Sud America 418
AF - Africa 122
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
Totale 25.112
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.498
US - Stati Uniti d'America 7.249
CN - Cina 999
SG - Singapore 977
SE - Svezia 647
HK - Hong Kong 572
BR - Brasile 335
DE - Germania 323
CA - Canada 291
BG - Bulgaria 256
TR - Turchia 244
VN - Vietnam 208
GB - Regno Unito 151
UA - Ucraina 140
FR - Francia 134
FI - Finlandia 117
KR - Corea 105
RU - Federazione Russa 99
CH - Svizzera 80
IN - India 68
JP - Giappone 67
BD - Bangladesh 49
CI - Costa d'Avorio 46
SA - Arabia Saudita 29
MX - Messico 27
BE - Belgio 20
PK - Pakistan 19
IQ - Iraq 17
VE - Venezuela 17
GR - Grecia 16
KE - Kenya 16
AR - Argentina 15
ZA - Sudafrica 14
EC - Ecuador 13
UZ - Uzbekistan 13
CL - Cile 10
JM - Giamaica 10
JO - Giordania 10
NL - Olanda 9
HU - Ungheria 8
MA - Marocco 7
AT - Austria 6
DZ - Algeria 6
EG - Egitto 6
ID - Indonesia 6
IL - Israele 6
TT - Trinidad e Tobago 6
AE - Emirati Arabi Uniti 5
BO - Bolivia 5
CO - Colombia 5
ES - Italia 5
NP - Nepal 5
PY - Paraguay 5
UY - Uruguay 5
ET - Etiopia 4
IE - Irlanda 4
KG - Kirghizistan 4
KZ - Kazakistan 4
LT - Lituania 4
PE - Perù 4
PL - Polonia 4
QA - Qatar 4
AU - Australia 3
AZ - Azerbaigian 3
BJ - Benin 3
BS - Bahamas 3
DO - Repubblica Dominicana 3
GY - Guiana 3
LB - Libano 3
MD - Moldavia 3
NG - Nigeria 3
NI - Nicaragua 3
CM - Camerun 2
CZ - Repubblica Ceca 2
EU - Europa 2
GA - Gabon 2
OM - Oman 2
PA - Panama 2
PR - Porto Rico 2
PT - Portogallo 2
SN - Senegal 2
TZ - Tanzania 2
UG - Uganda 2
AL - Albania 1
BB - Barbados 1
BH - Bahrain 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
BW - Botswana 1
BZ - Belize 1
CG - Congo 1
DK - Danimarca 1
EE - Estonia 1
GD - Grenada 1
GE - Georgia 1
GF - Guiana Francese 1
GT - Guatemala 1
HR - Croazia 1
IR - Iran 1
LU - Lussemburgo 1
LV - Lettonia 1
Totale 25.097
Salva come PNG Salva come JPEG
Città #
Serra 10.882
Woodbridge 793
Ashburn 712
Fairfield 578
Hong Kong 566
Ann Arbor 564
Houston 555
Singapore 524
Santa Clara 478
Chandler 422
San Jose 318
Milan 313
Seattle 285
Ottawa 257
Sofia 255
Beijing 246
Cambridge 226
Wilmington 214
Jacksonville 201
Dallas 199
Shanghai 193
Izmir 184
New York 138
Hefei 115
Seoul 101
Boardman 99
Nanjing 95
Lawrence 94
Princeton 94
Frankfurt am Main 93
Lauterbourg 91
Chicago 85
Los Angeles 84
Medford 68
Tokyo 62
Bern 60
Ho Chi Minh City 55
Des Moines 53
Bremen 48
Abidjan 46
Dearborn 46
Istanbul 41
Buffalo 40
Council Bluffs 40
Jüchen 38
Dong Ket 35
Rome 35
Nanchang 34
London 33
Hanoi 29
San Diego 28
Boulder 26
Kunming 25
Redondo Beach 24
Düsseldorf 23
Munich 23
São Paulo 21
Brussels 20
Zurich 20
Jiaxing 17
Ogden 17
Hebei 16
Helsinki 15
Shenyang 15
Nairobi 14
Orem 14
Riyadh 14
Changsha 13
Tashkent 13
Dhaka 12
Pisa 12
Pune 12
The Dalles 12
Tianjin 12
Columbus 11
Amman 10
Florence 10
Manchester 10
Atlanta 9
Auburn Hills 9
Belo Horizonte 9
Brooklyn 9
Hangzhou 9
Kingston 9
Norwalk 9
Rio de Janeiro 9
Baghdad 8
Chennai 8
Mumbai 8
Orange 8
Pesaro 8
Turku 8
Washington 8
Cape Town 7
Da Nang 7
Fuzhou 7
Haiphong 7
Jeddah 7
Karachi 6
Paris 6
Totale 21.451
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
Modelling Population Dynamics Using Grid Systems 489
Modular Verification of Qualitative Pathway Models with Fairness 465
P Systems with Transport and Diffusion Membrane Channels 457
Delay stochastic simulation of biological systems: A purely delayed approach 450
An Intermediate Language for the Simulation of Biological Systems 444
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 435
Systolic automata and p systems 433
Simulation of Spatial P system models 426
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 425
Foundational aspects of multiscale modeling of biological systems with process algebras 423
A Compositional Semantics of Reaction Systems with Restriction 420
A probabilistic model for molecular systems 417
Spatial Calculus of Looping Sequences 412
Identification of components in biochemical pathways: Extensive application to SBML models 410
The Calculus of Looping Sequences 401
Spatial Calculus of Looping Sequences 399
Compositional semantics and behavioural equivalences for reaction systems with restriction 398
An Intermediate Language for the Stochastic Simulation of Biological Systems 395
Timed P Automata 394
Compositional Semantics of Spiking Neural P Systems 394
Bisimulation Congruences in the Calculus of Looping Sequences 389
An Overview of Operational Semantics in Membrane Computing 388
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 385
An Algorithm for the Identification of Components in Biochemical Pathways 383
Bisimulations in Calculi Modelling Membranes 381
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 370
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 369
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
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
A P Systems Flat Form Preserving Step-by-step Behaviour 345
Security in a Model for Long-running Transactions 334
Timed P automata 333
The Calculus of Looping Sequences for Modelling Biological Membranes 329
Spatial P Systems 322
P Systems with Endosomes 222
P Systems with Transport and Diffusion Membrane Channels 220
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 215
Privacy in Real Time Systems 204
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 190
Modelling Biochemical Pathways with the Calculus of Looping Sequences 182
On Disjunction of Literals in Triggers of Statecharts Transitions 181
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 177
Towards Modular Verification of Pathways: Fairness and Assumptions 176
A Comparison of Statecharts Step Semantics 173
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 171
Monotonic Hybrid Systems 169
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 168
Automatic Covert Channel Analysis of a Multilevel Secure Component 166
Bisimulation Congruences in Calculi for the Modelling of Membranes 165
Timed Automata with Monotonic Activities 162
Time Based Expressivity of Time Petri Nets for System Specification 162
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 161
Timed P Automata 159
Automated Analysis of Web Security: A Case Study on Web Privacy 158
Concurrency in Timed Automata 156
Weak Bisimulation for Probabilistic Timed Automata 156
Timed Cooperating Automata 156
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 154
Automatic Analysis of a Non-Repudiation Protocol 151
Security in Communicating Hierarchical Transaction-based Timed Automata 151
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 151
Decidability Results for Parametric Probabilistic Transition Systems 145
A Process Calculus for Molecular Interaction Maps 141
On Conditions for Modular Verification in Systems of Synchronising Components 140
Decidability Results for Parametric Transition Systems with an Application to Security 136
A Formalism for the Description of Protein Interaction 135
A Testing Framework for P Systems 135
Timed Automata with Data Structures for Distributed Systems Design and Analysis 134
Compositional Synthesis of Generalized Mealy Machines 132
A Probabilistic Calculus for Molecular Systems 132
Modelling the dynamics of an Aedes albopictus population 130
epsilon-transitions in Concurrent Timed Automata 129
Dynamic Hierarchical Machines 129
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 121
Formal Models of Timing Attacks on Web Privacy 119
Concurrency in Timed Automata 119
Information Flow Analysis for Probabilistic Time Automata 118
Component identification in biochemical pathways 108
Time and Probability Based Information Flow Analysis 106
Spatial Calculus of Looping Sequences 105
Dynamic Sync-program for Modular Verification of Biological Systems 100
Towards a P Systems Normal Form Preserving Step-by-step Behavior 95
Transformations of Timed Cooperating Automata 94
Process Algebras for Network Communication 79
Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways 78
Totale 25.159
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.383
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.383
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.110 2 66 25 163 253 125 25 50 53 12 81 255
2022/20231.280 178 165 67 161 112 153 4 100 278 6 41 15
2023/20241.188 175 142 156 75 165 165 44 60 12 34 28 132
2024/20253.107 28 127 35 122 305 298 212 162 210 379 288 941
2025/20262.344 105 366 203 129 259 295 429 115 111 212 71 49
2026/202742 42 0 0 0 0 0 0 0 0 0 0 0
Totale 25.159