CRIS Current Research Information System

ZAVATTARO, GIANLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.227
AS - Asia 7.157
EU - Europa 7.125
SA - Sud America 453
AF - Africa 409
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 5
Totale 23.388
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.166
GB - Regno Unito 2.710
CN - Cina 2.186
SG - Singapore 2.018
VN - Vietnam 1.477
IT - Italia 1.233
DE - Germania 804
SE - Svezia 527
UA - Ucraina 435
HK - Hong Kong 421
IN - India 363
RU - Federazione Russa 340
BR - Brasile 339
FR - Francia 307
IE - Irlanda 215
JP - Giappone 188
TR - Turchia 176
TG - Togo 143
KR - Corea 137
ZA - Sudafrica 129
EE - Estonia 100
NL - Olanda 98
FI - Finlandia 85
CI - Costa d'Avorio 80
JO - Giordania 59
AR - Argentina 48
CH - Svizzera 40
BE - Belgio 38
SC - Seychelles 37
CA - Canada 35
ID - Indonesia 34
AT - Austria 30
PL - Polonia 27
MT - Malta 20
RO - Romania 19
ES - Italia 18
MX - Messico 17
GR - Grecia 16
CO - Colombia 15
EC - Ecuador 14
AU - Australia 12
CL - Cile 12
DK - Danimarca 12
PK - Pakistan 12
PY - Paraguay 12
HR - Croazia 11
LB - Libano 11
BD - Bangladesh 9
IQ - Iraq 9
LT - Lituania 9
BG - Bulgaria 7
IR - Iran 7
CZ - Repubblica Ceca 6
MY - Malesia 6
PE - Perù 6
AE - Emirati Arabi Uniti 5
EU - Europa 5
IL - Israele 5
AZ - Azerbaigian 4
DO - Repubblica Dominicana 4
MA - Marocco 4
PT - Portogallo 4
RS - Serbia 4
TW - Taiwan 4
UZ - Uzbekistan 4
AL - Albania 3
BA - Bosnia-Erzegovina 3
EG - Egitto 3
KE - Kenya 3
TN - Tunisia 3
VE - Venezuela 3
BO - Bolivia 2
CR - Costa Rica 2
DZ - Algeria 2
KG - Kirghizistan 2
LU - Lussemburgo 2
NP - Nepal 2
PH - Filippine 2
SA - Arabia Saudita 2
AF - Afghanistan, Repubblica islamica di 1
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
CY - Cipro 1
ET - Etiopia 1
FK - Isole Falkland (Malvinas) 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LV - Lettonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MU - Mauritius 1
OM - Oman 1
PS - Palestinian Territory 1
Totale 23.383
Salva come PNG Salva come JPEG
Città #
Southend 2.522
Singapore 1.237
Fairfield 947
Ashburn 661
Santa Clara 545
Chandler 510
Woodbridge 477
Hefei 434
Hong Kong 421
Wilmington 413
Seattle 403
Houston 387
Dong Ket 361
Ann Arbor 329
Princeton 317
Cambridge 316
Ho Chi Minh City 309
Jacksonville 287
Beijing 241
Hanoi 227
Bologna 225
Dublin 215
Boardman 197
Istanbul 165
Dallas 145
Lomé 143
Nanjing 139
Westminster 139
Seoul 133
Padova 131
Medford 118
Los Angeles 109
Berlin 108
Tokyo 106
Jinan 93
Shenyang 81
Abidjan 80
Saint Petersburg 80
Buffalo 79
Milan 77
Hebei 64
Helsinki 60
Amman 59
Turin 57
Mülheim 55
Nanchang 52
Changsha 51
San Diego 51
Guangzhou 49
São Paulo 49
Redondo Beach 45
Tianjin 45
Grafing 40
Bengaluru 35
New York 35
Shanghai 35
Fremont 34
Falls Church 33
Jiaxing 32
Hangzhou 31
The Dalles 31
Des Moines 30
Haiphong 30
Mahé 29
Zhengzhou 29
Brussels 28
Bremen 27
Hyderabad 27
Rome 27
Munich 26
Redwood City 26
Frankfurt am Main 25
Redmond 25
Taizhou 25
Da Nang 24
Norwalk 24
Dearborn 23
Jakarta 23
Haikou 22
Ningbo 22
Bern 21
Florence 20
Ninh Bình 20
Nuremberg 20
Paris 20
Quận Bình Thạnh 20
Taiyuan 20
Verona 20
Biên Hòa 19
Warsaw 19
Chicago 18
Yubileyny 18
Hải Dương 17
London 17
Phoenix 17
Quận Một 17
Amsterdam 16
Düsseldorf 16
Cesena 15
Kunming 15
Totale 15.707
Salva come PNG Salva come JPEG
Nome #
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems 522
Automatic Component Deployment in the Presence of Circular Dependencies 288
A Formal Approach to Microservice Architecture Deployment 255
Comparing Recursion, Replication, and Iteration in Process Calculi 232
On the expressiveness of synchronization in component deployment 226
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation 226
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 225
Data-Driven Coordination in Peer-to-Peer Information System 216
Optimal and automated deployment for microservices 215
A Sound Algorithm for Asynchronous Session Subtyping 214
Aeolus: A component model for the cloud 211
A Component Model for the ABS Language 210
Automatic deployment of component-based applications 208
Towards Global and Local Types for Adaptation 204
Aeolus - Mastering the Cloud Complexity 200
Foundations of session types and behavioural contracts 200
A Process Algebraic View of Shared Dataspace Coordination 199
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 193
Adaptable Processes (Extended Abstract) 193
Automatic application deployment in the cloud: From practice to theory and back 190
Declarative elasticity in ABS 187
Relating Session Types and Behavioural Contracts: The Asynchronous Case 187
Automatic Deployment of Services in the Cloud with Aeolus Blender 185
Choreography and Orchestration Conformance for System Design 184
Advanced Mechanisms for Service Combination and Transactions 184
Choreography and Orchestration: A Synergic Approach for System Design 181
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures 179
Analysis of SLA compliance in the cloud: An automated, model-based approach 172
Proactive-Reactive Global Scaling, with Analytics 170
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 170
Web Services and Formal Methods 170
A Planning Tool Supporting the Deployment of Cloud Applications 170
Web Services and Formal Methods 169
Dall’Algoritmo al Programma 169
Aeolus: Mastering the Complexity of Cloud Application Deployment 168
Contract Compliance and Choreography Conformance in the Presence of Message Queues 166
Proactive-reactive microservice architecture global scaling 165
Graceful Interruption of Request-Response Service Interactions 165
Playing with bisimulation in erlang 164
Towards a formal framework for Choreography 162
A theory of contracts for strong service compliance 162
Deciding Reachability in Mobile Ambients 162
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 161
Amending Choreographies 159
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 159
Web Services for E-commerce: guaranteeing security access and quality of service 158
SOCK : A Calculus for Service Oriented Computing 158
Bridging the Gap between Interaction- and Process-Oriented Choreographies 158
Contract-Driven Implementation of Choreographies 157
Choreographies and behavioural contracts on the way to dynamic updates 157
Asynchronous session subtyping as communicating automata refinement 157
Service Oriented Computing from a Process Algebraic Perspective 155
Turing Universality of the Biochemical Ground Form 154
On the complexity of reconfiguration in systems with legacy components 153
Journal of Software (JSW) 152
Microservice Dynamic Architecture-Level Deployment Orchestration 152
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 151
JOLIE: a Java Orchestration Language Interpreter Engine 151
Fault Model Design Space for Cooperative Concurrency 149
Behavioural Contracts with Request-Response Operations 149
Decidability Problems for Actor Systems 148
On the integration of automatic deployment into the ABS modeling language 148
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming 147
A Process Algebraic View of Coordination 147
Supporting e-commerce systems formalization with choreography languages 146
CONCUR 2009 - Concurrency theory 146
Composing Services with JOLIE 145
Combining Partitions in SecSpaces 145
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 144
Sensoria Process Calculi for Service-Oriented Computing 143
On the expressive power of recursion, replication and iteration in process calculi 143
A Petri Net Based Modeling of Active Objects and Futures 143
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form 141
Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008) 141
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 140
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 138
Steps on the Road to Component Evolvability 138
Decidability Results for Dynamic Installation of Compensation Handlers 137
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 136
Foundations of web transactions 135
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications 134
On the expressive power of process interruption and compensation 134
Decidability problems for actor systems 134
Security Issues in the Tuple-Space Coordination Model 134
Process calculi as a tool for studying coordination, contracts and session types 134
A sound algorithm for asynchronous session subtyping and its implementation 133
Leveraging static analysis for cost-aware serverless scheduling policies 132
Reachability Analysis in BioAmbients 132
Fault in the Future 132
The evolution of Jolie: From orchestrations to adaptable choreographies 132
Core Calculi for Service-Oriented Computing 130
On the interplay between fault handling and request-response service invocations 130
Custom Serverless Function Scheduling Policies: An APP Tutorial 129
Complex Functional Rates in Rule-Based Languages for Biochemistry 129
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 128
Service-oriented programming with Jolie 128
Special Issue of the journal of "Science of Computer Programming" dedicated to Coordination Models and Languages 127
When to move to transfer nets: On the limits of Petri nets as models for process Calculi 127
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA 126
Contract Based Multi-party Service Composition 126
Totale 16.670
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.786
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 64.786
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.130 0 0 0 0 0 117 42 334 537 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/20264.707 636 1.228 898 614 961 370 0 0 0 0 0 0
Totale 23.743