IRIS
MEZZINA, CLAUDIO ANTARES
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.798
EU - Europa 1.381
AS - Asia 1.341
SA - Sud America 374
Continente sconosciuto - Info sul continente non disponibili 104
AF - Africa 24
OC - Oceania 2
Totale 8.024
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.709
SG - Singapore 508
CN - Cina 395
BR - Brasile 295
UA - Ucraina 245
IT - Italia 244
RU - Federazione Russa 238
SE - Svezia 227
VN - Vietnam 186
GB - Regno Unito 89
IE - Irlanda 77
FR - Francia 70
CA - Canada 55
FI - Finlandia 55
BD - Bangladesh 52
TR - Turchia 48
DE - Germania 47
AR - Argentina 34
HK - Hong Kong 31
IN - India 26
NL - Olanda 20
EC - Ecuador 19
ID - Indonesia 18
JP - Giappone 14
KR - Corea 14
MX - Messico 13
BE - Belgio 11
AT - Austria 9
ES - Italia 9
VE - Venezuela 9
IQ - Iraq 8
PL - Polonia 8
PY - Paraguay 8
ZA - Sudafrica 7
AE - Emirati Arabi Uniti 6
CH - Svizzera 5
CR - Costa Rica 5
GR - Grecia 5
RO - Romania 5
TG - Togo 5
UZ - Uzbekistan 5
CO - Colombia 4
JM - Giamaica 4
KZ - Kazakistan 4
LT - Lituania 4
MA - Marocco 4
PK - Pakistan 4
SA - Arabia Saudita 4
CZ - Repubblica Ceca 3
IL - Israele 3
AL - Albania 2
AU - Australia 2
BW - Botswana 2
CL - Cile 2
EG - Egitto 2
GT - Guatemala 2
HN - Honduras 2
KE - Kenya 2
NP - Nepal 2
PH - Filippine 2
TH - Thailandia 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
BZ - Belize 1
DO - Repubblica Dominicana 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
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SO - Somalia 1
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 7.921
Salva come PNG Salva come JPEG
Città #
Fairfield 641
Ashburn 522
San Jose 387
Woodbridge 348
Seattle 289
Houston 253
Wilmington 227
Cambridge 221
Singapore 201
Chandler 173
Jacksonville 162
Ann Arbor 146
Beijing 119
New York 115
Dallas 110
Dublin 76
Boardman 75
Council Bluffs 71
Ho Chi Minh City 67
Los Angeles 67
Lauterbourg 52
Helsinki 51
Santa Clara 47
Princeton 44
Moscow 42
Hanoi 40
San Diego 38
Buffalo 31
Milan 31
Urbino 30
São Paulo 28
Hong Kong 26
Chicago 25
Istanbul 23
Toronto 20
London 18
The Dalles 18
San Francisco 17
Columbus 15
Montreal 15
Tokyo 13
Des Moines 11
Naples 11
Rome 11
Brussels 10
Dearborn 10
Nanjing 10
Orem 10
Phoenix 10
Portland 10
Rimini 10
Stockholm 10
Chennai 9
Nuremberg 9
Seongnam 9
Shanghai 9
Washington 9
Denver 8
Guayaquil 8
Haiphong 8
Poplar 8
Amsterdam 7
Brasília 7
Figino 7
Jinan 7
Manchester 7
Quito 7
Thái Bình 7
Warsaw 7
Biên Hòa 6
Johannesburg 6
Kilburn 6
Paris 6
Ravenna 6
Tianjin 6
Ankara 5
Atlanta 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
Salt Lake City 5
Salvador 5
San José 5
Southwark 5
Tashkent 5
Thessaloniki 5
Acton 4
Ancona 4
Buenos Aires 4
Calgary 4
Curitiba 4
Totale 5.296
Salva come PNG Salva come JPEG
Nome #
Evaluating the efficiency of Linda implementations 225
A conceptual framework for collective adaptive systems 222
Typing component-based communication systems 201
Causal-Consistent Reversibility in a Tuple-Based Language 192
A parametric framework for reversible π-calculi 188
A Reversible Abstract Machine and Its Space Overhead 183
A Goal Model for Collective Adaptive Systems 181
Reliability and Fault-Tolerance by Choreographic Design 179
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) 173
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies 171
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse 167
Causal-Consistent Reversible Debugging 166
Controlling reversibility in higher-order Pi 166
A safety and liveness theory for total reversibility 164
Collective Adaptation in Process-Based Systems 159
Reversibility in the higher-order (pi)-calculus 159
Tuple spaces implementations and their efficiency 156
Reversibility in session-based concurrency: A fresh look 155
Towards Bridging Time and Causal Reversibility 154
Reversible Sessions Using Monitors 152
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 152
Concurrent Flexible Reversibility 149
Static VS Dynamic Reversibility in CCS 147
Causal-consistent rollback in a tuple-based language 142
Global protocol implementations via attribute-based communication 141
Towards Modeling and Execution of Collective Adaptive Systems 131
CAptLang: a language for context-aware and adaptable business processes 131
Static versus dynamic reversibility in CCS 126
Foundations of Reversible Computation 126
Towards Choreographic-Based Monitoring 125
Controlled Reversibility and Compensations 123
A distributed operational view of Reversible Prime Event Structures 123
Causally consistent reversible choreographies: A monitors-as-memories approach 122
Reversible Choreographies via Monitoring in Erlang 121
Towards a Formal Account for Software Transactional Memory 118
Reversing Place Transition Nets 116
On Reversibility in Petri Nets 115
Reversing higher-order pi 115
Testing for Coordination Fidelity 115
A Petri net view of covalent bonds 110
Software and Reversible Systems: A Survey of Recent Activities 105
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 104
On Reversibility and Broadcast 104
Formalizing Errors in CCS with 3-Valued Logic 102
Causal Reversibility Implies Time Reversibility 91
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 91
The Reversible Temporal Process Language 89
Causal Consistency for Reversible Multiparty Protocols 88
Reversing P/T Nets 87
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 86
Reversibility in Process Calculi with Nondeterminism and Probabilities 83
Model Checking Reversible Systems: Forwardly 79
Towards a Taxonomy for Reversible Computation Approaches 78
Checkpoint-based rollback recovery in session programming 78
Relating Reversible Petri Nets and Reversible Event Structures, categorically 75
A Reversible Perspective on Petri Nets and Event Structures 73
Rollback Recovery in Session-Based Programming 69
revTPL: The Reversible Temporal Process Language 66
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 65
A Truly Concurrent Semantics for Reversible CCS 55
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 51
Reversible semantics in session-based concurrency 51
Towards a Truly Concurrent Semantics for Reversible CCS 51
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 46
Encoding Reversible Petri Nets into CCSK 43
Bounded Reversibility in HO$$\pi $$ 31
A Logical 3-valued Semantics for Nondeterministic Choice 22
Totale 8.024
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.055
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 37.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022511 0 0 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/2027322 118 135 69 0 0 0 0 0 0 0 0 0
Totale 8.024