MENDES TORRES VIEIRA, HUGO FILIPE
 Distribuzione geografica
Continente #
NA - Nord America 1.111
EU - Europa 500
AS - Asia 286
SA - Sud America 28
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 5
Totale 1.945
Nazione #
US - Stati Uniti d'America 1.092
RU - Federazione Russa 142
CN - Cina 124
SE - Svezia 103
UA - Ucraina 81
SG - Singapore 74
AT - Austria 57
GB - Regno Unito 31
BR - Brasile 27
FR - Francia 26
BG - Bulgaria 23
VN - Vietnam 22
HK - Hong Kong 20
CA - Canada 19
KR - Corea 18
TR - Turchia 17
KE - Kenya 15
DE - Germania 13
IT - Italia 10
BE - Belgio 9
IN - India 9
EU - Europa 5
FI - Finlandia 2
MY - Malesia 2
ES - Italia 1
GR - Grecia 1
NO - Norvegia 1
VE - Venezuela 1
Totale 1.945
Città #
Ashburn 203
Jacksonville 178
Chandler 118
San Mateo 93
Beijing 80
Vienna 57
Ann Arbor 56
Boardman 56
Andover 43
New York 42
Singapore 32
Sofia 23
Wilmington 23
Dong Ket 22
Lawrence 22
Princeton 22
São Paulo 22
Hong Kong 20
Moscow 20
Shanghai 20
Los Angeles 19
Woodbridge 19
Seoul 18
Ottawa 17
Istanbul 16
Nairobi 15
Rome 10
Brussels 9
Ogden 9
Guangzhou 5
Hefei 4
Houston 4
Nanjing 4
Seattle 4
Bangalore 3
Kunming 3
Nanchang 3
Dearborn 2
Helsinki 2
Munich 2
Phoenix 2
Athens 1
Belém 1
Dallas 1
Foz do Iguaçu 1
Hangzhou 1
Huzhou 1
Jaguaré 1
Kocaeli 1
Krasnodar 1
Kyiv 1
Los Teques 1
Mcallen 1
Montréal 1
Nova Hartz 1
Nuremberg 1
Oslo 1
Philadelphia 1
Redmond 1
Redwood City 1
San Pedro 1
Santa Clara 1
São Gonçalo 1
Tianjin 1
Toronto 1
Xian 1
Totale 1.347
Nome #
A process calculus analysis of compensations 112
Global protocol implementations via attribute-based communication 111
Analysis of service oriented software systems with the Conversation Calculus 100
A typed model for dynamic authorizations 97
Conversation types 96
A type system for flexible role assignment in multiparty communicating systems 96
The conversation calculus: a model of service-oriented computation 95
Behavioral theory for session-oriented calculi 95
Dynamic role authorization in multiparty conversations 91
Dynamic role authorization in multiparty conversations 91
Extensionality of spatial observations in distributed systems 91
Tools and verification 89
Combining behavioural types with security analysis 86
Typing progress in communication-centred systems 86
Type-based access control in data-centric systems 84
Typing liveness in multiparty communicating systems 77
Advanced mechanisms for service combination and transactions 77
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 76
Foundations of session types and behavioural contracts 76
Conversation types 75
Static analysis techniques for session-oriented calculi 73
An observational model for spatial logics 72
Totale 1.946
Categoria #
all - tutte 11.635
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 11.635


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202055 0 0 0 0 0 0 0 0 0 9 29 17
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/2025515 18 27 41 121 7 21 40 26 106 108 0 0
Totale 1.946