CRIS Current Research Information System

ZAVATTARO, GIANLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.360
AS - Asia 9.238
EU - Europa 7.734
SA - Sud America 520
AF - Africa 461
Continente sconosciuto - Info sul continente non disponibili 394
OC - Oceania 16
Totale 28.723
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.188
GB - Regno Unito 2.729
CN - Cina 2.475
VN - Vietnam 2.456
SG - Singapore 2.306
IT - Italia 1.544
DE - Germania 829
SE - Svezia 529
FR - Francia 490
HK - Hong Kong 468
UA - Ucraina 441
IN - India 417
BR - Brasile 380
RU - Federazione Russa 342
JP - Giappone 232
IE - Irlanda 222
TR - Turchia 192
KR - Corea 160
ZA - Sudafrica 147
TG - Togo 143
BD - Bangladesh 138
NL - Olanda 106
EE - Estonia 100
FI - Finlandia 100
CA - Canada 89
CI - Costa d'Avorio 80
JO - Giordania 62
AR - Argentina 54
PH - Filippine 50
CH - Svizzera 44
TH - Thailandia 42
ID - Indonesia 41
SC - Seychelles 41
BE - Belgio 38
MX - Messico 35
AT - Austria 33
IQ - Iraq 31
PL - Polonia 31
TW - Taiwan 30
ES - Italia 25
MT - Malta 20
PK - Pakistan 20
RO - Romania 20
CL - Cile 18
EC - Ecuador 18
SA - Arabia Saudita 18
CO - Colombia 16
GR - Grecia 16
AU - Australia 15
PY - Paraguay 15
LB - Libano 13
CR - Costa Rica 12
DK - Danimarca 12
HR - Croazia 12
JM - Giamaica 11
UZ - Uzbekistan 11
AE - Emirati Arabi Uniti 10
BG - Bulgaria 9
LT - Lituania 9
MY - Malesia 9
EG - Egitto 8
MA - Marocco 8
OM - Oman 8
TN - Tunisia 8
IL - Israele 7
IR - Iran 7
KE - Kenya 7
AZ - Azerbaigian 6
CZ - Repubblica Ceca 6
PE - Perù 6
PT - Portogallo 6
VE - Venezuela 6
DZ - Algeria 5
ET - Etiopia 5
EU - Europa 5
AL - Albania 4
BB - Barbados 4
BO - Bolivia 4
DO - Repubblica Dominicana 4
PS - Palestinian Territory 4
RS - Serbia 4
TT - Trinidad e Tobago 4
BA - Bosnia-Erzegovina 3
GE - Georgia 3
NI - Nicaragua 3
NP - Nepal 3
AM - Armenia 2
CY - Cipro 2
GT - Guatemala 2
HN - Honduras 2
KG - Kirghizistan 2
KW - Kuwait 2
KZ - Kazakistan 2
LK - Sri Lanka 2
LU - Lussemburgo 2
LY - Libia 2
MD - Moldavia 2
SV - El Salvador 2
UY - Uruguay 2
AF - Afghanistan, Repubblica islamica di 1
Totale 28.309
Salva come PNG Salva come JPEG
Città #
Southend 2.522
Singapore 1.469
Fairfield 947
Ashburn 777
San Jose 711
Santa Clara 575
Ho Chi Minh City 574
Chandler 510
Woodbridge 477
Hanoi 467
Hong Kong 451
Hefei 437
Wilmington 413
Seattle 407
Houston 397
Dong Ket 361
Bologna 332
Ann Arbor 329
Princeton 317
Cambridge 316
Jacksonville 291
Council Bluffs 268
Beijing 260
Boardman 229
Dublin 221
Lauterbourg 174
Istanbul 172
Dallas 164
Los Angeles 145
Lomé 143
Nanjing 143
Westminster 139
Tokyo 138
Seoul 136
Padova 131
Medford 118
Milan 117
Berlin 108
Buffalo 98
Jinan 93
Shenyang 83
Abidjan 80
Saint Petersburg 80
New York 79
Helsinki 71
Haiphong 70
Hebei 64
Amman 62
Guangzhou 62
Turin 62
Da Nang 56
Mülheim 55
São Paulo 55
San Diego 54
Changsha 53
Nanchang 53
Orem 51
Tianjin 50
Phoenix 47
The Dalles 47
Redondo Beach 45
Shanghai 41
Grafing 40
Rome 38
Frankfurt am Main 37
Hangzhou 37
Bengaluru 35
Fremont 35
Des Moines 34
Falls Church 33
Zhengzhou 33
Jiaxing 32
Chicago 30
Johannesburg 30
Hyderabad 29
Mahé 29
Brussels 28
San Francisco 28
Bremen 27
Biên Hòa 26
Munich 26
Redwood City 26
Jakarta 25
Redmond 25
Taizhou 25
Amsterdam 24
London 24
Norwalk 24
Dearborn 23
Montreal 23
Nuremberg 23
Paris 23
Quận Bình Thạnh 23
Brooklyn 22
Can Tho 22
Florence 22
Haikou 22
Hải Dương 22
Ningbo 22
Rimini 22
Totale 18.446
Salva come PNG Salva come JPEG
Nome #
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems 710
Automatic Component Deployment in the Presence of Circular Dependencies 312
A Formal Approach to Microservice Architecture Deployment 299
A Sound Algorithm for Asynchronous Session Subtyping 256
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation 256
On the expressiveness of synchronization in component deployment 247
Comparing Recursion, Replication, and Iteration in Process Calculi 246
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 244
Aeolus: A component model for the cloud 244
Dall’Algoritmo al Programma 243
Automatic deployment of component-based applications 243
Data-Driven Coordination in Peer-to-Peer Information System 238
Optimal and automated deployment for microservices 235
Aeolus - Mastering the Cloud Complexity 234
A Component Model for the ABS Language 233
Towards Global and Local Types for Adaptation 231
Foundations of session types and behavioural contracts 230
Proactive-reactive microservice architecture global scaling 228
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures 226
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 225
Automatic Deployment of Services in the Cloud with Aeolus Blender 225
Relating Session Types and Behavioural Contracts: The Asynchronous Case 225
Automatic application deployment in the cloud: From practice to theory and back 223
A Process Algebraic View of Shared Dataspace Coordination 221
Adaptable Processes (Extended Abstract) 218
Declarative elasticity in ABS 214
Choreography and Orchestration Conformance for System Design 210
Choreography and Orchestration: A Synergic Approach for System Design 207
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 206
Web Services and Formal Methods 205
Advanced Mechanisms for Service Combination and Transactions 205
Proactive-Reactive Global Scaling, with Analytics 202
A Planning Tool Supporting the Deployment of Cloud Applications 200
Asynchronous session subtyping as communicating automata refinement 200
Journal of Software (JSW) 199
Analysis of SLA compliance in the cloud: An automated, model-based approach 197
Aeolus: Mastering the Complexity of Cloud Application Deployment 191
Leveraging static analysis for cost-aware serverless scheduling policies 190
Bridging the Gap between Interaction- and Process-Oriented Choreographies 189
Contract Compliance and Choreography Conformance in the Presence of Message Queues 188
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 188
Choreographies and behavioural contracts on the way to dynamic updates 188
Web Services and Formal Methods 187
Amending Choreographies 187
Microservice Dynamic Architecture-Level Deployment Orchestration 187
Towards a formal framework for Choreography 185
Fault Model Design Space for Cooperative Concurrency 185
Playing with bisimulation in erlang 184
Graceful Interruption of Request-Response Service Interactions 183
Web Services for E-commerce: guaranteeing security access and quality of service 182
On the integration of automatic deployment into the ABS modeling language 181
Combining Partitions in SecSpaces 181
JOLIE: a Java Orchestration Language Interpreter Engine 180
Service Oriented Computing from a Process Algebraic Perspective 179
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 178
SOCK : A Calculus for Service Oriented Computing 178
A theory of contracts for strong service compliance 178
On the complexity of reconfiguration in systems with legacy components 178
Deciding Reachability in Mobile Ambients 178
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005 177
Contract-Driven Implementation of Choreographies 177
Decidability Problems for Actor Systems 175
CONCUR 2009 - Concurrency theory 175
Supporting e-commerce systems formalization with choreography languages 173
A sound algorithm for asynchronous session subtyping and its implementation 172
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming 171
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications 170
On the expressive power of recursion, replication and iteration in process calculi 170
Behavioural Contracts with Request-Response Operations 170
Turing Universality of the Biochemical Ground Form 169
Composing Services with JOLIE 168
Sensoria Process Calculi for Service-Oriented Computing 167
Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008) 165
The evolution of Jolie: From orchestrations to adaptable choreographies 165
Function-as-a-Service Allocation Policies Made Formal 163
Decidability Results for Dynamic Installation of Compensation Handlers 162
Fair Refinement for Asynchronous Session Types 162
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form 161
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 161
A Process Algebraic View of Coordination 161
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 161
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 160
On the expressive power of process interruption and compensation 159
Steps on the Road to Component Evolvability 159
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 159
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 158
Core Calculi for Service-Oriented Computing 158
A Petri Net Based Modeling of Active Objects and Futures 157
Process calculi as a tool for studying coordination, contracts and session types 156
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 155
Fault in the Future 155
Decidability problems for actor systems 155
Custom Serverless Function Scheduling Policies: An APP Tutorial 154
Dynamic fault handling mechanisms for service-oriented applications 154
When to move to transfer nets: On the limits of Petri nets as models for process Calculi 154
Reachability Analysis in BioAmbients 153
Foundations of web transactions 152
On the interplay between fault handling and request-response service invocations 152
Security Issues in the Tuple-Space Coordination Model 150
Complex Functional Rates in Rule-Based Languages for Biochemistry 149
Totale 19.606
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.235
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 78.235
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.918 0 128 239 307 313 181 110 247 155 60 639 539
2022/20232.669 273 388 132 308 157 316 171 101 456 51 204 112
2023/2024622 32 128 41 27 46 66 48 60 17 83 20 54
2024/20253.888 142 586 372 195 702 229 401 88 91 162 263 657
2025/20269.047 636 1.228 898 614 961 440 937 304 1.409 761 431 428
2026/2027640 317 323 0 0 0 0 0 0 0 0 0 0
Totale 28.723