ESPOSITO, ANDREA
 Distribuzione geografica
Continente #
NA - Nord America 305
AS - Asia 216
EU - Europa 207
SA - Sud America 32
AF - Africa 3
Totale 763
Nazione #
US - Stati Uniti d'America 293
SG - Singapore 96
RU - Federazione Russa 76
IT - Italia 55
CN - Cina 50
BR - Brasile 27
VN - Vietnam 22
DE - Germania 18
GB - Regno Unito 14
FR - Francia 12
HK - Hong Kong 12
IN - India 12
FI - Finlandia 9
JP - Giappone 8
CA - Canada 7
ES - Italia 5
TR - Turchia 5
BD - Bangladesh 4
MX - Messico 4
NL - Olanda 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
EC - Ecuador 1
ID - Indonesia 1
IL - Israele 1
IQ - Iraq 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 763
Città #
Ashburn 57
San Jose 53
Singapore 52
Dallas 21
The Dalles 21
Los Angeles 19
Moscow 16
Beijing 15
Hong Kong 12
New York 12
Ho Chi Minh City 9
Lauterbourg 9
Munich 8
Hanoi 6
São Paulo 6
Atlanta 5
Chennai 5
Helsinki 5
Mumbai 5
Urbino 5
Boardman 4
Buffalo 4
Denver 4
Montreal 4
Nuremberg 4
Poplar 4
Rome 4
Salerno 4
Santa Clara 4
Stockholm 4
Tokyo 4
Boston 3
Brooklyn 3
Council Bluffs 3
Houston 3
Naples 3
Pittsburgh 3
Querétaro 3
Turku 3
Warsaw 3
Amsterdam 2
Ankara 2
Assago 2
Bauru 2
Bellizzi 2
Brisighella 2
Cagliari 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
Brasília 1
Calcinelli 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
Goose Creek 1
Greensboro 1
Greenville 1
Guangzhou 1
Totale 497
Nome #
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis 133
Noninterference Analysis of Reversible Probabilistic Systems 88
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 84
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 80
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 79
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 74
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 70
Noninterference Analysis of Stochastically Timed Reversible Systems 49
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 49
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 39
Noninterference Analysis of Deterministically Timed Reversible Systems 36
Totale 781
Categoria #
all - tutte 2.237
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.237


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/2026613 26 38 46 102 127 66 98 19 35 56 0 0
Totale 781