MENDES TORRES VIEIRA, HUGO FILIPE
 Distribuzione geografica
Continente #
NA - Nord America 1.176
EU - Europa 704
AS - Asia 411
SA - Sud America 74
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
Totale 2.394
Nazione #
US - Stati Uniti d'America 1.155
RU - Federazione Russa 327
CN - Cina 168
SG - Singapore 119
SE - Svezia 103
UA - Ucraina 83
BR - Brasile 72
AT - Austria 57
GB - Regno Unito 35
FR - Francia 26
HK - Hong Kong 24
BG - Bulgaria 23
VN - Vietnam 23
DE - Germania 22
IL - Israele 22
TR - Turchia 20
CA - Canada 19
KR - Corea 18
KE - Kenya 16
IN - India 11
IT - Italia 10
BE - Belgio 9
FI - Finlandia 6
EU - Europa 5
ZA - Sudafrica 3
MY - Malesia 2
SA - Arabia Saudita 2
TN - Tunisia 2
BB - Barbados 1
BD - Bangladesh 1
CO - Colombia 1
DZ - Algeria 1
EG - Egitto 1
ES - Italia 1
GR - Grecia 1
IQ - Iraq 1
MA - Marocco 1
MX - Messico 1
NO - Norvegia 1
VE - Venezuela 1
Totale 2.394
Città #
Ashburn 229
Jacksonville 178
Moscow 123
Chandler 118
Beijing 102
San Mateo 93
Singapore 77
Vienna 57
Ann Arbor 56
Boardman 56
New York 45
Andover 43
Hefei 26
Hong Kong 24
Los Angeles 24
Sofia 23
São Paulo 23
Wilmington 23
Dong Ket 22
Lawrence 22
Princeton 22
Tel Aviv 22
Shanghai 20
Woodbridge 19
Seoul 18
Ottawa 17
Istanbul 16
Nairobi 16
Munich 11
Rome 10
Brussels 9
Ogden 9
Guangzhou 5
Houston 4
Nanjing 4
Seattle 4
Turku 4
Bangalore 3
Brooklyn 3
Kunming 3
Nanchang 3
Brasília 2
Dallas 2
Dearborn 2
Helsinki 2
Phoenix 2
Santa Clara 2
Tunis 2
Algiers 1
Alvorada 1
Amparo 1
Ankara 1
Athens 1
Atlanta 1
Barbacena 1
Barão de Cocais 1
Batalha 1
Belo Horizonte 1
Belém 1
Blumenau 1
Boston 1
Bridgetown 1
Cachoeira do Sul 1
Cairo 1
Cape Town 1
Carapebus 1
Caririaçu 1
Caucaia 1
Caxias do Sul 1
Cheshire 1
Clarksburg 1
Colombo 1
Denizli 1
Divinópolis de Goiás 1
Duhok 1
Farroupilha 1
Florianópolis 1
Foz do Iguaçu 1
Ghaziabad 1
Hangzhou 1
Hanoi 1
Huzhou 1
Ipiranga 1
Irecê 1
Itajaí 1
Jackson 1
Jaguaré 1
Jarinu 1
Jeddah 1
Johannesburg 1
Kocaeli 1
Krasnodar 1
Kyiv 1
Lajeado 1
Laplace 1
Los Fresnos 1
Los Teques 1
Manchester 1
Marituba 1
Mauá 1
Totale 1.652
Nome #
A process calculus analysis of compensations 131
Global protocol implementations via attribute-based communication 125
A type system for flexible role assignment in multiparty communicating systems 123
Analysis of service oriented software systems with the Conversation Calculus 120
A typed model for dynamic authorizations 119
Conversation types 118
The conversation calculus: a model of service-oriented computation 117
Dynamic role authorization in multiparty conversations 114
Extensionality of spatial observations in distributed systems 113
Behavioral theory for session-oriented calculi 113
Dynamic role authorization in multiparty conversations 110
Tools and verification 107
Typing progress in communication-centred systems 106
Type-based access control in data-centric systems 106
Combining behavioural types with security analysis 105
Conversation types 99
Typing liveness in multiparty communicating systems 99
Foundations of session types and behavioural contracts 98
Advanced mechanisms for service combination and transactions 96
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 94
An observational model for spatial logics 92
Static analysis techniques for session-oriented calculi 90
Totale 2.395
Categoria #
all - tutte 14.313
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 14.313


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021279 27 2 22 5 0 21 27 0 38 51 21 65
2021/2022228 67 0 0 5 15 4 78 24 2 7 25 1
2022/2023307 48 0 0 43 36 36 0 41 65 11 27 0
2023/2024182 2 5 13 5 2 2 42 5 18 41 12 35
2024/2025939 18 27 41 121 7 21 40 26 106 138 302 92
2025/202625 25 0 0 0 0 0 0 0 0 0 0 0
Totale 2.395