Irfan, Ahmed
 Distribuzione geografica
Continente #
NA - Nord America 826
EU - Europa 130
AS - Asia 116
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
SA - Sud America 1
Totale 1.076
Nazione #
US - Stati Uniti d'America 824
SG - Singapore 61
IT - Italia 48
CN - Cina 24
SE - Svezia 19
BG - Bulgaria 13
GB - Regno Unito 13
JO - Giordania 10
RO - Romania 9
DE - Germania 7
ID - Indonesia 7
VN - Vietnam 7
FI - Finlandia 6
IE - Irlanda 4
FR - Francia 3
CA - Canada 2
EU - Europa 2
HK - Hong Kong 2
NL - Olanda 2
PK - Pakistan 2
RU - Federazione Russa 2
CO - Colombia 1
DK - Danimarca 1
IL - Israele 1
JP - Giappone 1
LU - Lussemburgo 1
LV - Lettonia 1
PT - Portogallo 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 1.076
Città #
Fairfield 140
Chandler 90
Ashburn 81
Seattle 66
Woodbridge 63
Houston 59
Cambridge 53
Singapore 53
Wilmington 36
Ann Arbor 28
Santa Clara 21
Columbus 18
New York 18
Princeton 18
Trento 18
San Mateo 17
Sofia 13
Jacksonville 12
San Diego 11
Timisoara 9
Jakarta 7
Beijing 5
Dong Ket 5
Altamura 4
Cagliari 4
Dublin 4
Helsinki 4
London 4
Putian 4
Boardman 3
Como 3
Dearborn 3
Falls Church 3
Phoenix 3
Costa Mesa 2
Dallas 2
Lahore 2
Norwalk 2
Pordenone 2
Rome 2
Sha Tin Wai 2
Toronto 2
Andover 1
Bogotá 1
Changsha 1
Des Moines 1
Frankfurt am Main 1
Fremont 1
Ganzhou 1
Guangzhou 1
Hebei 1
Hefei 1
Izmir 1
Jingmen 1
Kilburn 1
Luxembourg 1
Malo 1
Moscow 1
New Bedfont 1
Novosibirsk 1
Nuremberg 1
Otemae 1
Pomezia 1
Riga 1
San Paolo di Civitate 1
Shanghai 1
Shenyang 1
Solagna 1
Stockholm 1
Taiyuan 1
Tel Aviv 1
Trieste 1
Udine 1
Wandsworth 1
Washington 1
Yangling 1
Yerres 1
Totale 931
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 228
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 166
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 153
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
Verilog2SMV: A tool for word-level verification 105
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 104
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 72
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 65
Lemmas for satisfiability modulo transcendental functions via incremental linearization 57
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 30
Totale 1.129
Categoria #
all - tutte 5.474
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 5.474


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202090 0 0 0 0 0 10 16 13 16 19 5 11
2020/2021371 8 16 64 143 22 22 10 20 3 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/2025134 2 2 28 49 16 37 0 0 0 0 0 0
Totale 1.129