IRIS
INTRIGILA, BENEDETTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.787
EU - Europa 738
AS - Asia 418
SA - Sud America 7
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 11.955
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.777
SG - Singapore 222
UA - Ucraina 138
CN - Cina 121
IT - Italia 117
IE - Irlanda 102
DE - Germania 90
SE - Svezia 87
RU - Federazione Russa 56
GB - Regno Unito 53
FI - Finlandia 33
KR - Corea 30
FR - Francia 19
JP - Giappone 15
BE - Belgio 14
PL - Polonia 12
CA - Canada 10
AT - Austria 7
PH - Filippine 6
IN - India 5
AE - Emirati Arabi Uniti 4
BR - Brasile 3
NL - Olanda 3
QA - Qatar 3
A2 - ???statistics.table.value.countryCode.A2??? 2
ES - Italia 2
ID - Indonesia 2
IQ - Iraq 2
LB - Libano 2
AR - Argentina 1
AU - Australia 1
BD - Bangladesh 1
BG - Bulgaria 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
ET - Etiopia 1
GR - Grecia 1
HK - Hong Kong 1
IR - Iran 1
KW - Kuwait 1
MY - Malesia 1
PE - Perù 1
SI - Slovenia 1
TR - Turchia 1
Totale 11.955
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.100
Houston 2.847
Wilmington 2.777
Fairfield 300
Ann Arbor 259
Singapore 201
Chandler 179
Ashburn 163
Dearborn 138
Jacksonville 132
Seattle 122
Cambridge 121
Dublin 102
Medford 82
Santa Clara 49
Lawrence 38
New York 35
Rome 34
Beijing 32
Mülheim 20
Milan 19
Menlo Park 14
Brussels 13
Moscow 13
San Diego 13
Kraków 11
Redwood City 11
Hefei 10
Boardman 8
San Mateo 8
Los Angeles 7
Shenzhen 7
Toronto 7
Vienna 7
Helsinki 6
Mountain View 6
Munich 6
Nanjing 6
University Park 6
Norwalk 5
Tokyo 5
Cisano Bergamasco 4
Falls Church 4
Gradisca d'Isonzo 4
Oak Lawn 4
Udine 4
Verona 4
Amsterdam 3
Changsha 3
Doha 3
Hangzhou 3
Hebei 3
Hounslow 3
Kilburn 3
Kunming 3
London 3
Montréal 3
Reana del Rojale 3
Seoul 3
Zhengzhou 3
Acton 2
Baghdad 2
Bandung 2
Baotou 2
Berlin 2
Bologna 2
Chicago 2
Citta 2
Clearwater 2
Decatur 2
Farra di Soligo 2
Fuzhou 2
Gemona 2
Gernsbach 2
Guangzhou 2
Jinan 2
Midlothian 2
Nanning 2
Naples 2
Ningbo 2
Philadelphia 2
Saint Petersburg 2
Santa Rosa 2
São Paulo 2
Aci Catena 1
Andover 1
Atlanta 1
Auburn Hills 1
Aversa 1
Beaumont 1
Birmingham 1
Blaise 1
Bloomfield 1
Brno 1
Cagayan de Oro 1
Cainta 1
Centrale 1
Chengdu 1
Chennai 1
Cividale del Friuli 1
Totale 11.046
Salva come PNG Salva come JPEG
Nome #
Verifying extended criteria for the interoperability of security devices 461
A Model Checking Technique for the Verification of Fuzzy Control Systems. 449
Robustness and Interoperability Problems in Security Devices 438
An XML based methodology to model and use scenarios in the software development process 438
Quasi-polynomials, linear Diophantine equations and semi-linear sets 433
The Parikh counting functions of sparse context-free languages are quasi-polynomials 432
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees 411
Exploiting transition locality in automatic verification of finite-state concurrent systems 403
Planning for Autonomous Planetary Vehicles 402
Exploiting hub states in automatic verification 401
A BPMN-based automated approach for the analysis of healthcare processes 400
Interoperability mapping from XML schemas to ER diagrams 399
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS 388
On the structure of the counting function of sparse context-free languages 384
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process 380
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers 376
Bounded Probabilistic Model Checking with the Murφ Verifier 361
The omega rule is \Pi^1_1-complete in the lambda-calculus 351
Computational models of myocardial endomysial collagen arrangement 351
Automated Generation of Optimal Controllers through Model Checking Techniques 351
Some results on extensionality in lambda calculus 348
Two factor authentication for e-government services using hardware-like One Time Password generators 345
A PDDL+ Benchmark Problem: The Batch Chemical Plant 344
Evaluating fuzzy controller robustness using model checking 338
Solution to the range problem for combinatory logic 338
Finite horizon analysis of Markov Chains with the Murphi verifier 315
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 290
UPMurphi: A Tool for Universal Planning on PDDL+ Problems 279
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case 252
On the commutative equivalence of bounded context-free and regular languages: The code case 222
Fixed points in lambda calculus. An eccentric survey of problems and solutions 203
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness 178
On the commutative equivalence of semi-linear sets of Nk 167
Refutation of sallé's longstanding conjecture 145
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture 119
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification 58
A Comparative Analysis of Biometrics Types: Literature Review 45
A lightweight BPMN extension for business process-oriented requirements engineering 32
Process-oriented requirements definition and analysis of software components in critical systems 4
Totale 12.031
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.192
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 23.192
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.303 0 0 0 0 306 389 350 277 297 257 203 224
2020/20211.837 228 227 232 219 172 185 222 153 41 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/2025431 26 230 100 63 12 0 0 0 0 0 0 0
Totale 12.031