IRIS Institutional Research Information System

Geatti, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 651
NA - Nord America 546
AS - Asia 313
SA - Sud America 100
Continente sconosciuto - Info sul continente non disponibili 32
AF - Africa 9
Totale 1.651
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 528
RU - Federazione Russa 438
SG - Singapore 117
BR - Brasile 85
CN - Cina 81
DE - Germania 50
VN - Vietnam 40
IT - Italia 32
FI - Finlandia 25
HK - Hong Kong 24
SE - Svezia 22
NL - Olanda 16
IE - Irlanda 15
CA - Canada 14
IN - India 13
GB - Regno Unito 12
FR - Francia 11
BE - Belgio 7
ES - Italia 7
AR - Argentina 6
JP - Giappone 5
BD - Bangladesh 4
IL - Israele 4
MX - Messico 4
PL - Polonia 4
PK - Pakistan 3
RO - Romania 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
EC - Ecuador 2
EE - Estonia 2
ID - Indonesia 2
JO - Giordania 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
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
PH - Filippine 1
SN - Senegal 1
SR - Suriname 1
SY - Repubblica araba siriana 1
TW - Taiwan 1
UY - Uruguay 1
Totale 1.619
Salva come PNG Salva come JPEG
Città #
San Jose 81
Council Bluffs 77
Chandler 43
Singapore 41
Ashburn 31
The Dalles 31
Boardman 30
Dallas 27
Moscow 27
Beijing 25
Hong Kong 24
New York 17
Helsinki 16
Munich 16
Dublin 15
Ho Chi Minh City 12
Hefei 11
Los Angeles 11
Kronberg 10
Turku 9
Hanoi 8
São Paulo 8
Brooklyn 7
Brussels 7
Rome 7
Trento 7
Lauterbourg 6
Wilmington 6
Amsterdam 5
Falkenstein 5
Guangzhou 5
Santa Clara 5
Stockholm 5
Tokyo 5
Denver 4
Montreal 4
Nuremberg 4
Phoenix 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
Amman 2
Assago 2
Atlanta 2
Belo Horizonte 2
Casarsa della Delizia 2
Chicago 2
Dammam 2
Dong Ket 2
Hangzhou 2
Hanover 2
Jacksonville 2
Juiz de Fora 2
North Bergen 2
Norwalk 2
Nova Iguaçu 2
Oslo 2
Ottawa 2
Porto Alegre 2
Pune 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
Toronto 2
Abu Dhabi 1
Albignasego 1
Alcalá de Henares 1
Alcester 1
Alcobendas 1
Alexandria 1
Angra dos Reis 1
Ankara 1
Astana 1
Baghdad 1
Baku 1
Barquisimeto 1
Bellingham 1
Belém 1
Berlin 1
Betim 1
Bhubaneswar 1
Bolzano 1
Boston 1
Brandon 1
Buenos Aires 1
Totale 772
Salva come PNG Salva come JPEG
Nome #
A first-order logic characterization of safety and co-safety languages 193
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker 178
Safe Decomposition of Startup Requirements: Verification and Synthesis 172
A first-order logic characterisation of safety and co-safety languages 167
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 146
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis 144
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker 143
Reactive Synthesis from Extended Bounded Response LTL Specifications 135
GR(1) is equivalent to R(1) 132
Expressiveness of Extended Bounded Response LTL 132
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis 81
Safety and Liveness on Finite Words 28
Totale 1.651
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.375
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.375
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202262 0 0 0 3 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/2027100 35 37 28 0 0 0 0 0 0 0 0 0
Totale 1.651