CRIS Current Research Information System

LANESE, IVAN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.869
AS - Asia 6.399
EU - Europa 5.153
SA - Sud America 421
AF - Africa 294
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 19
Totale 19.174
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.793
GB - Regno Unito 2.050
CN - Cina 1.835
SG - Singapore 1.719
VN - Vietnam 1.454
IT - Italia 815
DE - Germania 614
FR - Francia 348
HK - Hong Kong 347
IN - India 314
BR - Brasile 297
SE - Svezia 281
RU - Federazione Russa 247
KR - Corea 183
UA - Ucraina 182
IE - Irlanda 163
TR - Turchia 139
JP - Giappone 116
ZA - Sudafrica 107
FI - Finlandia 92
TG - Togo 85
CH - Svizzera 57
NL - Olanda 53
AR - Argentina 51
CI - Costa d'Avorio 49
CA - Canada 44
EE - Estonia 44
ID - Indonesia 41
AT - Austria 36
BD - Bangladesh 34
PL - Polonia 29
PH - Filippine 28
IQ - Iraq 27
TH - Thailandia 25
BE - Belgio 22
CO - Colombia 21
JO - Giordania 21
MX - Messico 20
AU - Australia 18
EC - Ecuador 18
EU - Europa 17
GR - Grecia 17
UZ - Uzbekistan 17
PK - Pakistan 16
BG - Bulgaria 15
SA - Arabia Saudita 15
SC - Seychelles 15
CL - Cile 14
DK - Danimarca 14
HR - Croazia 14
RO - Romania 14
TW - Taiwan 12
ES - Italia 11
MY - Malesia 9
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
LK - Sri Lanka 7
PY - Paraguay 7
MT - Malta 6
RS - Serbia 6
IL - Israele 5
LB - Libano 5
MA - Marocco 5
BO - Bolivia 4
DZ - Algeria 4
EG - Egitto 4
HU - Ungheria 4
IR - Iran 4
LT - Lituania 4
VE - Venezuela 4
AZ - Azerbaigian 3
KE - Kenya 3
NG - Nigeria 3
NP - Nepal 3
OM - Oman 3
PE - Perù 3
SN - Senegal 3
SY - Repubblica araba siriana 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
GA - Gabon 2
HN - Honduras 2
LV - Lettonia 2
PA - Panama 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
SV - El Salvador 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BH - Bahrain 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CD - Congo 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
JM - Giamaica 1
KG - Kirghizistan 1
Totale 19.161
Salva come PNG Salva come JPEG
Città #
Southend 1.914
Singapore 1.118
Fairfield 768
Ashburn 607
Chandler 442
Hefei 436
Santa Clara 395
Woodbridge 338
San Jose 327
Seattle 322
Wilmington 322
Hong Kong 320
Ho Chi Minh City 305
Houston 278
Cambridge 262
Princeton 248
Bologna 242
Hanoi 231
Ann Arbor 215
Dong Ket 209
Beijing 177
Seoul 168
Dallas 162
Dublin 162
Boardman 137
Lauterbourg 126
Istanbul 119
Jacksonville 111
Nanjing 99
Tokyo 89
Westminster 89
Los Angeles 87
Lomé 85
Medford 84
Padova 77
Buffalo 63
Jinan 59
Frankfurt am Main 58
Helsinki 51
Abidjan 49
Shenyang 49
Saint Petersburg 46
Da Nang 44
Redondo Beach 42
Berlin 41
Nanchang 41
Milan 39
Haiphong 38
Bern 37
Guangzhou 37
Bengaluru 36
Florence 35
Hebei 32
São Paulo 32
San Diego 31
Tianjin 31
Bremen 30
Jakarta 30
Lappeenranta 30
New York 30
Changsha 28
Chicago 28
Munich 28
London 27
Grafing 26
Mülheim 26
Nuremberg 26
Shanghai 25
Turin 25
Hangzhou 23
Fremont 22
Jiaxing 22
San Venanzo 22
Warsaw 22
Amman 21
Falls Church 21
Paris 21
The Dalles 21
Toronto 21
Vienna 21
Brussels 20
Council Bluffs 20
Des Moines 18
San Francisco 18
Taiyuan 18
Biên Hòa 17
Hải Dương 17
Johannesburg 17
Rome 17
Haikou 16
Pune 15
Amsterdam 14
Dearborn 14
Norwalk 14
Redwood City 14
Sofia 14
Yubileyny 14
Brooklyn 13
Bühl 13
Mcallen 13
Totale 12.874
Salva come PNG Salva come JPEG
Nome #
A general approach to derive uncontrolled reversible semantics 306
Causal-Consistent Reversible Debugging 260
The stream-based service-centred calculus: a foundation for service-oriented programming 236
A Component Model for the ABS Language 225
Linguistic Abstractions for Interoperability of IoT Platforms 224
Towards Global and Local Types for Adaptation 222
Foundations of session types and behavioural contracts 221
Dynamic Choreographies: Theory And Implementation 220
A Reversible Abstract Machine and Its Space Overhead 209
ChIP: A choreographic integration process 207
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies 207
A Framework for Rule-Based Dynamic Adaptation 201
A case study for reversible computing: Reversible debugging of concurrent programs 201
Advanced Mechanisms for Service Combination and Transactions 198
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions 198
No more, no less: A formal model for serverless computing 198
Static versus dynamic reversibility in CCS 195
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service 194
AIOCJ: A choreographic framework for safe adaptive distributed applications 186
Microservices: How To Make Your Application Scale 186
Choreography automata 185
An Axiomatic Approach to Reversible Computation 185
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 183
Amending Choreographies 182
Bridging the Gap between Interaction- and Process-Oriented Choreographies 182
Concurrent Flexible Reversibility 181
Graceful Interruption of Request-Response Service Interactions 179
Playing with bisimulation in erlang 178
Causal-consistent reversibility in a tuple-based language 176
Behavioral Theory for Session-Oriented Calculi 174
Microservices: A Language-Based Approach 174
Towards a Unifying Theory for Web Services Composition 174
Fault Model Design Space for Cooperative Concurrency 174
Contract-Driven Implementation of Choreographies 172
Most general property-preserving updates 171
A Graphical Fusion Calculus 171
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus 170
On Formal Choreographic Modelling: A Case Study in EU Business Processes 166
Synchronous Multiparty Synchronizations and Transactions 165
Error Handling: From Theory to Practice 164
Cauder: A causal-consistent reversible debugger for erlang 164
CaReDeb 163
Internet of Things: a process calculus approach 163
Developing correct, distributed, adaptive software 163
An Axiomatic Theory for Reversible Computation 162
A theory of reversibility for Erlang 161
PRISMA: A Mobile Calculus with Parametric Synchronization 161
Causal-Consistent Replay Debugging for Message Passing Programs 161
Foundations of reversible computation 158
Reversible Debugging of Erlang Programs in CauDEr 157
Synchronization Algebras with Mobility for Graph Transformations 157
Reversing Higher-Order Pi 157
Exploiting User-Definable Synchronizations in Graph Transformation 156
The evolution of Jolie: From orchestrations to adaptable choreographies 156
Disciplining Orchestration and Conversation in Service-Oriented Computing 155
New Insights on Architectural Connectors 155
AIOCJ 153
Reversibility in the higher-order π-calculus 152
Decidability Results for Dynamic Installation of Compensation Handlers 151
Concurrent and Located Synchronizations in Pi-Calculus 149
A Small-Step Semantics for Janus 147
Fault in the Future 147
On the interplay between fault handling and request-response service invocations 147
Dynamic fault handling mechanisms for service-oriented applications 146
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi 146
Synchronized Hyperedge Replacement for Heterogeneous Systems 146
Causal Reversibility Implies Time Reversibility 145
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming 145
Dynamic choreographies - Safe runtime updates of distributed applications 143
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility 140
A MAPE-K Approach to Autonomic Microservices 139
revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE 138
Insights Emerged while Comparing Three Models for Global Computing 138
Summary 3: On Graph(ic) Encodings 138
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 136
The Reversible Temporal Process Language 136
On the Expressiveness and Decidability of Higher-Order Process Calculi 136
Towards Quantum Multiparty Session Types 135
On the Expressive Power of Primitives for Compensation Handling 134
Design-By-Contract for Flexible Multiparty Session Protocols 130
Reversing Unbounded Petri Nets 128
Programming adaptive microservice applications: An AIOCJ tutorial 127
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 127
Tools and Verification 127
Retractable and speculative contracts 127
Software and reversible systems: A survey of recent activities 127
A modular formalization of reversibility for concurrent models and languages 126
Choreographic Automata: A Case Study in Healthcare Management 125
Multiparty Sessions in SOC 125
Causal Debugging for Concurrent Systems 123
Tiles for Reo 123
Reversibility with Holes 117
Formal Choreographic Languages 117
Static vs Dynamic SAGAs 117
SCC: a Service Centered Calculus 117
Corinne, a Tool for Choreography Automata 117
Composing Communicating Systems, Synchronously 115
From reversible semantics to reversible debugging 114
AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study 113
Towards a Taxonomy for Reversible Computation Approaches 113
Totale 16.191
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.862
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 50.862
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021731 0 0 0 0 0 0 0 0 0 102 149 480
2021/20222.467 211 90 146 171 241 148 75 168 174 68 531 444
2022/20232.068 232 282 109 230 116 244 75 94 327 53 140 166
2023/2024541 18 133 29 32 27 54 52 44 12 75 24 41
2024/20252.760 74 421 250 182 497 149 236 70 72 117 205 487
2025/20265.623 551 638 833 428 664 312 598 203 1.017 379 0 0
Totale 19.532