Redondi, Gianluca
 Distribuzione geografica
Continente #
EU - Europa 77
AS - Asia 35
NA - Nord America 19
SA - Sud America 16
Totale 147
Nazione #
RU - Federazione Russa 51
US - Stati Uniti d'America 17
BR - Brasile 14
HK - Hong Kong 14
SG - Singapore 12
IT - Italia 9
CN - Cina 8
NL - Olanda 7
DE - Germania 3
IE - Irlanda 2
SE - Svezia 2
BB - Barbados 1
CA - Canada 1
CL - Cile 1
FI - Finlandia 1
FR - Francia 1
GB - Regno Unito 1
IN - India 1
VE - Venezuela 1
Totale 147
Città #
Hong Kong 14
Moscow 13
Singapore 7
Hefei 5
Beijing 3
Trento 3
Amsterdam 2
Boardman 2
Dublin 2
Kronberg 2
The Dalles 2
Ashburn 1
Cajazeiras 1
Coronel Fabriciano 1
Embu Guaçu 1
Engenheiro Beltrão 1
Erding 1
Erechim 1
Fernandópolis 1
Franca 1
Helsinki 1
Itanhandu 1
Ji Paraná 1
La Villa del Rosario 1
Manchester 1
Milan 1
New York 1
Nova Odessa 1
Phoenix 1
Prosser 1
Pune 1
Saint Michael 1
Santa Clara 1
Santiago 1
Serra Azul 1
São Bernardo do Campo 1
São Gonçalo 1
Timon 1
Wilmington 1
Totale 83
Nome #
Invariant Checking for SMT-based Systems with Quantifiers 40
Verification of SMT Systems with Quantifiers 38
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 33
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 28
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 24
Totale 163
Categoria #
all - tutte 1.040
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.040


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/2025134 0 0 4 2 0 4 22 4 57 19 17 5
Totale 163