Irfan, Ahmed
 Distribuzione geografica
Continente #
NA - Nord America 189
EU - Europa 176
AS - Asia 90
Continente sconosciuto - Info sul continente non disponibili 2
Totale 457
Nazione #
US - Stati Uniti d'America 188
DE - Germania 56
IT - Italia 45
SG - Singapore 22
UA - Ucraina 21
CN - Cina 20
HK - Hong Kong 19
SE - Svezia 13
IN - India 12
FI - Finlandia 9
GB - Regno Unito 8
RU - Federazione Russa 8
VN - Vietnam 7
IE - Irlanda 6
FR - Francia 4
LB - Libano 4
HU - Ungheria 3
JP - Giappone 3
EU - Europa 2
AZ - Azerbaigian 1
BE - Belgio 1
CA - Canada 1
CH - Svizzera 1
IL - Israele 1
NL - Olanda 1
TR - Turchia 1
Totale 457
Città #
Jacksonville 44
Trento 31
Hong Kong 18
Singapore 17
Chandler 15
Wilmington 12
Guangzhou 9
Kronberg 8
Los Angeles 8
Beijing 7
Boardman 7
Dong Ket 7
Helsinki 7
Dearborn 6
Dublin 6
Milan 4
Ann Arbor 3
Ashburn 3
Merano 3
Redwood City 3
Tokyo 3
Brooklyn 2
Budapest 2
Hanover 2
Shanghai 2
Baku 1
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
Storo 1
Toronto 1
Wakefield 1
Woodbridge 1
Zurich 1
Totale 248
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 100
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 74
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 71
Verilog2SMV: A Tool for Word-level Verification 69
Satisfiability Modulo Transcendental Functions via Incremental Linearization 66
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 59
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 35
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 22
Totale 496
Categoria #
all - tutte 3.173
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 3.173


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202053 0 0 0 0 0 0 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
2024/202532 0 0 8 10 10 1 3 0 0 0 0 0
Totale 496