IRIS
MEZZINA, CLAUDIO ANTARES
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.995
AS - Asia 1.140
EU - Europa 1.102
SA - Sud America 358
AF - Africa 21
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 6.618
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.943
SG - Singapore 443
CN - Cina 356
BR - Brasile 286
UA - Ucraina 245
SE - Svezia 225
VN - Vietnam 161
RU - Federazione Russa 154
IT - Italia 140
GB - Regno Unito 80
IE - Irlanda 77
FI - Finlandia 50
TR - Turchia 46
DE - Germania 41
CA - Canada 37
AR - Argentina 33
HK - Hong Kong 23
IN - India 20
EC - Ecuador 17
ID - Indonesia 17
BD - Bangladesh 15
FR - Francia 13
NL - Olanda 13
KR - Corea 12
BE - Belgio 11
JP - Giappone 10
MX - Messico 10
AT - Austria 9
PL - Polonia 8
PY - Paraguay 8
ES - Italia 7
AE - Emirati Arabi Uniti 6
IQ - Iraq 6
VE - Venezuela 6
ZA - Sudafrica 6
CH - Svizzera 5
RO - Romania 5
TG - Togo 5
GR - Grecia 4
LT - Lituania 4
MA - Marocco 4
PK - Pakistan 4
UZ - Uzbekistan 4
CO - Colombia 3
IL - Israele 3
KZ - Kazakistan 3
SA - Arabia Saudita 3
AL - Albania 2
BW - Botswana 2
CL - Cile 2
KE - Kenya 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
LV - Lettonia 1
ME - Montenegro 1
NO - Norvegia 1
NP - Nepal 1
PE - Perù 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
Totale 6.618
Salva come PNG Salva come JPEG
Città #
Fairfield 641
Ashburn 469
Woodbridge 348
Seattle 288
Houston 250
Wilmington 225
Cambridge 221
Singapore 175
Chandler 173
Jacksonville 162
Ann Arbor 146
Beijing 109
Dallas 105
New York 105
Dublin 76
Ho Chi Minh City 62
Los Angeles 57
Boardman 54
Helsinki 47
Princeton 44
San Diego 37
Hanoi 35
Moscow 28
São Paulo 28
Buffalo 27
Istanbul 23
Chicago 22
Hong Kong 18
Santa Clara 18
Urbino 18
San Francisco 17
London 16
Toronto 15
Montreal 11
Brussels 10
Dearborn 10
Des Moines 10
Nanjing 10
Naples 9
Seongnam 9
Tokyo 9
Washington 9
Denver 8
Haiphong 8
Nuremberg 8
Stockholm 8
Chennai 7
Guayaquil 7
Jinan 7
Milan 7
Poplar 7
Quito 7
Shanghai 7
The Dalles 7
Warsaw 7
Biên Hòa 6
Brasília 6
Kilburn 6
Orem 6
Portland 6
Rome 6
Tianjin 6
Ankara 5
Boston 5
Cesena 5
Chiswick 5
Hefei 5
Islington 5
Johannesburg 5
Lomé 5
Pesaro 5
Salt Lake City 5
Salvador 5
Southwark 5
Thái Bình 5
Acton 4
Brooklyn 4
Buenos Aires 4
Calgary 4
City of London 4
Curitiba 4
Fano 4
Grafing 4
Izmir 4
Kocaeli 4
Maceió 4
Manchester 4
Mumbai 4
Nanchang 4
Paris 4
Phoenix 4
Porto Alegre 4
Redwood City 4
Ribeirão Preto 4
Rio de Janeiro 4
Salto 4
Shenzhen 4
St Petersburg 4
São José do Rio Preto 4
Tashkent 4
Totale 4.448
Salva come PNG Salva come JPEG
Nome #
Evaluating the efficiency of Linda implementations 216
A conceptual framework for collective adaptive systems 212
Typing component-based communication systems 188
Causal-Consistent Reversibility in a Tuple-Based Language 182
A Reversible Abstract Machine and Its Space Overhead 172
A Goal Model for Collective Adaptive Systems 167
Reliability and Fault-Tolerance by Choreographic Design 167
A parametric framework for reversible π-calculi 167
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) 162
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies 162
Causal-Consistent Reversible Debugging 159
Controlling reversibility in higher-order Pi 158
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 157
A safety and liveness theory for total reversibility 155
Collective Adaptation in Process-Based Systems 151
Reversibility in the higher-order (pi)-calculus 147
Tuple spaces implementations and their efficiency 146
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 144
Reversible Sessions Using Monitors 140
Static VS Dynamic Reversibility in CCS 139
Reversibility in session-based concurrency: A fresh look 139
Towards Bridging Time and Causal Reversibility 139
Concurrent Flexible Reversibility 135
Causal-consistent rollback in a tuple-based language 133
Global protocol implementations via attribute-based communication 131
CAptLang: a language for context-aware and adaptable business processes 122
Towards Modeling and Execution of Collective Adaptive Systems 117
Static versus dynamic reversibility in CCS 116
Causally consistent reversible choreographies: A monitors-as-memories approach 114
Controlled Reversibility and Compensations 114
Foundations of Reversible Computation 114
Towards Choreographic-Based Monitoring 111
A distributed operational view of Reversible Prime Event Structures 110
Towards a Formal Account for Software Transactional Memory 108
Testing for Coordination Fidelity 105
Reversible Choreographies via Monitoring in Erlang 105
Reversing higher-order pi 102
Reversing Place Transition Nets 96
Software and Reversible Systems: A Survey of Recent Activities 89
On Reversibility and Broadcast 89
A Petri net view of covalent bonds 84
Causal Consistency for Reversible Multiparty Protocols 79
Reversing P/T Nets 73
The Reversible Temporal Process Language 71
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 67
Causal Reversibility Implies Time Reversibility 60
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 59
Formalizing Errors in CCS with 3-Valued Logic 56
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 56
Relating Reversible Petri Nets and Reversible Event Structures, categorically 52
Reversibility in Process Calculi with Nondeterminism and Probabilities 51
A Reversible Perspective on Petri Nets and Event Structures 50
Model Checking Reversible Systems: Forwardly 50
Checkpoint-based rollback recovery in session programming 44
Rollback Recovery in Session-Based Programming 43
Towards a Taxonomy for Reversible Computation Approaches 41
revTPL: The Reversible Temporal Process Language 37
Towards a Truly Concurrent Semantics for Reversible CCS 37
A Truly Concurrent Semantics for Reversible CCS 34
Reversible semantics in session-based concurrency 30
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 28
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 25
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 9
Totale 6.716
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.036
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 32.036
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021779 0 0 0 0 0 187 179 86 100 97 80 50
2021/2022662 93 58 47 145 23 18 25 39 29 30 37 118
2022/2023585 94 47 9 46 33 117 3 30 142 17 26 21
2023/2024259 16 15 12 21 32 118 9 22 1 2 1 10
2024/2025750 77 15 147 21 18 61 111 27 73 44 104 52
2025/20261.718 246 210 344 552 254 112 0 0 0 0 0 0
Totale 6.716