CORRADINI, Flavio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 25.102
EU - Europa 14.001
AS - Asia 9.033
SA - Sud America 1.104
AF - Africa 169
Continente sconosciuto - Info sul continente non disponibili 45
OC - Oceania 23
Totale 49.477
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 24.185
CN - Cina 3.956
RU - Federazione Russa 3.382
IT - Italia 2.720
SG - Singapore 2.588
PL - Polonia 1.716
DE - Germania 1.285
FR - Francia 1.026
BR - Brasile 954
HK - Hong Kong 894
GB - Regno Unito 859
SE - Svezia 859
UA - Ucraina 823
CA - Canada 802
FI - Finlandia 594
KR - Corea 358
TR - Turchia 317
VN - Vietnam 288
IE - Irlanda 190
IN - India 158
BE - Belgio 98
JP - Giappone 89
MX - Messico 83
NL - Olanda 83
PK - Pakistan 69
CZ - Repubblica Ceca 58
BD - Bangladesh 55
ES - Italia 55
AR - Argentina 52
ZA - Sudafrica 45
DZ - Algeria 43
EU - Europa 43
SI - Slovenia 43
IR - Iran 39
AT - Austria 34
ID - Indonesia 30
IQ - Iraq 29
EC - Ecuador 25
LT - Lituania 25
CH - Svizzera 20
IL - Israele 20
TW - Taiwan 18
AE - Emirati Arabi Uniti 17
MA - Marocco 16
BG - Bulgaria 15
CO - Colombia 15
EE - Estonia 15
VE - Venezuela 15
AU - Australia 14
PT - Portogallo 14
RO - Romania 14
UZ - Uzbekistan 14
KE - Kenya 13
TN - Tunisia 13
LV - Lettonia 11
PY - Paraguay 11
AZ - Azerbaigian 10
PE - Perù 10
UY - Uruguay 10
EG - Egitto 9
KZ - Kazakistan 9
GH - Ghana 8
NO - Norvegia 8
NZ - Nuova Zelanda 8
BY - Bielorussia 7
CL - Cile 7
GR - Grecia 7
HN - Honduras 7
JO - Giordania 7
NP - Nepal 7
PA - Panama 7
PH - Filippine 7
AM - Armenia 6
DK - Danimarca 6
ET - Etiopia 6
SK - Slovacchia (Repubblica Slovacca) 6
HU - Ungheria 5
KG - Kirghizistan 5
OM - Oman 5
RS - Serbia 5
SA - Arabia Saudita 5
BO - Bolivia 4
CR - Costa Rica 4
JM - Giamaica 4
KW - Kuwait 4
LK - Sri Lanka 4
MK - Macedonia 4
MY - Malesia 4
TT - Trinidad e Tobago 4
HR - Croazia 3
KH - Cambogia 3
LB - Libano 3
NG - Nigeria 3
TH - Thailandia 3
AL - Albania 2
BF - Burkina Faso 2
BH - Bahrain 2
DM - Dominica 2
GE - Georgia 2
IM - Isola di Man 2
Totale 49.443
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.389
Fairfield 2.168
Ashburn 2.130
Jacksonville 1.986
Chandler 1.400
Houston 1.258
Singapore 1.225
Kraków 1.197
Ann Arbor 1.154
Seattle 1.049
Wilmington 1.005
Hong Kong 889
Boardman 869
Cambridge 787
Nanjing 633
Beijing 626
Warsaw 494
Toronto 487
Dearborn 459
Los Angeles 448
Dallas 404
Camerino 396
New York 338
The Dalles 332
Seoul 323
San Mateo 311
Tongling 293
Helsinki 281
Princeton 272
Columbus 271
Lawrence 270
Istanbul 238
Ogden 225
Nanchang 224
Moscow 221
London 203
Buffalo 184
Dublin 180
Lachine 175
Munich 171
Shanghai 170
Milan 139
Guangzhou 135
Chicago 134
Kunming 128
Bremen 126
São Paulo 121
Shenyang 111
Tianjin 110
Jiaxing 108
Centro 100
San Diego 97
Brussels 95
Ho Chi Minh City 85
Rome 85
Tokyo 85
Council Bluffs 83
Hebei 80
Santa Clara 71
Montreal 69
Düsseldorf 64
Wuhan 63
Dong Ket 58
Stockholm 58
Turku 58
Changsha 55
Brooklyn 53
Denver 53
Redwood City 53
Cesena 51
Jinan 51
Venezia 51
Auburn Hills 48
Chennai 48
Phoenix 48
Poplar 45
Hangzhou 43
Hefei 43
Kocaeli 43
Leawood 43
Hanoi 42
Philadelphia 41
Ancona 39
Johannesburg 38
Redondo Beach 38
San Francisco 38
Zhengzhou 38
Boston 37
Lanzhou 37
Orange 37
Mexico City 34
Verona 33
Orem 32
Nuremberg 31
Atlanta 30
Frankfurt am Main 29
Manchester 29
Olomouc 29
Monmouth Junction 28
Ningbo 27
Totale 31.813
Salva come PNG Salva come JPEG
Nome #
A Survey of Trust Management Models for Cloud Computing 375
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED 329
Business process flexibility - a systematic literature review with a software systems perspective 320
A Constrained ECA Language Supporting Formal Verification of WSNs 319
Extending Feature Models to Express Variability in Business Process Models 315
FedCohesion: Federated Identity Management in the Marche Region 302
Analysis and verification of ECA rules in intelligent environments 302
Detecting Synchronisation of Biological Oscillators by Model Checking 291
null 286
Cloud Readiness Assessment of Legacy Application 286
A pattern for enabling multitenancy in legacy application 276
A Flexible Architecture to Monitor Dynamic Web Services Composition 275
On Avoiding Erroneous Synchronization in BPMN Processes 271
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes 262
Business Process Feature Model: An Approach to Deal with Variability of Business Processes 254
A Guidelines Framework for Understandable BPMN Models 254
An Agent-oriented Conceptual Framework for Systems Biology 252
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 249
2. Towards Bioinformatics Resourceomes 245
A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal 243
Distribution and Locality of Concurrent Systems 242
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions 239
BioShape: a spatial shape-based scale-independent simulation environment for biological systems 238
A Formal Model for Event-Condition-Action Rules in Intelligent Environments 237
A distributed peer system for public administration content retrieval 236
A model-prover for constrained dynamic conversations 234
Private Assisted House for Smart Living 234
Resourceome: a Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge 234
Process Variability Modeling for Complex Organizations 231
On the Fault Tolerance of Mobile Ad Hoc Networks 230
Time and Fairness in a Process Algebra with Non-blocking Reading 230
E-market project; the e-marketplace of the Marche region 229
An Agent-based Multilayer Architecture for Bioinformatics Grids. 229
A Resourceome for the automation of in-silico biological experiments 228
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation 228
An Operational Semantics of BPMN Collaboration 227
Agent-Based Models of Cellular Systems 225
null 222
Sinergy: how semantics can improve early prevention of skin cancers. 221
A Formal Model for Quality of Service Measurement in e-Government 220
A characterization of regular expressions under bisimulation 217
A Resourceomic Grid for bioinformatics 215
A Rule-Driven Business Process Design 214
An Individual-based Probabilistic Model for Fish Stock Simulation 213
ACTIVAge: proACTIVe and self-adaptive social-sensor network for Ageing people 213
Shared Services for Supporting Online Public Service Delivery in Rural Areas 212
A Formal Approach to Modelling and Verification of Business Process Collaborations 212
ResourceHome: an RFID-based architecture and a flexible model for ambient intelligence 211
Read Operators and their Expressiveness in Process Algebras 210
null 208
Relating Fairness and Timing in Process Algebras 207
A Data Oriented Approach to Derive Public Administration Business Processes 207
A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell 206
Liveness of a Mutex Algorithm in a Fair Process Algebra 205
An Integration Platform for Private Assisted Houses 205
Quality of service in e-Government underlines the role of information usability 205
Quality Assessment of Digital Services in e-Government with a Case Study in an Italian Region 203
Agents in bioinformatics, computational and systems biology 203
Bone Remodelling: A Complex Automata-Based Model Running in BioShape 203
e-Government Quality of Service: the Role of Citizens 202
Automated Analysis of MUTEX Algorithms with FASE 202
Holistic Development of Online Public Services 200
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata 200
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. 199
Fairness of Components in System Computations 199
A Shape Calculus for Biological Processes 198
BIOSHAPE: End-User Development for Simulating Biological Systems 196
FarMAS: A MAS for Extended Quality Workflow 196
Deriving Test Plans from Architectural Descriptions 195
BProVe: a Formal Verification Framework for Business Process Models 194
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006) 193
Inter-organizational business process verification in public administration 191
A Choreography-Driven Approach for Blockchain-Based IoT Applications 191
Semantic-based eService Delivery for eGovernment Domain 189
A case study to face intelligent document management and semantic interoperability in regione Marche 189
Towards Parallelization of Concurrent Systems 189
Performance of pipelined asynchronous systems 187
"An agent-oriented conceptual framework for biological systems modelling" 187
A case study of participatory design in E-Government systems: E-service and E-id 187
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments 187
Social Enterprise Architecture: Towards an extendable and scaleable system architecture for KM 186
An ECLIPSE Plug-in for Formal Verification of BPMN Processes 186
An Individual-based Probabilistic Model for Fish Stock Simulation 185
On Testing Urgency through Laziness over Processes with Durational Actions 184
Multiscale Bone Remodelling with Spatial P Systems 182
`Closed Interval Process Algebra' versus `Interval Process Algebra' 181
Expressiveness of Timed Events and Timed Languages 181
BioWMS: a web-based Workflow Management System for bioinformatics 180
null 179
A Finite Axiomatization of Nondeterministic Regular Expressions 178
Fairness of Actions in System Computations 178
On Synchronous and Asynchronous Communication Paradigms 177
Uniformity in Multiscale Models: From Complex Automata to BioShape 177
Small Administrations: eGovernment in disadvantaged environments 176
A GRID-based multilayer architecture for bioinformatics 176
Checking a Mutex Algorithm in a Process Algebra with Fairness 175
On the semantics of durational actions 175
Hermes: Agent-Based Middleware for Mobile Computing 174
On the Coarsest Congruence within Global-Clock-Bounded Equivalence 174
An overview of Service-Oriented Computing challenges and issues 174
Totale 21.938
Salva come PNG Salva come JPEG
Categoria #
all - tutte 200.497
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 200.497
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213.302 0 0 0 0 0 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.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/20267.352 1.004 760 1.200 2.355 1.766 267 0 0 0 0 0 0
Totale 50.254