Irfan, Ahmed
 Distribuzione geografica
Continente #
NA - Nord America 787
EU - Europa 126
AS - Asia 71
Continente sconosciuto - Info sul continente non disponibili 2
AF - Africa 1
SA - Sud America 1
Totale 988
Nazione #
US - Stati Uniti d'America 785
IT - Italia 46
SG - Singapore 22
SE - Svezia 19
CN - Cina 18
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
PK - Pakistan 2
CO - Colombia 1
DK - Danimarca 1
IL - Israele 1
JP - Giappone 1
LU - Lussemburgo 1
LV - Lettonia 1
NL - Olanda 1
PT - Portogallo 1
RU - Federazione Russa 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 988
Città #
Fairfield 140
Chandler 90
Ashburn 80
Seattle 66
Woodbridge 63
Houston 59
Cambridge 53
Wilmington 36
Ann Arbor 28
New York 18
Princeton 18
Trento 18
San Mateo 17
Singapore 15
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
Guangzhou 1
Hebei 1
Izmir 1
Kilburn 1
Luxembourg 1
Malo 1
New Bedfont 1
Novosibirsk 1
Nuremberg 1
Otemae 1
Pomezia 1
Riga 1
San Paolo di Civitate 1
Santa Clara 1
Shanghai 1
Solagna 1
Stockholm 1
Taiyuan 1
Tel Aviv 1
Trieste 1
Udine 1
Wandsworth 1
Washington 1
Yangling 1
Yerres 1
Totale 849
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 220
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 158
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 143
Satisfiability Modulo Transcendental Functions via Incremental Linearization 142
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 96
Verilog2SMV: A tool for word-level verification 93
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 62
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 59
Lemmas for satisfiability modulo transcendental functions via incremental linearization 46
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 22
Totale 1.041
Categoria #
all - tutte 5.078
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.078


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020115 0 0 0 14 11 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/202546 2 2 28 14 0 0 0 0 0 0 0 0
Totale 1.041