CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 33.172
EU - Europa 15.833
AS - Asia 11.652
SA - Sud America 1.273
Continente sconosciuto - Info sul continente non disponibili 872
AF - Africa 612
OC - Oceania 32
Totale 63.446
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 31.867
CN - Cina 4.385
IT - Italia 3.741
SG - Singapore 3.579
RU - Federazione Russa 3.397
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 978
VN - Vietnam 884
SE - Svezia 871
UA - Ucraina 834
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
CR - Costa Rica 35
EC - Ecuador 35
CO - Colombia 34
IL - Israele 34
LT - Lituania 31
HN - Honduras 28
TW - Taiwan 28
JM - Giamaica 27
AE - Emirati Arabi Uniti 26
TT - Trinidad e Tobago 26
UZ - Uzbekistan 24
MY - Malesia 23
AU - Australia 21
PH - Filippine 21
SV - El Salvador 21
PT - Portogallo 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
CW - ???statistics.table.value.countryCode.CW??? 15
NI - Nicaragua 15
TH - Thailandia 15
UY - Uruguay 15
NP - Nepal 14
AZ - Azerbaigian 13
CL - Cile 13
DK - Danimarca 13
GT - Guatemala 12
LV - Lettonia 12
PY - Paraguay 12
GR - Grecia 11
KZ - Kazakistan 11
PE - Perù 11
RS - Serbia 11
SA - Arabia Saudita 11
GP - Guadalupe 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
SC - Seychelles 5
Totale 62.553
Salva come PNG Salva come JPEG
Città #
Ashburn 3.180
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 475
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 200
Dublin 192
Lachine 175
Munich 175
Shanghai 175
Hanoi 170
Phoenix 163
Rome 149
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 73
Wuhan 70
Atlanta 69
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
Naples 50
Auburn Hills 48
Manchester 48
Ancona 47
Hefei 45
Mexico City 45
Florence 44
Amsterdam 43
Kocaeli 43
Totale 39.680
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 320
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 302
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 293
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 291
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 287
E-market project; the e-marketplace of the Marche region 286
null 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 270
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
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform 257
A Resourceomic Grid for bioinformatics 257
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
Shared Services for Supporting Online Public Service Delivery in Rural Areas 245
Agents in bioinformatics, computational and systems biology 244
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006) 243
Relating Fairness and Timing in Process Algebras 242
Liveness of a Mutex Algorithm in a Fair Process Algebra 241
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 241
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 240
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 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
Holistic Development of Online Public Services 234
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 234
BIOSHAPE: End-User Development for Simulating Biological Systems 232
FarMAS: A MAS for Extended Quality Workflow 232
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 231
Fairness of Components in System Computations 231
A Shape Calculus for Biological Processes 231
A case study to face intelligent document management and semantic interoperability in regione Marche 230
A GRID-based multilayer architecture for bioinformatics 230
Inter-organizational business process verification in public administration 230
A case study of participatory design in E-Government systems: E-service and E-id 228
Towards Parallelization of Concurrent Systems 226
Deriving Test Plans from Architectural Descriptions 225
Engineering Trustable Choreography-based Systems Using Blockchain 223
BPMN-Redrawer: From Images to BPMN Models 222
null 222
A Flexible Approach to Multi-party Business Process Execution on Blockchain 221
Performance of pipelined asynchronous systems 218
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 217
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
Small Administrations: eGovernment in disadvantaged environments 211
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
Uniformity in Multiscale Models: From Complex Automata to BioShape 210
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain 210
Totale 26.054
Salva come PNG Salva come JPEG
Categoria #
all - tutte 246.526
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.526
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.262 938 616 1.701 2.007 0 0 0 0 0 0 0 0
Totale 63.446