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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.679 0 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.282 1.004 760 1.200 2.337 1.744 1.160 2.487 1.228 762 983 1.066 551
2026/20271.223 938 285 0 0 0 0 0 0 0 0 0 0
Totale 59.407