CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20266.441 551 638 833 428 664 312 598 203 1.017 488 451 258
2026/2027207 207 0 0 0 0 0 0 0 0 0 0 0
Totale 20.557