CINECA IRIS Institutional Research Information System

BODEI, CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.264
AS - Asia 4.036
EU - Europa 3.271
SA - Sud America 590
Continente sconosciuto - Info sul continente non disponibili 330
AF - Africa 222
OC - Oceania 14
Totale 17.727
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.990
SG - Singapore 1.230
IT - Italia 1.202
CN - Cina 1.188
HK - Hong Kong 585
BR - Brasile 482
SE - Svezia 462
VN - Vietnam 363
DE - Germania 334
BG - Bulgaria 273
FR - Francia 231
TR - Turchia 221
CA - Canada 215
RU - Federazione Russa 206
GB - Regno Unito 151
FI - Finlandia 126
JP - Giappone 103
UA - Ucraina 91
IN - India 82
NG - Nigeria 59
BD - Bangladesh 43
AR - Argentina 37
KR - Corea 37
MA - Marocco 33
SN - Senegal 31
CH - Svizzera 27
CI - Costa d'Avorio 26
IQ - Iraq 25
BE - Belgio 24
MX - Messico 23
NL - Olanda 22
ZA - Sudafrica 21
ES - Italia 19
PT - Portogallo 18
PK - Pakistan 17
VE - Venezuela 17
EC - Ecuador 15
EG - Egitto 15
CO - Colombia 14
SA - Arabia Saudita 14
RO - Romania 13
AU - Australia 12
PL - Polonia 12
UZ - Uzbekistan 11
AE - Emirati Arabi Uniti 10
ID - Indonesia 10
IR - Iran 10
JO - Giordania 10
MY - Malesia 10
NP - Nepal 10
AT - Austria 9
GR - Grecia 9
KE - Kenya 9
TW - Taiwan 9
IE - Irlanda 8
NO - Norvegia 7
PE - Perù 7
CL - Cile 6
DK - Danimarca 6
IL - Israele 6
NI - Nicaragua 6
PH - Filippine 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
BO - Bolivia 5
CR - Costa Rica 5
JM - Giamaica 5
CZ - Repubblica Ceca 4
GE - Georgia 4
KZ - Kazakistan 4
LK - Sri Lanka 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
DO - Repubblica Dominicana 3
ET - Etiopia 3
EU - Europa 3
GT - Guatemala 3
HR - Croazia 3
OM - Oman 3
UY - Uruguay 3
AM - Armenia 2
AO - Angola 2
BB - Barbados 2
BJ - Benin 2
BY - Bielorussia 2
DZ - Algeria 2
KG - Kirghizistan 2
LB - Libano 2
NZ - Nuova Zelanda 2
PS - Palestinian Territory 2
UG - Uganda 2
AF - Afghanistan, Repubblica islamica di 1
AG - Antigua e Barbuda 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BM - Bermuda 1
BN - Brunei Darussalam 1
BZ - Belize 1
CG - Congo 1
Totale 17.374
Salva come PNG Salva come JPEG
Città #
Woodbridge 991
Ashburn 907
Singapore 730
Fairfield 719
Ann Arbor 663
Santa Clara 577
Hong Kong 569
Houston 471
San Jose 440
Chandler 429
Seattle 325
Dallas 323
Beijing 302
Wilmington 296
Sofia 273
Cambridge 254
Shanghai 223
Serra 190
Milan 186
New York 169
Ottawa 161
Boardman 139
Izmir 126
Florence 123
Princeton 123
Council Bluffs 103
Los Angeles 101
Lawrence 100
Lauterbourg 91
Tokyo 91
Jacksonville 86
Medford 86
Des Moines 85
Ho Chi Minh City 75
Nanjing 75
Düsseldorf 67
Lagos 59
Hanoi 52
Istanbul 51
Rome 50
Dearborn 49
São Paulo 49
Buffalo 46
Redondo Beach 44
Hefei 41
Redwood City 41
The Dalles 41
San Diego 39
Nanchang 33
Boulder 32
Bremen 32
Frankfurt am Main 32
Dakar 31
Kunming 28
Bern 27
Helsinki 27
Abidjan 26
Dong Ket 26
Kocaeli 26
Rio de Janeiro 25
Munich 24
Casablanca 23
Seoul 23
Guangzhou 22
London 22
Columbus 21
Pisa 20
Jüchen 19
Shenyang 18
Brussels 17
Chennai 17
Brooklyn 16
Haiphong 16
Jiaxing 15
Marseille 15
Trento 15
Washington 15
Chicago 14
Ogden 14
Phoenix 14
Vigonovo 14
Fuzhou 13
Livorno 13
Nettuno 13
Viareggio 13
Baghdad 12
Changsha 12
Dhaka 12
Hebei 12
Karlsruhe 12
Springfield 12
Hangzhou 11
Johannesburg 11
Montreal 11
Norwalk 11
Orem 11
Verona 11
Amsterdam 10
Auburn Hills 10
Grafing 10
Totale 12.170
Salva come PNG Salva come JPEG
Nome #
Pianeta Galileo 2013 275
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. 274
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 260
Tracking sensitive and untrustworthy data in IoT 252
A Global Occurrence Counting Analysis for Brane Calculi 251
Natural Projection as Partial Model Checking 246
A static analysis for Brane Calculi providing global occurrence counting information 239
Firewall Management With FireWall Synthesizer 234
L'informatica: non è un paese per donne. 232
Measuring security in IoT communications 225
Revealing the trajectories of KLAIM tuples, statically 217
True Concurrency via Abstract Interpretation 215
A Taxonomy of Causality-Based Biological Properties 212
Causal static analysis for Brane Calculi 211
Linguistic Mechanisms for Context-Aware Security 205
The cost of securing IoT communications 203
Context-aware security: Linguistic mechanisms and static analysis 202
FWS: Analyzing, maintaining and transcompiling firewalls 198
Detecting and preventing type flaws at static time 195
Constructing specific SOS semantics for concurrency via abstract interpretation 194
Authentication Primitives for Secure Protocol Specifications 193
Last Mile’s Resources 192
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 189
An Analysis for Causal Properties of Membrane Interactions 189
Security Metrics at Work on the Things in IoT Systems 188
Programming in a context-aware language 187
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 185
A flat process calculus for nested membrane interactions 184
A Static Analysis for Beta-Binders 184
Formalising Security in Ubiquitous and Cloud Scenarios 183
A formal approach to open multiparty interactions 181
A Control Flow Analysis for Beta-binders with and without Static Compartments 179
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 178
Tool Supported Analysis of IoT 178
Security in Pervasive Applications: A Survey 176
Static Analysis for Secrecy and Non-interference in Networks of Processes 175
Authentication via Localized Names 174
Open Multiparty Interaction 173
Static evidences for attack reconstruction 172
Language-Independent Synthesis of Firewall Policies 172
Mobile Processes with a distributed Environment 170
On Evaluating the Performance of Security Protocols 170
Modelling and analysing IoT systems 170
Where Do Your IoT Ingredients Come From? 169
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks 168
Transcompiling Firewalls 168
Automatic Validation of Protocol Narration 167
From Natural Projection to Partial Model Checking and Back 167
Static Analysis of Processes for No Read-Up and No Write-Down 166
A control flow analysis for safe and boxed ambients 166
Experimenting with a Context-Aware Language 166
Algoritmi ricorsivi da lavorare ai ferri 165
Brane Calculi Systems: A Static Preview of their Possible Behaviour 164
A Step Towards Checking Security in IoT 162
Checking Security Policies through an Enhanced Control Flow Analysis 161
La danza dei bit 160
Safe ambients: control flow analysis and security 159
Authentication Primitives for Protocol Specifications 159
Static detection of logic flaws in service-oriented applications 158
Securing IoT communications: at what cost? 158
Checking global usage of resources handled with local policies 155
Primitives for Authentication in Process Algebras 154
On Formal Descriptions for Knitting Recursive Patterns 153
Static Validation of Security Protocols 153
Knitting for Fun: A Recursive Sweater 151
Control Flow Analysis of Generalised Boolean Networks 151
Analysing the Provenance of IoT Data 149
A G-Local pi-calculus 146
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza 144
Control Flow Analysis for Brane Calculi 141
Choreography Rehearsal 139
A Quantitative Study of Two Attacks 139
Predicting global usages of resources endowed with local policies 138
Static Analysis Techniques for Session-Oriented Calculi 137
Safer in the Clouds 137
An Enhanced CFA for Security Policies 136
On Deducing Causality in Metabolic Networks 134
Control Flow Analysis for the pi-calculus 133
From Hardware-Functional to Software-Defined Vehicles and their Security Issues 131
Performance Evaluation of Security Protocols Specified in LySa 129
Security Analysis for Mobile Ambients 128
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 128
Hello world! L'informatica dall'aritmometro allo smartphone 128
Some Concurrency Models in a Categorical Framework 126
Techniques for Security Checking: Non Interference vs Control Flow Analysis 125
Tracking data trajectories in IoT 124
Detecting Replay Attacks by Freshness Annotations 122
Control Flow Analysis for Mobile Safe Ambients 121
The link-calculus for open multiparty interactions 119
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes 115
Authentication Primitives for Refining Protocol Specifications 115
Una storia nazionale: il Museo degli Strumenti per il calcolo 115
Tracing where IoT data are collected and aggregated 114
L'informatica nella didattica dell'informatica. La danza dei bit: dai fogli a quadretti al palcoscenico. 113
Statically Detecting Message Confusions in a Multi-Protocol Setting 105
Static Analysis for the Pi-Calculus with Applications to Security 104
Pixel e quadretti: iniziative per le scuole primarie e secondarie. 103
Here you can't: context-aware security. 101
Names of the Pi-Calculus Agents Handled Locally 98
Il bivio di Alan 96
Totale 16.615
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.758
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.758
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.359 0 134 76 104 218 172 42 99 35 35 88 356
2022/20231.432 153 116 92 145 199 196 4 105 229 16 162 15
2023/2024935 97 84 102 61 141 190 33 36 22 19 46 104
2024/20253.152 19 134 45 155 363 349 278 188 268 426 297 630
2025/20264.031 381 389 386 293 406 383 650 193 222 365 158 205
2026/2027437 155 282 0 0 0 0 0 0 0 0 0 0
Totale 17.727