Audemard, Gilles
 Distribuzione geografica
Continente #
NA - Nord America 169
EU - Europa 57
AS - Asia 22
Continente sconosciuto - Info sul continente non disponibili 2
Totale 250
Nazione #
US - Stati Uniti d'America 169
DE - Germania 15
UA - Ucraina 14
HK - Hong Kong 8
FI - Finlandia 7
SE - Svezia 7
IN - India 6
IT - Italia 4
RU - Federazione Russa 4
VN - Vietnam 4
IE - Irlanda 3
EU - Europa 2
FR - Francia 2
BE - Belgio 1
CN - Cina 1
IL - Israele 1
IR - Iran 1
SG - Singapore 1
Totale 250
Città #
Chandler 45
Jacksonville 29
Ashburn 16
Boardman 11
Hong Kong 8
Wilmington 8
Dong Ket 4
Houston 4
Dearborn 3
Dublin 3
Helsinki 3
Kronberg 3
Phoenix 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Augusta 2
Milan 2
Pune 2
Beijing 1
Brussels 1
Cologne 1
Cologno Al Serio 1
Miami 1
Norwalk 1
San Mateo 1
Singapore 1
Totale 162
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 81
Verifying Industrial Hybrid Systems with MathSAT 58
Bounded Model Checking for Timed Systems 56
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 55
Totale 250
Categoria #
all - tutte 1.436
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 1.436


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202027 0 0 1 0 4 3 4 0 5 5 4 1
2020/202136 4 0 4 1 4 2 5 1 0 9 1 5
2021/202212 0 0 0 0 2 0 0 2 2 0 0 6
2022/202382 2 9 1 15 6 12 0 5 18 6 6 2
2023/202444 3 2 4 0 4 3 11 4 0 8 0 5
2024/20253 1 2 0 0 0 0 0 0 0 0 0 0
Totale 250