CINECA IRIS Institutional Research Information System

FERRARI, GIAN-LUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 20.166
EU - Europa 8.113
AS - Asia 6.814
SA - Sud America 976
AF - Africa 440
Continente sconosciuto - Info sul continente non disponibili 17
OC - Oceania 11
Totale 36.537
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.127
CA - Canada 4.952
CN - Cina 2.114
FI - Finlandia 2.093
SG - Singapore 2.018
IT - Italia 1.874
PL - Polonia 1.118
HK - Hong Kong 1.061
BR - Brasile 828
SE - Svezia 662
VN - Vietnam 532
BG - Bulgaria 527
DE - Germania 478
UA - Ucraina 339
TR - Turchia 324
KR - Corea 274
FR - Francia 255
GB - Regno Unito 251
RU - Federazione Russa 227
CI - Costa d'Avorio 147
JP - Giappone 132
CH - Svizzera 129
NG - Nigeria 121
IN - India 95
BD - Bangladesh 60
SN - Senegal 52
AR - Argentina 48
IQ - Iraq 40
BE - Belgio 34
MX - Messico 31
ZA - Sudafrica 31
PK - Pakistan 24
CO - Colombia 23
NL - Olanda 20
VE - Venezuela 20
EG - Egitto 19
SA - Arabia Saudita 19
EC - Ecuador 18
MA - Marocco 18
GR - Grecia 17
UZ - Uzbekistan 17
KE - Kenya 16
ES - Italia 15
EU - Europa 13
PY - Paraguay 13
JO - Giordania 12
AU - Australia 10
AZ - Azerbaigian 10
ID - Indonesia 10
JM - Giamaica 10
CL - Cile 9
KZ - Kazakistan 9
PE - Perù 9
PH - Filippine 9
TT - Trinidad e Tobago 9
BJ - Benin 8
IL - Israele 8
NO - Norvegia 8
RO - Romania 8
TN - Tunisia 8
DO - Repubblica Dominicana 7
LB - Libano 7
LV - Lettonia 7
CR - Costa Rica 6
CZ - Repubblica Ceca 6
PT - Portogallo 6
AT - Austria 5
BB - Barbados 5
EE - Estonia 5
IR - Iran 5
PA - Panama 5
UY - Uruguay 5
AL - Albania 4
DK - Danimarca 4
DZ - Algeria 4
IE - Irlanda 4
LC - Santa Lucia 4
MY - Malesia 4
SK - Slovacchia (Repubblica Slovacca) 4
TW - Taiwan 4
AE - Emirati Arabi Uniti 3
AM - Armenia 3
AO - Angola 3
BO - Bolivia 3
BY - Bielorussia 3
MD - Moldavia 3
NI - Nicaragua 3
XK - ???statistics.table.value.countryCode.XK??? 3
BH - Bahrain 2
BN - Brunei Darussalam 2
BW - Botswana 2
ET - Etiopia 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
NP - Nepal 2
OM - Oman 2
PS - Palestinian Territory 2
RW - Ruanda 2
SI - Slovenia 2
Totale 36.512
Salva come PNG Salva come JPEG
Città #
Montreal 4.610
Woodbridge 2.102
Helsinki 1.892
Ann Arbor 1.614
Ashburn 1.339
Fairfield 1.157
Houston 1.123
Singapore 1.113
Hong Kong 1.045
Dallas 764
Santa Clara 753
Chandler 718
Milan 629
San Jose 600
Sofia 526
Seattle 519
Beijing 482
Jacksonville 449
Wilmington 412
Shanghai 396
Cambridge 387
Ottawa 315
Hefei 300
New York 286
Seoul 265
Serra 242
Boardman 231
Princeton 207
Izmir 196
Lawrence 185
Nanjing 174
Lauterbourg 171
Abidjan 147
Los Angeles 130
Tokyo 129
Bern 128
Lagos 121
Ho Chi Minh City 116
Des Moines 101
Düsseldorf 101
Medford 101
Hanoi 95
Florence 89
Dearborn 88
Istanbul 85
Jüchen 85
Buffalo 82
Council Bluffs 80
Nanchang 77
Rome 75
Dong Ket 68
Pisa 60
Redondo Beach 57
São Paulo 56
Dakar 52
Bremen 49
San Diego 49
Boulder 48
Changsha 44
Kunming 43
Frankfurt am Main 42
The Dalles 37
Munich 35
Rio de Janeiro 35
Brussels 32
Shenyang 32
Hebei 29
Belo Horizonte 27
Jiaxing 27
Jinan 25
Dhaka 22
Norwalk 22
Tianjin 22
London 21
Ogden 21
Auburn Hills 20
Hangzhou 20
Redwood City 20
Brasília 19
Chicago 19
Southend 19
Fuzhou 17
Paris 17
Baghdad 16
Guangzhou 16
Johannesburg 16
Orem 16
Pune 16
Sacile 16
Da Nang 15
Orange 15
San Francisco 15
Tashkent 15
Washington 15
Verona 14
Columbus 13
Manchester 13
Nairobi 13
Figino 12
Phoenix 12
Totale 28.386
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.614
From Theory to Practice in Transactional Composition of Web Services 3.348
Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum 409
A Two-Phase Static Analysis for Reliable Adaptation 223
Program Transformations under Dynamic Security Policies 217
Transition Systems with Algebraic Structure as Models of Computations 216
Revealing the trajectories of KLAIM tuples, statically 214
Towards the Unification of Models for Concurrency 213
RSF: A Formalism for Executable Requirement Specifications 209
Coordinating Mobile Agents via Blackboards and Access Rights 209
A Formal Basis for Reasoning on Programmable QoS 205
Graph-based Models of Internetworking Systems 204
Towards Nominal Context-Free Model-Checking 202
Stack Inspection and Secure Program Transformations 201
Coordination Via Types in an Event-Based Framework 200
On Quantitative Security Policies 195
Automata for Analysing Service Contracts 195
History Dependent Automata for Service Compatibility 194
Last Mile’s Resources 192
Ugo Montanari and Software Verification 191
A Two-Component Language for COP 191
Types for Coordinating Secure Behavioural Variations 191
A symbolic framework for multi- faceted security protocol analysis 190
Modelling Fusion Calculus Using HD-automata 189
Tiles for concurrent and located calculi 188
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 187
Secure Service Composition 185
A Context-Oriented Extension of F#. 185
Programming in a context-aware language 185
Security Metrics at Work on the Things in IoT Systems 185
Dynamic Matrices and the Cost Analysis of Concurrent Programs 184
Local Policies for Resource Usage Analysis 183
Controller synthesis of service contracts with variability 183
Locality Based Linda: Programming with Explicit Localities 182
From Co-algebraic Specifications to Implementation: The MIHDA toolkit 182
Call-by-contract for service discovery, orchestration and recovery 182
Semantics-Based Design for Secure Web Services 180
Security Issues in Component-based Design 179
Types and Effects for Secure Service Orchestration 179
Formalising Security in Ubiquitous and Cloud Scenarios 179
Higher-Order Types and Meta-Programming for Global Computing 178
A Coordination-based Methodology for Security Protocol Verification 178
Coordination Models and Languages 177
Observational Logics and Concurrency Models 176
Secure Service Orchestration 176
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations 175
Verifying Mobile Processes in the HAL Environment. 175
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 175
Placing FaaS in the Fog, securely 173
Security in Pervasive Applications: A Survey 171
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 170
Experimenting web service composition in an event-based notification framework 170
A Language-based Approach to Autonomic Computing 170
On Causality Observed Incrementally, Finally 169
Nominal Automata for Resource Usage Control 169
Typing Context-Dependent Behavioural Variation 168
A Debugging Calculus for Mobile Ambients. 167
From Theory to Practice in Transactional Composition of Web Services 167
Checking Correctness of Transactional Behaviors 167
Towards Nominal Context-Free Model-Checking 167
Modelling and analysing IoT systems 167
A Process Calculus for QoS-Aware Applications 166
JSCL: A Middleware for Service Coordination 166
Event-Based Service Coordination 165
Typing Context-Dependent Behavioural Variation 165
A LTS Semantics of Ambients via Graph Synchronization with Mobility 165
Event-driven adaptation in COP 165
Experimenting with a Context-Aware Language 164
Where Do Your IoT Ingredients Come From? 164
Security and Dynamic Compositions of Open Systems 163
A Refinement Calculus for Mobility: Expressing Security Properties 163
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations 160
Call-by-Contract for Service Discovery, Orchestration and Recovery 160
A model-checking verification environment for mobile processes 160
A Step Towards Checking Security in IoT 160
Specifying Variability in Service Contracts 160
Secure and Unfailing Services 159
Planning and verifying service composition 159
An Automata-based Verification Environment for Mobile Processes (Tool Demonstration) 158
Security Issues in Service Composition 157
Model Checking for Nominal Calculi 157
Security in pervasive computing 157
Interactive Mobile Agents in X-Klaim 156
Guardians for Ambient Based Monitoring 156
The KLAIM Project: Theory and Practice 156
An Extended Expansion Theorem 155
Program Transformations under Dynamic Security Policies 155
Types and effects for Resouce Usage Analysis 155
A Logic for Graphs with QoS 154
Programming Access Control: The KLAIM Experience 154
Checking global usage of resources handled with local policies 154
Types as Specification of Access Policies 153
Parameterized Structured Operational Semantics 153
Observational Logics and True Concurrency, 151
A Pi-Calculus with Explicit Substitutions: the Late Semantics 151
Metaklaim: A type safe multi-stage language for global computing 151
Enforcing Secure Service Composition 151
Model Checking Usage Policies 151
Event-Based Choreography 148
Global Types and Network Services 148
Totale 25.290
Salva come PNG Salva come JPEG
Categoria #
all - tutte 84.412
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 84.412
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.956 24 124 47 163 415 275 49 107 92 48 111 501
2022/20232.177 241 168 119 203 357 302 16 155 407 23 149 37
2023/20247.627 335 268 257 147 276 288 78 52 17 5.721 33 155
2024/20255.372 24 228 35 255 503 606 418 377 500 767 598 1.061
2025/20267.765 459 776 894 427 500 616 860 277 2.151 435 192 178
2026/202737 37 0 0 0 0 0 0 0 0 0 0 0
Totale 36.779