Irfan, Ahmed
 Distribuzione geografica
Continente #
NA - Nord America 179
EU - Europa 173
AS - Asia 71
Continente sconosciuto - Info sul continente non disponibili 2
Totale 425
Nazione #
US - Stati Uniti d'America 179
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
SG - Singapore 8
GB - Regno Unito 7
VN - Vietnam 7
IE - Irlanda 6
FR - Francia 4
LB - Libano 4
HU - Ungheria 3
JP - Giappone 3
EU - Europa 2
BE - Belgio 1
IL - Israele 1
TR - Turchia 1
Totale 425
Città #
Jacksonville 44
Trento 31
Hong Kong 16
Chandler 15
Wilmington 12
Guangzhou 8
Kronberg 8
Beijing 7
Boardman 7
Dong Ket 7
Helsinki 7
Los Angeles 7
Dearborn 6
Dublin 6
Milan 4
Ann Arbor 3
Ashburn 3
Merano 3
Redwood City 3
Singapore 3
Tokyo 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 226
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 94
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 68
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 67
Verilog2SMV: A Tool for Word-level Verification 66
Satisfiability Modulo Transcendental Functions via Incremental Linearization 63
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 55
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 31
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 20
Totale 464
Categoria #
all - tutte 2.713
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.713


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202087 0 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/202477 6 2 10 7 6 6 0 8 2 16 1 13
Totale 464