CINECA IRIS Institutional Research Information System

MAGGIOLO SCHETTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.531
NA - Nord America 7.492
AS - Asia 3.421
SA - Sud America 411
AF - Africa 122
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
Totale 24.985
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.495
US - Stati Uniti d'America 7.147
CN - Cina 999
SG - Singapore 973
SE - Svezia 646
HK - Hong Kong 572
BR - Brasile 331
DE - Germania 323
CA - Canada 288
BG - Bulgaria 256
TR - Turchia 244
VN - Vietnam 208
GB - Regno Unito 151
UA - Ucraina 139
FR - Francia 133
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 19
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
JO - Giordania 10
NL - Olanda 9
CL - Cile 8
HU - Ungheria 8
JM - Giamaica 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
ES - Italia 5
NP - Nepal 5
PY - Paraguay 5
UY - Uruguay 5
CO - Colombia 4
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
CM - Camerun 2
CZ - Repubblica Ceca 2
EU - Europa 2
GA - Gabon 2
NI - Nicaragua 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
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
LY - Libia 1
Totale 24.971
Salva come PNG Salva come JPEG
Città #
Serra 10.882
Woodbridge 793
Ashburn 705
Fairfield 578
Hong Kong 566
Ann Arbor 564
Houston 555
Singapore 524
Santa Clara 478
Chandler 422
Milan 313
San Jose 307
Seattle 285
Ottawa 257
Sofia 255
Beijing 246
Cambridge 226
Wilmington 213
Jacksonville 201
Dallas 197
Shanghai 193
Izmir 184
New York 135
Hefei 115
Seoul 101
Boardman 99
Nanjing 95
Lawrence 94
Princeton 94
Frankfurt am Main 93
Lauterbourg 91
Chicago 84
Los Angeles 83
Medford 68
Tokyo 62
Bern 60
Ho Chi Minh City 55
Des Moines 53
Bremen 48
Abidjan 46
Dearborn 46
Istanbul 41
Buffalo 39
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
Council Bluffs 20
Zurich 20
Brussels 19
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
Auburn Hills 9
Belo Horizonte 9
Hangzhou 9
Norwalk 9
Rio de Janeiro 9
Atlanta 8
Baghdad 8
Chennai 8
Kingston 8
Mumbai 8
Orange 8
Pesaro 8
Turku 8
Washington 8
Brooklyn 7
Cape Town 7
Da Nang 7
Fuzhou 7
Haiphong 7
Jeddah 7
Karachi 6
Paris 6
Totale 21.399
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 609
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 538
Modelling Population Dynamics Using Grid Systems 484
Modular Verification of Qualitative Pathway Models with Fairness 465
P Systems with Transport and Diffusion Membrane Channels 455
Delay stochastic simulation of biological systems: A purely delayed approach 447
An Intermediate Language for the Simulation of Biological Systems 443
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 434
Systolic automata and p systems 432
Simulation of Spatial P system models 425
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 424
Foundational aspects of multiscale modeling of biological systems with process algebras 422
A Compositional Semantics of Reaction Systems with Restriction 417
A probabilistic model for molecular systems 416
Spatial Calculus of Looping Sequences 411
Identification of components in biochemical pathways: Extensive application to SBML models 408
The Calculus of Looping Sequences 399
Spatial Calculus of Looping Sequences 398
Compositional semantics and behavioural equivalences for reaction systems with restriction 397
An Intermediate Language for the Stochastic Simulation of Biological Systems 395
Timed P Automata 392
Compositional Semantics of Spiking Neural P Systems 392
An Overview of Operational Semantics in Membrane Computing 387
Bisimulation Congruences in the Calculus of Looping Sequences 385
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 383
Bisimulations in Calculi Modelling Membranes 380
An Algorithm for the Identification of Components in Biochemical Pathways 380
On Conditions for Modular Verification in Systems of Synchronising Components 378
Compositional semantics and behavioral equivalences for P Systems 372
Design and Verification of Long-Running Transactions in a Timed Framework 368
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 368
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 362
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 360
A Calculus of Looping Sequences for Modelling Microbiological Systems 360
null 350
A P Systems Flat Form Preserving Step-by-step Behaviour 345
Security in a Model for Long-running Transactions 333
Timed P automata 332
The Calculus of Looping Sequences for Modelling Biological Membranes 328
Spatial P Systems 322
P Systems with Endosomes 220
P Systems with Transport and Diffusion Membrane Channels 217
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 215
Privacy in Real Time Systems 203
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 189
On Disjunction of Literals in Triggers of Statecharts Transitions 181
Modelling Biochemical Pathways with the Calculus of Looping Sequences 178
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 174
Towards Modular Verification of Pathways: Fairness and Assumptions 174
A Comparison of Statecharts Step Semantics 173
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Monotonic Hybrid Systems 169
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 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 164
Time Based Expressivity of Time Petri Nets for System Specification 162
Timed Automata with Monotonic Activities 161
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 159
Concurrency in Timed Automata 156
Timed P Automata 156
Weak Bisimulation for Probabilistic Timed Automata 156
Automated Analysis of Web Security: A Case Study on Web Privacy 155
Timed Cooperating Automata 155
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 154
Security in Communicating Hierarchical Transaction-based Timed Automata 149
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 149
Automatic Analysis of a Non-Repudiation Protocol 146
Decidability Results for Parametric Probabilistic Transition Systems 140
A Process Calculus for Molecular Interaction Maps 140
On Conditions for Modular Verification in Systems of Synchronising Components 139
Decidability Results for Parametric Transition Systems with an Application to Security 135
A Formalism for the Description of Protein Interaction 135
A Testing Framework for P Systems 133
Timed Automata with Data Structures for Distributed Systems Design and Analysis 133
Compositional Synthesis of Generalized Mealy Machines 131
A Probabilistic Calculus for Molecular Systems 131
epsilon-transitions in Concurrent Timed Automata 128
Dynamic Hierarchical Machines 127
Modelling the dynamics of an Aedes albopictus population 124
Formal Models of Timing Attacks on Web Privacy 118
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 118
Concurrency in Timed Automata 118
Information Flow Analysis for Probabilistic Time Automata 116
Time and Probability Based Information Flow Analysis 106
Component identification in biochemical pathways 106
Spatial Calculus of Looping Sequences 105
Dynamic Sync-program for Modular Verification of Biological Systems 99
Transformations of Timed Cooperating Automata 94
Towards a P Systems Normal Form Preserving Step-by-step Behavior 94
Process Algebras for Network Communication 79
Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways 78
Totale 25.032
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.682
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 47.682
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021125 0 0 0 0 0 0 0 0 0 0 41 84
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.259 105 366 203 129 259 295 429 115 111 212 35 0
Totale 25.032