Audemard, Gilles
 Distribuzione geografica
Continente #
NA - Nord America 176
EU - Europa 59
AS - Asia 35
Continente sconosciuto - Info sul continente non disponibili 2
Totale 272
Nazione #
US - Stati Uniti d'America 175
DE - Germania 15
UA - Ucraina 14
SG - Singapore 10
FI - Finlandia 8
HK - Hong Kong 8
SE - Svezia 7
IN - India 6
CN - Cina 4
IT - Italia 4
RU - Federazione Russa 4
VN - Vietnam 4
IE - Irlanda 3
EU - Europa 2
FR - Francia 2
BE - Belgio 1
CA - Canada 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
LT - Lituania 1
Totale 272
Città #
Chandler 45
Jacksonville 29
Ashburn 16
Boardman 12
Hong Kong 8
Wilmington 8
Singapore 7
Dong Ket 4
Helsinki 4
Houston 4
Dearborn 3
Dublin 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
Nanjing 1
New York 1
Norwalk 1
San Mateo 1
Shanghai 1
Toronto 1
Totale 174
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 88
Verifying Industrial Hybrid Systems with MathSAT 62
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 61
Bounded Model Checking for Timed Systems 61
Totale 272
Categoria #
all - tutte 1.659
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.659


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202019 0 0 0 0 0 0 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/202525 1 2 7 5 5 3 2 0 0 0 0 0
Totale 272