CINECA IRIS Institutional Research Information System

BODEI, CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.733
AS - Asia 4.021
EU - Europa 3.145
SA - Sud America 575
AF - Africa 222
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 5
Totale 16.715
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.488
SG - Singapore 1.224
CN - Cina 1.186
IT - Italia 1.081
HK - Hong Kong 579
BR - Brasile 473
SE - Svezia 462
VN - Vietnam 363
DE - Germania 334
BG - Bulgaria 273
FR - Francia 231
TR - Turchia 221
RU - Federazione Russa 206
CA - Canada 197
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 33
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 21
ZA - Sudafrica 21
ES - Italia 18
PK - Pakistan 17
PT - Portogallo 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 11
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
IL - Israele 6
PH - Filippine 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
BO - Bolivia 5
DK - Danimarca 5
CZ - Repubblica Ceca 4
GE - Georgia 4
JM - Giamaica 4
KZ - Kazakistan 4
LK - Sri Lanka 4
NI - Nicaragua 4
TT - Trinidad e Tobago 4
DO - Repubblica Dominicana 3
ET - Etiopia 3
EU - Europa 3
HR - Croazia 3
OM - Oman 3
PY - Paraguay 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.690
Salva come PNG Salva come JPEG
Città #
Woodbridge 991
Ashburn 838
Singapore 726
Fairfield 719
Ann Arbor 663
Santa Clara 564
Hong Kong 563
Houston 469
Chandler 429
San Jose 421
Seattle 325
Dallas 317
Beijing 301
Wilmington 296
Sofia 273
Cambridge 254
Shanghai 223
Serra 190
Milan 162
New York 161
Ottawa 161
Boardman 139
Izmir 126
Princeton 123
Florence 121
Lawrence 100
Lauterbourg 91
Tokyo 91
Los Angeles 86
Medford 86
Des Moines 85
Jacksonville 85
Ho Chi Minh City 75
Nanjing 75
Council Bluffs 70
Düsseldorf 67
Lagos 58
Hanoi 52
Istanbul 51
Dearborn 49
São Paulo 46
Redondo Beach 44
Rome 43
Buffalo 42
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
Munich 24
Rio de Janeiro 24
Casablanca 23
Seoul 23
Guangzhou 22
London 22
Columbus 20
Jüchen 19
Pisa 18
Shenyang 18
Brussels 17
Chennai 17
Haiphong 16
Jiaxing 15
Marseille 15
Trento 15
Ogden 14
Vigonovo 14
Washington 14
Brooklyn 13
Fuzhou 13
Livorno 13
Nettuno 13
Phoenix 13
Viareggio 13
Baghdad 12
Changsha 12
Dhaka 12
Hebei 12
Karlsruhe 12
Chicago 11
Hangzhou 11
Johannesburg 11
Norwalk 11
Amsterdam 10
Auburn Hills 10
Grafing 10
Hải Dương 10
Verona 10
Brasília 9
Carbondale 9
Totale 11.933
Salva come PNG Salva come JPEG
Nome #
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. 267
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 257
Tracking sensitive and untrustworthy data in IoT 244
Natural Projection as Partial Model Checking 244
A Global Occurrence Counting Analysis for Brane Calculi 240
L'informatica: non è un paese per donne. 232
Firewall Management With FireWall Synthesizer 227
A static analysis for Brane Calculi providing global occurrence counting information 217
True Concurrency via Abstract Interpretation 215
Measuring security in IoT communications 215
A Taxonomy of Causality-Based Biological Properties 205
Revealing the trajectories of KLAIM tuples, statically 204
Causal static analysis for Brane Calculi 200
FWS: Analyzing, maintaining and transcompiling firewalls 197
Detecting and preventing type flaws at static time 192
Last Mile’s Resources 192
Authentication Primitives for Secure Protocol Specifications 191
The cost of securing IoT communications 191
Constructing specific SOS semantics for concurrency via abstract interpretation 190
Linguistic Mechanisms for Context-Aware Security 190
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 187
Context-aware security: Linguistic mechanisms and static analysis 185
Programming in a context-aware language 185
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 184
A Static Analysis for Beta-Binders 184
An Analysis for Causal Properties of Membrane Interactions 183
A flat process calculus for nested membrane interactions 182
Security Metrics at Work on the Things in IoT Systems 182
A formal approach to open multiparty interactions 179
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 178
Formalising Security in Ubiquitous and Cloud Scenarios 178
A Control Flow Analysis for Beta-binders with and without Static Compartments 177
Tool Supported Analysis of IoT 175
Static Analysis for Secrecy and Non-interference in Networks of Processes 173
Open Multiparty Interaction 172
Authentication via Localized Names 170
Static evidences for attack reconstruction 169
On Evaluating the Performance of Security Protocols 169
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks 168
Mobile Processes with a distributed Environment 168
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
Brane Calculi Systems: A Static Preview of their Possible Behaviour 164
Security in Pervasive Applications: A Survey 164
Where Do Your IoT Ingredients Come From? 164
Automatic Validation of Protocol Narration 163
A control flow analysis for safe and boxed ambients 161
Modelling and analysing IoT systems 161
Checking Security Policies through an Enhanced Control Flow Analysis 160
La danza dei bit 159
A Step Towards Checking Security in IoT 159
Safe ambients: control flow analysis and security 158
Language-Independent Synthesis of Firewall Policies 158
Static detection of logic flaws in service-oriented applications 156
Authentication Primitives for Protocol Specifications 156
Experimenting with a Context-Aware Language 154
Primitives for Authentication in Process Algebras 153
Checking global usage of resources handled with local policies 153
On Formal Descriptions for Knitting Recursive Patterns 152
Securing IoT communications: at what cost? 150
Knitting for Fun: A Recursive Sweater 149
Control Flow Analysis of Generalised Boolean Networks 149
Analysing the Provenance of IoT Data 149
Static Validation of Security Protocols 148
A G-Local pi-calculus 146
Control Flow Analysis for Brane Calculi 139
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza 138
A Quantitative Study of Two Attacks 138
Predicting global usages of resources endowed with local policies 137
Static Analysis Techniques for Session-Oriented Calculi 136
Choreography Rehearsal 136
An Enhanced CFA for Security Policies 134
Control Flow Analysis for the pi-calculus 133
On Deducing Causality in Metabolic Networks 132
Safer in the Clouds 127
Some Concurrency Models in a Categorical Framework 126
Performance Evaluation of Security Protocols Specified in LySa 126
Security Analysis for Mobile Ambients 125
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 125
Hello world! L'informatica dall'aritmometro allo smartphone 125
Tracking data trajectories in IoT 124
Control Flow Analysis for Mobile Safe Ambients 121
Techniques for Security Checking: Non Interference vs Control Flow Analysis 121
Detecting Replay Attacks by Freshness Annotations 120
The link-calculus for open multiparty interactions 117
From Hardware-Functional to Software-Defined Vehicles and their Security Issues 116
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. 111
Pianeta Galileo 2013 109
Statically Detecting Message Confusions in a Multi-Protocol Setting 104
Una storia nazionale: il Museo degli Strumenti per il calcolo 104
Pixel e quadretti: iniziative per le scuole primarie e secondarie. 103
Static Analysis for the Pi-Calculus with Applications to Security 101
Here you can't: context-aware security. 100
Il bivio di Alan 96
Names of the Pi-Calculus Agents Handled Locally 95
Tracing where IoT data are collected and aggregated 95
Totale 16.050
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.385
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 44.385
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021236 0 0 0 0 0 0 0 0 0 0 60 176
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/20263.777 381 389 386 293 406 383 650 193 222 365 109 0
Totale 17.036