Redondi, Gianluca
 Distribuzione geografica
Continente #
AS - Asia 43
NA - Nord America 29
EU - Europa 24
Totale 96
Nazione #
US - Stati Uniti d'America 29
SG - Singapore 23
CN - Cina 10
CZ - Repubblica Ceca 5
IT - Italia 5
SE - Svezia 5
ID - Indonesia 3
DE - Germania 2
FI - Finlandia 2
FR - Francia 2
GB - Regno Unito 2
IN - India 2
JO - Giordania 2
TW - Taiwan 2
IE - Irlanda 1
TR - Turchia 1
Totale 96
Città #
Singapore 20
Columbus 7
Ashburn 5
Boardman 4
Gothenburg 4
Prague 4
Trento 4
Jakarta 3
Fairfield 2
Helsinki 2
Kirkland 2
New York 2
Princeton 2
Shanghai 2
Taipei 2
Tianjin 2
Washington 2
Brno 1
Dublin 1
Hamburg 1
Kaiserslautern 1
Meram 1
Prescot 1
Santa Clara 1
Stockholm 1
Totale 77
Nome #
SMT-based Verification of Parameterized Systems 44
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 27
Verification of SMT Systems with Quantifiers 19
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 13
Invariant Checking for SMT-based Systems with Quantifiers 4
Totale 107
Categoria #
all - tutte 946
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 946


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/202573 12 21 10 21 9 0 0 0 0 0 0 0
Totale 107