IRIS
Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.259
AS - Asia 400
EU - Europa 261
SA - Sud America 60
Continente sconosciuto - Info sul continente non disponibili 56
AF - Africa 5
Totale 2.041
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.233
SG - Singapore 174
CN - Cina 79
IT - Italia 70
VN - Vietnam 66
BR - Brasile 47
SE - Svezia 30
RU - Federazione Russa 27
DE - Germania 23
FR - Francia 21
GB - Regno Unito 17
CA - Canada 14
KR - Corea 14
BG - Bulgaria 13
JO - Giordania 13
LV - Lettonia 11
FI - Finlandia 10
HK - Hong Kong 10
RO - Romania 9
ID - Indonesia 8
BD - Bangladesh 5
JP - Giappone 5
AR - Argentina 4
IE - Irlanda 4
IN - India 4
IQ - Iraq 4
NL - Olanda 4
TR - Turchia 4
CL - Cile 3
ES - Italia 3
JM - Giamaica 3
PL - Polonia 3
VE - Venezuela 3
ZA - Sudafrica 3
AT - Austria 2
BE - Belgio 2
CZ - Repubblica Ceca 2
EU - Europa 2
HN - Honduras 2
IL - Israele 2
MK - Macedonia 2
MY - Malesia 2
PK - Pakistan 2
SA - Arabia Saudita 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
AZ - Azerbaigian 1
BS - Bahamas 1
BY - Bielorussia 1
CO - Colombia 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
EC - Ecuador 1
EE - Estonia 1
GP - Guadalupe 1
HR - Croazia 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MA - Marocco 1
MM - Myanmar 1
MX - Messico 1
NP - Nepal 1
PH - Filippine 1
PT - Portogallo 1
PY - Paraguay 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
Totale 1.988
Salva come PNG Salva come JPEG
Città #
Ashburn 157
Fairfield 140
Singapore 119
Chandler 90
Seattle 67
Woodbridge 63
Houston 60
San Jose 55
Cambridge 53
Wilmington 37
Dallas 34
Santa Clara 33
Council Bluffs 30
Ann Arbor 28
New York 24
Columbus 19
Ho Chi Minh City 19
Beijing 18
Princeton 18
Trento 18
Moscow 17
San Mateo 17
Hanoi 15
Seoul 13
Sofia 13
Jacksonville 12
Lauterbourg 11
Los Angeles 11
Riga 11
San Diego 11
Timisoara 9
Des Moines 8
Helsinki 7
Hong Kong 7
Jakarta 7
London 7
Munich 7
North Bergen 7
Brooklyn 6
Phoenix 6
Washington 6
Buffalo 5
Chicago 5
Da Nang 5
Dong Ket 5
Frankfurt am Main 5
Toronto 5
Altamura 4
Cagliari 4
Dublin 4
Putian 4
Shanghai 4
São Paulo 4
Amman 3
Boardman 3
Changsha 3
Como 3
Dearborn 3
Falkenstein 3
Falls Church 3
Guangzhou 3
Haiphong 3
Miami 3
Montreal 3
Orem 3
Providence 3
Rome 3
San Francisco 3
Tampa 3
Tokyo 3
Baghdad 2
Belo Horizonte 2
Brasília 2
Brussels 2
Caraguatatuba 2
Costa Mesa 2
Elk Grove Village 2
Hai Bà Trưng 2
Hefei 2
Kansas City 2
Kingston 2
Lahore 2
Las Vegas 2
Miano 2
Milan 2
Norwalk 2
Nuremberg 2
Oxnard 2
Pordenone 2
Prague 2
Redondo Beach 2
Sha Tin Wai 2
Stockholm 2
São Bernardo do Campo 2
The Dalles 2
Vienna 2
Warsaw 2
Agrolândia 1
Almaty 1
Alvorada 1
Totale 1.452
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 310
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 268
Satisfiability Modulo Transcendental Functions via Incremental Linearization 235
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 225
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 200
Verilog2SMV: A tool for word-level verification 177
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 175
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 171
Lemmas for satisfiability modulo transcendental functions via incremental linearization 160
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 120
Totale 2.041
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.062
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 9.062
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202288 0 0 0 0 2 5 3 31 3 8 14 22
2022/2023161 14 19 6 25 9 23 0 19 31 0 8 7
2023/202490 4 4 7 5 4 33 3 8 3 4 4 11
2024/2025260 2 2 28 49 16 37 6 23 15 35 33 14
2025/2026588 36 10 81 78 52 46 118 12 50 62 12 31
2026/2027198 20 23 62 92 1 0 0 0 0 0 0 0
Totale 2.041