Irfan, Ahmed
 Distribuzione geografica
Continente #
NA - Nord America 177
EU - Europa 173
AS - Asia 60
Continente sconosciuto - Info sul continente non disponibili 2
Totale 412
Nazione #
US - Stati Uniti d'America 177
DE - Germania 56
IT - Italia 45
UA - Ucraina 21
CN - Cina 18
HK - Hong Kong 17
SE - Svezia 13
IN - India 12
FI - Finlandia 9
RU - Federazione Russa 8
GB - Regno Unito 7
VN - Vietnam 7
IE - Irlanda 6
FR - Francia 4
LB - Libano 4
HU - Ungheria 3
EU - Europa 2
BE - Belgio 1
IL - Israele 1
TR - Turchia 1
Totale 412
Città #
Jacksonville 44
Trento 31
Hong Kong 16
Chandler 15
Wilmington 12
Guangzhou 8
Kronberg 8
Beijing 7
Dong Ket 7
Helsinki 7
Los Angeles 7
Dearborn 6
Dublin 6
Boardman 5
Milan 4
Ann Arbor 3
Ashburn 3
Merano 3
Redwood City 3
Brooklyn 2
Budapest 2
Hanover 2
Brussels 1
Duncan 1
Fuzhou 1
Jaipur 1
Kowloon 1
Mountain View 1
Mumbai 1
Nanjing 1
Nuremberg 1
Pune 1
San Jose 1
San Mateo 1
Sanayi 1
Shanghai 1
Storo 1
Wakefield 1
Woodbridge 1
Totale 218
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 93
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 67
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 66
Verilog2SMV: A Tool for Word-level Verification 65
Satisfiability Modulo Transcendental Functions via Incremental Linearization 61
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 53
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 27
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 19
Totale 451
Categoria #
all - tutte 2.388
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 2.388


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20197 0 0 0 0 0 0 0 0 0 0 6 1
2019/202094 7 7 0 0 17 10 9 4 8 23 8 1
2020/202183 6 0 12 2 11 6 15 1 5 18 0 7
2021/202238 0 0 2 11 3 0 0 7 4 0 2 9
2022/202362 0 2 1 6 1 5 2 12 15 10 4 4
2023/202464 6 2 10 7 6 6 0 8 2 16 1 0
Totale 451