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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.769 0 0 0 0 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/20252.168 397 265 724 530 252 0 0 0 0 0 0 0
Totale 35.013