Le, Thi Thieu Hoa
 Distribuzione geografica
Continente #
NA - Nord America 104
EU - Europa 32
AS - Asia 3
Totale 139
Nazione #
US - Stati Uniti d'America 104
IT - Italia 11
FR - Francia 10
DE - Germania 7
VN - Vietnam 3
FI - Finlandia 2
GB - Regno Unito 2
Totale 139
Città #
Buffalo 13
Ashburn 10
Fairfield 10
Santa Cruz 10
Woodbridge 9
Seattle 8
Houston 6
Trento 6
Wilmington 5
Cambridge 3
Mountain View 3
Chicago 2
Columbus 2
Dong Ket 2
Helsinki 2
Los Angeles 2
Rome 2
Auburn 1
Clearwater 1
Des Moines 1
Las Vegas 1
Mestre 1
Nuneaton 1
Phoenix 1
Povo 1
Riva 1
San Diego 1
San Francisco 1
University Park 1
Totale 107
Nome #
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-41bb-72ef-e053-3705fe0ad821 126
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata, file c3267f85-7723-4bc2-92b5-325f9e7d929c 6
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic, file 212ecb90-7f71-45b3-ad70-11e30e28834c 4
A Tag Contract Framework for Modeling Heterogeneous Systems, file d422a8e7-5bee-4bf3-9fab-95d85053c9e1 4
An Operational Contract Framework for Heterogeneous Systems, file 2bbf9421-3ee3-49d5-9ad7-f6b9d9c14cb0 3
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-3ac2-72ef-e053-3705fe0ad821 1
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study, file e3835193-31e4-72ef-e053-3705fe0ad821 1
Totale 145
Categoria #
all - tutte 543
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 543


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 0 5 7
2019/202033 4 4 1 5 5 1 3 3 3 1 2 1
2020/202116 2 2 1 0 2 0 3 0 2 0 2 2
2021/202229 2 1 0 0 5 1 0 1 1 2 14 2
2022/202312 0 0 7 2 0 2 0 0 0 0 1 0
2023/202422 2 0 0 2 3 7 3 3 0 0 2 0
Totale 145