Redondi, Gianluca
 Distribuzione geografica
Continente #
NA - Nord America 128
EU - Europa 107
AS - Asia 100
SA - Sud America 60
AF - Africa 5
Totale 400
Nazione #
US - Stati Uniti d'America 119
RU - Federazione Russa 53
BR - Brasile 45
SG - Singapore 26
CN - Cina 22
VN - Vietnam 20
HK - Hong Kong 19
GB - Regno Unito 12
IT - Italia 12
NL - Olanda 8
CA - Canada 5
EC - Ecuador 5
SE - Svezia 5
DE - Germania 4
FR - Francia 4
IN - India 4
AR - Argentina 3
MX - Messico 3
VE - Venezuela 3
ZA - Sudafrica 3
AT - Austria 2
BD - Bangladesh 2
CO - Colombia 2
ES - Italia 2
IE - Irlanda 2
IL - Israele 2
BB - Barbados 1
CL - Cile 1
EG - Egitto 1
FI - Finlandia 1
GY - Guiana 1
IQ - Iraq 1
JO - Giordania 1
LT - Lituania 1
MA - Marocco 1
PK - Pakistan 1
PL - Polonia 1
TR - Turchia 1
UZ - Uzbekistan 1
Totale 400
Città #
Dallas 36
Hong Kong 19
Ashburn 15
Moscow 13
Singapore 13
Beijing 12
Ho Chi Minh City 9
Los Angeles 9
Atlanta 5
Hefei 5
Manchester 4
Amsterdam 3
Boardman 3
Denver 3
Hanoi 3
Montreal 3
Poplar 3
Quito 3
Trento 3
Bexley 2
Curno 2
Da Nang 2
Dublin 2
Haiphong 2
Hải Dương 2
Ibagué 2
Johannesburg 2
Joinville 2
Kronberg 2
Milan 2
Orem 2
Phoenix 2
Stockholm 2
The Dalles 2
Villaviciosa de Odón 2
Abatiá 1
Ajuricaba 1
Al Mansurah 1
Amman 1
Andradas 1
Annapolis 1
Belo Horizonte 1
Boston 1
Brooklyn 1
Bursa 1
Cacequi 1
Cajazeiras 1
Campinas 1
Caratinga 1
Casablanca 1
Chapecó 1
Chennai 1
Chihuahua City 1
Cipolletti 1
City of London 1
Cleveland 1
Coronel Fabriciano 1
Cruzeiro 1
Curitiba 1
Des Moines 1
Duque de Caxias 1
Embu Guaçu 1
Engenheiro Beltrão 1
Erding 1
Erechim 1
Feira de Santana 1
Fernandópolis 1
Franca 1
Frankfurt am Main 1
Georgetown 1
Guarulhos 1
Guayaquil 1
Gujranwala 1
Helena 1
Helsinki 1
Honolulu 1
Ilhéus 1
Itanhandu 1
Itaquaquecetuba 1
Jerusalem 1
Ji Paraná 1
Jundiaí 1
La Villa del Rosario 1
Lavras 1
Louisville 1
Makhachkala 1
Manaus 1
Marcação 1
Mexico City 1
Monte Aprazível 1
Mumbai 1
Nagpur 1
New York 1
Nova Odessa 1
Palotina 1
Park Forest 1
Ponte Nova 1
Porto Alegre 1
Prosser 1
Providence 1
Totale 261
Nome #
Automated Parameterized Verification of a Railway Protection System with Dafny 95
Verification of SMT Systems with Quantifiers 75
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 74
Invariant Checking for SMT-based Systems with Quantifiers 68
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 54
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 53
Totale 419
Categoria #
all - tutte 1.626
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.626


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20228 2 0 0 4 0 0 0 1 0 0 0 1
2022/202310 0 0 0 1 0 0 1 5 3 0 0 0
2023/202411 0 0 2 0 1 0 3 2 1 1 0 1
2024/2025148 0 0 4 2 0 4 22 4 57 19 17 19
2025/2026242 24 69 37 74 32 6 0 0 0 0 0 0
Totale 419