IRIS Institutional Research Information System

Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 576
NA - Nord America 406
AS - Asia 287
SA - Sud America 87
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.362
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 389
RU - Federazione Russa 348
VN - Vietnam 80
BR - Brasile 70
DE - Germania 70
SG - Singapore 69
CN - Cina 59
IT - Italia 48
HK - Hong Kong 34
UA - Ucraina 22
FR - Francia 18
GB - Regno Unito 16
IN - India 16
SE - Svezia 14
NL - Olanda 11
FI - Finlandia 10
AR - Argentina 8
MX - Messico 7
CA - Canada 6
IE - Irlanda 6
JP - Giappone 4
LB - Libano 4
HU - Ungheria 3
ID - Indonesia 3
BD - Bangladesh 2
CO - Colombia 2
DK - Danimarca 2
EC - Ecuador 2
EU - Europa 2
IL - Israele 2
IQ - Iraq 2
LT - Lituania 2
PK - Pakistan 2
PL - Polonia 2
PY - Paraguay 2
TH - Thailandia 2
TR - Turchia 2
UZ - Uzbekistan 2
AT - Austria 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CL - Cile 1
CR - Costa Rica 1
EG - Egitto 1
JM - Giamaica 1
MA - Marocco 1
MY - Malesia 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 1.362
Salva come PNG Salva come JPEG
Città #
San Jose 50
Jacksonville 45
Hong Kong 31
Trento 31
Singapore 27
Ashburn 24
Council Bluffs 21
Ho Chi Minh City 20
Moscow 20
Hanoi 19
Los Angeles 18
Beijing 17
Chandler 15
The Dalles 15
Wilmington 12
Guangzhou 9
Hefei 8
Helsinki 8
Kronberg 8
Boardman 7
Dong Ket 7
Lauterbourg 7
São Paulo 7
Dearborn 6
Dublin 6
Dallas 5
Des Moines 5
New York 5
Atlanta 4
Frankfurt am Main 4
Mexico City 4
Milan 4
Nuremberg 4
Tokyo 4
Ann Arbor 3
Chicago 3
Merano 3
Poplar 3
Redwood City 3
Seattle 3
Anápolis 2
Bergamo 2
Boston 2
Brooklyn 2
Budapest 2
Carapicuíba 2
Chennai 2
Falkenstein 2
Hai Bà Trưng 2
Haiphong 2
Hanover 2
London 2
Lấp Vò 2
Nanjing 2
Rio de Janeiro 2
Santa Clara 2
Shanghai 2
Tashkent 2
Thái Nguyên 2
Warsaw 2
Aalborg 1
Abidjan 1
Amargosa 1
Ambato 1
Amsterdam 1
Ankara 1
Aparecida de Goiânia 1
Araguari 1
Armação dos Búzios 1
Asunción 1
Atalaia 1
Bagé 1
Baku 1
Batam 1
Beaumont 1
Bietigheim-Bissingen 1
Biên Hòa 1
Bom Jesus da Penha 1
Bragança 1
Brasília 1
Brussels 1
Buraidah 1
Bà Rịa–Vũng Tàu Province 1
Bình Dương Province 1
Bắc Giang 1
Bến Tre 1
Campo Grande 1
Can Tho 1
Canoas 1
Caraguatatuba 1
Carney 1
Caxias do Sul 1
Chapadão do Sul 1
Chatham 1
Chon Buri 1
Concepción 1
Concón 1
Coronel Fabriciano 1
Corrientes 1
Cuauhtémoc 1
Totale 575
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 213
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Verilog2SMV: A Tool for Word-level Verification 191
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 180
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 176
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 175
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 141
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 116
Totale 1.401
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.555
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.555
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 0 0 0 0 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/2025214 0 0 8 10 10 1 10 9 107 15 36 8
2025/2026723 23 57 45 85 29 18 97 255 35 29 42 8
Totale 1.401