ESPOSITO, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 356
AS - Asia 263
EU - Europa 222
SA - Sud America 32
AF - Africa 3
Totale 876
Nazione #
US - Stati Uniti d'America 341
SG - Singapore 101
RU - Federazione Russa 76
IT - Italia 69
CN - Cina 55
BD - Bangladesh 38
BR - Brasile 27
VN - Vietnam 22
DE - Germania 18
GB - Regno Unito 14
HK - Hong Kong 14
FR - Francia 12
IN - India 12
FI - Finlandia 9
JP - Giappone 9
CA - Canada 8
ES - Italia 5
NL - Olanda 5
TR - Turchia 5
MX - Messico 4
SE - Svezia 4
LT - Lituania 3
PL - Polonia 3
AR - Argentina 2
AT - Austria 2
UA - Ucraina 2
AM - Armenia 1
CO - Colombia 1
CR - Costa Rica 1
EC - Ecuador 1
ID - Indonesia 1
IL - Israele 1
IQ - Iraq 1
JM - Giamaica 1
KG - Kirghizistan 1
MU - Mauritius 1
NI - Nicaragua 1
PE - Perù 1
PH - Filippine 1
SO - Somalia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 876
Città #
San Jose 62
Ashburn 58
Singapore 54
Dallas 23
Los Angeles 21
The Dalles 21
Beijing 16
Moscow 16
Boardman 15
New York 15
Hong Kong 14
Council Bluffs 9
Ho Chi Minh City 9
Lauterbourg 9
Munich 8
Rome 8
Buffalo 6
Hanoi 6
São Paulo 6
Atlanta 5
Chennai 5
Helsinki 5
Mumbai 5
Santa Clara 5
Urbino 5
Denver 4
Montreal 4
Nuremberg 4
Poplar 4
Salerno 4
Stockholm 4
Tokyo 4
Boston 3
Brooklyn 3
Cagliari 3
Houston 3
Milan 3
Naples 3
Pittsburgh 3
Querétaro 3
Turku 3
Warsaw 3
Amsterdam 2
Ankara 2
Assago 2
Bauru 2
Bellizzi 2
Brisighella 2
Casagiove 2
Civitanova Marche 2
Cleveland 2
Curitiba 2
Haiphong 2
Hangzhou 2
Istanbul 2
Manchester 2
Orem 2
Paris 2
Pesaro 2
Phoenix 2
Rimini 2
Squinzano 2
Taranto 2
Toronto 2
Uberlândia 2
Zibo 2
Adana 1
Alcalá del Río 1
Ancona 1
Aracaju 1
Ashton-under-Lyne 1
Bari 1
Birmingham 1
Bishkek 1
Bogotá 1
Bologna 1
Brasília 1
Calcinelli 1
Calhoun City 1
Campos dos Goytacazes 1
Carmiano 1
Carney 1
Caruaru 1
Castanhal 1
Cesena 1
Cherkasy 1
Chicago 1
City of London 1
Columbus 1
Cordeirópolis 1
Da Nang 1
Davao City 1
Depok 1
Dreux 1
Dundas 1
Düsseldorf 1
Falkenstein 1
Florence 1
Formiga 1
Foshan 1
Totale 546
Nome #
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis 151
Noninterference Analysis of Reversible Probabilistic Systems 131
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 88
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 85
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 82
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 79
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 79
Noninterference Analysis of Stochastically Timed Reversible Systems 60
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 57
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 43
Noninterference Analysis of Deterministically Timed Reversible Systems 39
Totale 894
Categoria #
all - tutte 2.653
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 2.653


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202428 0 0 0 0 9 2 11 4 0 1 0 1
2024/2025140 2 9 26 2 2 13 16 14 5 3 33 15
2025/2026726 26 38 46 102 127 66 98 19 35 71 50 48
Totale 894