Krishnamani, Kalyanasundaram
 Distribuzione geografica
Continente #
NA - Nord America 67
EU - Europa 8
AS - Asia 7
Totale 82
Nazione #
US - Stati Uniti d'America 67
SG - Singapore 4
UA - Ucraina 4
CN - Cina 3
SE - Svezia 2
DE - Germania 1
FI - Finlandia 1
Totale 82
Città #
Fairfield 11
Chandler 9
Jacksonville 8
Cambridge 7
Seattle 5
Houston 4
Ashburn 3
Beijing 3
San Mateo 3
Singapore 3
Woodbridge 3
Columbus 2
New York 2
Princeton 2
Ann Arbor 1
Boardman 1
Gunzenhausen 1
San Diego 1
Wilmington 1
Totale 70
Nome #
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 82
Totale 82
Categoria #
all - tutte 278
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 278


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202018 0 0 0 0 3 2 3 2 3 1 3 1
2020/202111 0 2 0 2 1 0 1 1 1 1 1 1
2021/20229 0 2 0 1 0 1 0 1 0 1 1 2
2022/202313 1 2 0 1 2 3 0 2 2 0 0 0
2023/20244 0 1 0 0 0 2 1 0 0 0 0 0
2024/20256 0 0 1 5 0 0 0 0 0 0 0 0
Totale 82