CINECA IRIS Institutional Research Information System

BODEI, CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.890
AS - Asia 4.029
EU - Europa 3.255
SA - Sud America 587
AF - Africa 222
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 5
Totale 17.002
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.638
SG - Singapore 1.229
CN - Cina 1.187
IT - Italia 1.186
HK - Hong Kong 581
BR - Brasile 481
SE - Svezia 462
VN - Vietnam 363
DE - Germania 334
BG - Bulgaria 273
FR - Francia 231
TR - Turchia 221
RU - Federazione Russa 206
CA - Canada 204
GB - Regno Unito 151
FI - Finlandia 126
JP - Giappone 103
UA - Ucraina 91
IN - India 81
NG - Nigeria 59
BD - Bangladesh 43
KR - Corea 37
AR - Argentina 36
MA - Marocco 33
SN - Senegal 31
CH - Svizzera 27
CI - Costa d'Avorio 26
IQ - Iraq 25
BE - Belgio 24
MX - Messico 22
NL - Olanda 22
ZA - Sudafrica 21
ES - Italia 19
PT - Portogallo 18
PK - Pakistan 17
VE - Venezuela 17
EC - Ecuador 15
EG - Egitto 15
SA - Arabia Saudita 14
CO - Colombia 13
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
PH - Filippine 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
BO - Bolivia 5
CZ - Repubblica Ceca 4
GE - Georgia 4
JM - Giamaica 4
KZ - Kazakistan 4
LK - Sri Lanka 4
NI - Nicaragua 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
DO - Repubblica Dominicana 3
ET - Etiopia 3
EU - Europa 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
CR - Costa Rica 2
DZ - Algeria 2
GT - Guatemala 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 16.977
Salva come PNG Salva come JPEG
Città #
Woodbridge 991
Ashburn 867
Singapore 729
Fairfield 719
Ann Arbor 663
Santa Clara 570
Hong Kong 565
Houston 470
San Jose 437
Chandler 429
Seattle 325
Dallas 322
Beijing 301
Wilmington 296
Sofia 273
Cambridge 254
Shanghai 223
Serra 190
Milan 184
New York 162
Ottawa 161
Boardman 139
Izmir 126
Princeton 123
Florence 122
Lawrence 100
Lauterbourg 91
Tokyo 91
Los Angeles 90
Medford 86
Des Moines 85
Jacksonville 85
Council Bluffs 77
Ho Chi Minh City 75
Nanjing 75
Düsseldorf 67
Lagos 59
Hanoi 52
Istanbul 51
Dearborn 49
Rome 49
São Paulo 48
Redondo Beach 44
Buffalo 43
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 20
Jüchen 19
Pisa 18
Shenyang 18
Brussels 17
Chennai 17
Haiphong 16
Brooklyn 15
Jiaxing 15
Marseille 15
Trento 15
Ogden 14
Vigonovo 14
Washington 14
Fuzhou 13
Livorno 13
Nettuno 13
Phoenix 13
Viareggio 13
Baghdad 12
Changsha 12
Chicago 12
Dhaka 12
Hebei 12
Karlsruhe 12
Hangzhou 11
Johannesburg 11
Norwalk 11
Orem 11
Verona 11
Amsterdam 10
Auburn Hills 10
Grafing 10
Hải Dương 10
San Francisco 10
Totale 12.048
Salva come PNG Salva come JPEG
Nome #
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. 269
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 258
Tracking sensitive and untrustworthy data in IoT 250
A Global Occurrence Counting Analysis for Brane Calculi 249
Natural Projection as Partial Model Checking 245
L'informatica: non è un paese per donne. 232
A static analysis for Brane Calculi providing global occurrence counting information 231
Firewall Management With FireWall Synthesizer 230
Measuring security in IoT communications 219
True Concurrency via Abstract Interpretation 215
Revealing the trajectories of KLAIM tuples, statically 214
A Taxonomy of Causality-Based Biological Properties 209
Causal static analysis for Brane Calculi 209
Context-aware security: Linguistic mechanisms and static analysis 199
Linguistic Mechanisms for Context-Aware Security 199
The cost of securing IoT communications 197
FWS: Analyzing, maintaining and transcompiling firewalls 197
Authentication Primitives for Secure Protocol Specifications 193
Detecting and preventing type flaws at static time 192
Constructing specific SOS semantics for concurrency via abstract interpretation 192
Last Mile’s Resources 192
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 187
Programming in a context-aware language 185
An Analysis for Causal Properties of Membrane Interactions 185
Security Metrics at Work on the Things in IoT Systems 185
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 184
A Static Analysis for Beta-Binders 184
A flat process calculus for nested membrane interactions 183
A formal approach to open multiparty interactions 179
Formalising Security in Ubiquitous and Cloud Scenarios 179
A Control Flow Analysis for Beta-binders with and without Static Compartments 178
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 178
Static Analysis for Secrecy and Non-interference in Networks of Processes 175
Tool Supported Analysis of IoT 175
Open Multiparty Interaction 173
Authentication via Localized Names 172
Security in Pervasive Applications: A Survey 171
Static evidences for attack reconstruction 171
On Evaluating the Performance of Security Protocols 170
Mobile Processes with a distributed Environment 169
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks 168
Modelling and analysing IoT systems 167
Transcompiling Firewalls 166
From Natural Projection to Partial Model Checking and Back 166
Algoritmi ricorsivi da lavorare ai ferri 165
Static Analysis of Processes for No Read-Up and No Write-Down 165
Language-Independent Synthesis of Firewall Policies 165
Brane Calculi Systems: A Static Preview of their Possible Behaviour 164
Automatic Validation of Protocol Narration 164
Experimenting with a Context-Aware Language 164
Where Do Your IoT Ingredients Come From? 164
A control flow analysis for safe and boxed ambients 162
A Step Towards Checking Security in IoT 160
Checking Security Policies through an Enhanced Control Flow Analysis 160
La danza dei bit 159
Safe ambients: control flow analysis and security 158
Static detection of logic flaws in service-oriented applications 157
Authentication Primitives for Protocol Specifications 156
Primitives for Authentication in Process Algebras 154
Checking global usage of resources handled with local policies 154
Securing IoT communications: at what cost? 153
On Formal Descriptions for Knitting Recursive Patterns 152
Static Validation of Security Protocols 150
Control Flow Analysis of Generalised Boolean Networks 150
Knitting for Fun: A Recursive Sweater 149
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 140
Control Flow Analysis for Brane Calculi 140
Predicting global usages of resources endowed with local policies 138
A Quantitative Study of Two Attacks 138
Static Analysis Techniques for Session-Oriented Calculi 137
Choreography Rehearsal 137
On Deducing Causality in Metabolic Networks 134
An Enhanced CFA for Security Policies 134
Control Flow Analysis for the pi-calculus 133
Safer in the Clouds 130
Performance Evaluation of Security Protocols Specified in LySa 128
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 127
Some Concurrency Models in a Categorical Framework 126
Security Analysis for Mobile Ambients 125
Hello world! L'informatica dall'aritmometro allo smartphone 125
Tracking data trajectories in IoT 124
From Hardware-Functional to Software-Defined Vehicles and their Security Issues 123
Techniques for Security Checking: Non Interference vs Control Flow Analysis 122
Control Flow Analysis for Mobile Safe Ambients 121
Detecting Replay Attacks by Freshness Annotations 120
The link-calculus for open multiparty interactions 117
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes 115
Authentication Primitives for Refining Protocol Specifications 115
L'informatica nella didattica dell'informatica. La danza dei bit: dai fogli a quadretti al palcoscenico. 113
Una storia nazionale: il Museo degli Strumenti per il calcolo 112
Tracing where IoT data are collected and aggregated 111
Pianeta Galileo 2013 110
Statically Detecting Message Confusions in a Multi-Protocol Setting 104
Pixel e quadretti: iniziative per le scuole primarie e secondarie. 103
Static Analysis for the Pi-Calculus with Applications to Security 102
Here you can't: context-aware security. 101
Names of the Pi-Calculus Agents Handled Locally 97
Il bivio di Alan 96
Totale 16.259
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.099
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 46.099
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.391 32 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/202736 36 0 0 0 0 0 0 0 0 0 0 0
Totale 17.326