CRIS Current Research Information System

LANESE, IVAN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.324
AS - Asia 5.055
EU - Europa 4.909
SA - Sud America 362
AF - Africa 271
Continente sconosciuto - Info sul continente non disponibili 18
OC - Oceania 18
Totale 16.957
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.262
GB - Regno Unito 2.038
CN - Cina 1.614
SG - Singapore 1.522
VN - Vietnam 795
IT - Italia 787
DE - Germania 589
HK - Hong Kong 320
IN - India 290
SE - Svezia 281
BR - Brasile 260
RU - Federazione Russa 242
FR - Francia 208
UA - Ucraina 177
KR - Corea 172
IE - Irlanda 158
TR - Turchia 124
ZA - Sudafrica 100
FI - Finlandia 87
TG - Togo 85
JP - Giappone 74
CH - Svizzera 56
CI - Costa d'Avorio 49
NL - Olanda 49
AR - Argentina 45
EE - Estonia 44
CA - Canada 38
ID - Indonesia 37
AT - Austria 35
PL - Polonia 25
BE - Belgio 21
JO - Giordania 19
AU - Australia 17
CO - Colombia 17
EU - Europa 17
GR - Grecia 17
MX - Messico 17
BD - Bangladesh 15
BG - Bulgaria 15
SC - Seychelles 15
EC - Ecuador 14
HR - Croazia 14
RO - Romania 14
DK - Danimarca 13
CL - Cile 11
ES - Italia 11
UZ - Uzbekistan 10
LK - Sri Lanka 7
MY - Malesia 7
MT - Malta 6
PY - Paraguay 6
AE - Emirati Arabi Uniti 5
LB - Libano 5
PK - Pakistan 5
RS - Serbia 5
SA - Arabia Saudita 5
EG - Egitto 4
IL - Israele 4
IQ - Iraq 4
IR - Iran 4
TN - Tunisia 4
BO - Bolivia 3
DZ - Algeria 3
MA - Marocco 3
PE - Perù 3
PH - Filippine 3
TW - Taiwan 3
AL - Albania 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
HU - Ungheria 2
LT - Lituania 2
NG - Nigeria 2
NP - Nepal 2
PA - Panama 2
PT - Portogallo 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
HN - Honduras 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LV - Lettonia 1
MG - Madagascar 1
MO - Macao, regione amministrativa speciale della Cina 1
NC - Nuova Caledonia 1
NO - Norvegia 1
PS - Palestinian Territory 1
RE - Reunion 1
SI - Slovenia 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 16.954
Salva come PNG Salva come JPEG
Città #
Southend 1.914
Singapore 954
Fairfield 768
Ashburn 559
Chandler 442
Hefei 435
Santa Clara 391
Woodbridge 338
Seattle 322
Wilmington 322
Hong Kong 315
Houston 278
Cambridge 262
Princeton 248
Bologna 233
Ann Arbor 215
Dong Ket 209
Beijing 170
Seoul 167
Dallas 160
Dublin 157
Boardman 137
Ho Chi Minh City 121
Istanbul 117
Jacksonville 109
Nanjing 98
Hanoi 91
Westminster 89
Lomé 85
Medford 84
Padova 77
Los Angeles 76
Buffalo 62
Tokyo 60
Jinan 59
Abidjan 49
Shenyang 49
Helsinki 48
Saint Petersburg 46
Redondo Beach 42
Berlin 41
Nanchang 41
Frankfurt am Main 40
Bern 37
Milan 37
Bengaluru 35
Florence 35
Hebei 32
Bremen 30
Jakarta 30
San Diego 30
São Paulo 29
Tianjin 29
Lappeenranta 28
Munich 28
Chicago 27
Grafing 26
Guangzhou 26
Mülheim 26
Changsha 25
New York 25
Turin 25
London 24
Nuremberg 23
Fremont 22
Jiaxing 22
San Venanzo 22
Falls Church 21
Hangzhou 21
Toronto 21
Shanghai 20
Vienna 20
Amman 19
Brussels 19
Warsaw 19
Des Moines 18
Paris 18
San Francisco 18
Taiyuan 17
Haikou 16
Hải Dương 15
Rome 15
Da Nang 14
Dearborn 14
Norwalk 14
Redwood City 14
Sofia 14
Yubileyny 14
Brooklyn 13
Bühl 13
Mcallen 13
Pune 13
Amsterdam 12
Johannesburg 12
Mahé 12
Olalla 12
Redmond 12
Phoenix 11
Quận Bình Thạnh 11
Taizhou 11
Totale 11.659
Salva come PNG Salva come JPEG
Nome #
A general approach to derive uncontrolled reversible semantics 289
Causal-Consistent Reversible Debugging 239
The stream-based service-centred calculus: a foundation for service-oriented programming 223
A Component Model for the ABS Language 210
Towards Global and Local Types for Adaptation 204
Foundations of session types and behavioural contracts 200
Linguistic Abstractions for Interoperability of IoT Platforms 197
A Framework for Rule-Based Dynamic Adaptation 187
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies 187
Dynamic Choreographies: Theory And Implementation 186
A Reversible Abstract Machine and Its Space Overhead 186
ChIP: A choreographic integration process 185
Advanced Mechanisms for Service Combination and Transactions 184
A case study for reversible computing: Reversible debugging of concurrent programs 184
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions 183
AIOCJ: A choreographic framework for safe adaptive distributed applications 175
No more, no less: A formal model for serverless computing 175
Static versus dynamic reversibility in CCS 172
Behavioral Theory for Session-Oriented Calculi 170
Choreography automata 168
Microservices: How To Make Your Application Scale 167
An Axiomatic Approach to Reversible Computation 166
Graceful Interruption of Request-Response Service Interactions 165
Concurrent Flexible Reversibility 165
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service 165
Playing with bisimulation in erlang 164
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus 163
Causal-consistent reversibility in a tuple-based language 160
A Graphical Fusion Calculus 160
Amending Choreographies 159
Bridging the Gap between Interaction- and Process-Oriented Choreographies 158
Most general property-preserving updates 157
Contract-Driven Implementation of Choreographies 157
Towards a Unifying Theory for Web Services Composition 157
Microservices: A Language-Based Approach 153
PRISMA: A Mobile Calculus with Parametric Synchronization 153
A theory of reversibility for Erlang 151
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives 150
Synchronous Multiparty Synchronizations and Transactions 150
Error Handling: From Theory to Practice 150
Internet of Things: a process calculus approach 149
Developing correct, distributed, adaptive software 149
Fault Model Design Space for Cooperative Concurrency 149
CaReDeb 148
Exploiting User-Definable Synchronizations in Graph Transformation 146
Cauder: A causal-consistent reversible debugger for erlang 146
Synchronization Algebras with Mobility for Graph Transformations 144
On Formal Choreographic Modelling: A Case Study in EU Business Processes 143
AIOCJ 142
Foundations of reversible computation 142
Disciplining Orchestration and Conversation in Service-Oriented Computing 141
Reversing Higher-Order Pi 140
New Insights on Architectural Connectors 139
Reversibility in the higher-order π-calculus 139
Reversible Debugging of Erlang Programs in CauDEr 137
Synchronized Hyperedge Replacement for Heterogeneous Systems 137
Decidability Results for Dynamic Installation of Compensation Handlers 137
Causal-Consistent Replay Debugging for Message Passing Programs 134
An Axiomatic Theory for Reversible Computation 133
Fault in the Future 132
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming 132
The evolution of Jolie: From orchestrations to adaptable choreographies 132
Concurrent and Located Synchronizations in Pi-Calculus 131
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility 130
On the interplay between fault handling and request-response service invocations 130
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi 127
A Small-Step Semantics for Janus 125
Insights Emerged while Comparing Three Models for Global Computing 124
Summary 3: On Graph(ic) Encodings 122
Dynamic fault handling mechanisms for service-oriented applications 122
A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES 121
Dynamic choreographies - Safe runtime updates of distributed applications 121
Causal Reversibility Implies Time Reversibility 120
Retractable and speculative contracts 119
On the Expressiveness and Decidability of Higher-Order Process Calculi 119
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 117
Software and reversible systems: A survey of recent activities 117
A modular formalization of reversibility for concurrent models and languages 115
Programming adaptive microservice applications: An AIOCJ tutorial 114
A MAPE-K Approach to Autonomic Microservices 114
Multiparty Sessions in SOC 114
Design-By-Contract for Flexible Multiparty Session Protocols 113
Tiles for Reo 113
Tools and Verification 112
null 112
On the Expressive Power of Primitives for Compensation Handling 111
The Reversible Temporal Process Language 110
Towards Quantum Multiparty Session Types 109
null 109
Reversing Unbounded Petri Nets 109
null 107
SCC: a Service Centered Calculus 107
null 106
Causal Debugging for Concurrent Systems 105
revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE 104
Formal Choreographic Languages 104
null 104
Choreographic Automata: A Case Study in Healthcare Management 102
null 102
On the Expressiveness of Polyadicity in Higher-Order Process Calculi 102
Totale 14.508
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.060
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 47.060
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.506 0 0 0 0 0 83 22 229 441 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/20263.369 551 638 833 428 664 255 0 0 0 0 0 0
Totale 17.278