Redondi, Gianluca
 Distribuzione geografica
Continente #
NA - Nord America 226
AS - Asia 181
EU - Europa 105
SA - Sud America 40
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 3
Totale 566
Nazione #
US - Stati Uniti d'America 219
VN - Vietnam 52
SG - Singapore 51
BR - Brasile 36
CN - Cina 34
IT - Italia 28
FR - Francia 16
HK - Hong Kong 11
NL - Olanda 11
KR - Corea 9
RU - Federazione Russa 9
FI - Finlandia 8
SE - Svezia 6
CZ - Repubblica Ceca 5
DE - Germania 5
ID - Indonesia 5
BD - Bangladesh 4
IQ - Iraq 4
LV - Lettonia 4
GB - Regno Unito 3
IE - Irlanda 3
IN - India 3
AR - Argentina 2
CA - Canada 2
HN - Honduras 2
JO - Giordania 2
MX - Messico 2
TW - Taiwan 2
AL - Albania 1
AT - Austria 1
BB - Barbados 1
CO - Colombia 1
DZ - Algeria 1
EE - Estonia 1
GE - Georgia 1
JP - Giappone 1
KE - Kenya 1
LT - Lituania 1
MC - Monaco 1
PH - Filippine 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 555
Città #
San Jose 52
Ashburn 34
Singapore 32
Ho Chi Minh City 15
Santa Clara 14
Hanoi 13
Columbus 10
Hong Kong 10
Seoul 9
Los Angeles 8
Amsterdam 7
Council Bluffs 7
Dallas 6
Trento 6
Buffalo 5
Milan 5
Beijing 4
Boardman 4
Gothenburg 4
Groningen 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
Phoenix 3
San Francisco 3
Washington 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
Almirante Tamandaré 1
Apizaco 1
Araucária 1
Asunción 1
Bariri 1
Bauru 1
Beberibe 1
Berlin 1
Bogotá 1
Brasília 1
Brno 1
Bucharest 1
Bắc Giang 1
Campina Grande 1
Cape Town 1
Caruaru 1
Changsha 1
Charlotte 1
Chengdu 1
Chicago 1
Columbia 1
Constantine 1
Cotia 1
Da Lat 1
Da Nang 1
Denver 1
Detroit 1
District Heights 1
Duque de Caxias 1
Durham 1
Fort Madison 1
Fortaleza 1
Glendale 1
Goiânia 1
Graz 1
Guarulhos 1
Guaíba 1
Ha Long 1
Hamburg 1
Hickory 1
Hillah 1
Hillsboro 1
Houston 1
Isidro Casanova 1
Itapoá 1
Totale 384
Nome #
SMT-based Verification of Parameterized Systems 241
Verification of SMT Systems with Quantifiers 110
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 105
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 74
Invariant Checking for SMT-based Systems with Quantifiers 36
Totale 566
Categoria #
all - tutte 2.274
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 2.274


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/2026258 7 9 28 60 12 8 72 13 14 13 8 14
2026/2027123 8 30 28 53 4 0 0 0 0 0 0 0
Totale 566