IRIS
MEZZINA, CLAUDIO ANTARES
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.942
AS - Asia 1.112
EU - Europa 1.083
SA - Sud America 354
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 6.512
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.896
SG - Singapore 438
CN - Cina 355
BR - Brasile 284
UA - Ucraina 244
SE - Svezia 224
RU - Federazione Russa 154
VN - Vietnam 148
IT - Italia 135
IE - Irlanda 77
GB - Regno Unito 75
FI - Finlandia 50
TR - Turchia 45
DE - Germania 41
AR - Argentina 32
CA - Canada 32
HK - Hong Kong 23
IN - India 19
EC - Ecuador 17
ID - Indonesia 17
BD - Bangladesh 15
FR - Francia 13
KR - Corea 12
BE - Belgio 11
JP - Giappone 10
AT - Austria 9
MX - Messico 9
NL - Olanda 9
PY - Paraguay 8
ES - Italia 7
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
IQ - Iraq 5
PL - Polonia 5
RO - Romania 5
TG - Togo 5
VE - Venezuela 5
ZA - Sudafrica 5
GR - Grecia 4
LT - Lituania 4
MA - Marocco 4
CO - Colombia 3
KZ - Kazakistan 3
PK - Pakistan 3
SA - Arabia Saudita 3
AL - Albania 2
BW - Botswana 2
CL - Cile 2
IL - Israele 2
KE - Kenya 2
UY - Uruguay 2
UZ - Uzbekistan 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
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
Totale 6.512
Salva come PNG Salva come JPEG
Città #
Fairfield 641
Ashburn 455
Woodbridge 348
Seattle 288
Houston 249
Wilmington 225
Cambridge 221
Chandler 173
Singapore 171
Jacksonville 162
Ann Arbor 146
Beijing 109
Dallas 104
New York 102
Dublin 76
Ho Chi Minh City 56
Los Angeles 55
Boardman 54
Helsinki 47
Princeton 44
San Diego 37
Hanoi 30
Moscow 28
Buffalo 27
São Paulo 26
Istanbul 23
Chicago 22
Hong Kong 18
Urbino 18
San Francisco 17
Santa Clara 15
London 14
Toronto 14
Brussels 10
Dearborn 10
Des Moines 10
Nanjing 10
Seongnam 9
Tokyo 9
Washington 9
Montreal 8
Naples 8
Nuremberg 8
Chennai 7
Denver 7
Guayaquil 7
Haiphong 7
Jinan 7
Milan 7
Quito 7
Shanghai 7
Stockholm 7
Brasília 6
Kilburn 6
Portland 6
Rome 6
Tianjin 6
Biên Hòa 5
Cesena 5
Chiswick 5
Hefei 5
Islington 5
Lomé 5
Pesaro 5
Poplar 5
Salt Lake City 5
Salvador 5
Southwark 5
Thái Bình 5
Acton 4
Ankara 4
Boston 4
Brooklyn 4
Buenos Aires 4
City of London 4
Curitiba 4
Fano 4
Grafing 4
Izmir 4
Johannesburg 4
Kocaeli 4
Maceió 4
Mumbai 4
Nanchang 4
Orem 4
Paris 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
The Dalles 4
Thessaloniki 4
Warsaw 4
Americana 3
Ancona 3
Belo Horizonte 3
Totale 4.380
Salva come PNG Salva come JPEG
Nome #
Evaluating the efficiency of Linda implementations 215
A conceptual framework for collective adaptive systems 210
Typing component-based communication systems 187
Causal-Consistent Reversibility in a Tuple-Based Language 180
A Reversible Abstract Machine and Its Space Overhead 170
A Goal Model for Collective Adaptive Systems 166
A parametric framework for reversible π-calculi 166
Reliability and Fault-Tolerance by Choreographic Design 165
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies 161
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) 160
Causal-Consistent Reversible Debugging 157
Controlling reversibility in higher-order Pi 157
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 156
A safety and liveness theory for total reversibility 154
Collective Adaptation in Process-Based Systems 150
Reversibility in the higher-order (pi)-calculus 146
Tuple spaces implementations and their efficiency 145
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 144
Reversible Sessions Using Monitors 139
Static VS Dynamic Reversibility in CCS 138
Reversibility in session-based concurrency: A fresh look 138
Towards Bridging Time and Causal Reversibility 138
Concurrent Flexible Reversibility 134
Causal-consistent rollback in a tuple-based language 131
Global protocol implementations via attribute-based communication 130
CAptLang: a language for context-aware and adaptable business processes 120
Towards Modeling and Execution of Collective Adaptive Systems 116
Static versus dynamic reversibility in CCS 115
Controlled Reversibility and Compensations 113
Foundations of Reversible Computation 113
Causally consistent reversible choreographies: A monitors-as-memories approach 112
Towards Choreographic-Based Monitoring 110
A distributed operational view of Reversible Prime Event Structures 108
Towards a Formal Account for Software Transactional Memory 107
Testing for Coordination Fidelity 104
Reversible Choreographies via Monitoring in Erlang 102
Reversing higher-order pi 101
Reversing Place Transition Nets 95
Software and Reversible Systems: A Survey of Recent Activities 87
On Reversibility and Broadcast 87
A Petri net view of covalent bonds 81
Causal Consistency for Reversible Multiparty Protocols 77
Reversing P/T Nets 71
The Reversible Temporal Process Language 70
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 64
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 57
Causal Reversibility Implies Time Reversibility 55
Formalizing Errors in CCS with 3-Valued Logic 54
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 53
Relating Reversible Petri Nets and Reversible Event Structures, categorically 51
A Reversible Perspective on Petri Nets and Event Structures 48
Reversibility in Process Calculi with Nondeterminism and Probabilities 48
Model Checking Reversible Systems: Forwardly 46
Checkpoint-based rollback recovery in session programming 43
Rollback Recovery in Session-Based Programming 42
Towards a Taxonomy for Reversible Computation Approaches 40
Towards a Truly Concurrent Semantics for Reversible CCS 37
revTPL: The Reversible Temporal Process Language 36
A Truly Concurrent Semantics for Reversible CCS 32
Reversible semantics in session-based concurrency 29
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 27
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 21
Totale 6.609
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.740
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 31.740
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.611 246 210 344 552 254 5 0 0 0 0 0 0
Totale 6.609