IRIS Institutional Research Information System

Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 584
NA - Nord America 443
AS - Asia 290
SA - Sud America 87
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 4
Totale 1.449
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 426
RU - Federazione Russa 348
VN - Vietnam 81
BR - Brasile 70
DE - Germania 70
SG - Singapore 70
CN - Cina 60
IT - Italia 48
HK - Hong Kong 34
SE - Svezia 22
UA - Ucraina 22
FR - Francia 18
GB - Regno Unito 16
IN - India 16
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.410
Salva come PNG Salva come JPEG
Città #
San Jose 56
Jacksonville 45
Council Bluffs 43
Hong Kong 31
Trento 31
Singapore 27
Ashburn 26
Ho Chi Minh City 21
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
Phoenix 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
Totale 611
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 219
Satisfiability Modulo Transcendental Functions via Incremental Linearization 215
Verilog2SMV: A Tool for Word-level Verification 196
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 188
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 182
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 179
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 147
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 123
Totale 1.449
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.805
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.805
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2026725 23 57 45 85 29 18 97 255 35 29 42 10
2026/202746 19 21 6 0 0 0 0 0 0 0 0 0
Totale 1.449