Audemard, Gilles
 Distribuzione geografica
Continente #
NA - Nord America 182
EU - Europa 108
AS - Asia 42
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 338
Nazione #
US - Stati Uniti d'America 180
RU - Federazione Russa 45
DE - Germania 17
SG - Singapore 16
UA - Ucraina 14
FI - Finlandia 8
HK - Hong Kong 8
SE - Svezia 7
IN - India 6
IT - Italia 5
CN - Cina 4
NL - Olanda 4
VN - Vietnam 4
IE - Irlanda 3
BE - Belgio 2
BR - Brasile 2
CA - Canada 2
EU - Europa 2
FR - Francia 2
AR - Argentina 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
KG - Kirghizistan 1
LT - Lituania 1
PY - Paraguay 1
Totale 338
Città #
Chandler 45
Jacksonville 29
Ashburn 16
Boardman 12
Singapore 10
Hong Kong 8
Wilmington 8
Moscow 7
The Dalles 5
Dong Ket 4
Helsinki 4
Houston 4
Dearborn 3
Dublin 3
Kronberg 3
Phoenix 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Augusta 2
Brussels 2
Falkenstein 2
Milan 2
Pune 2
Toronto 2
Asunción 1
Beijing 1
Bishkek 1
Bolzano 1
Cologne 1
Cologno Al Serio 1
Mainqué 1
Miami 1
Mineiros 1
Nanjing 1
New York 1
Norwalk 1
Pouso Alegre 1
San Mateo 1
Shanghai 1
Totale 199
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 104
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 82
Bounded Model Checking for Timed Systems 78
Verifying Industrial Hybrid Systems with MathSAT 74
Totale 338
Categoria #
all - tutte 1.950
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.950


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202010 0 0 0 0 0 0 0 0 0 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/202591 1 2 7 5 5 3 3 9 45 11 0 0
Totale 338