Le, Thi Thieu Hoa
 Distribuzione geografica
Continente #
NA - Nord America 533
EU - Europa 97
AS - Asia 19
Totale 649
Nazione #
US - Stati Uniti d'America 532
UA - Ucraina 25
IT - Italia 23
SE - Svezia 14
DE - Germania 12
CN - Cina 11
GB - Regno Unito 10
FI - Finlandia 8
VN - Vietnam 4
BG - Bulgaria 3
JO - Giordania 2
CA - Canada 1
FR - Francia 1
IL - Israele 1
RO - Romania 1
SG - Singapore 1
Totale 649
Città #
Fairfield 77
Jacksonville 53
Chandler 51
Seattle 47
Ashburn 42
Woodbridge 41
Wilmington 37
Cambridge 31
Houston 29
Ann Arbor 20
San Mateo 15
Princeton 11
Trento 9
Beijing 8
Boardman 6
Dearborn 6
New York 5
Cagliari 4
San Diego 4
Falls Church 3
Lawrence 3
Rome 3
Sofia 3
Dong Ket 2
Düsseldorf 2
Heidelberg 2
Milan 2
Altamura 1
Fuzhou 1
Hefei 1
Helsinki 1
Hendon 1
Hounslow 1
Islington 1
Kilburn 1
London 1
Los Angeles 1
Nanjing 1
Nice 1
Phoenix 1
Redmond 1
Reghin 1
Southwark 1
Toronto 1
Totale 533
Nome #
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 129
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 96
Refinement-based Synthesis of Correct Contract Model Decompositions 91
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 91
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 91
A Tag Contract Framework for Heterogeneous Systems 87
Tag Machines for Modeling Heterogeneous Systems 74
A Tag Contract Framework for Modeling Heterogeneous Systems 13
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 3
An Operational Contract Framework for Heterogeneous Systems 3
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 1
Totale 679
Categoria #
all - tutte 2.909
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 2.909


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201966 0 0 0 0 0 0 0 0 0 0 35 31
2019/2020183 14 8 13 19 22 13 25 17 21 17 5 9
2020/2021103 1 16 1 13 10 6 16 2 12 3 15 8
2021/202286 2 23 1 3 5 4 3 16 4 2 10 13
2022/2023105 10 12 1 15 11 16 5 8 21 2 4 0
2023/202436 3 6 2 4 5 8 2 5 0 1 0 0
Totale 679