Irfan, Ahmed
 Distribuzione geografica
Continente #
EU - Europa 289
NA - Nord America 216
AS - Asia 106
SA - Sud America 25
Continente sconosciuto - Info sul continente non disponibili 2
Totale 638
Nazione #
US - Stati Uniti d'America 212
RU - Federazione Russa 102
DE - Germania 61
IT - Italia 45
SG - Singapore 29
CN - Cina 28
BR - Brasile 24
UA - Ucraina 21
HK - Hong Kong 19
SE - Svezia 13
IN - India 12
FI - Finlandia 10
GB - Regno Unito 10
NL - Olanda 10
VN - Vietnam 7
IE - Irlanda 6
FR - Francia 4
LB - Libano 4
HU - Ungheria 3
JP - Giappone 3
CA - Canada 2
EU - Europa 2
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BE - Belgio 1
CH - Svizzera 1
IL - Israele 1
LT - Lituania 1
MX - Messico 1
PA - Panama 1
TR - Turchia 1
UY - Uruguay 1
Totale 638
Città #
Jacksonville 44
Trento 31
Moscow 20
Hong Kong 18
Singapore 18
Chandler 15
The Dalles 13
Wilmington 12
Guangzhou 9
Hefei 8
Helsinki 8
Kronberg 8
Los Angeles 8
Beijing 7
Boardman 7
Dong Ket 7
Dearborn 6
Dublin 6
Ashburn 4
Milan 4
Ann Arbor 3
Merano 3
Redwood City 3
Tokyo 3
Brooklyn 2
Budapest 2
Falkenstein 2
Hanover 2
London 2
Shanghai 2
São Paulo 2
Amargosa 1
Amsterdam 1
Aparecida de Goiânia 1
Baku 1
Brasília 1
Brussels 1
Campo Grande 1
Canoas 1
Caraguatatuba 1
Chicago 1
Coronel Fabriciano 1
Duncan 1
Frankfurt am Main 1
Fuzhou 1
Itajaí 1
Jaboatão dos Guararapes 1
Jaipur 1
João Pinheiro 1
Kowloon 1
Linhares 1
Louisville 1
Maldonado 1
Marabá 1
Mexico City 1
Milwaukee 1
Mogi das Cruzes 1
Mountain View 1
Mumbai 1
Nanjing 1
New York 1
Nova Iguaçu 1
Nuremberg 1
Osório 1
Panama City 1
Paraíso do Tocantins 1
Paulo Afonso 1
Petrópolis 1
Piracaia 1
Pune 1
Regente Feijó 1
San Jose 1
San Mateo 1
Sanayi 1
Sobral 1
Storo 1
Toronto 1
Tuzla 1
Vitória da Conquista 1
Wakefield 1
Waltham 1
Woodbridge 1
Zurich 1
Totale 331
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 119
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 101
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 98
Verilog2SMV: A Tool for Word-level Verification 92
Satisfiability Modulo Transcendental Functions via Incremental Linearization 92
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 81
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 52
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 42
Totale 677
Categoria #
all - tutte 3.979
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.979


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201 0 0 0 0 0 0 0 0 0 0 0 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/2025213 0 0 8 10 10 1 10 9 107 15 36 7
Totale 677