CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.020 0 0 0 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/2027978 210 185 540 43 0 0 0 0 0 0 0 0
Totale 21.328