Redondi, Gianluca
 Distribuzione geografica
Continente #
EU - Europa 14
AS - Asia 10
NA - Nord America 5
Totale 29
Nazione #
US - Stati Uniti d'America 5
HK - Hong Kong 4
IT - Italia 4
CN - Cina 3
DE - Germania 3
IE - Irlanda 2
RU - Federazione Russa 2
SE - Svezia 2
SG - Singapore 2
FR - Francia 1
IN - India 1
Totale 29
Città #
Hong Kong 4
Beijing 3
Trento 3
Boardman 2
Dublin 2
Kronberg 2
Singapore 2
Erding 1
Milan 1
Phoenix 1
Pune 1
Wilmington 1
Totale 23
Nome #
Verification of SMT Systems with Quantifiers 19
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning 16
Invariant Checking for SMT-based Systems with Quantifiers 2
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking 1
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement 1
Totale 39
Categoria #
all - tutte 510
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 510


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/202510 0 0 4 2 0 4 0 0 0 0 0 0
Totale 39