MENDES TORRES VIEIRA, HUGO FILIPE
 Distribuzione geografica
Continente #
NA - Nord America 882
EU - Europa 368
AS - Asia 198
SA - Sud America 22
Continente sconosciuto - Info sul continente non disponibili 5
Totale 1.475
Nazione #
US - Stati Uniti d'America 863
CN - Cina 104
SE - Svezia 103
UA - Ucraina 79
AT - Austria 57
SG - Singapore 42
GB - Regno Unito 31
FR - Francia 26
BG - Bulgaria 23
BR - Brasile 22
VN - Vietnam 22
RU - Federazione Russa 20
CA - Canada 19
KR - Corea 18
IT - Italia 10
BE - Belgio 9
IN - India 9
DE - Germania 7
EU - Europa 5
FI - Finlandia 2
MY - Malesia 2
NO - Norvegia 1
TR - Turchia 1
Totale 1.475
Città #
Jacksonville 178
Chandler 118
San Mateo 93
Beijing 80
Vienna 57
Ann Arbor 56
Andover 43
New York 42
Boardman 34
Singapore 26
Sofia 23
Wilmington 23
Dong Ket 22
Lawrence 22
Princeton 22
São Paulo 22
Moscow 20
Los Angeles 19
Woodbridge 19
Seoul 18
Ottawa 17
Rome 10
Brussels 9
Ogden 9
Ashburn 7
Guangzhou 5
Hefei 4
Houston 4
Nanjing 4
Seattle 4
Bangalore 3
Kunming 3
Nanchang 3
Dearborn 2
Helsinki 2
Phoenix 2
Dallas 1
Huzhou 1
Kocaeli 1
Kyiv 1
Mcallen 1
Montréal 1
Nuremberg 1
Oslo 1
Philadelphia 1
Redmond 1
Redwood City 1
San Pedro 1
Santa Clara 1
Shanghai 1
Tianjin 1
Toronto 1
Xian 1
Totale 1.042
Nome #
Global protocol implementations via attribute-based communication 89
A process calculus analysis of compensations 89
Analysis of service oriented software systems with the Conversation Calculus 81
Conversation types 77
A typed model for dynamic authorizations 77
The conversation calculus: a model of service-oriented computation 75
A type system for flexible role assignment in multiparty communicating systems 74
Extensionality of spatial observations in distributed systems 72
Behavioral theory for session-oriented calculi 72
Dynamic role authorization in multiparty conversations 71
Dynamic role authorization in multiparty conversations 70
Tools and verification 68
Typing progress in communication-centred systems 63
Type-based access control in data-centric systems 62
Combining behavioural types with security analysis 61
Typing liveness in multiparty communicating systems 57
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 56
Advanced mechanisms for service combination and transactions 56
Conversation types 54
Static analysis techniques for session-oriented calculi 52
Foundations of session types and behavioural contracts 51
An observational model for spatial logics 49
Totale 1.476
Categoria #
all - tutte 8.712
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 8.712


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020279 0 7 28 5 27 24 32 14 87 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/202545 18 27 0 0 0 0 0 0 0 0 0 0
Totale 1.476