CINECA IRIS Institutional Research Information System

FERRARI, GIAN-LUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 19.817
EU - Europa 8.010
AS - Asia 6.807
SA - Sud America 970
AF - Africa 440
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 11
Totale 36.070
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.789
CA - Canada 4.946
CN - Cina 2.114
FI - Finlandia 2.093
SG - Singapore 2.011
IT - Italia 1.775
PL - Polonia 1.117
HK - Hong Kong 1.061
BR - Brasile 822
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 13
EU - Europa 13
PY - Paraguay 13
JO - Giordania 12
AU - Australia 10
AZ - Azerbaigian 10
ID - Indonesia 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
JM - Giamaica 7
LB - Libano 7
LV - Lettonia 7
CZ - Repubblica Ceca 6
PT - Portogallo 6
AT - Austria 5
BB - Barbados 5
CR - Costa Rica 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
MD - Moldavia 3
BH - Bahrain 2
BN - Brunei Darussalam 2
BW - Botswana 2
BY - Bielorussia 2
ET - Etiopia 2
HN - Honduras 2
HR - Croazia 2
LK - Sri Lanka 2
NI - Nicaragua 2
NP - Nepal 2
OM - Oman 2
PS - Palestinian Territory 2
RW - Ruanda 2
SI - Slovenia 2
XK - ???statistics.table.value.countryCode.XK??? 2
Totale 36.046
Salva come PNG Salva come JPEG
Città #
Montreal 4.607
Woodbridge 2.102
Helsinki 1.892
Ann Arbor 1.614
Ashburn 1.323
Fairfield 1.157
Houston 1.121
Singapore 1.109
Hong Kong 1.045
Dallas 757
Santa Clara 749
Chandler 718
Milan 612
Sofia 526
Seattle 518
Beijing 482
San Jose 466
Jacksonville 449
Wilmington 412
Shanghai 396
Cambridge 387
Ottawa 315
Hefei 300
New York 285
Seoul 265
Serra 242
Boardman 231
Princeton 207
Izmir 196
Lawrence 185
Nanjing 174
Lauterbourg 171
Abidjan 147
Tokyo 129
Bern 128
Los Angeles 125
Lagos 121
Ho Chi Minh City 116
Des Moines 101
Düsseldorf 101
Medford 101
Hanoi 95
Dearborn 88
Florence 88
Istanbul 85
Jüchen 85
Buffalo 81
Nanchang 77
Dong Ket 68
Rome 65
Pisa 60
Redondo Beach 57
São Paulo 56
Dakar 52
Council Bluffs 51
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
Southend 19
Chicago 17
Fuzhou 17
Paris 17
Baghdad 16
Guangzhou 16
Johannesburg 16
Pune 16
Sacile 16
Da Nang 15
Orange 15
Orem 15
San Francisco 15
Tashkent 15
Verona 14
Washington 14
Nairobi 13
Columbus 12
Manchester 12
Salvador 12
Turku 12
Totale 28.145
Salva come PNG Salva come JPEG
Nome #
Transition Systems with Algebraic Structure as Models of Computations 4.612
From Theory to Practice in Transactional Composition of Web Services 3.347
Declarative Secure Placement of FaaS Orchestrations in the Cloud-Edge Continuum 407
A Two-Phase Static Analysis for Reliable Adaptation 221
Program Transformations under Dynamic Security Policies 216
Transition Systems with Algebraic Structure as Models of Computations 214
Towards the Unification of Models for Concurrency 210
RSF: A Formalism for Executable Requirement Specifications 209
Coordinating Mobile Agents via Blackboards and Access Rights 208
A Formal Basis for Reasoning on Programmable QoS 203
Graph-based Models of Internetworking Systems 202
Revealing the trajectories of KLAIM tuples, statically 202
Coordination Via Types in an Event-Based Framework 200
Stack Inspection and Secure Program Transformations 199
Towards Nominal Context-Free Model-Checking 198
History Dependent Automata for Service Compatibility 193
On Quantitative Security Policies 193
Automata for Analysing Service Contracts 193
A Two-Component Language for COP 191
Last Mile’s Resources 191
Types for Coordinating Secure Behavioural Variations 190
Modelling Fusion Calculus Using HD-automata 189
Ugo Montanari and Software Verification 188
A symbolic framework for multi- faceted security protocol analysis 188
Tiles for concurrent and located calculi 186
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 185
Programming in a context-aware language 185
Secure Service Composition 184
A Context-Oriented Extension of F#. 184
From Co-algebraic Specifications to Implementation: The MIHDA toolkit 182
Call-by-contract for service discovery, orchestration and recovery 181
Dynamic Matrices and the Cost Analysis of Concurrent Programs 180
Locality Based Linda: Programming with Explicit Localities 180
Semantics-Based Design for Secure Web Services 180
Local Policies for Resource Usage Analysis 180
Controller synthesis of service contracts with variability 180
Security Metrics at Work on the Things in IoT Systems 179
Security Issues in Component-based Design 178
Types and Effects for Secure Service Orchestration 178
Formalising Security in Ubiquitous and Cloud Scenarios 178
A Coordination-based Methodology for Security Protocol Verification 177
Higher-Order Types and Meta-Programming for Global Computing 176
Coordination Models and Languages 176
Observational Logics and Concurrency Models 174
Secure Service Orchestration 174
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations 173
Verifying Mobile Processes in the HAL Environment. 172
Applying Process Analysis to the Italian eGovernment Enterprise Architecture 170
On Causality Observed Incrementally, Finally 169
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 169
A Language-based Approach to Autonomic Computing 168
Nominal Automata for Resource Usage Control 168
Checking Correctness of Transactional Behaviors 167
Typing Context-Dependent Behavioural Variation 167
A Debugging Calculus for Mobile Ambients. 166
From Theory to Practice in Transactional Composition of Web Services 166
JSCL: A Middleware for Service Coordination 166
Experimenting web service composition in an event-based notification framework 165
Typing Context-Dependent Behavioural Variation 165
A Process Calculus for QoS-Aware Applications 164
Event-Based Service Coordination 164
A LTS Semantics of Ambients via Graph Synchronization with Mobility 164
Towards Nominal Context-Free Model-Checking 164
Where Do Your IoT Ingredients Come From? 164
Placing FaaS in the Fog, securely 164
Security in Pervasive Applications: A Survey 163
Event-driven adaptation in COP 163
Security and Dynamic Compositions of Open Systems 161
Call-by-Contract for Service Discovery, Orchestration and Recovery 160
A Refinement Calculus for Mobility: Expressing Security Properties 160
Specifying Variability in Service Contracts 160
Secure and Unfailing Services 159
Modelling and analysing IoT systems 159
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations 158
Planning and verifying service composition 158
Security Issues in Service Composition 157
Model Checking for Nominal Calculi 157
Interactive Mobile Agents in X-Klaim 156
A model-checking verification environment for mobile processes 156
Security in pervasive computing 156
A Step Towards Checking Security in IoT 156
An Extended Expansion Theorem 155
Guardians for Ambient Based Monitoring 155
An Automata-based Verification Environment for Mobile Processes (Tool Demonstration) 155
The KLAIM Project: Theory and Practice 154
A Logic for Graphs with QoS 154
Types and effects for Resouce Usage Analysis 153
Experimenting with a Context-Aware Language 153
Program Transformations under Dynamic Security Policies 152
Programming Access Control: The KLAIM Experience 152
Types as Specification of Access Policies 152
Parameterized Structured Operational Semantics 152
A Pi-Calculus with Explicit Substitutions: the Late Semantics 151
Model Checking Usage Policies 151
Checking global usage of resources handled with local policies 150
Metaklaim: A type safe multi-stage language for global computing 149
Enforcing Secure Service Composition 149
Observational Logics and True Concurrency, 148
Global Types and Network Services 147
Event-Based Choreography 146
Totale 25.093
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.530
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 80.530
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021424 0 0 0 0 0 0 0 0 0 131 72 221
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.335 459 776 894 427 500 616 860 277 2.151 375 0 0
Totale 36.312