IRIS
INTRIGILA, BENEDETTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.483
AS - Asia 1.566
EU - Europa 937
SA - Sud America 161
Continente sconosciuto - Info sul continente non disponibili 78
AF - Africa 14
OC - Oceania 4
Totale 14.243
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.440
SG - Singapore 971
CN - Cina 223
IT - Italia 143
UA - Ucraina 141
BR - Brasile 130
RU - Federazione Russa 124
DE - Germania 113
IE - Irlanda 104
HK - Hong Kong 99
SE - Svezia 92
VN - Vietnam 91
GB - Regno Unito 61
FR - Francia 50
JP - Giappone 50
FI - Finlandia 36
KR - Corea 30
CA - Canada 26
PL - Polonia 21
BD - Bangladesh 15
IN - India 15
BE - Belgio 14
ID - Indonesia 10
AR - Argentina 9
AT - Austria 9
ES - Italia 9
TR - Turchia 9
PH - Filippine 8
CO - Colombia 7
IQ - Iraq 7
NL - Olanda 7
AE - Emirati Arabi Uniti 6
EC - Ecuador 6
MX - Messico 6
PK - Pakistan 5
AU - Australia 4
LB - Libano 4
MY - Malesia 4
ZA - Sudafrica 4
BG - Bulgaria 3
CR - Costa Rica 3
DZ - Algeria 3
QA - Qatar 3
VE - Venezuela 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BO - Bolivia 2
BS - Bahamas 2
CL - Cile 2
CZ - Repubblica Ceca 2
IR - Iran 2
LT - Lituania 2
MA - Marocco 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
SI - Slovenia 2
TN - Tunisia 2
UZ - Uzbekistan 2
AL - Albania 1
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
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LV - Lettonia 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PE - Perù 1
SV - El Salvador 1
SZ - Regno dello Swaziland 1
TJ - Tagikistan 1
UY - Uruguay 1
Totale 14.167
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.100
Houston 2.852
Wilmington 2.778
Singapore 367
Fairfield 301
Ann Arbor 259
Ashburn 223
Chandler 179
San Jose 160
Dearborn 138
Jacksonville 133
Seattle 124
Cambridge 121
Dublin 104
Hong Kong 98
Medford 82
Council Bluffs 68
Beijing 65
Santa Clara 60
New York 54
Los Angeles 43
Tokyo 39
Lawrence 38
Rome 37
Ho Chi Minh City 27
São Paulo 26
The Dalles 25
Milan 22
Lauterbourg 21
Moscow 20
Mülheim 20
Hanoi 19
Buffalo 18
Dallas 17
Menlo Park 14
Brussels 13
San Diego 13
Chicago 12
Kraków 11
Redwood City 11
Toronto 11
Hefei 10
Frankfurt am Main 9
Atlanta 8
Boardman 8
San Mateo 8
Vienna 8
Warsaw 8
Brooklyn 7
Helsinki 7
Nanjing 7
Nuremberg 7
Orem 7
Shenzhen 7
Amsterdam 6
Baghdad 6
Denver 6
Detroit 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
Guayaquil 4
Jakarta 4
Montreal 4
Oak Lawn 4
Philadelphia 4
Redondo Beach 4
Udine 4
Verona 4
Bandung 3
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
Montréal 3
Naples 3
North Bergen 3
Reana del Rojale 3
Ribeirão Preto 3
Totale 12.004
Salva come PNG Salva come JPEG
Nome #
Some results on extensionality in lambda calculus 774
Verifying extended criteria for the interoperability of security devices 508
A Model Checking Technique for the Verification of Fuzzy Control Systems. 502
An XML based methodology to model and use scenarios in the software development process 493
The Parikh counting functions of sparse context-free languages are quasi-polynomials 486
Robustness and Interoperability Problems in Security Devices 479
Quasi-polynomials, linear Diophantine equations and semi-linear sets 478
A BPMN-based automated approach for the analysis of healthcare processes 468
Interoperability mapping from XML schemas to ER diagrams 461
Exploiting transition locality in automatic verification of finite-state concurrent systems 455
Exploiting hub states in automatic verification 450
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees 450
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers 438
Planning for Autonomous Planetary Vehicles 430
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS 423
On the structure of the counting function of sparse context-free languages 419
Computational models of myocardial endomysial collagen arrangement 418
Bounded Probabilistic Model Checking with the Murφ Verifier 415
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process 404
Automated Generation of Optimal Controllers through Model Checking Techniques 400
Two factor authentication for e-government services using hardware-like One Time Password generators 390
A PDDL+ Benchmark Problem: The Batch Chemical Plant 389
The omega rule is \Pi^1_1-complete in the lambda-calculus 386
Evaluating fuzzy controller robustness using model checking 383
Finite horizon analysis of Markov Chains with the Murphi verifier 365
Solution to the range problem for combinatory logic 361
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 332
UPMurphi: A Tool for Universal Planning on PDDL+ Problems 312
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case 286
On the commutative equivalence of bounded context-free and regular languages: The code case 259
Fixed points in lambda calculus. An eccentric survey of problems and solutions 243
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness 231
On the commutative equivalence of semi-linear sets of Nk 199
Refutation of sallé's longstanding conjecture 182
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture 158
A lightweight BPMN extension for business process-oriented requirements engineering 125
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification 121
A Comparative Analysis of Biometrics Types: Literature Review 88
Process-oriented requirements definition and analysis of software components in critical systems 82
Totale 14.243
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.977
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.977
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022332 0 0 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/2027142 35 61 46 0 0 0 0 0 0 0 0 0
Totale 14.243