CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.100 0 0 0 0 0 0 0 0 0 220 223 657
2021/20223.210 292 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/20267.958 636 1.228 898 614 961 440 937 304 1.409 531 0 0
Totale 26.994