IRIS
Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.051
AS - Asia 397
EU - Europa 226
SA - Sud America 53
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.734
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.042
SG - Singapore 174
CN - Cina 79
VN - Vietnam 66
IT - Italia 52
BR - Brasile 43
RU - Federazione Russa 27
DE - Germania 21
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
ID - Indonesia 8
CA - Canada 6
JP - Giappone 5
BD - Bangladesh 4
IE - Irlanda 4
IN - India 4
IQ - Iraq 4
NL - Olanda 4
AR - Argentina 3
CL - Cile 3
PL - Polonia 3
TR - Turchia 3
ZA - Sudafrica 3
AT - Austria 2
ES - Italia 2
EU - Europa 2
IL - Israele 2
MK - Macedonia 2
MY - Malesia 2
PK - Pakistan 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
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
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 1.734
Salva come PNG Salva come JPEG
Città #
Fairfield 140
Ashburn 126
Singapore 119
Chandler 90
Seattle 67
Woodbridge 63
Houston 60
Cambridge 53
Wilmington 37
Dallas 34
San Jose 33
Ann Arbor 28
Santa Clara 27
New York 21
Ho Chi Minh City 19
Beijing 18
Columbus 18
Princeton 18
Trento 18
Moscow 17
San Mateo 17
Council Bluffs 16
Hanoi 15
Seoul 13
Sofia 13
Jacksonville 12
Lauterbourg 11
Riga 11
San Diego 11
Timisoara 9
Des Moines 8
Los Angeles 8
Helsinki 7
Hong Kong 7
Jakarta 7
London 7
Munich 7
Buffalo 5
Da Nang 5
Dong Ket 5
Altamura 4
Cagliari 4
Chicago 4
Dublin 4
Frankfurt am Main 4
Phoenix 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
Orem 3
Tampa 3
Tokyo 3
Toronto 3
Baghdad 2
Belo Horizonte 2
Brasília 2
Caraguatatuba 2
Costa Mesa 2
Elk Grove Village 2
Hai Bà Trưng 2
Hefei 2
Lahore 2
Montreal 2
Norwalk 2
Nuremberg 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
Antipolo City 1
Anyang-si 1
Arlington 1
Arraial do Cabo 1
Avellaneda 1
Beltsville 1
Bengaluru 1
Berrechid 1
Betim 1
Biên Hòa 1
Totale 1.335
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 291
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 245
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 200
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 169
Verilog2SMV: A tool for word-level verification 159
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 155
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 150
Lemmas for satisfiability modulo transcendental functions via incremental linearization 124
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 85
Totale 1.787
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.741
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 7.741
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202163 0 0 0 0 0 0 0 0 0 25 4 34
2021/2022128 3 15 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/2026532 36 10 81 78 52 46 118 12 50 49 0 0
Totale 1.787