Le, Thi Thieu Hoa
 Distribuzione geografica
Continente #
NA - Nord America 534
EU - Europa 100
AS - Asia 26
Totale 660
Nazione #
US - Stati Uniti d'America 533
UA - Ucraina 25
IT - Italia 23
SE - Svezia 15
DE - Germania 12
CN - Cina 11
GB - Regno Unito 10
FI - Finlandia 8
SG - Singapore 8
VN - Vietnam 4
BG - Bulgaria 3
CZ - Repubblica Ceca 2
JO - Giordania 2
CA - Canada 1
FR - Francia 1
IL - Israele 1
RO - Romania 1
Totale 660
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
Singapore 3
Sofia 3
Brno 2
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
Stockholm 1
Toronto 1
Totale 539
Nome #
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 130
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 96
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 93
Refinement-based Synthesis of Correct Contract Model Decompositions 92
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 91
A Tag Contract Framework for Heterogeneous Systems 88
Tag Machines for Modeling Heterogeneous Systems 74
A Tag Contract Framework for Modeling Heterogeneous Systems 15
An Operational Contract Framework for Heterogeneous Systems 5
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 4
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 2
Totale 690
Categoria #
all - tutte 3.170
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 3.170


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020169 0 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/202446 3 6 2 4 5 8 2 5 0 1 0 10
2024/20251 1 0 0 0 0 0 0 0 0 0 0 0
Totale 690