IRIS
INTRIGILA, BENEDETTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.623
EU - Europa 680
AS - Asia 176
SA - Sud America 6
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 11.490
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.613
UA - Ucraina 138
IT - Italia 117
IE - Irlanda 102
CN - Cina 98
SE - Svezia 87
DE - Germania 82
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
RU - Federazione Russa 8
AT - Austria 6
PH - Filippine 6
IN - India 5
AE - Emirati Arabi Uniti 4
SG - Singapore 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
AU - Australia 1
BD - Bangladesh 1
BG - Bulgaria 1
CO - Colombia 1
DZ - Algeria 1
EC - Ecuador 1
EE - Estonia 1
ET - Etiopia 1
GR - Grecia 1
IR - Iran 1
KW - Kuwait 1
MY - Malesia 1
PE - Perù 1
SI - Slovenia 1
TR - Turchia 1
Totale 11.490
Salva come PNG Salva come JPEG
Città #
Woodbridge 3.100
Houston 2.847
Wilmington 2.777
Fairfield 300
Ann Arbor 259
Chandler 179
Ashburn 162
Dearborn 138
Jacksonville 132
Seattle 122
Cambridge 121
Dublin 102
Medford 82
Lawrence 38
New York 35
Rome 34
Beijing 32
Mülheim 20
Milan 19
Menlo Park 14
Brussels 13
San Diego 13
Kraków 11
Redwood City 11
Hefei 10
Boardman 8
San Mateo 8
Shenzhen 7
Toronto 7
Helsinki 6
Los Angeles 6
Mountain View 6
Nanjing 6
University Park 6
Vienna 6
Norwalk 5
Tokyo 5
Cisano Bergamasco 4
Falls Church 4
Gradisca d'Isonzo 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
Singapore 2
São Paulo 2
Aci Catena 1
Andover 1
Auburn Hills 1
Aversa 1
Beaumont 1
Birmingham 1
Blaise 1
Bloomfield 1
Cagayan de Oro 1
Cainta 1
Centrale 1
Chengdu 1
Chennai 1
Cividale del Friuli 1
Dallas 1
Davao City 1
Donetsk 1
Erlangen 1
Falkensee 1
Fremont 1
Totale 10.776
Salva come PNG Salva come JPEG
Nome #
Verifying extended criteria for the interoperability of security devices 435
A Model Checking Technique for the Verification of Fuzzy Control Systems. 428
Robustness and Interoperability Problems in Security Devices 427
An XML based methodology to model and use scenarios in the software development process 419
The Parikh counting functions of sparse context-free languages are quasi-polynomials 413
Quasi-polynomials, linear Diophantine equations and semi-linear sets 412
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees 406
Exploiting hub states in automatic verification 395
Planning for Autonomous Planetary Vehicles 395
Exploiting transition locality in automatic verification of finite-state concurrent systems 394
A BPMN-based automated approach for the analysis of healthcare processes 392
Interoperability mapping from XML schemas to ER diagrams 390
On the structure of the counting function of sparse context-free languages 378
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS 373
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process 371
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers 366
Bounded Probabilistic Model Checking with the Murφ Verifier 348
The omega rule is \Pi^1_1-complete in the lambda-calculus 346
Automated Generation of Optimal Controllers through Model Checking Techniques 345
Some results on extensionality in lambda calculus 342
A PDDL+ Benchmark Problem: The Batch Chemical Plant 337
Evaluating fuzzy controller robustness using model checking 332
Solution to the range problem for combinatory logic 330
Computational models of myocardial endomysial collagen arrangement 329
Two factor authentication for e-government services using hardware-like One Time Password generators 325
Finite horizon analysis of Markov Chains with the Murphi verifier 294
UPMurphi: A Tool for Universal Planning on PDDL+ Problems 273
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 264
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case 235
On the commutative equivalence of bounded context-free and regular languages: The code case 202
Fixed points in lambda calculus. An eccentric survey of problems and solutions 194
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness 164
On the commutative equivalence of semi-linear sets of Nk 158
Refutation of sallé's longstanding conjecture 135
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture 111
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification 50
A Comparative Analysis of Biometrics Types: Literature Review 29
A lightweight BPMN extension for business process-oriented requirements engineering 26
Totale 11.563
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.167
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 20.167
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019937 0 0 0 0 0 0 0 0 0 287 340 310
2019/20203.401 315 245 240 298 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/2024115 28 10 8 2 18 37 6 2 1 3 0 0
Totale 11.563