Audemard, Gilles
 Distribuzione geografica
Continente #
NA - Nord America 162
EU - Europa 57
AS - Asia 21
Continente sconosciuto - Info sul continente non disponibili 2
Totale 242
Nazione #
US - Stati Uniti d'America 162
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
Totale 242
Città #
Chandler 45
Jacksonville 29
Ashburn 16
Hong Kong 8
Wilmington 8
Boardman 5
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
Norwalk 1
San Mateo 1
Totale 154
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 78
Verifying Industrial Hybrid Systems with MathSAT 57
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 54
Bounded Model Checking for Timed Systems 53
Totale 242
Categoria #
all - tutte 1.261
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.261


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2019/202035 4 4 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/202439 3 2 4 0 4 3 11 4 0 8 0 0
Totale 242