MENDES TORRES VIEIRA, HUGO FILIPE
 Distribuzione geografica
Continente #
NA - Nord America 1.163
EU - Europa 694
AS - Asia 411
SA - Sud America 74
AF - Africa 22
Continente sconosciuto - Info sul continente non disponibili 5
Totale 2.369
Nazione #
US - Stati Uniti d'America 1.142
RU - Federazione Russa 327
CN - Cina 168
SG - Singapore 119
SE - Svezia 103
UA - Ucraina 82
BR - Brasile 72
AT - Austria 57
GB - Regno Unito 33
FR - Francia 26
HK - Hong Kong 24
BG - Bulgaria 23
VN - Vietnam 23
IL - Israele 22
TR - Turchia 20
CA - Canada 19
KR - Corea 18
KE - Kenya 16
DE - Germania 15
IN - India 11
IT - Italia 10
BE - Belgio 9
FI - Finlandia 6
EU - Europa 5
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
ZA - Sudafrica 1
Totale 2.369
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 44
Andover 43
Hefei 26
Hong Kong 24
Sofia 23
São Paulo 23
Wilmington 23
Dong Ket 22
Lawrence 22
Los Angeles 22
Princeton 22
Tel Aviv 22
Shanghai 20
Woodbridge 19
Seoul 18
Ottawa 17
Istanbul 16
Nairobi 16
Rome 10
Brussels 9
Ogden 9
Guangzhou 5
Houston 4
Munich 4
Nanjing 4
Seattle 4
Turku 4
Bangalore 3
Kunming 3
Nanchang 3
Brasília 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
Brooklyn 1
Cachoeira do Sul 1
Cairo 1
Cape Town 1
Carapebus 1
Caririaçu 1
Caucaia 1
Caxias do Sul 1
Cheshire 1
Colombo 1
Dallas 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
Jaguaré 1
Jarinu 1
Jeddah 1
Kocaeli 1
Krasnodar 1
Kyiv 1
Lajeado 1
Laplace 1
Los Fresnos 1
Los Teques 1
Marituba 1
Mauá 1
Mcallen 1
Meknes 1
Mersin 1
Mexicali 1
Totale 1.639
Nome #
A process calculus analysis of compensations 130
Global protocol implementations via attribute-based communication 125
A type system for flexible role assignment in multiparty communicating systems 121
Analysis of service oriented software systems with the Conversation Calculus 118
Conversation types 117
A typed model for dynamic authorizations 117
The conversation calculus: a model of service-oriented computation 116
Dynamic role authorization in multiparty conversations 112
Extensionality of spatial observations in distributed systems 112
Behavioral theory for session-oriented calculi 112
Dynamic role authorization in multiparty conversations 110
Tools and verification 106
Typing progress in communication-centred systems 105
Type-based access control in data-centric systems 105
Combining behavioural types with security analysis 104
Conversation types 98
Typing liveness in multiparty communicating systems 98
Foundations of session types and behavioural contracts 97
Advanced mechanisms for service combination and transactions 95
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 93
An observational model for spatial logics 90
Static analysis techniques for session-oriented calculi 89
Totale 2.370
Categoria #
all - tutte 14.219
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.219


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
Totale 2.370