Le, Thi Thieu Hoa
 Distribuzione geografica
Continente #
NA - Nord America 580
EU - Europa 107
AS - Asia 66
Totale 753
Nazione #
US - Stati Uniti d'America 579
SG - Singapore 36
UA - Ucraina 25
IT - Italia 23
CN - Cina 17
SE - Svezia 15
DE - Germania 12
GB - Regno Unito 10
FI - Finlandia 8
RU - Federazione Russa 7
ID - Indonesia 5
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
TH - Thailandia 1
Totale 753
Città #
Fairfield 77
Jacksonville 53
Chandler 51
Seattle 47
Ashburn 42
Woodbridge 41
Wilmington 37
Cambridge 31
Houston 29
Singapore 29
Santa Clara 22
Ann Arbor 20
Columbus 20
San Mateo 15
Princeton 11
Trento 9
Beijing 8
Boardman 7
Moscow 7
Dearborn 6
Jakarta 5
New York 5
Cagliari 4
San Diego 4
Falls Church 3
Lawrence 3
Rome 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 620
Nome #
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 137
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 103
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 101
Refinement-based Synthesis of Correct Contract Model Decompositions 100
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 99
A Tag Contract Framework for Heterogeneous Systems 94
Tag Machines for Modeling Heterogeneous Systems 82
A Tag Contract Framework for Modeling Heterogeneous Systems 30
An Operational Contract Framework for Heterogeneous Systems 15
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 12
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 10
Totale 783
Categoria #
all - tutte 3.666
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.666


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202094 0 0 0 0 0 0 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/202594 1 0 13 42 6 30 2 0 0 0 0 0
Totale 783