CINECA IRIS Institutional Research Information System

FERRARI, GIAN-LUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 20.728
EU - Europa 8.144
AS - Asia 6.820
SA - Sud America 988
AF - Africa 440
Continente sconosciuto - Info sul continente non disponibili 259
OC - Oceania 11
Totale 37.390
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.638
CA - Canada 4.968
CN - Cina 2.114
FI - Finlandia 2.093
SG - Singapore 2.020
IT - Italia 1.903
PL - Polonia 1.118
HK - Hong Kong 1.062
BR - Brasile 831
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
CO - Colombia 29
PK - Pakistan 24
NL - Olanda 20
VE - Venezuela 20
EG - Egitto 19
SA - Arabia Saudita 19
EC - Ecuador 18
JM - Giamaica 18
MA - Marocco 18
GR - Grecia 17
UZ - Uzbekistan 17
KE - Kenya 16
ES - Italia 15
CR - Costa Rica 13
EU - Europa 13
PY - Paraguay 13
ID - Indonesia 12
JO - Giordania 12
CL - Cile 11
AU - Australia 10
AZ - Azerbaigian 10
TT - Trinidad e Tobago 10
KZ - Kazakistan 9
PE - Perù 9
PH - Filippine 9
BJ - Benin 8
IL - Israele 8
NO - Norvegia 8
RO - Romania 8
TN - Tunisia 8
DO - Repubblica Dominicana 7
HN - Honduras 7
LB - Libano 7
LV - Lettonia 7
BB - Barbados 6
CZ - Repubblica Ceca 6
NI - Nicaragua 6
PT - Portogallo 6
UY - Uruguay 6
AT - Austria 5
EE - Estonia 5
IR - Iran 5
PA - Panama 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
DK - Danimarca 4
DZ - Algeria 4
GT - Guatemala 4
IE - Irlanda 4
LC - Santa Lucia 4
MD - Moldavia 4
MY - Malesia 4
SK - Slovacchia (Repubblica Slovacca) 4
TW - Taiwan 4
AM - Armenia 3
AO - Angola 3
BO - Bolivia 3
BY - Bielorussia 3
PR - Porto Rico 3
XK - ???statistics.table.value.countryCode.XK??? 3
BH - Bahrain 2
BN - Brunei Darussalam 2
BW - Botswana 2
ET - Etiopia 2
HR - Croazia 2
HT - Haiti 2
LK - Sri Lanka 2
LT - Lituania 2
MQ - Martinica 2
Totale 37.115
Salva come PNG Salva come JPEG
Città #
Montreal 4.614
Woodbridge 2.102
Helsinki 1.892
Ann Arbor 1.614
Ashburn 1.381
Fairfield 1.157
Houston 1.124
Singapore 1.114
Hong Kong 1.046
Dallas 770
Santa Clara 760
Chandler 718
Milan 636
San Jose 632
Sofia 526
Seattle 519
Beijing 482
Jacksonville 449
Wilmington 413
Shanghai 396
Cambridge 387
Council Bluffs 318
Ottawa 315
Hefei 300
New York 296
Seoul 265
Serra 242
Boardman 231
Princeton 207
Izmir 196
Lawrence 185
Nanjing 174
Lauterbourg 171
Abidjan 147
Los Angeles 144
Tokyo 129
Bern 128
Lagos 121
Ho Chi Minh City 116
Des Moines 101
Düsseldorf 101
Medford 101
Hanoi 95
Florence 90
Dearborn 88
Buffalo 86
Istanbul 85
Jüchen 85
Nanchang 77
Rome 76
Dong Ket 68
Pisa 62
São Paulo 58
Redondo Beach 57
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
Chicago 21
London 21
Ogden 21
Auburn Hills 20
Hangzhou 20
Redwood City 20
Brasília 19
Southend 19
Fuzhou 17
Paris 17
Washington 17
Baghdad 16
Guangzhou 16
Johannesburg 16
Orem 16
Pune 16
Sacile 16
San Francisco 16
Da Nang 15
Orange 15
Tashkent 15
Columbus 14
Phoenix 14
Verona 14
Manchester 13
Nairobi 13
Figino 12
Totale 28.768
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.619
From Theory to Practice in Transactional Composition of Web Services 3.349
Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum 415
A Two-Phase Static Analysis for Reliable Adaptation 227
Program Transformations under Dynamic Security Policies 224
Transition Systems with Algebraic Structure as Models of Computations 221
Revealing the trajectories of KLAIM tuples, statically 219
Towards the Unification of Models for Concurrency 218
RSF: A Formalism for Executable Requirement Specifications 211
Coordinating Mobile Agents via Blackboards and Access Rights 211
A Formal Basis for Reasoning on Programmable QoS 208
Graph-based Models of Internetworking Systems 207
Towards Nominal Context-Free Model-Checking 205
Stack Inspection and Secure Program Transformations 205
History Dependent Automata for Service Compatibility 202
Coordination Via Types in an Event-Based Framework 201
On Quantitative Security Policies 200
Automata for Analysing Service Contracts 199
A symbolic framework for multi- faceted security protocol analysis 197
Ugo Montanari and Software Verification 196
A Two-Component Language for COP 195
Last Mile’s Resources 194
Types for Coordinating Secure Behavioural Variations 194
Modelling Fusion Calculus Using HD-automata 192
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 191
Tiles for concurrent and located calculi 189
Secure Service Composition 189
A Context-Oriented Extension of F#. 189
Security Metrics at Work on the Things in IoT Systems 188
Semantics-Based Design for Secure Web Services 187
Programming in a context-aware language 187
From Co-algebraic Specifications to Implementation: The MIHDA toolkit 186
Controller synthesis of service contracts with variability 186
Formalising Security in Ubiquitous and Cloud Scenarios 186
Dynamic Matrices and the Cost Analysis of Concurrent Programs 185
Call-by-contract for service discovery, orchestration and recovery 185
Local Policies for Resource Usage Analysis 185
Locality Based Linda: Programming with Explicit Localities 183
A Coordination-based Methodology for Security Protocol Verification 181
Security Issues in Component-based Design 181
Types and Effects for Secure Service Orchestration 181
Verifying Mobile Processes in the HAL Environment. 180
Secure Service Orchestration 180
Higher-Order Types and Meta-Programming for Global Computing 179
Coordination Models and Languages 179
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 179
Observational Logics and Concurrency Models 178
Security in Pervasive Applications: A Survey 178
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations 177
Placing FaaS in the Fog, securely 176
Experimenting web service composition in an event-based notification framework 173
Towards Nominal Context-Free Model-Checking 173
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 172
A Language-based Approach to Autonomic Computing 172
Where Do Your IoT Ingredients Come From? 172
Modelling and analysing IoT systems 171
On Causality Observed Incrementally, Finally 170
Checking Correctness of Transactional Behaviors 170
Typing Context-Dependent Behavioural Variation 170
Nominal Automata for Resource Usage Control 170
A Debugging Calculus for Mobile Ambients. 169
Security and Dynamic Compositions of Open Systems 169
From Theory to Practice in Transactional Composition of Web Services 169
A Process Calculus for QoS-Aware Applications 168
JSCL: A Middleware for Service Coordination 167
Event-Based Service Coordination 167
Typing Context-Dependent Behavioural Variation 167
A LTS Semantics of Ambients via Graph Synchronization with Mobility 167
Event-driven adaptation in COP 167
Experimenting with a Context-Aware Language 167
Call-by-Contract for Service Discovery, Orchestration and Recovery 166
Secure and Unfailing Services 166
A Refinement Calculus for Mobility: Expressing Security Properties 165
A model-checking verification environment for mobile processes 163
A Step Towards Checking Security in IoT 163
Programming Access Control: The KLAIM Experience 162
Specifying Variability in Service Contracts 162
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations 161
Security in pervasive computing 161
Planning and verifying service composition 161
An Automata-based Verification Environment for Mobile Processes (Tool Demonstration) 160
The KLAIM Project: Theory and Practice 159
Model Checking for Nominal Calculi 159
Interactive Mobile Agents in X-Klaim 158
A Logic for Graphs with QoS 158
Security Issues in Service Composition 158
An Extended Expansion Theorem 157
Program Transformations under Dynamic Security Policies 157
Guardians for Ambient Based Monitoring 156
Types and effects for Resouce Usage Analysis 156
Types as Specification of Access Policies 156
Enforcing Secure Service Composition 155
Checking global usage of resources handled with local policies 155
Parameterized Structured Operational Semantics 155
A Pi-Calculus with Explicit Substitutions: the Late Semantics 154
Metaklaim: A type safe multi-stage language for global computing 154
Model Checking Usage Policies 154
Observational Logics and True Concurrency, 152
Event-Based Choreography 151
Global Types and Network Services 150
Totale 25.608
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.265
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 87.265
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.808 0 0 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/2027648 146 433 69 0 0 0 0 0 0 0 0 0
Totale 37.390