Redondi, Gianluca
 Distribuzione geografica
Continente #
AS - Asia 106
NA - Nord America 78
EU - Europa 73
SA - Sud America 34
AF - Africa 1
Totale 292
Nazione #
US - Stati Uniti d'America 75
SG - Singapore 46
BR - Brasile 30
CN - Cina 28
IT - Italia 16
VN - Vietnam 11
FR - Francia 9
RU - Federazione Russa 9
FI - Finlandia 7
HK - Hong Kong 7
NL - Olanda 7
SE - Svezia 6
CZ - Repubblica Ceca 5
LV - Lettonia 4
DE - Germania 3
ID - Indonesia 3
IE - Irlanda 3
AR - Argentina 2
GB - Regno Unito 2
HN - Honduras 2
IN - India 2
JO - Giordania 2
TW - Taiwan 2
BD - Bangladesh 1
CO - Colombia 1
IQ - Iraq 1
JP - Giappone 1
KR - Corea 1
MX - Messico 1
PL - Polonia 1
PY - Paraguay 1
RO - Romania 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 292
Città #
Singapore 31
Santa Clara 11
Amsterdam 7
Ashburn 7
Columbus 7
Hong Kong 7
Trento 6
Buffalo 5
Dallas 5
Beijing 4
Boardman 4
Gothenburg 4
Ho Chi Minh City 4
Lappeenranta 4
Los Angeles 4
Moscow 4
New York 4
Prague 4
Riga 4
Curitiba 3
Dublin 3
Jakarta 3
Bolzano 2
Cagliari 2
Elk Grove Village 2
Fairfield 2
Hanoi 2
Hefei 2
Helsinki 2
Kirkland 2
Lancaster 2
Pergine Valsugana 2
Princeton 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
Bogotá 1
Brasília 1
Brno 1
Bucharest 1
Bắc Giang 1
Campina Grande 1
Cape Town 1
Caruaru 1
Caxias do Sul 1
Changsha 1
Chengdu 1
Denver 1
Detroit 1
Duque de Caxias 1
Erbil 1
Goiânia 1
Guarulhos 1
Guaíba 1
Hamburg 1
Isidro Casanova 1
Itapoá 1
Jersey City 1
Järvenpää 1
Kaiserslautern 1
Lauro de Freitas 1
Lauterbourg 1
Magé 1
Meram 1
Milan 1
Nossa Senhora da Glória 1
Nova Friburgo 1
Nova Santa Rita 1
Ponta Grossa 1
Prescot 1
Redondo Beach 1
Resende 1
Resistencia 1
Rolândia 1
Rome 1
Salt Lake City 1
Santa Isabel 1
Seoul 1
Sterling 1
São Paulo 1
Tampa 1
Tatuí 1
Tokyo 1
Varginha 1
Viamão 1
Votuporanga 1
Vĩnh Tường 1
Warsaw 1
Xi'an 1
Totale 228
Nome #
SMT-based Verification of Parameterized Systems 136
Verification of SMT Systems with Quantifiers 55
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 49
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 40
Invariant Checking for SMT-based Systems with Quantifiers 23
Totale 303
Categoria #
all - tutte 1.643
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.643


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/2026118 7 9 28 60 12 2 0 0 0 0 0 0
Totale 303