IRIS
MEZZINA, CLAUDIO ANTARES
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.437
EU - Europa 1.284
AS - Asia 1.271
SA - Sud America 367
AF - Africa 24
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.386
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.377
SG - Singapore 493
CN - Cina 383
BR - Brasile 291
UA - Ucraina 245
RU - Federazione Russa 238
SE - Svezia 227
VN - Vietnam 186
IT - Italia 153
GB - Regno Unito 87
IE - Irlanda 77
FR - Francia 69
FI - Finlandia 55
TR - Turchia 48
DE - Germania 47
CA - Canada 41
AR - Argentina 34
IN - India 26
HK - Hong Kong 25
BD - Bangladesh 20
EC - Ecuador 19
NL - Olanda 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
IL - Israele 3
AL - Albania 2
AU - Australia 2
BW - Botswana 2
CL - Cile 2
EG - Egitto 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
BG - Bulgaria 1
BH - Bahrain 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
IR - Iran 1
JM - Giamaica 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.386
Salva come PNG Salva come JPEG
Città #
Fairfield 641
Ashburn 514
Woodbridge 348
San Jose 331
Seattle 289
Houston 250
Wilmington 225
Cambridge 221
Singapore 197
Chandler 173
Jacksonville 162
Ann Arbor 146
Beijing 111
New York 108
Dallas 106
Dublin 76
Ho Chi Minh City 67
Los Angeles 59
Boardman 54
Lauterbourg 52
Helsinki 51
Princeton 44
Moscow 42
Hanoi 40
San Diego 37
Buffalo 29
São Paulo 28
Chicago 24
Santa Clara 24
Istanbul 23
Hong Kong 20
The Dalles 18
Urbino 18
London 17
San Francisco 17
Toronto 17
Tokyo 13
Montreal 12
Brussels 10
Dearborn 10
Des Moines 10
Nanjing 10
Stockholm 10
Chennai 9
Naples 9
Nuremberg 9
Orem 9
Seongnam 9
Shanghai 9
Washington 9
Denver 8
Guayaquil 8
Haiphong 8
Milan 8
Poplar 8
Amsterdam 7
Jinan 7
Manchester 7
Quito 7
Thái Bình 7
Warsaw 7
Biên Hòa 6
Brasília 6
Johannesburg 6
Kilburn 6
Paris 6
Portland 6
Rome 6
Tianjin 6
Ankara 5
Boston 5
Cesena 5
Chiswick 5
City of London 5
Da Nang 5
Guangzhou 5
Hefei 5
Islington 5
Lomé 5
Mumbai 5
Pesaro 5
Rimini 5
Salt Lake City 5
Salvador 5
Southwark 5
Tashkent 5
Thessaloniki 5
Acton 4
Brooklyn 4
Buenos Aires 4
Calgary 4
Columbus 4
Curitiba 4
Fano 4
Grafing 4
Izmir 4
Kocaeli 4
Lappeenranta 4
Maceió 4
Nanchang 4
Totale 4.989
Salva come PNG Salva come JPEG
Nome #
Evaluating the efficiency of Linda implementations 224
A conceptual framework for collective adaptive systems 218
Typing component-based communication systems 196
Causal-Consistent Reversibility in a Tuple-Based Language 189
A Reversible Abstract Machine and Its Space Overhead 180
A parametric framework for reversible π-calculi 178
A Goal Model for Collective Adaptive Systems 174
Reliability and Fault-Tolerance by Choreographic Design 173
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) 171
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies 168
Causal-Consistent Reversible Debugging 166
Controlling reversibility in higher-order Pi 163
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 163
A safety and liveness theory for total reversibility 163
Collective Adaptation in Process-Based Systems 157
Reversibility in the higher-order (pi)-calculus 154
Tuple spaces implementations and their efficiency 154
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 151
Reversibility in session-based concurrency: A fresh look 148
Towards Bridging Time and Causal Reversibility 148
Reversible Sessions Using Monitors 146
Static VS Dynamic Reversibility in CCS 145
Causal-consistent rollback in a tuple-based language 141
Concurrent Flexible Reversibility 140
Global protocol implementations via attribute-based communication 139
CAptLang: a language for context-aware and adaptable business processes 127
Towards Modeling and Execution of Collective Adaptive Systems 125
Static versus dynamic reversibility in CCS 122
Foundations of Reversible Computation 121
Causally consistent reversible choreographies: A monitors-as-memories approach 120
Controlled Reversibility and Compensations 120
Towards Choreographic-Based Monitoring 120
A distributed operational view of Reversible Prime Event Structures 120
Reversible Choreographies via Monitoring in Erlang 119
Towards a Formal Account for Software Transactional Memory 116
Testing for Coordination Fidelity 113
Reversing Place Transition Nets 112
Reversing higher-order pi 110
A Petri net view of covalent bonds 104
Software and Reversible Systems: A Survey of Recent Activities 101
On Reversibility and Broadcast 101
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 93
Causal Consistency for Reversible Multiparty Protocols 86
The Reversible Temporal Process Language 84
Reversing P/T Nets 84
Formalizing Errors in CCS with 3-Valued Logic 81
Causal Reversibility Implies Time Reversibility 81
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 79
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 78
Reversibility in Process Calculi with Nondeterminism and Probabilities 71
Towards a Taxonomy for Reversible Computation Approaches 67
A Reversible Perspective on Petri Nets and Event Structures 66
Relating Reversible Petri Nets and Reversible Event Structures, categorically 65
Model Checking Reversible Systems: Forwardly 65
Checkpoint-based rollback recovery in session programming 63
Rollback Recovery in Session-Based Programming 60
revTPL: The Reversible Temporal Process Language 57
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 50
Towards a Truly Concurrent Semantics for Reversible CCS 50
A Truly Concurrent Semantics for Reversible CCS 48
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 44
Reversible semantics in session-based concurrency 40
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 39
Encoding Reversible Petri Nets into CCSK 18
Bounded Reversibility in HO$$\pi $$ 18
Totale 7.487
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.442
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 33.442
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021227 0 0 0 0 0 0 0 0 0 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/20262.489 246 210 344 552 254 135 357 66 197 128 0 0
Totale 7.487