CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18386
EU - Europa 8313
AS - Asia 2196
Continente sconosciuto - Info sul continente non disponibili 45
AF - Africa 17
SA - Sud America 7
OC - Oceania 1
Totale 28965
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17726
CN - Cina 1956
IT - Italia 1688
PL - Polonia 1616
FR - Francia 961
DE - Germania 895
UA - Ucraina 812
SE - Svezia 801
CA - Canada 655
GB - Regno Unito 504
FI - Finlandia 375
BE - Belgio 309
IE - Irlanda 213
VN - Vietnam 59
TR - Turchia 45
EU - Europa 43
SI - Slovenia 42
KR - Corea 34
IR - Iran 33
IN - India 22
PK - Pakistan 18
NL - Olanda 15
EE - Estonia 14
BG - Bulgaria 13
IL - Israele 7
RU - Federazione Russa 7
GH - Ghana 6
IQ - Iraq 6
NO - Norvegia 6
RO - Romania 6
CZ - Repubblica Ceca 5
ES - Italia 5
AT - Austria 4
CH - Svizzera 4
ET - Etiopia 4
JP - Giappone 4
BY - Bielorussia 3
DK - Danimarca 3
HR - Croazia 3
RS - Serbia 3
BR - Brasile 2
CL - Cile 2
DZ - Algeria 2
HK - Hong Kong 2
ID - Indonesia 2
MX - Messico 2
NG - Nigeria 2
PE - Perù 2
PT - Portogallo 2
TN - Tunisia 2
TW - Taiwan 2
A1 - ???statistics.table.value.countryCode.A1??? 1
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AU - Australia 1
BN - Brunei Darussalam 1
BZ - Belize 1
IM - Isola di Man 1
JM - Giamaica 1
KG - Kirghizistan 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
TZ - Tanzania 1
VE - Venezuela 1
Totale 28965
Salva come PNG Salva come JPEG
Città #
Woodbridge 2389
Fairfield 2168
Jacksonville 1986
Chandler 1400
Houston 1225
Kraków 1197
Ann Arbor 1154
Wilmington 1003
Seattle 977
Ashburn 965
Cambridge 785
Nanjing 628
Toronto 469
Dearborn 459
Warsaw 415
San Mateo 311
Brussels 309
Princeton 272
Lawrence 270
Nanchang 224
Dublin 205
Lachine 175
Camerino 163
Boardman 158
Beijing 155
Helsinki 153
Kunming 127
Bremen 126
Philadelphia 112
Shenyang 109
Tianjin 101
Centro 100
San Diego 96
Hebei 80
Jiaxing 77
Milan 73
Dong Ket 58
Redwood City 53
Changsha 51
Venezia 51
Düsseldorf 49
Auburn Hills 48
Cesena 48
London 46
Jinan 45
Kocaeli 43
Leawood 43
Hefei 41
Hangzhou 39
Lanzhou 37
Orange 37
Guangzhou 33
Verona 33
Zhengzhou 31
Monmouth Junction 28
Shanghai 28
Ardabil 25
Los Angeles 25
Ningbo 25
Norwalk 24
Rome 21
Venice 19
Changchun 18
Council Bluffs 18
Falls Church 18
Lainate 18
Macerata 18
New York 17
Hanover 16
Augusta 15
Fermo 15
Islamabad 15
Taizhou 15
Indiana 14
Nürnberg 14
Southend 14
Tallinn 14
Falconara Marittima 13
Matelica 13
Portland 13
Ancona 12
Edinburgh 11
Fuzhou 11
Sant'Elpidio a Mare 11
Buti 9
Castelfiorentino 9
Iesi 9
Ottawa 9
Caserta 8
Casoria 8
Dallas 8
Enterprise 8
Foggia 8
Gunzenhausen 8
Mumbai 8
Redmond 8
Sefro 8
Simi Valley 8
Xian 8
Ascoli Piceno 7
Totale 22051
Salva come PNG Salva come JPEG
Nome #
null 286
Business process flexibility - a systematic literature review with a software systems perspective 251
Extending Feature Models to Express Variability in Business Process Models 242
A Survey of Trust Management Models for Cloud Computing 239
A Constrained ECA Language Supporting Formal Verification of WSNs 229
FedCohesion: Federated Identity Management in the Marche Region 227
null 222
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 221
On Avoiding Erroneous Synchronization in BPMN Processes 220
Analysis and verification of ECA rules in intelligent environments 218
Detecting Synchronisation of Biological Oscillators by Model Checking 211
null 208
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 198
A pattern for enabling multitenancy in legacy application 193
Distribution and Locality of Concurrent Systems 189
A Flexible Architecture to Monitor Dynamic Web Services Composition 189
A Guidelines Framework for Understandable BPMN Models 181
Cloud Readiness Assessment of Legacy Application 181
Process Variability Modeling for Complex Organizations 181
null 179
An Agent-oriented Conceptual Framework for Systems Biology 175
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 175
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 175
An Operational Semantics of BPMN Collaboration 164
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 164
null 163
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 158
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 158
Shared Services for Supporting Online Public Service Delivery in Rural Areas 155
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 153
FarMAS: A MAS for Extended Quality Workflow 152
A Formal Model for Quality of Service Measurement in e-Government 151
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 151
Time and Fairness in a Process Algebra with Non-blocking Reading 151
null 151
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 150
On the Fault Tolerance of Mobile Ad Hoc Networks 150
Deriving Test Plans from Architectural Descriptions 149
Holistic Development of Online Public Services 148
A Resourceome for the automation of in-silico biological experiments 148
Sinergy: how semantics can improve early prevention of skin cancers. 148
Semantic-based eService Delivery for eGovernment Domain 147
Quality of service in e-Government underlines the role of information usability 147
Private Assisted House for Smart Living 147
Agent-Based Models of Cellular Systems 146
Inter-organizational business process verification in public administration 146
A distributed peer system for public administration content retrieval 144
Read Operators and their Expressiveness in Process Algebras 143
2. Towards Bioinformatics Resourceomes 143
Agents in bioinformatics, computational and systems biology 141
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 141
An Agent-based Multilayer Architecture for Bioinformatics Grids. 141
null 140
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 139
Towards Parallelization of Concurrent Systems 139
Liveness of a Mutex Algorithm in a Fair Process Algebra 137
Performance of pipelined asynchronous systems 137
A Rule-Driven Business Process Design 137
On the semantics of durational actions 137
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes 136
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 135
On Testing Urgency through Laziness over Processes with Durational Actions 134
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 134
On Synchronous and Asynchronous Communication Paradigms 134
An Integration Platform for Private Assisted Houses 134
Global vs. local semantics of BPMN 2.0 OR-join 134
On the Coarsest Congruence within Global-Clock-Bounded Equivalence 133
A characterization of regular expressions under bisimulation 133
Expressiveness of Timed Events and Timed Languages 132
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 132
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 132
Fairness of Components in System Computations 131
An Individual-based Probabilistic Model for Fish Stock Simulation 131
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 130
null 130
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 129
A Finite Axiomatization of Nondeterministic Regular Expressions 129
Explicit fairness in testing semantics 129
BioWMS: a web-based Workflow Management System for bioinformatics 129
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 128
A Resourceomic Grid for bioinformatics 128
Multiscale Bone Remodelling with Spatial P Systems 128
An Equational Axiomatization of Bisimulation over Regular Expressions 127
null 127
E-market project; the e-marketplace of the Marche region 126
A model-prover for constrained dynamic conversations 126
Relating Fairness and Timing in Process Algebras 126
Automated Analysis of MUTEX Algorithms with FASE 126
Multiagent modelling and simulation of carbohydrate oxidation in cell 125
A Process Algebraic Approach to Software Architecture Design. 125
Hermes: Agent-Based Middleware for Mobile Computing 124
An agent-based approach to tool integration 124
null 124
null 123
Separation of Synchronous and Asynchronous Communication via Testing 123
Small Administrations: eGovernment in disadvantaged environments 122
A Formal Approach to Modelling and Verification of Business Process Collaborations 122
Models of Nondeterministic Regular Expressions 121
On Performance Congruences for Process Algebras 120
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 120
Totale 15362
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69723
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 69723
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018126 0000 00 00 000126
2018/20194109 110101161230 643308 88049 22314653638
2019/20207069 8942647311411 349738 550720 465404170373
2020/20215059 171415196638 337379 662143 429224928537
2021/20222931 2527015887 233141 103183 291278265339
2022/20234306 35830196552 565585 110438 8342523860
Totale 29555