Redondi, Gianluca
 Distribuzione geografica
Continente #
EU - Europa 310
NA - Nord America 185
AS - Asia 170
SA - Sud America 71
AF - Africa 7
Totale 743
Nazione #
RU - Federazione Russa 234
US - Stati Uniti d'America 176
BR - Brasile 49
VN - Vietnam 42
SG - Singapore 39
CN - Cina 34
HK - Hong Kong 31
IT - Italia 19
GB - Regno Unito 12
DE - Germania 10
FR - Francia 9
NL - Olanda 8
IN - India 7
SE - Svezia 7
AR - Argentina 5
BD - Bangladesh 5
CA - Canada 5
EC - Ecuador 5
VE - Venezuela 4
ZA - Sudafrica 4
CL - Cile 3
CO - Colombia 3
ES - Italia 3
IL - Israele 3
MX - Messico 3
AT - Austria 2
GY - Guiana 2
IE - Irlanda 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BB - Barbados 1
EG - Egitto 1
FI - Finlandia 1
IQ - Iraq 1
JO - Giordania 1
KW - Kuwait 1
LT - Lituania 1
MA - Marocco 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
Totale 743
Città #
Dallas 36
San Jose 36
Hong Kong 31
Ho Chi Minh City 18
Ashburn 16
Beijing 15
Moscow 13
Singapore 13
Los Angeles 11
Hanoi 7
Atlanta 5
Hefei 5
Lauterbourg 5
Milan 5
Manchester 4
Amsterdam 3
Boardman 3
Council Bluffs 3
Da Nang 3
Denver 3
Haiphong 3
Hải Dương 3
Montreal 3
Orem 3
Poplar 3
Quito 3
Santiago 3
Trento 3
Bexley 2
Curno 2
Dublin 2
Georgetown 2
Guangzhou 2
Ibagué 2
Johannesburg 2
Joinville 2
Kronberg 2
New York 2
Phoenix 2
Santa Clara 2
Stockholm 2
The Dalles 2
Villaviciosa de Odón 2
Abatiá 1
Ajuricaba 1
Al Mansurah 1
Amman 1
Andradas 1
Annapolis 1
Avşar 1
Belo Horizonte 1
Boston 1
Brooklyn 1
Buffalo 1
Bursa 1
Bắc Ninh 1
Cacequi 1
Cajazeiras 1
Cali 1
Campinas 1
Cape Town 1
Capitão Poço 1
Capão do Leão 1
Caracas 1
Caratinga 1
Casablanca 1
Castelló de la Plana 1
Chapecó 1
Chennai 1
Chihuahua City 1
Cipolletti 1
City of London 1
Cleveland 1
Coronel Fabriciano 1
Cruzeiro 1
Curitiba 1
Da Lat 1
Des Moines 1
Duque de Caxias 1
Embu Guaçu 1
Engenheiro Beltrão 1
Erding 1
Erechim 1
Exeter 1
Feira de Santana 1
Fernandópolis 1
Franca 1
Frankfurt am Main 1
Guararema 1
Guarulhos 1
Guayaquil 1
Gujranwala 1
Hangzhou 1
Helena 1
Helsinki 1
Honolulu 1
Hyderabad 1
Ilhéus 1
Itanhandu 1
Itaquaquecetuba 1
Totale 346
Nome #
Automated Parameterized Verification of a Railway Protection System with Dafny 166
Invariant Checking for SMT-based Systems with Quantifiers 126
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 125
Verification of SMT Systems with Quantifiers 117
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 111
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 95
Formal Analysis of a Railway Signaling Block Designed in AIDA 25
Totale 765
Categoria #
all - tutte 2.151
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.151


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/2026588 24 69 37 74 32 17 59 195 45 36 0 0
Totale 765