CINECA IRIS Institutional Research Information System

MAGGIOLO SCHETTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.387
NA - Nord America 7.054
AS - Asia 3.068
SA - Sud America 381
AF - Africa 112
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
Totale 24.010
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.489
US - Stati Uniti d'America 6.721
CN - Cina 974
SG - Singapore 834
SE - Svezia 646
HK - Hong Kong 570
DE - Germania 318
BR - Brasile 317
CA - Canada 284
BG - Bulgaria 256
TR - Turchia 240
GB - Regno Unito 145
UA - Ucraina 137
FI - Finlandia 108
VN - Vietnam 107
KR - Corea 105
RU - Federazione Russa 99
CH - Svizzera 60
IN - India 57
CI - Costa d'Avorio 46
BD - Bangladesh 42
FR - Francia 40
JP - Giappone 27
SA - Arabia Saudita 27
MX - Messico 23
BE - Belgio 19
GR - Grecia 16
VE - Venezuela 15
KE - Kenya 14
AR - Argentina 13
IQ - Iraq 13
PK - Pakistan 12
EC - Ecuador 11
ZA - Sudafrica 11
UZ - Uzbekistan 10
JO - Giordania 9
HU - Ungheria 8
MA - Marocco 7
NL - Olanda 7
CL - Cile 6
IL - Israele 6
JM - Giamaica 6
AE - Emirati Arabi Uniti 5
AT - Austria 5
EG - Egitto 5
ES - Italia 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
BO - Bolivia 4
DZ - Algeria 4
IE - Irlanda 4
KZ - Kazakistan 4
LT - Lituania 4
PL - Polonia 4
QA - Qatar 4
AU - Australia 3
AZ - Azerbaigian 3
BJ - Benin 3
DO - Repubblica Dominicana 3
ET - Etiopia 3
ID - Indonesia 3
KG - Kirghizistan 3
LB - Libano 3
MD - Moldavia 3
NG - Nigeria 3
NP - Nepal 3
PE - Perù 3
PY - Paraguay 3
BS - Bahamas 2
CM - Camerun 2
CZ - Repubblica Ceca 2
EU - Europa 2
GA - Gabon 2
GY - Guiana 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
PR - Porto Rico 2
PT - Portogallo 2
SN - Senegal 2
UG - Uganda 2
AL - Albania 1
BB - Barbados 1
BH - Bahrain 1
BW - Botswana 1
BZ - Belize 1
CG - Congo 1
CO - Colombia 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
ML - Mali 1
Totale 23.997
Salva come PNG Salva come JPEG
Città #
Serra 10.882
Woodbridge 792
Ashburn 664
Fairfield 578
Hong Kong 565
Ann Arbor 564
Houston 555
Singapore 479
Santa Clara 476
Chandler 422
Milan 311
Seattle 285
Ottawa 257
Sofia 255
Beijing 246
Cambridge 226
Wilmington 213
Jacksonville 201
Dallas 195
Shanghai 193
Izmir 184
New York 133
Hefei 115
Seoul 101
Boardman 99
Nanjing 95
Lawrence 94
Princeton 94
Frankfurt am Main 88
Chicago 84
Los Angeles 81
Medford 68
Bern 60
Des Moines 53
Bremen 48
Abidjan 46
Dearborn 46
Istanbul 39
Buffalo 38
Jüchen 38
Dong Ket 35
Nanchang 34
Rome 34
London 33
San Diego 28
Boulder 26
Kunming 25
Redondo Beach 24
Düsseldorf 23
Munich 23
Tokyo 22
Brussels 19
São Paulo 18
Jiaxing 17
Ogden 17
Hebei 16
Ho Chi Minh City 15
Shenyang 15
Changsha 13
Riyadh 13
Nairobi 12
Pisa 12
Pune 12
The Dalles 12
Columbus 11
Dhaka 11
Tianjin 11
Council Bluffs 10
Florence 10
Tashkent 10
Amman 9
Auburn Hills 9
Belo Horizonte 9
Hangzhou 9
Norwalk 9
Rio de Janeiro 9
Orange 8
Pesaro 8
Turku 8
Washington 8
Atlanta 7
Fuzhou 7
Manchester 7
Baghdad 6
Hanoi 6
Helsinki 6
Jeddah 6
Kingston 6
Lauterbourg 6
Paris 6
San Jose 6
Verona 6
Ankara 5
Brooklyn 5
Cape Town 5
Caracas 5
Chengdu 5
Curitiba 5
Indiana 5
Jinan 5
Totale 20.725
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 591
Modular Verification of Interactive Systems with an Application to Biology 583
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 522
Modelling Population Dynamics Using Grid Systems 468
Modular Verification of Qualitative Pathway Models with Fairness 455
P Systems with Transport and Diffusion Membrane Channels 439
Delay stochastic simulation of biological systems: A purely delayed approach 435
An Intermediate Language for the Simulation of Biological Systems 432
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 425
Systolic automata and p systems 416
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 415
Simulation of Spatial P system models 407
Foundational aspects of multiscale modeling of biological systems with process algebras 407
A probabilistic model for molecular systems 401
Spatial Calculus of Looping Sequences 401
A Compositional Semantics of Reaction Systems with Restriction 400
Identification of components in biochemical pathways: Extensive application to SBML models 398
Spatial Calculus of Looping Sequences 390
The Calculus of Looping Sequences 388
Timed P Automata 386
Compositional Semantics of Spiking Neural P Systems 383
An Intermediate Language for the Stochastic Simulation of Biological Systems 381
Bisimulation Congruences in the Calculus of Looping Sequences 377
Compositional semantics and behavioural equivalences for reaction systems with restriction 377
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 371
An Overview of Operational Semantics in Membrane Computing 370
On Conditions for Modular Verification in Systems of Synchronising Components 370
An Algorithm for the Identification of Components in Biochemical Pathways 370
Bisimulations in Calculi Modelling Membranes 365
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 363
Compositional semantics and behavioral equivalences for P Systems 363
Design and Verification of Long-Running Transactions in a Timed Framework 360
Modular Verification of Interactive Systems with Application to Biology 355
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 353
A Calculus of Looping Sequences for Modelling Microbiological Systems 352
Modeling long-running transactions with communicating hierarchical timed automata 351
null 350
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 349
A P Systems Flat Form Preserving Step-by-step Behaviour 340
Security in a Model for Long-running Transactions 324
Timed P automata 323
The Calculus of Looping Sequences for Modelling Biological Membranes 318
Spatial P Systems 316
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 205
P Systems with Endosomes 202
P Systems with Transport and Diffusion Membrane Channels 201
Privacy in Real Time Systems 194
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 181
On Disjunction of Literals in Triggers of Statecharts Transitions 174
A Comparison of Statecharts Step Semantics 166
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 166
Modelling Biochemical Pathways with the Calculus of Looping Sequences 165
Monotonic Hybrid Systems 160
Automatic Covert Channel Analysis of a Multilevel Secure Component 160
Towards Modular Verification of Pathways: Fairness and Assumptions 159
Bisimulation Congruences in Calculi for the Modelling of Membranes 158
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 158
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 157
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 155
Timed Automata with Monotonic Activities 155
Weak Bisimulation for Probabilistic Timed Automata 152
Timed Cooperating Automata 152
Time Based Expressivity of Time Petri Nets for System Specification 151
Automated Analysis of Web Security: A Case Study on Web Privacy 149
Concurrency in Timed Automata 147
Timed P Automata 146
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 145
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 143
Automatic Analysis of a Non-Repudiation Protocol 137
Security in Communicating Hierarchical Transaction-based Timed Automata 136
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 134
Decidability Results for Parametric Probabilistic Transition Systems 131
On Conditions for Modular Verification in Systems of Synchronising Components 130
A Process Calculus for Molecular Interaction Maps 128
Timed Automata with Data Structures for Distributed Systems Design and Analysis 127
A Formalism for the Description of Protein Interaction 126
Compositional Synthesis of Generalized Mealy Machines 125
Decidability Results for Parametric Transition Systems with an Application to Security 123
A Probabilistic Calculus for Molecular Systems 122
Dynamic Hierarchical Machines 119
epsilon-transitions in Concurrent Timed Automata 118
A Testing Framework for P Systems 117
Modelling the dynamics of an Aedes albopictus population 117
Formal Models of Timing Attacks on Web Privacy 114
Information Flow Analysis for Probabilistic Time Automata 108
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 108
Concurrency in Timed Automata 101
Spatial Calculus of Looping Sequences 98
Time and Probability Based Information Flow Analysis 97
Dynamic Sync-program for Modular Verification of Biological Systems 92
Component identification in biochemical pathways 92
Transformations of Timed Cooperating Automata 89
Towards a P Systems Normal Form Preserving Step-by-step Behavior 82
Process Algebras for Network Communication 74
Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways 71
Totale 24.057
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.502
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 45.502
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021365 0 0 0 0 0 29 38 67 62 44 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/20261.284 105 366 203 129 259 222 0 0 0 0 0 0
Totale 24.057