CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 20.201
EU - Europa 8.850
AS - Asia 3.361
AF - Africa 49
Continente sconosciuto - Info sul continente non disponibili 45
SA - Sud America 24
OC - Oceania 12
Totale 32.542
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.536
CN - Cina 2.860
IT - Italia 2.040
PL - Polonia 1.619
DE - Germania 988
FR - Francia 967
UA - Ucraina 813
SE - Svezia 801
GB - Regno Unito 681
CA - Canada 660
FI - Finlandia 462
IE - Irlanda 185
SG - Singapore 162
BE - Belgio 90
VN - Vietnam 64
IN - India 54
CZ - Repubblica Ceca 49
TR - Turchia 47
EU - Europa 43
PK - Pakistan 42
SI - Slovenia 42
KR - Corea 38
IR - Iran 33
DZ - Algeria 27
NL - Olanda 23
BR - Brasile 16
HK - Hong Kong 16
EE - Estonia 14
BG - Bulgaria 13
JP - Giappone 12
AU - Australia 8
RU - Federazione Russa 8
ID - Indonesia 7
IL - Israele 7
RO - Romania 7
ES - Italia 6
GH - Ghana 6
IQ - Iraq 6
NO - Norvegia 6
AT - Austria 5
CH - Svizzera 5
PE - Perù 5
DK - Danimarca 4
ET - Etiopia 4
LT - Lituania 4
NZ - Nuova Zelanda 4
TN - Tunisia 4
BY - Bielorussia 3
HR - Croazia 3
MK - Macedonia 3
PT - Portogallo 3
RS - Serbia 3
AM - Armenia 2
CL - Cile 2
MA - Marocco 2
MX - Messico 2
NG - Nigeria 2
SO - Somalia 2
TW - Taiwan 2
A1 - Anonimo 1
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BN - Brunei Darussalam 1
BZ - Belize 1
IM - Isola di Man 1
JM - Giamaica 1
KG - Kirghizistan 1
LU - Lussemburgo 1
LV - Lettonia 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
SC - Seychelles 1
TZ - Tanzania 1
VE - Venezuela 1
YE - Yemen 1
Totale 32.542
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.389
Fairfield 2.168
Jacksonville 1.986
Chandler 1.400
Ashburn 1.327
Houston 1.225
Kraków 1.197
Ann Arbor 1.154
Seattle 1.037
Wilmington 1.003
Cambridge 785
Nanjing 632
Toronto 470
Dearborn 459
Warsaw 415
San Mateo 311
Princeton 272
Lawrence 270
Boardman 253
Beijing 247
Columbus 246
Helsinki 237
Ogden 225
Nanchang 224
Camerino 223
New York 203
Dublin 175
Lachine 175
London 161
Shanghai 160
Kunming 127
Bremen 126
Guangzhou 126
Shenyang 109
Jiaxing 108
Milan 104
Tianjin 101
Centro 100
San Diego 96
Singapore 93
Brussels 87
Hebei 80
Los Angeles 65
Chicago 61
Wuhan 59
Dong Ket 58
Redwood City 53
Cesena 51
Changsha 51
Venezia 51
Düsseldorf 49
Auburn Hills 48
Jinan 48
Hangzhou 43
Kocaeli 43
Leawood 43
Hefei 41
Philadelphia 39
Lanzhou 37
Orange 37
Rome 37
Ancona 35
Verona 33
Zhengzhou 32
Monmouth Junction 28
Ardabil 25
Ningbo 25
Olomouc 25
Pune 25
Yiwu 25
Jinhua 24
Norwalk 24
Castelraimondo 21
Macerata 21
Berlin 20
Hanover 20
Ascoli Piceno 19
Brno 19
Taizhou 19
Venice 19
Washington 19
Changchun 18
Council Bluffs 18
Falls Church 18
Lainate 18
Algiers 16
Urbino 16
Augusta 15
Fermo 15
Islamabad 15
Hong Kong 14
Indiana 14
Nürnberg 14
Southend 14
Tallinn 14
Falconara Marittima 13
Fuzhou 13
Hounslow 13
Iesi 13
Matelica 13
Totale 23.962
Salva come PNG Salva come JPEG
Nome #
null 286
A Survey of Trust Management Models for Cloud Computing 265
Business process flexibility - a systematic literature review with a software systems perspective 263
Extending Feature Models to Express Variability in Business Process Models 254
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 245
FedCohesion: Federated Identity Management in the Marche Region 241
A Constrained ECA Language Supporting Formal Verification of WSNs 239
On Avoiding Erroneous Synchronization in BPMN Processes 233
Analysis and verification of ECA rules in intelligent environments 232
Detecting Synchronisation of Biological Oscillators by Model Checking 225
null 222
null 208
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 208
A pattern for enabling multitenancy in legacy application 205
Distribution and Locality of Concurrent Systems 203
A Flexible Architecture to Monitor Dynamic Web Services Composition 199
Cloud Readiness Assessment of Legacy Application 195
A Guidelines Framework for Understandable BPMN Models 194
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 190
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 190
Process Variability Modeling for Complex Organizations 190
An Agent-oriented Conceptual Framework for Systems Biology 185
An Operational Semantics of BPMN Collaboration 180
null 179
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 174
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 173
Private Assisted House for Smart Living 170
A Formal Model for Quality of Service Measurement in e-Government 169
A distributed peer system for public administration content retrieval 168
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 168
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 167
On the Fault Tolerance of Mobile Ad Hoc Networks 167
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 164
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 164
null 163
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 162
Time and Fairness in a Process Algebra with Non-blocking Reading 162
FarMAS: A MAS for Extended Quality Workflow 162
A Resourceome for the automation of in-silico biological experiments 160
Sinergy: how semantics can improve early prevention of skin cancers. 160
Quality of service in e-Government underlines the role of information usability 160
2. Towards Bioinformatics Resourceomes 160
Shared Services for Supporting Online Public Service Delivery in Rural Areas 159
Deriving Test Plans from Architectural Descriptions 158
Agent-Based Models of Cellular Systems 157
Semantic-based eService Delivery for eGovernment Domain 156
Holistic Development of Online Public Services 156
A Rule-Driven Business Process Design 156
Inter-organizational business process verification in public administration 155
An Agent-based Multilayer Architecture for Bioinformatics Grids. 155
Read Operators and their Expressiveness in Process Algebras 151
null 151
Liveness of a Mutex Algorithm in a Fair Process Algebra 150
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 150
Agents in bioinformatics, computational and systems biology 150
On Testing Urgency through Laziness over Processes with Durational Actions 149
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 149
A characterization of regular expressions under bisimulation 148
Performance of pipelined asynchronous systems 148
Towards Parallelization of Concurrent Systems 148
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 148
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 147
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 147
E-market project; the e-marketplace of the Marche region 146
Expressiveness of Timed Events and Timed Languages 146
An Integration Platform for Private Assisted Houses 146
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes 145
An Individual-based Probabilistic Model for Fish Stock Simulation 145
A model-prover for constrained dynamic conversations 144
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 144
BioWMS: a web-based Workflow Management System for bioinformatics 144
Global vs. local semantics of BPMN 2.0 OR-join 144
On the Coarsest Congruence within Global-Clock-Bounded Equivalence 143
Fairness of Components in System Computations 143
On Synchronous and Asynchronous Communication Paradigms 143
On the semantics of durational actions 143
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 142
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 139
Relating Fairness and Timing in Process Algebras 139
Multiscale Bone Remodelling with Spatial P Systems 139
A Resourceomic Grid for bioinformatics 138
null 138
Hermes: Agent-Based Middleware for Mobile Computing 137
An Equational Axiomatization of Bisimulation over Regular Expressions 136
Multiagent modelling and simulation of carbohydrate oxidation in cell 135
Explicit fairness in testing semantics 135
A Formal Approach to Modelling and Verification of Business Process Collaborations 135
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 135
Models of Nondeterministic Regular Expressions 133
Small Administrations: eGovernment in disadvantaged environments 133
Automated Analysis of MUTEX Algorithms with FASE 133
A Process Algebraic Approach to Software Architecture Design. 133
A Finite Axiomatization of Nondeterministic Regular Expressions 133
An agent-based approach to tool integration 132
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 131
A Shape Calculus for Biological Processes 131
C2ST: A QUALITY FRAMEWORK TO EVALUATE E-GOVERNMENT SERVICE DELIVERY 131
null 130
Separation of Synchronous and Asynchronous Communication via Testing 130
BProVe: a Formal Verification Framework for Business Process Models 130
Totale 16.496
Salva come PNG Salva come JPEG
Categoria #
all - tutte 122.479
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 122.479
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20207.069 894 264 731 1.411 349 738 550 720 465 404 170 373
2020/20215.059 171 415 196 638 337 379 662 143 429 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.500 440 181 282 90 196 495 171 203 350 164 80 848
2024/2025346 346 0 0 0 0 0 0 0 0 0 0 0
Totale 33.191