Le, Thi Thieu Hoa
 Distribuzione geografica
Continente #
NA - Nord America 666
AS - Asia 187
EU - Europa 129
SA - Sud America 53
AF - Africa 2
Totale 1.037
Nazione #
US - Stati Uniti d'America 662
SG - Singapore 88
CN - Cina 64
BR - Brasile 46
UA - Ucraina 26
IT - Italia 23
RU - Federazione Russa 19
SE - Svezia 16
VN - Vietnam 15
DE - Germania 12
GB - Regno Unito 10
FI - Finlandia 8
ID - Indonesia 8
BD - Bangladesh 4
LV - Lettonia 4
BG - Bulgaria 3
JO - Giordania 3
CA - Canada 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
FR - Francia 2
PY - Paraguay 2
ZA - Sudafrica 2
AL - Albania 1
BO - Bolivia 1
CL - Cile 1
CO - Colombia 1
DM - Dominica 1
EE - Estonia 1
IE - Irlanda 1
IL - Israele 1
IN - India 1
IQ - Iraq 1
MX - Messico 1
RO - Romania 1
TH - Thailandia 1
UZ - Uzbekistan 1
Totale 1.037
Città #
Fairfield 77
Jacksonville 53
Chandler 51
Singapore 48
Seattle 47
Ashburn 46
Woodbridge 41
Wilmington 37
Cambridge 31
Houston 30
Dallas 29
Beijing 25
Santa Clara 22
Ann Arbor 20
Columbus 20
Moscow 18
San Mateo 15
Princeton 11
New York 10
Trento 9
Boardman 8
Hefei 8
Los Angeles 8
Council Bluffs 6
Dearborn 6
Jakarta 5
San Diego 5
Buffalo 4
Cagliari 4
Riga 4
Chicago 3
Falls Church 3
Hanoi 3
Ho Chi Minh City 3
Lawrence 3
Rio de Janeiro 3
Rome 3
Sofia 3
Brasília 2
Brno 2
Dhaka 2
Dong Ket 2
Düsseldorf 2
Haiphong 2
Heidelberg 2
Milan 2
Osasco 2
Phoenix 2
Salt Lake City 2
Stockholm 2
São Paulo 2
Altamura 1
Amman 1
Anápolis 1
Arroio Grande 1
Asunción 1
Bowie 1
Brooklyn 1
Bắc Ninh 1
Campinas 1
Campo Grande 1
Campo Mourão 1
Campos dos Goytacazes 1
Canoas 1
Cleveland 1
Contagem 1
Divinópolis 1
Dublin 1
East Hartford 1
Feira de Santana 1
Fuzhou 1
Guaratinguetá 1
Guarulhos 1
Handan 1
Hangzhou 1
Helsinki 1
Hendon 1
Hidrolândia 1
Hounslow 1
Ibirité 1
Islington 1
Itamogi 1
Jacareí 1
Jamshedpur 1
Jenks 1
Jianning 1
Jining 1
Johannesburg 1
Kediri 1
Kilburn 1
Lauterbourg 1
Lavras 1
London 1
Londrina 1
Miguelópolis 1
Milagro 1
Monroeville 1
Mosul 1
Nanjing 1
Nice 1
Totale 797
Nome #
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 160
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 128
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 127
Timed-Automata Based Schedulability Analysis for Distributed Firm Real-Time Systems: a Case Study 122
Refinement-based Synthesis of Correct Contract Model Decompositions 120
A Tag Contract Framework for Heterogeneous Systems 118
Tag Machines for Modeling Heterogeneous Systems 104
A Novel Technique for Computing Craig Interpolants in Satisfiabilility Modulo the Theory of Integer Linear Arithmetic 65
A Tag Contract Framework for Modeling Heterogeneous Systems 52
An Operational Contract Framework for Heterogeneous Systems 40
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata 31
Totale 1.067
Categoria #
all - tutte 4.730
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 4.730


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202172 0 0 0 0 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/2025181 1 0 13 42 6 30 5 19 9 21 19 16
2025/2026197 25 9 70 89 4 0 0 0 0 0 0 0
Totale 1.067