IRIS
MENDES TORRES VIEIRA, HUGO FILIPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.922
EU - Europa 1.874
AS - Asia 622
SA - Sud America 130
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 6
Totale 4.584
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.888
RU - Federazione Russa 1.459
CN - Cina 239
SG - Singapore 169
BR - Brasile 108
SE - Svezia 104
UA - Ucraina 83
AT - Austria 57
VN - Vietnam 53
FR - Francia 44
GB - Regno Unito 41
HK - Hong Kong 35
IN - India 29
DE - Germania 24
BG - Bulgaria 23
TR - Turchia 23
CA - Canada 22
IL - Israele 22
KR - Corea 18
KE - Kenya 17
IT - Italia 13
BE - Belgio 10
AR - Argentina 9
BD - Bangladesh 8
CO - Colombia 7
FI - Finlandia 6
MX - Messico 6
EU - Europa 5
SA - Arabia Saudita 5
ES - Italia 4
PA - Panama 4
PK - Pakistan 4
ZA - Sudafrica 4
MY - Malesia 3
TN - Tunisia 3
UZ - Uzbekistan 3
VE - Venezuela 3
AL - Albania 2
DZ - Algeria 2
IQ - Iraq 2
PE - Perù 2
PL - Polonia 2
BB - Barbados 1
CI - Costa d'Avorio 1
EC - Ecuador 1
EG - Egitto 1
ET - Etiopia 1
GR - Grecia 1
ID - Indonesia 1
JM - Giamaica 1
JO - Giordania 1
JP - Giappone 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
NO - Norvegia 1
NP - Nepal 1
OM - Oman 1
PH - Filippine 1
QA - Qatar 1
Totale 4.583
Salva come PNG Salva come JPEG
Città #
Moscow 457
Council Bluffs 409
Ashburn 304
Jacksonville 178
Beijing 125
Chandler 118
San Jose 101
San Mateo 93
Singapore 84
Hefei 70
Ann Arbor 57
Vienna 57
Boardman 56
New York 49
Dallas 45
Andover 43
Hong Kong 34
Los Angeles 31
São Paulo 29
Sofia 23
Wilmington 23
Columbus 22
Dong Ket 22
Lawrence 22
Princeton 22
Tel Aviv 22
Shanghai 20
Woodbridge 19
Seoul 18
Istanbul 17
Nairobi 17
Ottawa 17
Lauterbourg 15
Ho Chi Minh City 13
Munich 11
Brussels 10
Rome 10
Ogden 9
Houston 6
Denver 5
Guangzhou 5
Hanoi 5
Orem 5
Brooklyn 4
Chennai 4
Medellín 4
Nanjing 4
Panama City 4
Phoenix 4
Santa Clara 4
Seattle 4
Turku 4
Atlanta 3
Bangalore 3
Blumenau 3
Da Nang 3
Haiphong 3
Kunming 3
Mexico City 3
Nanchang 3
Poplar 3
Rio de Janeiro 3
Riyadh 3
Ankara 2
Belo Horizonte 2
Boston 2
Brasília 2
Chicago 2
Dearborn 2
Florianópolis 2
Goiânia 2
Helsinki 2
Lahore 2
Lima 2
Nuremberg 2
Paris 2
Presidente Prudente 2
Querétaro 2
St Petersburg 2
São Gonçalo 2
Tashkent 2
Toronto 2
Tunis 2
Abidjan 1
Addis Ababa 1
Ahmedabad 1
Algiers 1
Alvorada 1
Amman 1
Amparo 1
Angra dos Reis 1
Apiacás 1
Araguari 1
Arlington 1
Athens 1
Aurangabad 1
Avellaneda 1
Barbacena 1
Barão de Cocais 1
Batalha 1
Totale 2.824
Salva come PNG Salva come JPEG
Nome #
Global protocol implementations via attribute-based communication 232
A type system for flexible role assignment in multiparty communicating systems 227
Conversation types 224
Extensionality of spatial observations in distributed systems 221
Dynamic role authorization in multiparty conversations 220
A process calculus analysis of compensations 219
Analysis of service oriented software systems with the Conversation Calculus 219
A typed model for dynamic authorizations 219
Behavioral theory for session-oriented calculi 212
Dynamic role authorization in multiparty conversations 208
Combining behavioural types with security analysis 205
Foundations of session types and behavioural contracts 205
Tools and verification 205
The conversation calculus: a model of service-oriented computation 202
Type-based access control in data-centric systems 201
Typing progress in communication-centred systems 200
Advanced mechanisms for service combination and transactions 198
Conversation types 197
Typing liveness in multiparty communicating systems 196
An observational model for spatial logics 194
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications 193
Static analysis techniques for session-oriented calculi 187
Totale 4.584
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.569
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 20.569
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022161 0 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/20261.878 79 103 485 725 17 39 116 23 109 40 108 34
2026/2027336 211 124 1 0 0 0 0 0 0 0 0 0
Totale 4.584