CRIS Current Research Information System

ZAVATTARO, GIANLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.799
AS - Asia 9.167
EU - Europa 7.681
SA - Sud America 513
AF - Africa 458
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 5
Totale 27.639
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.672
GB - Regno Unito 2.729
CN - Cina 2.461
VN - Vietnam 2.456
SG - Singapore 2.279
IT - Italia 1.500
DE - Germania 828
SE - Svezia 527
FR - Francia 488
HK - Hong Kong 458
UA - Ucraina 440
IN - India 414
BR - Brasile 374
RU - Federazione Russa 342
JP - Giappone 228
IE - Irlanda 221
TR - Turchia 192
KR - Corea 160
ZA - Sudafrica 147
TG - Togo 143
BD - Bangladesh 128
NL - Olanda 106
EE - Estonia 100
FI - Finlandia 100
CI - Costa d'Avorio 80
CA - Canada 73
JO - Giordania 62
AR - Argentina 54
PH - Filippine 49
CH - Svizzera 43
TH - Thailandia 42
ID - Indonesia 41
BE - Belgio 38
SC - Seychelles 38
AT - Austria 33
IQ - Iraq 31
MX - Messico 30
PL - Polonia 30
TW - Taiwan 30
ES - Italia 25
MT - Malta 20
PK - Pakistan 20
RO - Romania 20
CL - Cile 18
SA - Arabia Saudita 18
EC - Ecuador 17
CO - Colombia 16
GR - Grecia 16
AU - Australia 15
PY - Paraguay 15
LB - Libano 13
DK - Danimarca 12
HR - Croazia 12
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
CR - Costa Rica 7
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
BO - Bolivia 4
DO - Repubblica Dominicana 4
JM - Giamaica 4
PS - Palestinian Territory 4
RS - Serbia 4
BA - Bosnia-Erzegovina 3
GE - Georgia 3
NP - Nepal 3
TT - Trinidad e Tobago 3
CY - Cipro 2
HN - Honduras 2
KG - Kirghizistan 2
KW - Kuwait 2
KZ - Kazakistan 2
LU - Lussemburgo 2
LY - Libia 2
MD - Moldavia 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
FK - Isole Falkland (Malvinas) 1
Totale 27.618
Salva come PNG Salva come JPEG
Città #
Southend 2.522
Singapore 1.447
Fairfield 947
Ashburn 761
San Jose 702
Ho Chi Minh City 574
Santa Clara 563
Chandler 510
Woodbridge 477
Hanoi 467
Hong Kong 443
Hefei 437
Wilmington 413
Seattle 406
Houston 395
Dong Ket 361
Ann Arbor 329
Bologna 325
Princeton 317
Cambridge 316
Jacksonville 289
Beijing 252
Boardman 229
Dublin 221
Lauterbourg 174
Istanbul 172
Dallas 163
Lomé 143
Nanjing 143
Los Angeles 142
Westminster 139
Seoul 136
Tokyo 134
Padova 131
Council Bluffs 129
Medford 118
Milan 113
Berlin 108
Buffalo 97
Jinan 93
Shenyang 83
Abidjan 80
Saint Petersburg 80
New York 75
Helsinki 71
Haiphong 70
Hebei 64
Amman 62
Guangzhou 62
Turin 62
Da Nang 56
Mülheim 55
São Paulo 55
Changsha 53
Nanchang 53
Orem 51
San Diego 51
Tianjin 50
The Dalles 46
Redondo Beach 45
Grafing 40
Shanghai 40
Frankfurt am Main 37
Hangzhou 37
Bengaluru 35
Fremont 35
Rome 34
Falls Church 33
Zhengzhou 33
Des Moines 32
Jiaxing 32
Phoenix 31
Johannesburg 30
Mahé 29
Brussels 28
San Francisco 28
Bremen 27
Chicago 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
London 23
Nuremberg 23
Paris 23
Quận Bình Thạnh 23
Can Tho 22
Florence 22
Haikou 22
Hải Dương 22
Montreal 22
Ningbo 22
Rimini 22
Warsaw 22
Totale 18.168
Salva come PNG Salva come JPEG
Nome #
WebAssembly at the Edge: Benchmarking a Serverless Platform for Private Edge Cloud Systems 572
Automatic Component Deployment in the Presence of Circular Dependencies 310
A Formal Approach to Microservice Architecture Deployment 290
A Sound Algorithm for Asynchronous Session Subtyping 254
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation 250
On the expressiveness of synchronization in component deployment 244
Comparing Recursion, Replication, and Iteration in Process Calculi 242
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 242
Automatic deployment of component-based applications 239
Dall’Algoritmo al Programma 238
Aeolus: A component model for the cloud 238
Data-Driven Coordination in Peer-to-Peer Information System 237
Optimal and automated deployment for microservices 232
A Component Model for the ABS Language 230
Aeolus - Mastering the Cloud Complexity 228
Towards Global and Local Types for Adaptation 227
Foundations of session types and behavioural contracts 226
Proactive-reactive microservice architecture global scaling 223
Automatic Deployment of Services in the Cloud with Aeolus Blender 223
A Process Algebraic View of Shared Dataspace Coordination 221
Automatic application deployment in the cloud: From practice to theory and back 219
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures 218
Adaptable Processes (Extended Abstract) 216
Relating Session Types and Behavioural Contracts: The Asynchronous Case 216
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study 213
Declarative elasticity in ABS 211
Choreography and Orchestration Conformance for System Design 208
Web Services and Formal Methods 203
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 203
Advanced Mechanisms for Service Combination and Transactions 203
Choreography and Orchestration: A Synergic Approach for System Design 202
Proactive-Reactive Global Scaling, with Analytics 201
A Planning Tool Supporting the Deployment of Cloud Applications 197
Analysis of SLA compliance in the cloud: An automated, model-based approach 194
Asynchronous session subtyping as communicating automata refinement 194
Aeolus: Mastering the Complexity of Cloud Application Deployment 189
Journal of Software (JSW) 187
Bridging the Gap between Interaction- and Process-Oriented Choreographies 187
Web Services and Formal Methods 186
Contract Compliance and Choreography Conformance in the Presence of Message Queues 186
Amending Choreographies 185
Microservice Dynamic Architecture-Level Deployment Orchestration 185
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 184
Choreographies and behavioural contracts on the way to dynamic updates 184
Towards a formal framework for Choreography 183
Graceful Interruption of Request-Response Service Interactions 182
JOLIE: a Java Orchestration Language Interpreter Engine 180
Playing with bisimulation in erlang 180
Web Services for E-commerce: guaranteeing security access and quality of service 179
On the integration of automatic deployment into the ABS modeling language 179
Combining Partitions in SecSpaces 179
Fault Model Design Space for Cooperative Concurrency 179
Service Oriented Computing from a Process Algebraic Perspective 178
A theory of contracts for strong service compliance 177
On the complexity of reconfiguration in systems with legacy components 177
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 176
Contract-Driven Implementation of Choreographies 176
Deciding Reachability in Mobile Ambients 176
SOCK : A Calculus for Service Oriented Computing 175
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 173
CONCUR 2009 - Concurrency theory 173
Supporting e-commerce systems formalization with choreography languages 172
Decidability Problems for Actor Systems 171
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming 170
Leveraging static analysis for cost-aware serverless scheduling policies 169
Behavioural Contracts with Request-Response Operations 168
A sound algorithm for asynchronous session subtyping and its implementation 168
Composing Services with JOLIE 167
On the expressive power of recursion, replication and iteration in process calculi 167
Turing Universality of the Biochemical Ground Form 167
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications 166
Sensoria Process Calculi for Service-Oriented Computing 165
Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008) 162
Function-as-a-Service Allocation Policies Made Formal 161
A Process Algebraic View of Coordination 161
The evolution of Jolie: From orchestrations to adaptable choreographies 160
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form 159
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 159
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 159
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 158
Fair Refinement for Asynchronous Session Types 158
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 157
On the expressive power of process interruption and compensation 157
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 156
Decidability Results for Dynamic Installation of Compensation Handlers 156
Steps on the Road to Component Evolvability 155
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 154
A Petri Net Based Modeling of Active Objects and Futures 154
Core Calculi for Service-Oriented Computing 154
Process calculi as a tool for studying coordination, contracts and session types 154
Reachability Analysis in BioAmbients 153
Fault in the Future 153
Decidability problems for actor systems 153
Custom Serverless Function Scheduling Policies: An APP Tutorial 152
When to move to transfer nets: On the limits of Petri nets as models for process Calculi 152
Dynamic fault handling mechanisms for service-oriented applications 151
Foundations of web transactions 150
Security Issues in the Tuple-Space Coordination Model 149
On the interplay between fault handling and request-response service invocations 149
Complex Functional Rates in Rule-Based Languages for Biochemistry 148
Totale 19.153
Salva come PNG Salva come JPEG
Categoria #
all - tutte 74.586
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 74.586
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021657 0 0 0 0 0 0 0 0 0 0 0 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/20268.992 636 1.228 898 614 961 440 937 304 1.409 761 431 373
Totale 28.028