CORRADINI, Flavio
 Distribuzione geografica
Continente #
NA - Nord America 20.128
EU - Europa 9.031
AS - Asia 2.338
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 45
SA - Sud America 15
OC - Oceania 10
Totale 31.612
Nazione #
US - Stati Uniti d'America 19.466
CN - Cina 2.016
IT - Italia 1.957
PL - Polonia 1.619
DE - Germania 980
FR - Francia 961
UA - Ucraina 813
SE - Svezia 801
CA - Canada 657
GB - Regno Unito 647
FI - Finlandia 454
BE - Belgio 426
IE - Irlanda 215
VN - Vietnam 64
IN - India 48
TR - Turchia 47
EU - Europa 43
SI - Slovenia 42
PK - Pakistan 38
KR - Corea 34
IR - Iran 33
DZ - Algeria 27
NL - Olanda 22
EE - Estonia 14
BG - Bulgaria 13
HK - Hong Kong 12
JP - Giappone 11
RU - Federazione Russa 8
BR - Brasile 7
ID - Indonesia 7
IL - Israele 7
RO - Romania 7
AU - Australia 6
ES - Italia 6
GH - Ghana 6
IQ - Iraq 6
NO - Norvegia 6
SG - Singapore 6
CH - Svizzera 5
CZ - Repubblica Ceca 5
PE - Perù 5
AT - Austria 4
DK - Danimarca 4
ET - Etiopia 4
LT - Lituania 4
NZ - Nuova Zelanda 4
BY - Bielorussia 3
HR - Croazia 3
MK - Macedonia 3
PT - Portogallo 3
RS - Serbia 3
CL - Cile 2
MA - Marocco 2
MX - Messico 2
NG - Nigeria 2
TN - Tunisia 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
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
Totale 31.612
Città #
Woodbridge 2.389
Fairfield 2.168
Jacksonville 1.986
Chandler 1.400
Ashburn 1.316
Houston 1.225
Kraków 1.197
Ann Arbor 1.154
Seattle 1.037
Wilmington 1.003
Cambridge 785
Nanjing 628
Toronto 469
Dearborn 459
Brussels 423
Warsaw 415
San Mateo 311
Princeton 272
Lawrence 270
Columbus 246
Helsinki 232
Ogden 225
Nanchang 224
Boardman 221
Dublin 205
New York 203
Camerino 198
Beijing 176
Lachine 175
Kunming 127
Bremen 126
London 114
Philadelphia 112
Shenyang 109
Milan 104
Tianjin 101
Centro 100
San Diego 96
Hebei 80
Jiaxing 77
Shanghai 62
Dong Ket 58
Redwood City 53
Cesena 51
Changsha 51
Venezia 51
Düsseldorf 49
Auburn Hills 48
Jinan 45
Kocaeli 43
Leawood 43
Hefei 41
Hangzhou 40
Lanzhou 37
Orange 37
Rome 34
Guangzhou 33
Verona 33
Ancona 31
Zhengzhou 31
Monmouth Junction 28
Los Angeles 26
Ardabil 25
Ningbo 25
Pune 25
Norwalk 24
Macerata 21
Hanover 20
Ascoli Piceno 19
Venice 19
Washington 19
Changchun 18
Council Bluffs 18
Falls Church 18
Lainate 18
Berlin 17
Algiers 16
Hounslow 16
Augusta 15
Fermo 15
Islamabad 15
Taizhou 15
Indiana 14
Nürnberg 14
Southend 14
Tallinn 14
Falconara Marittima 13
Iesi 13
Matelica 13
Portland 13
Prescot 13
Sant'Elpidio a Mare 13
Tappahannock 13
Valmadrera 13
Urbino 12
Castelraimondo 11
Edinburgh 11
Fuzhou 11
Hong Kong 10
Seelze 10
Totale 23.686
Nome #
null 286
Business process flexibility - a systematic literature review with a software systems perspective 259
Extending Feature Models to Express Variability in Business Process Models 250
A Survey of Trust Management Models for Cloud Computing 247
A Constrained ECA Language Supporting Formal Verification of WSNs 240
On Avoiding Erroneous Synchronization in BPMN Processes 239
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 239
FedCohesion: Federated Identity Management in the Marche Region 236
Analysis and verification of ECA rules in intelligent environments 228
Detecting Synchronisation of Biological Oscillators by Model Checking 222
null 222
null 208
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 206
A Flexible Architecture to Monitor Dynamic Web Services Composition 202
A pattern for enabling multitenancy in legacy application 201
Distribution and Locality of Concurrent Systems 199
A Guidelines Framework for Understandable BPMN Models 189
Cloud Readiness Assessment of Legacy Application 189
Process Variability Modeling for Complex Organizations 187
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 186
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 186
An Agent-oriented Conceptual Framework for Systems Biology 181
null 179
An Operational Semantics of BPMN Collaboration 177
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 174
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 168
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 167
A Formal Model for Quality of Service Measurement in e-Government 165
null 163
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 162
Private Assisted House for Smart Living 162
Shared Services for Supporting Online Public Service Delivery in Rural Areas 161
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 161
A distributed peer system for public administration content retrieval 161
On the Fault Tolerance of Mobile Ad Hoc Networks 161
2. Towards Bioinformatics Resourceomes 159
Time and Fairness in a Process Algebra with Non-blocking Reading 158
Quality of service in e-Government underlines the role of information usability 158
FarMAS: A MAS for Extended Quality Workflow 158
A Resourceome for the automation of in-silico biological experiments 157
Sinergy: how semantics can improve early prevention of skin cancers. 157
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 157
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 156
Deriving Test Plans from Architectural Descriptions 155
Semantic-based eService Delivery for eGovernment Domain 154
Agent-Based Models of Cellular Systems 154
Holistic Development of Online Public Services 153
Inter-organizational business process verification in public administration 153
A Rule-Driven Business Process Design 152
null 151
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 150
Agents in bioinformatics, computational and systems biology 150
An Agent-based Multilayer Architecture for Bioinformatics Grids. 150
Read Operators and their Expressiveness in Process Algebras 149
A characterization of regular expressions under bisimulation 146
Liveness of a Mutex Algorithm in a Fair Process Algebra 146
Towards Parallelization of Concurrent Systems 145
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 145
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 144
On Testing Urgency through Laziness over Processes with Durational Actions 143
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 143
Performance of pipelined asynchronous systems 143
An Integration Platform for Private Assisted Houses 143
Global vs. local semantics of BPMN 2.0 OR-join 143
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes 142
Expressiveness of Timed Events and Timed Languages 142
On the semantics of durational actions 141
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 141
On the Coarsest Congruence within Global-Clock-Bounded Equivalence 140
Fairness of Components in System Computations 140
An Individual-based Probabilistic Model for Fish Stock Simulation 140
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 140
BioWMS: a web-based Workflow Management System for bioinformatics 140
null 140
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 139
On Synchronous and Asynchronous Communication Paradigms 139
A model-prover for constrained dynamic conversations 138
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 137
A Finite Axiomatization of Nondeterministic Regular Expressions 137
E-market project; the e-marketplace of the Marche region 135
A Resourceomic Grid for bioinformatics 135
Multiscale Bone Remodelling with Spatial P Systems 135
Explicit fairness in testing semantics 135
Relating Fairness and Timing in Process Algebras 134
Multiagent modelling and simulation of carbohydrate oxidation in cell 133
An Equational Axiomatization of Bisimulation over Regular Expressions 133
BProVe: a Formal Verification Framework for Business Process Models 133
A Formal Approach to Modelling and Verification of Business Process Collaborations 133
Hermes: Agent-Based Middleware for Mobile Computing 132
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 132
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 132
An agent-based approach to tool integration 131
Automated Analysis of MUTEX Algorithms with FASE 130
null 130
A Process Algebraic Approach to Software Architecture Design. 130
Models of Nondeterministic Regular Expressions 129
Small Administrations: eGovernment in disadvantaged environments 128
`Closed Interval Process Algebra' versus `Interval Process Algebra' 128
A Data Oriented Approach to Derive Public Administration Business Processes 128
Separation of Synchronous and Asynchronous Communication via Testing 127
Totale 16.194
Categoria #
all - tutte 106.754
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 106.754


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.627 0 0 0 0 0 0 0 0 22 314 653 638
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.453 358 30 196 552 565 585 110 438 834 252 386 147
2023/20242.533 456 209 288 115 255 495 171 203 341 0 0 0
Totale 32.235