GHYSELEN, ALEXIS
 Distribuzione geografica
Continente #
AS - Asia 180
NA - Nord America 53
EU - Europa 47
SA - Sud America 6
AF - Africa 1
Totale 287
Nazione #
CN - Cina 71
SG - Singapore 53
US - Stati Uniti d'America 52
IT - Italia 14
KR - Corea 14
VN - Vietnam 13
FR - Francia 10
HK - Hong Kong 10
DE - Germania 8
IN - India 8
BR - Brasile 5
JP - Giappone 4
ES - Italia 3
GB - Regno Unito 3
TW - Taiwan 3
IE - Irlanda 2
TR - Turchia 2
AT - Austria 1
BE - Belgio 1
BG - Bulgaria 1
CA - Canada 1
CO - Colombia 1
FI - Finlandia 1
ID - Indonesia 1
IQ - Iraq 1
NL - Olanda 1
RU - Federazione Russa 1
SC - Seychelles 1
SE - Svezia 1
Totale 287
Città #
Hefei 42
Singapore 40
Seoul 14
San Jose 10
Hong Kong 9
Santa Clara 9
Bologna 5
Ashburn 4
Beijing 4
Bengaluru 4
Council Bluffs 4
Freising 4
Nointot 4
Hanoi 3
Ho Chi Minh City 3
Neihu District 3
Tokyo 3
Boardman 2
Dallas 2
Dublin 2
Hyderabad 2
Hải Dương 2
Lauterbourg 2
Madrid 2
Milan 2
New York 2
Sheffield 2
The Dalles 2
Toenisvorst 2
Amsterdam 1
Baghdad 1
Baoding 1
Bochum 1
Brooklyn 1
Brussels 1
Buffalo 1
Carapicuíba 1
Chennai 1
Chicago 1
Foshan 1
Guangzhou 1
Istanbul 1
Izmir 1
Jakarta 1
Lappeenranta 1
Montreal 1
Munich 1
Nanjing 1
New Delhi 1
Ninh Bình 1
Orem 1
Orly 1
Parauapebas 1
Piscataway 1
Praia Grande 1
Redondo Beach 1
Rio de Janeiro 1
Salisbury 1
Shinjuku 1
Sofia 1
Stockholm 1
São Paulo 1
Tongling 1
Topeka 1
Tower Hamlets 1
Vienna 1
Villavicencio 1
Totale 227
Nome #
On Model-Checking Higher-Order Effectful Programs 155
Open Higher-Order Logic 141
Totale 296
Categoria #
all - tutte 784
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 784


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202429 0 0 11 10 2 3 0 0 1 0 1 1
2024/202597 6 17 4 7 8 4 9 8 0 0 17 17
2025/2026170 20 39 28 18 14 4 12 3 21 8 3 0
Totale 296