Redondi, Gianluca
 Distribuzione geografica
Continente #
AS - Asia 177
NA - Nord America 107
EU - Europa 82
SA - Sud America 39
AF - Africa 2
Totale 407
Nazione #
US - Stati Uniti d'America 104
VN - Vietnam 52
SG - Singapore 50
BR - Brasile 35
CN - Cina 32
IT - Italia 19
FR - Francia 13
HK - Hong Kong 11
KR - Corea 9
RU - Federazione Russa 9
FI - Finlandia 8
NL - Olanda 7
SE - Svezia 6
CZ - Repubblica Ceca 5
ID - Indonesia 5
IQ - Iraq 4
LV - Lettonia 4
BD - Bangladesh 3
DE - Germania 3
IE - Irlanda 3
IN - India 3
AR - Argentina 2
GB - Regno Unito 2
HN - Honduras 2
JO - Giordania 2
TW - Taiwan 2
AT - Austria 1
CO - Colombia 1
GE - Georgia 1
JP - Giappone 1
KE - Kenya 1
MX - Messico 1
PH - Filippine 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 407
Città #
Singapore 31
Ho Chi Minh City 15
San Jose 15
Hanoi 13
Ashburn 12
Santa Clara 11
Hong Kong 10
Seoul 9
Amsterdam 7
Columbus 7
Los Angeles 7
Trento 6
Buffalo 5
Dallas 5
Beijing 4
Boardman 4
Gothenburg 4
Lappeenranta 4
Moscow 4
New York 4
Prague 4
Riga 4
Curitiba 3
Dublin 3
Haiphong 3
Helsinki 3
Jakarta 3
Lauterbourg 3
L’Aquila 3
Bolzano 2
Bến Tre 2
Cagliari 2
Caxias do Sul 2
Elk Grove Village 2
Erbil 2
Fairfield 2
Hefei 2
Kirkland 2
Lancaster 2
Lyon 2
Orem 2
Pergine Valsugana 2
Princeton 2
Quận Ba 2
San Pedro Sula 2
Shanghai 2
Stockholm 2
Taipei 2
Tianjin 2
Washington 2
Almirante Tamandaré 1
Apizaco 1
Araucária 1
Asunción 1
Bariri 1
Bauru 1
Beberibe 1
Bogotá 1
Brasília 1
Brno 1
Bucharest 1
Bắc Giang 1
Campina Grande 1
Cape Town 1
Caruaru 1
Changsha 1
Chengdu 1
Cotia 1
Da Lat 1
Da Nang 1
Denver 1
Detroit 1
Duque de Caxias 1
Durham 1
Fortaleza 1
Goiânia 1
Graz 1
Guarulhos 1
Guaíba 1
Ha Long 1
Hamburg 1
Hillah 1
Houston 1
Isidro Casanova 1
Itapoá 1
Jersey City 1
Järvenpää 1
Kaiserslautern 1
Kirkuk 1
Lauro de Freitas 1
Lucena City 1
Magé 1
Meram 1
Milan 1
Nairobi 1
New Delhi 1
Nossa Senhora da Glória 1
Nova Friburgo 1
Nova Santa Rita 1
Ponta Grossa 1
Totale 298
Nome #
SMT-based Verification of Parameterized Systems 183
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 86
Verification of SMT Systems with Quantifiers 71
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 52
Invariant Checking for SMT-based Systems with Quantifiers 26
Totale 418
Categoria #
all - tutte 1.814
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 1.814


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224 0 0 0 0 0 0 0 0 2 0 0 2
2022/202310 1 0 0 0 0 1 0 0 8 0 0 0
2023/202420 0 0 2 1 1 5 0 0 0 5 0 6
2024/2025151 12 21 10 21 17 11 2 4 4 19 18 12
2025/2026233 7 9 28 60 12 8 72 13 14 10 0 0
Totale 418