CINECA IRIS Institutional Research Information System

MAGGIOLO SCHETTINI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.098
NA - Nord America 5.495
AS - Asia 814
AF - Africa 49
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 19.460
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.466
US - Stati Uniti d'America 5.233
SE - Svezia 644
CN - Cina 438
DE - Germania 272
CA - Canada 262
BG - Bulgaria 255
TR - Turchia 186
UA - Ucraina 133
FI - Finlandia 97
GB - Regno Unito 91
VN - Vietnam 70
CH - Svizzera 60
SG - Singapore 59
CI - Costa d'Avorio 45
HK - Hong Kong 38
BE - Belgio 19
RU - Federazione Russa 18
GR - Grecia 15
FR - Francia 11
IN - India 10
HU - Ungheria 7
KR - Corea 4
IL - Israele 3
JP - Giappone 3
NG - Nigeria 3
NL - Olanda 3
AT - Austria 2
BR - Brasile 2
EU - Europa 2
IE - Irlanda 2
CZ - Repubblica Ceca 1
DK - Danimarca 1
HR - Croazia 1
ID - Indonesia 1
JO - Giordania 1
NP - Nepal 1
SN - Senegal 1
Totale 19.460
Salva come PNG Salva come JPEG
Città #
Serra 10.882
Woodbridge 792
Fairfield 577
Ann Arbor 564
Houston 553
Chandler 422
Ashburn 358
Milan 301
Seattle 283
Ottawa 257
Sofia 255
Cambridge 226
Wilmington 213
Jacksonville 201
Izmir 181
Beijing 165
New York 125
Nanjing 95
Lawrence 94
Princeton 94
Frankfurt am Main 84
Medford 68
Bern 60
Des Moines 53
Bremen 48
Dearborn 46
Abidjan 45
Jüchen 38
Hong Kong 37
Dong Ket 35
Nanchang 34
Rome 32
London 29
San Diego 28
Boulder 26
Kunming 25
Brussels 19
Jiaxing 17
Düsseldorf 16
Hebei 16
Shenyang 15
Changsha 12
Los Angeles 12
Pisa 12
Florence 10
Pune 10
Tianjin 10
Auburn Hills 9
Hangzhou 9
Norwalk 9
Ogden 8
Orange 8
Pesaro 8
Washington 8
Verona 6
Boardman 5
Hefei 5
Indiana 5
Jinan 5
North York 5
Redwood City 5
Council Bluffs 4
Guangzhou 4
Lanzhou 4
Marseille 4
Nürnberg 4
Riomaggiore 4
Singapore 4
Chengdu 3
Helsinki 3
Kocaeli 3
Lagos 3
Tappahannock 3
Viareggio 3
Changchun 2
Chicago 2
Dallas 2
Debrecen 2
Dublin 2
Edinburgh 2
Fuzhou 2
Groningen 2
Hamm 2
Istanbul 2
Ningbo 2
Redmond 2
Walnut 2
Wenzhou 2
Aliso Viejo 1
Altopascio 1
Amman 1
Athens 1
Azor 1
Birmingham 1
Brooklyn 1
Budapest 1
Capannori 1
Cascina 1
Central District 1
Chongqing 1
Totale 17.656
Salva come PNG Salva come JPEG
Nome #
Modular Verification of Interactive Systems with an Application to Biology 543
P systems with endosomes 501
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 416
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
Delay stochastic simulation of biological systems: A purely delayed approach 385
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 380
A probabilistic model for molecular systems 361
Spatial Calculus of Looping Sequences 360
A Compositional Semantics of Reaction Systems with Restriction 359
Foundational aspects of multiscale modeling of biological systems with process algebras 358
Systolic automata and p systems 352
Timed P Automata 350
null 350
P Systems with Transport and Diffusion Membrane Channels 349
Spatial Calculus of Looping Sequences 347
Simulation of Spatial P system models 347
The Calculus of Looping Sequences 346
An Intermediate Language for the Stochastic Simulation of Biological Systems 340
Identification of components in biochemical pathways: Extensive application to SBML models 337
Compositional Semantics of Spiking Neural P Systems 333
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 329
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
On Conditions for Modular Verification in Systems of Synchronising Components 318
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
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
A P Systems Flat Form Preserving Step-by-step Behaviour 307
Timed P automata 292
The Calculus of Looping Sequences for Modelling Biological Membranes 287
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
Privacy in Real Time Systems 140
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 134
A Comparison of Statecharts Step Semantics 125
Timed Automata with Monotonic Activities 120
Monotonic Hybrid Systems 119
Modelling Biochemical Pathways with the Calculus of Looping Sequences 118
Automatic Covert Channel Analysis of a Multilevel Secure Component 117
P Systems with Transport and Diffusion Membrane Channels 117
On Disjunction of Literals in Triggers of Statecharts Transitions 112
Timed Cooperating Automata 110
P Systems with Endosomes 108
Weak Bisimulation for Probabilistic Timed Automata 108
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 108
Towards Modular Verification of Pathways: Fairness and Assumptions 106
Bisimulation Congruences in Calculi for the Modelling of Membranes 103
Time Based Expressivity of Time Petri Nets for System Specification 103
Concurrency in Timed Automata 101
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 101
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 100
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 100
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 99
Automated Analysis of Web Security: A Case Study on Web Privacy 97
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 97
Timed P Automata 94
Automatic Analysis of a Non-Repudiation Protocol 92
On Conditions for Modular Verification in Systems of Synchronising Components 91
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models 89
Security in Communicating Hierarchical Transaction-based Timed Automata 88
Timed Automata with Data Structures for Distributed Systems Design and Analysis 88
Decidability Results for Parametric Probabilistic Transition Systems 83
A Process Calculus for Molecular Interaction Maps 83
epsilon-transitions in Concurrent Timed Automata 77
Compositional Synthesis of Generalized Mealy Machines 77
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 77
Decidability Results for Parametric Transition Systems with an Application to Security 75
Dynamic Hierarchical Machines 74
Modelling the dynamics of an Aedes albopictus population 74
A Formalism for the Description of Protein Interaction 73
Formal Models of Timing Attacks on Web Privacy 71
Time and Probability Based Information Flow Analysis 70
A Probabilistic Calculus for Molecular Systems 70
Concurrency in Timed Automata 64
Information Flow Analysis for Probabilistic Time Automata 58
A Testing Framework for P Systems 56
Spatial Calculus of Looping Sequences 55
Transformations of Timed Cooperating Automata 51
Process Algebras for Network Communication 40
Stochastic Calculus of Looping Sequences for the Modeling and Simulation of Cellular Pathways 38
Dynamic Sync-program for Modular Verification of Biological Systems 37
Towards a P Systems Normal Form Preserving Step-by-step Behavior 34
Component identification in biochemical pathways 15
Totale 19.507
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.143
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 31.143
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019439 0 0 0 0 0 0 0 0 0 0 253 186
2019/202012.497 231 2.867 8.118 139 157 215 212 136 173 80 135 34
2020/2021624 73 38 48 25 75 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.029 175 142 156 75 165 165 44 60 12 34 1 0
Totale 19.507