IRIS
INTRIGILA, BENEDETTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.398
AS - Asia 1.555
EU - Europa 929
SA - Sud America 157
AF - Africa 14
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 14.059
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.361
SG - Singapore 971
CN - Cina 222
UA - Ucraina 141
IT - Italia 137
BR - Brasile 129
RU - Federazione Russa 124
DE - Germania 113
IE - Irlanda 104
HK - Hong Kong 98
SE - Svezia 92
VN - Vietnam 89
GB - Regno Unito 61
FR - Francia 50
JP - Giappone 50
FI - Finlandia 36
KR - Corea 30
CA - Canada 22
PL - Polonia 21
BD - Bangladesh 14
BE - Belgio 14
IN - India 14
AR - Argentina 9
AT - Austria 9
ES - Italia 9
ID - Indonesia 9
TR - Turchia 9
IQ - Iraq 7
PH - Filippine 7
AE - Emirati Arabi Uniti 6
CO - Colombia 6
MX - Messico 6
NL - Olanda 6
PK - Pakistan 5
AU - Australia 4
EC - Ecuador 4
LB - Libano 4
ZA - Sudafrica 4
BG - Bulgaria 3
DZ - Algeria 3
MY - Malesia 3
QA - Qatar 3
VE - Venezuela 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BO - Bolivia 2
BS - Bahamas 2
CL - Cile 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
IR - Iran 2
LT - Lituania 2
MA - Marocco 2
SA - Arabia Saudita 2
SI - Slovenia 2
TN - Tunisia 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
DO - Repubblica Dominicana 1
EE - Estonia 1
ET - Etiopia 1
GE - Georgia 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
JO - Giordania 1
KE - Kenya 1
KW - Kuwait 1
LV - Lettonia 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
SV - El Salvador 1
SZ - Regno dello Swaziland 1
TJ - Tagikistan 1
UY - Uruguay 1
Totale 14.059
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.100
Houston 2.852
Wilmington 2.778
Singapore 367
Fairfield 301
Ann Arbor 259
Ashburn 221
Chandler 179
San Jose 144
Dearborn 138
Jacksonville 133
Seattle 124
Cambridge 121
Dublin 104
Hong Kong 97
Medford 82
Beijing 64
Santa Clara 57
New York 54
Los Angeles 42
Tokyo 39
Lawrence 38
Rome 37
Council Bluffs 36
Ho Chi Minh City 27
São Paulo 25
The Dalles 25
Milan 22
Lauterbourg 21
Moscow 20
Mülheim 20
Hanoi 19
Buffalo 17
Dallas 16
Menlo Park 14
Brussels 13
San Diego 13
Chicago 12
Kraków 11
Redwood City 11
Hefei 10
Toronto 10
Frankfurt am Main 9
Atlanta 8
Boardman 8
San Mateo 8
Vienna 8
Warsaw 8
Helsinki 7
Nanjing 7
Nuremberg 7
Orem 7
Shenzhen 7
Amsterdam 6
Baghdad 6
Brooklyn 6
Denver 6
Mountain View 6
Munich 6
University Park 6
Curitiba 5
Norwalk 5
Stockholm 5
Ankara 4
Belo Horizonte 4
Chennai 4
Cisano Bergamasco 4
Da Nang 4
Falls Church 4
Gradisca d'Isonzo 4
Jakarta 4
Oak Lawn 4
Philadelphia 4
Redondo Beach 4
Udine 4
Verona 4
Birmingham 3
Bologna 3
Boston 3
Boydton 3
Changsha 3
Decatur 3
Doha 3
Fuzhou 3
Hangzhou 3
Hebei 3
Hounslow 3
Kilburn 3
Kunming 3
London 3
Miami 3
Montreal 3
Montréal 3
Naples 3
North Bergen 3
Reana del Rojale 3
Ribeirão Preto 3
Rio de Janeiro 3
Seoul 3
São José dos Campos 3
Totale 11.938
Salva come PNG Salva come JPEG
Nome #
Some results on extensionality in lambda calculus 767
Verifying extended criteria for the interoperability of security devices 507
A Model Checking Technique for the Verification of Fuzzy Control Systems. 498
An XML based methodology to model and use scenarios in the software development process 491
The Parikh counting functions of sparse context-free languages are quasi-polynomials 484
Robustness and Interoperability Problems in Security Devices 477
Quasi-polynomials, linear Diophantine equations and semi-linear sets 472
A BPMN-based automated approach for the analysis of healthcare processes 461
Interoperability mapping from XML schemas to ER diagrams 460
Exploiting transition locality in automatic verification of finite-state concurrent systems 454
Exploiting hub states in automatic verification 448
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees 448
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers 435
Planning for Autonomous Planetary Vehicles 428
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS 421
On the structure of the counting function of sparse context-free languages 418
Computational models of myocardial endomysial collagen arrangement 415
Bounded Probabilistic Model Checking with the Murφ Verifier 413
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process 402
Automated Generation of Optimal Controllers through Model Checking Techniques 398
A PDDL+ Benchmark Problem: The Batch Chemical Plant 387
Two factor authentication for e-government services using hardware-like One Time Password generators 387
The omega rule is \Pi^1_1-complete in the lambda-calculus 382
Evaluating fuzzy controller robustness using model checking 379
Finite horizon analysis of Markov Chains with the Murphi verifier 363
Solution to the range problem for combinatory logic 358
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 327
UPMurphi: A Tool for Universal Planning on PDDL+ Problems 308
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case 283
On the commutative equivalence of bounded context-free and regular languages: The code case 258
Fixed points in lambda calculus. An eccentric survey of problems and solutions 242
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness 230
On the commutative equivalence of semi-linear sets of Nk 198
Refutation of sallé's longstanding conjecture 179
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture 157
A lightweight BPMN extension for business process-oriented requirements engineering 121
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification 116
A Comparative Analysis of Biometrics Types: Literature Review 86
Process-oriented requirements definition and analysis of software components in critical systems 77
Totale 14.135
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.344
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 31.344
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022428 37 59 46 20 10 19 19 11 18 33 48 108
2022/2023549 51 11 25 65 50 124 69 42 55 4 39 14
2023/2024152 28 10 8 2 18 37 6 2 1 3 0 37
2024/20251.192 26 230 100 63 12 94 21 41 64 55 258 228
2025/20261.309 87 61 166 134 163 36 140 168 139 113 59 43
2026/202734 34 0 0 0 0 0 0 0 0 0 0 0
Totale 14.135