Audemard, Gilles
 Distribuzione geografica
Continente #
NA - Nord America 364
EU - Europa 278
AS - Asia 132
SA - Sud America 31
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 815
Nazione #
US - Stati Uniti d'America 349
RU - Federazione Russa 175
SG - Singapore 45
DE - Germania 27
VN - Vietnam 26
BR - Brasile 21
HK - Hong Kong 19
CN - Cina 16
UA - Ucraina 15
FR - Francia 13
SE - Svezia 12
CA - Canada 9
IN - India 9
FI - Finlandia 8
IT - Italia 8
BD - Bangladesh 5
NL - Olanda 5
ZA - Sudafrica 5
AR - Argentina 4
GB - Regno Unito 4
IE - Irlanda 3
MX - Messico 3
BE - Belgio 2
EU - Europa 2
IQ - Iraq 2
KE - Kenya 2
PL - Polonia 2
PY - Paraguay 2
TR - Turchia 2
BB - Barbados 1
CG - Congo 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
ES - Italia 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KG - Kirghizistan 1
KW - Kuwait 1
LT - Lituania 1
MD - Moldavia 1
NI - Nicaragua 1
PH - Filippine 1
PT - Portogallo 1
UY - Uruguay 1
VE - Venezuela 1
Totale 815
Città #
Chandler 45
San Jose 35
Jacksonville 29
Singapore 29
Ashburn 27
Council Bluffs 24
Hong Kong 17
Dallas 16
Boardman 12
Munich 9
Los Angeles 8
The Dalles 8
Wilmington 8
Beijing 7
Hanoi 7
Moscow 7
Ho Chi Minh City 6
Houston 5
Phoenix 5
West Jordan 5
Brooklyn 4
Buffalo 4
Dong Ket 4
Hefei 4
Helsinki 4
Johannesburg 4
Lauterbourg 4
New York 4
Toronto 4
Dearborn 3
Dublin 3
Garland 3
Kronberg 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Augusta 2
Boston 2
Brussels 2
Chicago 2
Da Nang 2
Falkenstein 2
Hillsboro 2
Honolulu 2
Mexico City 2
Milan 2
Orem 2
Poplar 2
Pune 2
Vancouver 2
Warsaw 2
Alhambra 1
Alto Araguaia 1
Amman 1
Amsterdam 1
Ankara 1
Asunción 1
Atlanta 1
Avellaneda 1
Bentonville 1
Bishkek 1
Bogotá 1
Bolzano 1
Bom Despacho 1
Brazzaville 1
Bury 1
Chisinau 1
Cleveland 1
Cologne 1
Cologno Al Serio 1
Concordia 1
Coventry 1
Da Lat 1
Denver 1
Dhaka 1
Duque de Caxias 1
Entre Rios 1
Eyüpsultan 1
Fontana 1
Ghaziabad 1
Glendale 1
Haiphong 1
Hudson 1
Hải Dương 1
Jersey City 1
Ji Paraná 1
Kuwait City 1
Lake Arrowhead 1
Lancaster 1
Le Cannet 1
Lomas de Zamora 1
Los Gatos 1
Louisville 1
Lấp Vò 1
Mainqué 1
Managua 1
Marituba 1
Miami 1
Milwaukee 1
Mineiros 1
Totale 444
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 248
Bounded Model Checking for Timed Systems 201
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 194
Verifying Industrial Hybrid Systems with MathSAT 172
Totale 815
Categoria #
all - tutte 3.182
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 3.182


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2025127 1 2 7 5 5 3 3 9 45 12 21 14
2025/2026374 15 27 25 40 18 17 55 137 16 11 12 1
2026/202767 15 13 25 14 0 0 0 0 0 0 0 0
Totale 815