CRIS Current Research Information System

ZAVATTARO, GIANLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.358
EU - Europa 6.355
AS - Asia 2.963
AF - Africa 322
SA - Sud America 26
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 5
Totale 17.037
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.340
GB - Regno Unito 2.674
CN - Cina 1.060
IT - Italia 952
DE - Germania 717
SG - Singapore 712
VN - Vietnam 555
SE - Svezia 513
UA - Ucraina 431
IN - India 319
FR - Francia 270
RU - Federazione Russa 227
IE - Irlanda 206
TR - Turchia 172
TG - Togo 143
ZA - Sudafrica 104
EE - Estonia 100
JO - Giordania 58
FI - Finlandia 54
CI - Costa d'Avorio 39
BE - Belgio 37
CH - Svizzera 37
SC - Seychelles 32
NL - Olanda 23
ID - Indonesia 20
JP - Giappone 20
RO - Romania 19
CA - Canada 18
BR - Brasile 17
GR - Grecia 16
MT - Malta 14
PL - Polonia 12
AT - Austria 11
LB - Libano 11
HR - Croazia 9
AU - Australia 8
DK - Danimarca 8
ES - Italia 7
BG - Bulgaria 6
PK - Pakistan 6
EU - Europa 5
IR - Iran 5
HK - Hong Kong 4
IL - Israele 4
PE - Perù 4
RS - Serbia 4
CL - Cile 3
KR - Corea 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CZ - Repubblica Ceca 2
LU - Lussemburgo 2
SA - Arabia Saudita 2
TN - Tunisia 2
AL - Albania 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
DZ - Algeria 1
FK - Isole Falkland (Malvinas) 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NP - Nepal 1
PH - Filippine 1
PT - Portogallo 1
SI - Slovenia 1
ZM - Zambia 1
Totale 17.037
Salva come PNG Salva come JPEG
Città #
Southend 2.522
Fairfield 947
Singapore 615
Santa Clara 531
Chandler 510
Ashburn 508
Woodbridge 477
Wilmington 412
Seattle 400
Houston 380
Dong Ket 361
Ann Arbor 329
Princeton 317
Cambridge 316
Jacksonville 287
Dublin 206
Boardman 192
Istanbul 165
Lomé 143
Bologna 141
Westminster 139
Nanjing 138
Padova 131
Medford 118
Berlin 106
Jinan 87
Saint Petersburg 80
Shenyang 75
Hebei 64
Amman 58
Mülheim 55
Turin 52
San Diego 51
Nanchang 50
Beijing 45
Helsinki 45
Changsha 44
Grafing 40
Tianjin 40
Abidjan 39
Fremont 34
Falls Church 33
Guangzhou 32
Jiaxing 31
Milan 31
Des Moines 29
Mahé 29
Brussels 28
Bremen 27
Hyderabad 27
Hangzhou 26
Redwood City 26
Shanghai 26
Redmond 25
Taizhou 25
Norwalk 24
Dearborn 23
Haikou 22
Bern 21
Ningbo 21
Zhengzhou 21
Florence 19
Jakarta 19
Taiyuan 19
Tokyo 19
Los Angeles 18
Verona 18
Paris 17
Kunming 14
New York 14
Rome 14
Cesena 12
Fuzhou 12
Bühl 11
Augusta 10
Hefei 10
Lanzhou 10
London 10
Olalla 10
Warsaw 10
Chengdu 9
São Paulo 9
Xi'an 9
Forlì 8
Munich 8
Pavullo Nel Frignano 8
Phoenix 8
Piacenza 8
Plauen 8
Baricella 7
Kraainem 7
Prineville 7
Toronto 7
Lausanne 6
San Francisco 6
San Venanzo 6
Sofia 6
Chongqing 5
Ferrara 5
Fort Worth 5
Totale 12.185
Salva come PNG Salva come JPEG
Nome #
Automatic Component Deployment in the Presence of Circular Dependencies 230
A Formal Approach to Microservice Architecture Deployment 191
Optimal and automated deployment for microservices 186
Comparing Recursion, Replication, and Iteration in Process Calculi 184
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients 183
A Component Model for the ABS Language 181
A Process Algebraic View of Shared Dataspace Coordination 178
Automatic deployment of component-based applications 175
Towards Global and Local Types for Adaptation 175
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation 175
Adaptable Processes (Extended Abstract) 174
A Sound Algorithm for Asynchronous Session Subtyping 171
Data-Driven Coordination in Peer-to-Peer Information System 166
Deciding reachability problems in Turing-complete fragments of Mobile Ambients 166
Aeolus: A component model for the cloud 166
On the expressiveness of synchronization in component deployment 162
Advanced Mechanisms for Service Combination and Transactions 160
Foundations of session types and behavioural contracts 157
Relating Session Types and Behavioural Contracts: The Asynchronous Case 156
Automatic Deployment of Services in the Cloud with Aeolus Blender 151
Aeolus - Mastering the Cloud Complexity 150
Declarative elasticity in ABS 147
Aeolus: Mastering the Complexity of Cloud Application Deployment 146
Choreography and Orchestration Conformance for System Design 145
Contract Compliance and Choreography Conformance in the Presence of Message Queues 145
Automatic application deployment in the cloud: From practice to theory and back 144
A Planning Tool Supporting the Deployment of Cloud Applications 143
Dall’Algoritmo al Programma 142
Amending Choreographies 139
A theory of contracts for strong service compliance 138
Deciding Reachability in Mobile Ambients 137
Graceful Interruption of Request-Response Service Interactions 136
Turing Universality of the Biochemical Ground Form 135
Choreography and Orchestration: A Synergic Approach for System Design 134
Playing with bisimulation in erlang 134
Web Services and Formal Methods 133
Web Services and Formal Methods 132
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures 132
Contract-Driven Implementation of Choreographies 130
Behavioural Contracts with Request-Response Operations 130
Analysis of SLA compliance in the cloud: An automated, model-based approach 129
Bridging the Gap between Interaction- and Process-Oriented Choreographies 128
Choreographies and behavioural contracts on the way to dynamic updates 128
Service Oriented Computing from a Process Algebraic Perspective 127
JOLIE: a Java Orchestration Language Interpreter Engine 127
A Process Algebraic View of Coordination 127
Decidability Problems for Actor Systems 126
CONCUR 2009 - Concurrency theory 126
On the complexity of reconfiguration in systems with legacy components 125
Fault Model Design Space for Cooperative Concurrency 124
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 124
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form 123
Proceedings of Coordination Models and Languages 10th International Conference (COORDINATION 2008) 123
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping 123
A Petri Net Based Modeling of Active Objects and Futures 123
SOCK : A Calculus for Service Oriented Computing 122
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages 120
On the integration of automatic deployment into the ABS modeling language 120
Composing Services with JOLIE 119
Journal of Software (JSW) 119
Towards a formal framework for Choreography 118
Combining Partitions in SecSpaces 117
Decidability Results for Dynamic Installation of Compensation Handlers 117
Asynchronous session subtyping as communicating automata refinement 117
Web Services for E-commerce: guaranteeing security access and quality of service 115
On the expressive power of recursion, replication and iteration in process calculi 115
Reachability Analysis in BioAmbients 114
Steps on the Road to Component Evolvability 114
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 113
Towards a Unifying Theory for Choreography Conformance and Contract Compliance 113
Decidability problems for actor systems 113
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 113
On the expressive power of process interruption and compensation 112
Fault in the Future 111
Sensoria Process Calculi for Service-Oriented Computing 110
Component Reconfiguration in the Presence of Conflicts 110
Complex Functional Rates in Rule-Based Languages for Biochemistry 110
Security Issues in the Tuple-Space Coordination Model 109
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming 108
Supporting e-commerce systems formalization with choreography languages 108
On the Relationship between Spatial Logics and Behavioral Simulations 108
The evolution of Jolie: From orchestrations to adaptable choreographies 107
On the interplay between fault handling and request-response service invocations 107
Service-oriented programming with Jolie 106
Special Issue of the journal of "Science of Computer Programming" dedicated to Coordination Models and Languages 105
null 104
Core Calculi for Service-Oriented Computing 104
When to move to transfer nets: On the limits of Petri nets as models for process Calculi 104
Microservice Dynamic Architecture-Level Deployment Orchestration 104
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols 103
Secure shared data-space Coordination Languages: a Process Algebraic survey 102
Contract-Based Discovery and Composition of Web Services 101
Towards a Formal Component Model for the Cloud 101
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008. Advanced lectures 100
Parameterized Verification of Ad Hoc Networks 100
Contract Based Multi-party Service Composition 100
Quantitative Information in the Tuple Space Coordination Model 100
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) 99
Towards the Verification of Adaptable Processes 99
Dynamic fault handling mechanisms for service-oriented applications 99
Totale 13.052
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.969
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 44.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.692 0 0 0 0 0 383 492 522 496 260 149 390
2020/20213.068 522 185 77 107 47 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/20252.203 142 586 372 195 702 206 0 0 0 0 0 0
Totale 17.351