IRIS
MEZZINA, CLAUDIO ANTARES
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.607
EU - Europa 1.312
AS - Asia 1.297
SA - Sud America 368
AF - Africa 24
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.611
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.532
SG - Singapore 498
CN - Cina 388
BR - Brasile 292
UA - Ucraina 245
RU - Federazione Russa 238
SE - Svezia 227
VN - Vietnam 186
IT - Italia 179
GB - Regno Unito 87
IE - Irlanda 77
FR - Francia 70
FI - Finlandia 55
CA - Canada 49
TR - Turchia 48
DE - Germania 47
AR - Argentina 34
BD - Bangladesh 34
HK - Hong Kong 27
IN - India 26
NL - Olanda 20
EC - Ecuador 19
ID - Indonesia 17
JP - Giappone 14
KR - Corea 12
BE - Belgio 11
MX - Messico 11
AT - Austria 9
ES - Italia 9
IQ - Iraq 8
PL - Polonia 8
PY - Paraguay 8
VE - Venezuela 7
ZA - Sudafrica 7
AE - Emirati Arabi Uniti 6
CH - Svizzera 5
GR - Grecia 5
RO - Romania 5
TG - Togo 5
UZ - Uzbekistan 5
KZ - Kazakistan 4
LT - Lituania 4
MA - Marocco 4
PK - Pakistan 4
SA - Arabia Saudita 4
CO - Colombia 3
CR - Costa Rica 3
IL - Israele 3
JM - Giamaica 3
AL - Albania 2
AU - Australia 2
BW - Botswana 2
CL - Cile 2
EG - Egitto 2
GT - Guatemala 2
KE - Kenya 2
NP - Nepal 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BM - Bermuda 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JO - Giordania 1
KG - Kirghizistan 1
KY - Cayman, isole 1
LB - Libano 1
LV - Lettonia 1
ME - Montenegro 1
NI - Nicaragua 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SO - Somalia 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
TW - Taiwan 1
Totale 7.611
Salva come PNG Salva come JPEG
Città #
Fairfield 641
Ashburn 520
San Jose 355
Woodbridge 348
Seattle 289
Houston 251
Wilmington 225
Cambridge 221
Singapore 198
Chandler 173
Jacksonville 162
Ann Arbor 146
Beijing 114
New York 111
Dallas 107
Dublin 76
Boardman 75
Ho Chi Minh City 67
Los Angeles 65
Lauterbourg 52
Helsinki 51
Princeton 44
Moscow 42
Hanoi 40
San Diego 37
Buffalo 30
Urbino 29
São Paulo 28
Santa Clara 26
Chicago 25
Council Bluffs 23
Istanbul 23
Hong Kong 22
The Dalles 18
London 17
San Francisco 17
Toronto 17
Columbus 15
Montreal 14
Tokyo 13
Des Moines 11
Brussels 10
Dearborn 10
Nanjing 10
Naples 10
Orem 10
Rimini 10
Stockholm 10
Chennai 9
Nuremberg 9
Seongnam 9
Shanghai 9
Washington 9
Denver 8
Guayaquil 8
Haiphong 8
Milan 8
Poplar 8
Amsterdam 7
Jinan 7
Manchester 7
Portland 7
Quito 7
Thái Bình 7
Warsaw 7
Biên Hòa 6
Brasília 6
Johannesburg 6
Kilburn 6
Paris 6
Rome 6
Tianjin 6
Ankara 5
Boston 5
Brooklyn 5
Cesena 5
Chiswick 5
City of London 5
Da Nang 5
Guangzhou 5
Hefei 5
Islington 5
Lomé 5
Mumbai 5
Pesaro 5
Phoenix 5
Salt Lake City 5
Salvador 5
Southwark 5
Tashkent 5
Thessaloniki 5
Acton 4
Atlanta 4
Buenos Aires 4
Calgary 4
Curitiba 4
Fano 4
Grafing 4
Izmir 4
Kocaeli 4
Totale 5.115
Salva come PNG Salva come JPEG
Nome #
Evaluating the efficiency of Linda implementations 224
A conceptual framework for collective adaptive systems 220
Typing component-based communication systems 198
Causal-Consistent Reversibility in a Tuple-Based Language 190
A parametric framework for reversible π-calculi 184
A Reversible Abstract Machine and Its Space Overhead 182
Reliability and Fault-Tolerance by Choreographic Design 176
A Goal Model for Collective Adaptive Systems 175
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) 172
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies 171
Causal-Consistent Reversible Debugging 166
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 164
Controlling reversibility in higher-order Pi 163
A safety and liveness theory for total reversibility 163
Collective Adaptation in Process-Based Systems 158
Reversibility in the higher-order (pi)-calculus 157
Tuple spaces implementations and their efficiency 156
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 152
Towards Bridging Time and Causal Reversibility 152
Reversibility in session-based concurrency: A fresh look 150
Reversible Sessions Using Monitors 149
Static VS Dynamic Reversibility in CCS 146
Concurrent Flexible Reversibility 141
Causal-consistent rollback in a tuple-based language 141
Global protocol implementations via attribute-based communication 140
Towards Modeling and Execution of Collective Adaptive Systems 128
CAptLang: a language for context-aware and adaptable business processes 128
Static versus dynamic reversibility in CCS 124
Foundations of Reversible Computation 124
Controlled Reversibility and Compensations 123
Towards Choreographic-Based Monitoring 123
Causally consistent reversible choreographies: A monitors-as-memories approach 121
A distributed operational view of Reversible Prime Event Structures 121
Reversible Choreographies via Monitoring in Erlang 120
Towards a Formal Account for Software Transactional Memory 117
Testing for Coordination Fidelity 114
Reversing Place Transition Nets 114
Reversing higher-order pi 111
A Petri net view of covalent bonds 107
Software and Reversible Systems: A Survey of Recent Activities 103
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 102
On Reversibility and Broadcast 102
Formalizing Errors in CCS with 3-Valued Logic 89
Causal Reversibility Implies Time Reversibility 87
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 87
Reversing P/T Nets 87
Causal Consistency for Reversible Multiparty Protocols 87
The Reversible Temporal Process Language 86
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 84
Reversibility in Process Calculi with Nondeterminism and Probabilities 81
Model Checking Reversible Systems: Forwardly 78
Checkpoint-based rollback recovery in session programming 74
Relating Reversible Petri Nets and Reversible Event Structures, categorically 74
Towards a Taxonomy for Reversible Computation Approaches 72
A Reversible Perspective on Petri Nets and Event Structures 68
Rollback Recovery in Session-Based Programming 63
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 61
revTPL: The Reversible Temporal Process Language 60
A Truly Concurrent Semantics for Reversible CCS 51
Towards a Truly Concurrent Semantics for Reversible CCS 51
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 47
Reversible semantics in session-based concurrency 45
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 45
Encoding Reversible Petri Nets into CCSK 29
Bounded Reversibility in HO$$\pi $$ 26
On Reversibility in Petri Nets 9
Totale 7.713
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.332
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 35.332
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.704 246 210 344 552 254 135 357 66 197 168 98 77
2026/202711 11 0 0 0 0 0 0 0 0 0 0 0
Totale 7.713