IRIS Institutional Research Information System

Irfan, Ahmed
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 588
NA - Nord America 535
AS - Asia 293
SA - Sud America 87
Continente sconosciuto - Info sul continente non disponibili 41
AF - Africa 4
Totale 1.548
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 509
RU - Federazione Russa 349
VN - Vietnam 81
BR - Brasile 70
DE - Germania 70
SG - Singapore 70
CN - Cina 61
IT - Italia 49
HK - Hong Kong 34
SE - Svezia 23
UA - Ucraina 22
FR - Francia 18
GB - Regno Unito 16
IN - India 16
CA - Canada 12
NL - Olanda 11
FI - Finlandia 10
AR - Argentina 8
MX - Messico 7
IE - Irlanda 6
JP - Giappone 5
LB - Libano 4
HU - Ungheria 3
ID - Indonesia 3
IL - Israele 3
BD - Bangladesh 2
CO - Colombia 2
CR - Costa Rica 2
DK - Danimarca 2
EC - Ecuador 2
EU - Europa 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
EG - Egitto 1
ES - Italia 1
JM - Giamaica 1
MA - Marocco 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PR - Porto Rico 1
SA - Arabia Saudita 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
ZA - Sudafrica 1
Totale 1.509
Salva come PNG Salva come JPEG
Città #
San Jose 58
Council Bluffs 46
Jacksonville 45
Hong Kong 31
Trento 31
Ashburn 30
Singapore 27
Ho Chi Minh City 21
Moscow 20
Hanoi 19
Beijing 18
Los Angeles 18
Chandler 15
The Dalles 15
New York 13
Wilmington 12
Guangzhou 9
Buffalo 8
Hefei 8
Helsinki 8
Kronberg 8
Boardman 7
Dong Ket 7
Lauterbourg 7
Phoenix 7
São Paulo 7
Dallas 6
Dearborn 6
Des Moines 6
Dublin 6
Santa Clara 5
Tokyo 5
Atlanta 4
Chicago 4
Frankfurt am Main 4
Mexico City 4
Milan 4
Nuremberg 4
Ann Arbor 3
Garland 3
Merano 3
Poplar 3
Princeton 3
Redwood City 3
Seattle 3
Toronto 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
Louisville 2
Lấp Vò 2
Montreal 2
Nanjing 2
Rio de Janeiro 2
San José 2
Shanghai 2
Tashkent 2
Thái Nguyên 2
Warsaw 2
Aalborg 1
Abidjan 1
Alicante 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
Carnegie 1
Totale 653
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 234
Satisfiability Modulo Transcendental Functions via Incremental Linearization 229
Verilog2SMV: A Tool for Word-level Verification 205
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 201
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 197
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 192
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 158
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays 132
Totale 1.548
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.182
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 6.182
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202225 0 0 0 0 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/2027145 19 21 51 52 2 0 0 0 0 0 0 0
Totale 1.548