CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 33.105
EU - Europa 15.810
AS - Asia 11.650
SA - Sud America 1.273
Continente sconosciuto - Info sul continente non disponibili 871
AF - Africa 611
OC - Oceania 32
Totale 63.352
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 31.816
CN - Cina 4.384
IT - Italia 3.725
SG - Singapore 3.579
RU - Federazione Russa 3.392
PL - Polonia 1.749
DE - Germania 1.389
FR - Francia 1.326
BR - Brasile 1.067
HK - Hong Kong 1.023
CA - Canada 983
GB - Regno Unito 977
VN - Vietnam 884
SE - Svezia 871
UA - Ucraina 833
FI - Finlandia 633
KR - Corea 363
ZA - Sudafrica 335
TR - Turchia 328
IN - India 226
IE - Irlanda 205
BD - Bangladesh 168
JP - Giappone 135
NL - Olanda 121
MA - Marocco 118
MX - Messico 114
BE - Belgio 100
PK - Pakistan 97
ES - Italia 78
ID - Indonesia 65
IQ - Iraq 62
AR - Argentina 60
CZ - Repubblica Ceca 60
DZ - Algeria 50
AT - Austria 47
SI - Slovenia 45
EU - Europa 43
CH - Svizzera 41
IR - Iran 40
EC - Ecuador 35
CO - Colombia 34
CR - Costa Rica 33
IL - Israele 33
LT - Lituania 31
TW - Taiwan 28
HN - Honduras 27
JM - Giamaica 27
AE - Emirati Arabi Uniti 26
TT - Trinidad e Tobago 24
UZ - Uzbekistan 24
MY - Malesia 23
AU - Australia 21
PH - Filippine 21
PT - Portogallo 20
SV - El Salvador 20
EE - Estonia 19
VE - Venezuela 19
EG - Egitto 18
BG - Bulgaria 17
HU - Ungheria 17
KE - Kenya 17
TN - Tunisia 17
JO - Giordania 16
RO - Romania 16
TH - Thailandia 15
UY - Uruguay 15
CW - ???statistics.table.value.countryCode.CW??? 14
NP - Nepal 14
AZ - Azerbaigian 13
CL - Cile 13
DK - Danimarca 13
LV - Lettonia 12
NI - Nicaragua 12
PY - Paraguay 12
GR - Grecia 11
KZ - Kazakistan 11
PE - Perù 11
RS - Serbia 11
SA - Arabia Saudita 11
GT - Guatemala 10
NG - Nigeria 10
NO - Norvegia 10
NZ - Nuova Zelanda 10
BY - Bielorussia 9
ET - Etiopia 9
PA - Panama 9
PR - Porto Rico 9
AL - Albania 8
AM - Armenia 8
GH - Ghana 8
KH - Cambogia 7
KG - Kirghizistan 6
KW - Kuwait 6
OM - Oman 6
PS - Palestinian Territory 6
SK - Slovacchia (Repubblica Slovacca) 6
BO - Bolivia 5
CI - Costa d'Avorio 5
GP - Guadalupe 5
BZ - Belize 4
Totale 62.459
Salva come PNG Salva come JPEG
Città #
Ashburn 3.179
Woodbridge 2.390
Fairfield 2.168
Jacksonville 1.994
Singapore 1.990
San Jose 1.861
Chandler 1.401
Houston 1.278
Council Bluffs 1.226
Kraków 1.197
Ann Arbor 1.154
Seattle 1.061
Wilmington 1.013
Hong Kong 1.005
Boardman 876
Cambridge 789
Beijing 689
Nanjing 633
Los Angeles 550
New York 541
Toronto 521
Warsaw 516
Dallas 474
Dearborn 460
Camerino 403
The Dalles 371
Chicago 323
Seoul 323
Johannesburg 319
Helsinki 316
San Mateo 311
Ho Chi Minh City 300
Tongling 293
Columbus 278
Princeton 278
Lawrence 271
Istanbul 242
Lauterbourg 238
Ogden 226
Nanchang 224
Moscow 221
Santa Clara 220
London 216
Staranzano 216
Buffalo 201
Milan 199
Dublin 192
Lachine 175
Munich 175
Shanghai 175
Hanoi 170
Phoenix 163
Rome 148
São Paulo 147
Guangzhou 137
Kunming 129
Bremen 126
Tokyo 119
Tianjin 114
Orem 112
Shenyang 111
Jiaxing 108
San Diego 105
Centro 100
Brussels 96
Trieste 91
Montreal 87
Kenitra 86
St Louis 83
Denver 82
Hebei 80
Chennai 75
Frankfurt am Main 74
Brooklyn 72
Wuhan 70
Atlanta 68
Stockholm 68
Düsseldorf 65
Changsha 60
Dong Ket 58
Philadelphia 58
Turku 58
Poplar 56
San Francisco 54
Hangzhou 53
Redwood City 53
Cesena 51
Jinan 51
Venezia 51
Boston 50
Iesi 50
Auburn Hills 48
Manchester 48
Ancona 47
Naples 47
Hefei 45
Mexico City 45
Amsterdam 43
Florence 43
Kocaeli 43
Totale 39.670
Salva come PNG Salva come JPEG
Nome #
A Survey of Trust Management Models for Cloud Computing 437
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 364
A Constrained ECA Language Supporting Formal Verification of WSNs 359
Business process flexibility - a systematic literature review with a software systems perspective 357
Analysis and verification of ECA rules in intelligent environments 355
Extending Feature Models to Express Variability in Business Process Models 346
Detecting Synchronisation of Biological Oscillators by Model Checking 343
Cloud Readiness Assessment of Legacy Application 338
FedCohesion: Federated Identity Management in the Marche Region 337
A systematic literature review on IoT-aware business process modeling views, requirements and notations 331
A Guidelines Framework for Understandable BPMN Models 322
A pattern for enabling multitenancy in legacy application 317
BProVe: a Formal Verification Framework for Business Process Models 311
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 309
A Flexible Architecture to Monitor Dynamic Web Services Composition 306
An Agent-oriented Conceptual Framework for Systems Biology 301
An Operational Semantics of BPMN Collaboration 301
On Avoiding Erroneous Synchronization in BPMN Processes 297
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 296
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 294
Time and Fairness in a Process Algebra with Non-blocking Reading 292
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 291
E-market project; the e-marketplace of the Marche region 286
null 286
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 286
2. Towards Bioinformatics Resourceomes 283
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 282
A Formal Approach to Modelling and Verification of Business Process Collaborations 281
A distributed peer system for public administration content retrieval 280
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 277
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 277
A model-prover for constrained dynamic conversations 275
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 275
On the Fault Tolerance of Mobile Ad Hoc Networks 274
An Agent-based Multilayer Architecture for Bioinformatics Grids. 272
A Resourceome for the automation of in-silico biological experiments 271
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 268
Private Assisted House for Smart Living 268
A Formal Model for Quality of Service Measurement in e-Government 266
Agent-Based Models of Cellular Systems 263
Distribution and Locality of Concurrent Systems 261
A Resourceomic Grid for bioinformatics 257
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform 256
Process Variability Modeling for Complex Organizations 256
Sinergy: how semantics can improve early prevention of skin cancers. 255
An Integration Platform for Private Assisted Houses 253
A characterization of regular expressions under bisimulation 249
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 249
A Rule-Driven Business Process Design 248
A Choreography-Driven Approach for Blockchain-Based IoT Applications 248
e-Government Quality of Service: the Role of Citizens 247
A Data Oriented Approach to Derive Public Administration Business Processes 247
Agents in bioinformatics, computational and systems biology 244
Relating Fairness and Timing in Process Algebras 242
Shared Services for Supporting Online Public Service Delivery in Rural Areas 241
Liveness of a Mutex Algorithm in a Fair Process Algebra 241
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 241
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006) 240
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 239
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 239
An Individual-based Probabilistic Model for Fish Stock Simulation 239
"An agent-oriented conceptual framework for biological systems modelling" 238
Automated Analysis of MUTEX Algorithms with FASE 238
Read Operators and their Expressiveness in Process Algebras 238
Quality of service in e-Government underlines the role of information usability 235
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 234
Holistic Development of Online Public Services 233
BIOSHAPE: End-User Development for Simulating Biological Systems 232
FarMAS: A MAS for Extended Quality Workflow 232
Fairness of Components in System Computations 231
A Shape Calculus for Biological Processes 231
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 230
A case study to face intelligent document management and semantic interoperability in regione Marche 230
Inter-organizational business process verification in public administration 230
A GRID-based multilayer architecture for bioinformatics 227
Towards Parallelization of Concurrent Systems 226
Deriving Test Plans from Architectural Descriptions 225
A case study of participatory design in E-Government systems: E-service and E-id 223
Engineering Trustable Choreography-based Systems Using Blockchain 223
null 222
A Flexible Approach to Multi-party Business Process Execution on Blockchain 221
BPMN-Redrawer: From Images to BPMN Models 221
Performance of pipelined asynchronous systems 218
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 216
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 216
12th Italian Conference on Theoretical Computer Science, September 15-17, 2010 216
Multiscale Bone Remodelling with Spatial P Systems 216
Enabling Auditing of Smart Contracts Through Process Mining 215
A Case Study of a Semantic Search Engine for G2G Collaboration based on Intelligent Documents 214
Fairness of Actions in System Computations 214
BioWMS: a web-based Workflow Management System for bioinformatics 214
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 213
Hermes: Agent-Based Middleware for Mobile Computing 212
An Individual-based Probabilistic Model for Fish Stock Simulation 212
Intuitive and machine-understandable organization of the bioinformatics domain and related resources with Resourceomes 211
An overview of Service-Oriented Computing challenges and issues 211
Semantic-based eService Delivery for eGovernment Domain 210
Small Administrations: eGovernment in disadvantaged environments 210
Uniformity in Multiscale Models: From Complex Automata to BioShape 210
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain 210
Totale 26.024
Salva come PNG Salva come JPEG
Categoria #
all - tutte 246.318
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 246.318
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.920 0 0 0 87 233 141 103 183 291 278 265 339
2022/20234.096 358 30 196 552 565 585 34 307 794 236 310 129
2023/20243.498 440 181 282 90 196 495 171 203 348 164 80 848
2024/202510.059 394 265 721 520 339 546 1.162 2.554 713 636 646 1.563
2025/202615.282 1.004 760 1.200 2.337 1.744 1.160 2.487 1.228 762 983 1.066 551
2026/20275.168 938 616 1.701 1.913 0 0 0 0 0 0 0 0
Totale 63.352