CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 28.747
EU - Europa 15.084
AS - Asia 11.483
SA - Sud America 1.220
AF - Africa 598
Continente sconosciuto - Info sul continente non disponibili 46
OC - Oceania 31
Totale 57.209
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 27.733
CN - Cina 4.330
SG - Singapore 3.582
RU - Federazione Russa 3.388
IT - Italia 3.132
PL - Polonia 1.744
DE - Germania 1.364
FR - Francia 1.319
BR - Brasile 1.033
HK - Hong Kong 1.004
GB - Regno Unito 935
VN - Vietnam 877
SE - Svezia 870
CA - Canada 844
UA - Ucraina 832
FI - Finlandia 633
KR - Corea 362
ZA - Sudafrica 338
TR - Turchia 326
IN - India 221
IE - Irlanda 199
BD - Bangladesh 144
JP - Giappone 125
NL - Olanda 115
MA - Marocco 110
MX - Messico 110
BE - Belgio 98
PK - Pakistan 87
ES - Italia 72
IQ - Iraq 62
CZ - Repubblica Ceca 60
AR - Argentina 57
ID - Indonesia 55
DZ - Algeria 50
AT - Austria 47
SI - Slovenia 45
EU - Europa 43
CH - Svizzera 39
IR - Iran 39
EC - Ecuador 33
LT - Lituania 30
IL - Israele 27
TW - Taiwan 26
AE - Emirati Arabi Uniti 25
CO - Colombia 25
UZ - Uzbekistan 24
AU - Australia 20
PT - Portogallo 20
EE - Estonia 17
KE - Kenya 17
MY - Malesia 17
TN - Tunisia 17
VE - Venezuela 17
JO - Giordania 16
PH - Filippine 16
BG - Bulgaria 15
EG - Egitto 15
NP - Nepal 15
RO - Romania 15
UY - Uruguay 15
AZ - Azerbaigian 13
JM - Giamaica 13
LV - Lettonia 12
PY - Paraguay 12
CL - Cile 11
CR - Costa Rica 11
GR - Grecia 11
KZ - Kazakistan 11
TH - Thailandia 11
DK - Danimarca 10
HN - Honduras 10
NZ - Nuova Zelanda 10
PE - Perù 10
SA - Arabia Saudita 10
BY - Bielorussia 9
ET - Etiopia 9
NO - Norvegia 9
AM - Armenia 8
GH - Ghana 8
NG - Nigeria 8
PA - Panama 8
AL - Albania 7
HU - Ungheria 7
KH - Cambogia 7
KG - Kirghizistan 6
KW - Kuwait 6
OM - Oman 6
RS - Serbia 6
SK - Slovacchia (Repubblica Slovacca) 6
TT - Trinidad e Tobago 6
BO - Bolivia 5
CI - Costa d'Avorio 5
PS - Palestinian Territory 5
HR - Croazia 4
LK - Sri Lanka 4
MK - Macedonia 4
BH - Bahrain 3
LB - Libano 3
SV - El Salvador 3
TG - Togo 3
Totale 57.156
Salva come PNG Salva come JPEG
Città #
Ashburn 2.696
Woodbridge 2.389
Fairfield 2.168
Singapore 1.993
Jacksonville 1.988
San Jose 1.519
Chandler 1.401
Houston 1.266
Kraków 1.197
Ann Arbor 1.154
Seattle 1.052
Wilmington 1.005
Hong Kong 989
Boardman 871
Cambridge 787
Beijing 666
Nanjing 633
Warsaw 516
Toronto 494
Los Angeles 489
Dearborn 459
Council Bluffs 435
Dallas 418
Camerino 401
New York 397
The Dalles 364
Seoul 323
Johannesburg 322
Helsinki 316
San Mateo 311
Ho Chi Minh City 298
Tongling 293
Columbus 272
Princeton 272
Lawrence 270
Istanbul 241
Lauterbourg 238
Ogden 225
Nanchang 224
Moscow 221
London 214
Buffalo 192
Dublin 189
Lachine 175
Munich 174
Shanghai 173
Hanoi 168
Milan 157
Santa Clara 153
Chicago 147
São Paulo 140
Guangzhou 137
Kunming 129
Bremen 126
Rome 113
Shenyang 111
Tokyo 111
Tianjin 110
Orem 109
Jiaxing 108
Centro 100
San Diego 99
Brussels 95
Trieste 90
Kenitra 86
St Louis 81
Hebei 80
Montreal 76
Chennai 75
Frankfurt am Main 72
Wuhan 69
Stockholm 67
Düsseldorf 64
Denver 63
Phoenix 63
Brooklyn 60
Changsha 59
Dong Ket 58
Turku 58
Poplar 56
Hangzhou 53
Redwood City 53
Atlanta 52
Cesena 51
Jinan 51
Venezia 51
Ancona 48
Auburn Hills 48
Manchester 47
Philadelphia 46
Hefei 45
Amsterdam 43
Boston 43
Kocaeli 43
Leawood 43
Mexico City 43
San Francisco 42
Iesi 41
Zhengzhou 41
Da Nang 39
Totale 36.903
Salva come PNG Salva come JPEG
Nome #
A Survey of Trust Management Models for Cloud Computing 408
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 352
A Constrained ECA Language Supporting Formal Verification of WSNs 345
Business process flexibility - a systematic literature review with a software systems perspective 338
Extending Feature Models to Express Variability in Business Process Models 334
Analysis and verification of ECA rules in intelligent environments 332
FedCohesion: Federated Identity Management in the Marche Region 326
Detecting Synchronisation of Biological Oscillators by Model Checking 324
Cloud Readiness Assessment of Legacy Application 318
A systematic literature review on IoT-aware business process modeling views, requirements and notations 305
A pattern for enabling multitenancy in legacy application 301
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 294
A Flexible Architecture to Monitor Dynamic Web Services Composition 294
null 286
A Guidelines Framework for Understandable BPMN Models 286
On Avoiding Erroneous Synchronization in BPMN Processes 283
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 283
An Agent-oriented Conceptual Framework for Systems Biology 282
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 280
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 279
Time and Fairness in a Process Algebra with Non-blocking Reading 277
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 272
2. Towards Bioinformatics Resourceomes 270
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 268
E-market project; the e-marketplace of the Marche region 266
A distributed peer system for public administration content retrieval 264
A model-prover for constrained dynamic conversations 260
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 260
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 260
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 259
An Agent-based Multilayer Architecture for Bioinformatics Grids. 259
A Resourceome for the automation of in-silico biological experiments 256
Private Assisted House for Smart Living 256
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 255
Distribution and Locality of Concurrent Systems 254
An Operational Semantics of BPMN Collaboration 253
A Formal Approach to Modelling and Verification of Business Process Collaborations 253
On the Fault Tolerance of Mobile Ad Hoc Networks 251
A Formal Model for Quality of Service Measurement in e-Government 246
Agent-Based Models of Cellular Systems 246
A Rule-Driven Business Process Design 240
Process Variability Modeling for Complex Organizations 240
Sinergy: how semantics can improve early prevention of skin cancers. 238
BProVe: a Formal Verification Framework for Business Process Models 238
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 237
A Resourceomic Grid for bioinformatics 236
A Choreography-Driven Approach for Blockchain-Based IoT Applications 236
Shared Services for Supporting Online Public Service Delivery in Rural Areas 233
A characterization of regular expressions under bisimulation 233
An Integration Platform for Private Assisted Houses 232
An Individual-based Probabilistic Model for Fish Stock Simulation 229
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006) 228
A Data Oriented Approach to Derive Public Administration Business Processes 228
e-Government Quality of Service: the Role of Citizens 226
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 226
Read Operators and their Expressiveness in Process Algebras 225
Liveness of a Mutex Algorithm in a Fair Process Algebra 223
Holistic Development of Online Public Services 223
Relating Fairness and Timing in Process Algebras 223
Agents in bioinformatics, computational and systems biology 223
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 222
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 222
Automated Analysis of MUTEX Algorithms with FASE 222
A Shape Calculus for Biological Processes 222
null 222
"An agent-oriented conceptual framework for biological systems modelling" 221
Quality of service in e-Government underlines the role of information usability 220
Fairness of Components in System Computations 218
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 216
BIOSHAPE: End-User Development for Simulating Biological Systems 216
FarMAS: A MAS for Extended Quality Workflow 216
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 215
A case study to face intelligent document management and semantic interoperability in regione Marche 213
Towards Parallelization of Concurrent Systems 213
A GRID-based multilayer architecture for bioinformatics 212
Inter-organizational business process verification in public administration 212
A case study of participatory design in E-Government systems: E-service and E-id 212
Deriving Test Plans from Architectural Descriptions 209
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 209
null 208
Performance of pipelined asynchronous systems 206
Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform 204
BPMN-Redrawer: From Images to BPMN Models 204
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 204
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 203
Semantic-based eService Delivery for eGovernment Domain 202
An Individual-based Probabilistic Model for Fish Stock Simulation 202
Engineering Trustable Choreography-based Systems Using Blockchain 202
A Flexible Approach to Multi-party Business Process Execution on Blockchain 201
Multiscale Bone Remodelling with Spatial P Systems 201
On Testing Urgency through Laziness over Processes with Durational Actions 200
Uniformity in Multiscale Models: From Complex Automata to BioShape 197
Small Administrations: eGovernment in disadvantaged environments 196
Intuitive and machine-understandable organization of the bioinformatics domain and related resources with Resourceomes 196
An overview of Service-Oriented Computing challenges and issues 196
Expressiveness of Timed Events and Timed Languages 195
Fairness of Actions in System Computations 195
BioWMS: a web-based Workflow Management System for bioinformatics 195
On Synchronous and Asynchronous Communication Paradigms 194
Services Management System for small and disadvantaged communities 194
Totale 24.359
Salva come PNG Salva come JPEG
Categoria #
all - tutte 224.274
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 224.274
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021537 0 0 0 0 0 0 0 0 0 0 0 537
2021/20222.931 252 701 58 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.108 1.004 760 1.200 2.343 1.754 1.164 2.495 1.238 767 984 1.080 319
Totale 58.010