IRIS Institutional Research Information System

Geatti, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 656
NA - Nord America 638
AS - Asia 321
SA - Sud America 100
Continente sconosciuto - Info sul continente non disponibili 32
AF - Africa 9
Totale 1.756
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 607
RU - Federazione Russa 439
SG - Singapore 119
BR - Brasile 85
CN - Cina 81
DE - Germania 50
VN - Vietnam 40
IT - Italia 33
HK - Hong Kong 26
FI - Finlandia 25
SE - Svezia 23
CA - Canada 16
NL - Olanda 16
IE - Irlanda 15
GB - Regno Unito 14
IN - India 13
FR - Francia 11
BE - Belgio 7
ES - Italia 7
AR - Argentina 6
IL - Israele 5
JP - Giappone 5
BD - Bangladesh 4
MX - Messico 4
PL - Polonia 4
SV - El Salvador 4
ID - Indonesia 3
PH - Filippine 3
PK - Pakistan 3
RO - Romania 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
EC - Ecuador 2
EE - Estonia 2
HN - Honduras 2
JO - Giordania 2
NI - Nicaragua 2
NO - Norvegia 2
SA - Arabia Saudita 2
TR - Turchia 2
UA - Ucraina 2
VE - Venezuela 2
AO - Angola 1
AT - Austria 1
AZ - Azerbaigian 1
CH - Svizzera 1
DZ - Algeria 1
EG - Egitto 1
GE - Georgia 1
GT - Guatemala 1
IQ - Iraq 1
IR - Iran 1
KH - Cambogia 1
KZ - Kazakistan 1
LT - Lituania 1
MA - Marocco 1
MY - Malesia 1
NG - Nigeria 1
NP - Nepal 1
OM - Oman 1
PE - Perù 1
PR - Porto Rico 1
SN - Senegal 1
SR - Suriname 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
UY - Uruguay 1
Totale 1.724
Salva come PNG Salva come JPEG
Città #
San Jose 81
Council Bluffs 79
Chandler 43
Singapore 43
Ashburn 32
The Dalles 31
Boardman 30
Dallas 29
Moscow 27
Beijing 25
New York 25
Hong Kong 24
Helsinki 16
Munich 16
Dublin 15
Ho Chi Minh City 12
Los Angeles 12
Buffalo 11
Hefei 11
Kronberg 10
Turku 9
Brooklyn 8
Hanoi 8
São Paulo 8
Brussels 7
Rome 7
Trento 7
Chicago 6
Lauterbourg 6
Wilmington 6
Amsterdam 5
Denver 5
Falkenstein 5
Guangzhou 5
Phoenix 5
Santa Clara 5
Stockholm 5
Tokyo 5
Miami 4
Montreal 4
North Bergen 4
Nuremberg 4
San Salvador 4
Warsaw 4
Ann Arbor 3
Brasília 3
Caerano di San Marco 3
Chennai 3
Houston 3
Johannesburg 3
Lahore 3
London 3
Orem 3
Seattle 3
Timisoara 3
Toronto 3
Amman 2
Assago 2
Atlanta 2
Belo Horizonte 2
Casarsa della Delizia 2
Dammam 2
Davenport 2
Dong Ket 2
Hangzhou 2
Hanover 2
Jacksonville 2
Juiz de Fora 2
Managua 2
Norwalk 2
Nova Iguaçu 2
Oslo 2
Ottawa 2
Philadelphia 2
Porto Alegre 2
Pune 2
Quezon City 2
Quito 2
Recife 2
Redwood City 2
Rio de Janeiro 2
Shenzhen 2
Sorocaba 2
Tel Aviv 2
Thái Bình 2
Tianjin 2
Abu Dhabi 1
Albignasego 1
Alcalá de Henares 1
Alcester 1
Alcobendas 1
Alexandria 1
Angra dos Reis 1
Ankara 1
Astana 1
Augusta 1
Baghdad 1
Baku 1
Baltimore 1
Barquisimeto 1
Totale 818
Salva come PNG Salva come JPEG
Nome #
A first-order logic characterization of safety and co-safety languages 203
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 185
Safe Decomposition of Startup Requirements: Verification and Synthesis 181
A first-order logic characterisation of safety and co-safety languages 179
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 156
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 151
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 150
Reactive Synthesis from Extended Bounded Response LTL Specifications 143
GR(1) is equivalent to R(1) 140
Expressiveness of Extended Bounded Response LTL 138
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 89
Safety and Liveness on Finite Words 41
Totale 1.756
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.753
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 7.753
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202259 0 0 0 0 21 2 3 11 3 3 5 11
2022/2023114 9 18 1 20 2 6 11 5 21 8 6 7
2023/2024120 6 2 8 9 6 13 4 10 6 21 1 34
2024/2025351 7 2 13 10 9 11 8 18 127 35 72 39
2025/2026890 32 36 65 74 57 30 90 335 53 63 47 8
2026/2027205 35 37 69 61 3 0 0 0 0 0 0 0
Totale 1.756