INTRIGILA, BENEDETTO
 Distribuzione geografica
Continente #
NA - Nord America 11.280
AS - Asia 1.544
EU - Europa 917
SA - Sud America 156
AF - Africa 14
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 13.917
Nazione #
US - Stati Uniti d'America 11.246
SG - Singapore 970
CN - Cina 217
UA - Ucraina 141
BR - Brasile 129
IT - Italia 127
RU - Federazione Russa 124
DE - Germania 113
IE - Irlanda 104
HK - Hong Kong 98
SE - Svezia 92
VN - Vietnam 89
GB - Regno Unito 61
JP - Giappone 50
FR - Francia 49
FI - Finlandia 36
KR - Corea 30
CA - Canada 22
PL - Polonia 21
BE - Belgio 14
IN - India 14
BD - Bangladesh 11
AR - Argentina 9
AT - Austria 9
ID - Indonesia 9
TR - Turchia 9
ES - Italia 8
IQ - Iraq 7
PH - Filippine 7
CO - Colombia 6
NL - Olanda 6
AE - Emirati Arabi Uniti 5
MX - Messico 5
PK - Pakistan 5
AU - Australia 4
LB - Libano 4
ZA - Sudafrica 4
BG - Bulgaria 3
DZ - Algeria 3
EC - Ecuador 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
MY - Malesia 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
NP - Nepal 1
PA - Panama 1
PE - Perù 1
PS - Palestinian Territory 1
SZ - Regno dello Swaziland 1
TJ - Tagikistan 1
UY - Uruguay 1
Totale 13.917
Città #
Woodbridge 3.100
Houston 2.851
Wilmington 2.778
Singapore 366
Fairfield 301
Ann Arbor 259
Ashburn 215
Chandler 179
Dearborn 138
Jacksonville 133
Seattle 123
Cambridge 121
Dublin 104
San Jose 104
Hong Kong 97
Medford 82
Beijing 63
Santa Clara 55
New York 53
Los Angeles 42
Tokyo 39
Lawrence 38
Council Bluffs 35
Rome 35
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
Kraków 11
Redwood City 11
Chicago 10
Hefei 10
Toronto 10
Frankfurt am Main 9
Boardman 8
San Mateo 8
Vienna 8
Warsaw 8
Atlanta 7
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
Changsha 3
Doha 3
Fuzhou 3
Hangzhou 3
Hebei 3
Hounslow 3
Kilburn 3
Kunming 3
London 3
Montreal 3
Montréal 3
North Bergen 3
Reana del Rojale 3
Ribeirão Preto 3
Rio de Janeiro 3
Seoul 3
São José dos Campos 3
Zhengzhou 3
Acton 2
Bandung 2
Baotou 2
Totale 11.876
Nome #
Some results on extensionality in lambda calculus 766
Verifying extended criteria for the interoperability of security devices 501
A Model Checking Technique for the Verification of Fuzzy Control Systems. 494
An XML based methodology to model and use scenarios in the software development process 488
The Parikh counting functions of sparse context-free languages are quasi-polynomials 481
Robustness and Interoperability Problems in Security Devices 475
Quasi-polynomials, linear Diophantine equations and semi-linear sets 467
Interoperability mapping from XML schemas to ER diagrams 458
A BPMN-based automated approach for the analysis of healthcare processes 457
Exploiting transition locality in automatic verification of finite-state concurrent systems 450
Exploiting hub states in automatic verification 447
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees 445
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers 433
Planning for Autonomous Planetary Vehicles 424
On the structure of the counting function of sparse context-free languages 416
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS 415
Computational models of myocardial endomysial collagen arrangement 412
Bounded Probabilistic Model Checking with the Murφ Verifier 407
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process 399
Automated Generation of Optimal Controllers through Model Checking Techniques 394
A PDDL+ Benchmark Problem: The Batch Chemical Plant 385
Two factor authentication for e-government services using hardware-like One Time Password generators 379
The omega rule is \Pi^1_1-complete in the lambda-calculus 378
Evaluating fuzzy controller robustness using model checking 377
Finite horizon analysis of Markov Chains with the Murphi verifier 360
Solution to the range problem for combinatory logic 356
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 326
UPMurphi: A Tool for Universal Planning on PDDL+ Problems 305
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case 282
On the commutative equivalence of bounded context-free and regular languages: The code case 252
Fixed points in lambda calculus. An eccentric survey of problems and solutions 239
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness 226
On the commutative equivalence of semi-linear sets of Nk 193
Refutation of sallé's longstanding conjecture 176
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture 151
A lightweight BPMN extension for business process-oriented requirements engineering 112
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification 109
A Comparative Analysis of Biometrics Types: Literature Review 84
Process-oriented requirements definition and analysis of software components in critical systems 74
Totale 13.993
Categoria #
all - tutte 29.927
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 29.927


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021158 0 0 0 0 0 0 0 0 0 56 77 25
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.201 87 61 166 134 163 36 140 168 139 107 0 0
Totale 13.993