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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.689 0 0 0 0 0 0 0 0 0 224 928 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/202613.413 1.004 760 1.200 2.343 1.754 1.164 2.495 1.238 767 688 0 0
Totale 56.315