IRIS
Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.132
AS - Asia 397
EU - Europa 241
SA - Sud America 56
Continente sconosciuto - Info sul continente non disponibili 55
AF - Africa 5
Totale 1.886
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.120
SG - Singapore 174
CN - Cina 79
VN - Vietnam 66
IT - Italia 64
BR - Brasile 46
RU - Federazione Russa 27
DE - Germania 22
SE - Svezia 21
FR - Francia 20
GB - Regno Unito 17
KR - Corea 14
BG - Bulgaria 13
JO - Giordania 13
LV - Lettonia 11
FI - Finlandia 10
HK - Hong Kong 10
RO - Romania 9
CA - Canada 8
ID - Indonesia 8
JP - Giappone 5
BD - Bangladesh 4
IE - Irlanda 4
IN - India 4
IQ - Iraq 4
NL - Olanda 4
AR - Argentina 3
CL - Cile 3
ES - Italia 3
PL - Polonia 3
TR - Turchia 3
ZA - Sudafrica 3
AT - Austria 2
EU - Europa 2
IL - Israele 2
MK - Macedonia 2
MY - Malesia 2
PK - Pakistan 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
AZ - Azerbaigian 1
BE - Belgio 1
BY - Bielorussia 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EC - Ecuador 1
HN - Honduras 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
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
VE - Venezuela 1
Totale 1.833
Salva come PNG Salva come JPEG
Città #
Fairfield 140
Ashburn 137
Singapore 119
Chandler 90
Seattle 67
Woodbridge 63
Houston 60
Cambridge 53
San Jose 44
Wilmington 37
Dallas 34
Santa Clara 32
Ann Arbor 28
Council Bluffs 23
New York 21
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
Riga 11
San Diego 11
Los Angeles 9
Timisoara 9
Des Moines 8
Helsinki 7
Hong Kong 7
Jakarta 7
London 7
Munich 7
Buffalo 5
Da Nang 5
Dong Ket 5
Frankfurt am Main 5
Phoenix 5
Altamura 4
Cagliari 4
Chicago 4
Dublin 4
Putian 4
Shanghai 4
São Paulo 4
Toronto 4
Amman 3
Boardman 3
Changsha 3
Como 3
Dearborn 3
Falkenstein 3
Falls Church 3
Guangzhou 3
Haiphong 3
Orem 3
San Francisco 3
Tampa 3
Tokyo 3
Baghdad 2
Belo Horizonte 2
Brasília 2
Brooklyn 2
Caraguatatuba 2
Costa Mesa 2
Elk Grove Village 2
Hai Bà Trưng 2
Hefei 2
Lahore 2
Las Vegas 2
Miano 2
Milan 2
Montreal 2
Norwalk 2
Nuremberg 2
Oxnard 2
Pordenone 2
Redondo Beach 2
Rome 2
Sha Tin Wai 2
Stockholm 2
São Bernardo do Campo 2
The Dalles 2
Vienna 2
Warsaw 2
Washington 2
Almaty 1
Alvorada 1
Americana 1
An Giang Province 1
Andover 1
Annapolis 1
Antioch 1
Antipolo City 1
Anyang-si 1
Arlington 1
Totale 1.381
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 301
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 254
Satisfiability Modulo Transcendental Functions via Incremental Linearization 218
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 206
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 187
Verilog2SMV: A tool for word-level verification 163
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 163
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 157
Lemmas for satisfiability modulo transcendental functions via incremental linearization 141
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 96
Totale 1.886
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.545
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 8.545
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022110 0 0 6 16 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/202743 20 23 0 0 0 0 0 0 0 0 0 0
Totale 1.886