ESPOSITO, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 195
AS - Asia 145
EU - Europa 122
SA - Sud America 30
AF - Africa 2
Totale 494
Nazione #
US - Stati Uniti d'America 184
SG - Singapore 62
CN - Cina 42
IT - Italia 37
RU - Federazione Russa 31
BR - Brasile 25
DE - Germania 17
GB - Regno Unito 13
VN - Vietnam 13
IN - India 10
JP - Giappone 8
CA - Canada 7
FI - Finlandia 7
HK - Hong Kong 4
ES - Italia 3
LT - Lituania 3
MX - Messico 3
SE - Svezia 3
TR - Turchia 3
AR - Argentina 2
AT - Austria 2
FR - Francia 2
PL - Polonia 2
UA - Ucraina 2
BD - Bangladesh 1
CO - Colombia 1
EC - Ecuador 1
KG - Kirghizistan 1
MU - Mauritius 1
NI - Nicaragua 1
PE - Perù 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 494
Città #
Ashburn 43
Singapore 28
Dallas 19
Los Angeles 16
Beijing 14
Moscow 11
New York 10
Munich 8
Ho Chi Minh City 7
The Dalles 6
Chennai 5
São Paulo 5
Urbino 5
Atlanta 4
Boardman 4
Buffalo 4
Helsinki 4
Hong Kong 4
Montreal 4
Mumbai 4
Nuremberg 4
Poplar 4
Salerno 4
Tokyo 4
Boston 3
Brooklyn 3
Council Bluffs 3
Denver 3
Hanoi 3
Houston 3
Naples 3
Pittsburgh 3
Stockholm 3
Turku 3
Assago 2
Bauru 2
Bellizzi 2
Cagliari 2
Casagiove 2
Civitanova Marche 2
Cleveland 2
Curitiba 2
Hangzhou 2
Istanbul 2
Manchester 2
Paris 2
Pesaro 2
Phoenix 2
Querétaro 2
Rome 2
Santa Clara 2
Squinzano 2
Toronto 2
Uberlândia 2
Warsaw 2
Zibo 2
Ankara 1
Ashton-under-Lyne 1
Bishkek 1
Bogotá 1
Brasília 1
Campos dos Goytacazes 1
Carney 1
Caruaru 1
Castanhal 1
Cesena 1
Cherkasy 1
Chicago 1
City of London 1
Cordeirópolis 1
Dundas 1
Düsseldorf 1
Falkenstein 1
Formiga 1
Goose Creek 1
Greenville 1
Guangzhou 1
Guayaquil 1
Haiphong 1
Helena 1
Ilhéus 1
Itaguaí 1
Johannesburg 1
Kansas City 1
Kharkiv 1
Kirkland 1
Krefeld 1
Lima 1
Managua 1
Mexico City 1
Milan 1
Morrow 1
Nanjing 1
New Delhi 1
Niterói 1
Orem 1
Pescara 1
Port Louis 1
Porto Alegre 1
Rio de Janeiro 1
Totale 339
Nome #
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis 103
Noninterference Analysis of Reversible Probabilistic Systems 71
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 65
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 57
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 54
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 51
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 49
Noninterference Analysis of Stochastically Timed Reversible Systems 26
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 21
Noninterference Analysis of Deterministically Timed Reversible Systems 13
Totale 510
Categoria #
all - tutte 1.776
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 1.776


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/2026342 26 38 46 102 127 3 0 0 0 0 0 0
Totale 510