CINECA IRIS Institutional Research Information System

SIMONCINI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.620
AS - Asia 1.562
EU - Europa 1.453
SA - Sud America 152
AF - Africa 53
OC - Oceania 1
Totale 6.841
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.507
IT - Italia 638
CN - Cina 579
SG - Singapore 449
HK - Hong Kong 254
SE - Svezia 252
UA - Ucraina 133
BR - Brasile 131
BG - Bulgaria 125
CA - Canada 105
KR - Corea 104
DE - Germania 70
TR - Turchia 69
CH - Svizzera 63
FI - Finlandia 54
RU - Federazione Russa 54
VN - Vietnam 49
GB - Regno Unito 34
NG - Nigeria 23
IN - India 15
BD - Bangladesh 12
BE - Belgio 11
CI - Costa d'Avorio 10
FR - Francia 8
IQ - Iraq 7
AR - Argentina 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
EC - Ecuador 5
MX - Messico 5
PK - Pakistan 5
ES - Italia 4
KE - Kenya 4
MA - Marocco 4
UZ - Uzbekistan 4
BJ - Benin 3
PE - Perù 3
AT - Austria 2
PY - Paraguay 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EG - Egitto 1
GD - Grenada 1
ID - Indonesia 1
IL - Israele 1
JO - Giordania 1
JP - Giappone 1
KZ - Kazakistan 1
LT - Lituania 1
NL - Olanda 1
NZ - Nuova Zelanda 1
PA - Panama 1
QA - Qatar 1
RO - Romania 1
SO - Somalia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
VE - Venezuela 1
Totale 6.841
Salva come PNG Salva come JPEG
Città #
Woodbridge 636
Ann Arbor 423
Milan 390
Houston 284
Santa Clara 259
Hong Kong 252
Ashburn 242
Singapore 234
Chandler 217
Jacksonville 211
Fairfield 188
Sofia 124
Beijing 116
Hefei 111
Ottawa 102
Seoul 102
Dallas 95
Shanghai 92
Cambridge 70
Nanjing 67
New York 66
Wilmington 64
Bern 63
Seattle 63
Boardman 62
Lawrence 51
Princeton 51
Los Angeles 48
Izmir 41
Rome 36
Jüchen 34
Des Moines 32
Dearborn 30
Nanchang 26
Lagos 23
Buffalo 22
Council Bluffs 20
Dong Ket 20
Istanbul 19
Serra 16
Kunming 15
Medford 15
Ogden 14
São Paulo 13
Hebei 12
Tianjin 12
Boulder 11
Brussels 11
Abidjan 10
San Diego 9
San Jose 8
Shenyang 8
Redondo Beach 7
Changsha 6
Hangzhou 6
Jiaxing 6
Orange 6
Belo Horizonte 5
Falls Church 5
Guarulhos 5
Ho Chi Minh City 5
Norwalk 5
Porto Alegre 5
Verona 5
Brooklyn 4
Düsseldorf 4
Guangzhou 4
Johannesburg 4
Tashkent 4
The Dalles 4
Zhengzhou 4
Campinas 3
Caxias do Sul 3
Changchun 3
Columbus 3
Cotonou 3
Curitiba 3
Dhaka 3
Guayaquil 3
Jeddah 3
Jinan 3
Lima 3
Nairobi 3
Pune 3
Redwood City 3
Riyadh 3
Taizhou 3
Washington 3
Anápolis 2
Asunción 2
Baghdad 2
Cascina 2
Chengdu 2
Chicago 2
Franca 2
Haikou 2
Hanoi 2
Helsinki 2
Lahore 2
Lanzhou 2
Totale 5.309
Salva come PNG Salva come JPEG
Nome #
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 209
Analysis of Temporal Properties of Data Flow Control Systems 202
Data-flow Control Systems: An example of Safety Validation 202
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 186
Resilient Computing: an Engineering Discipline 174
A Simulator for Performability Analysis of Electrical Power Systems considering Interdependencies 165
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems considering Interdependencies 165
Activity on Education and Training in the ReSIST NoE 163
MSc Curriculum in Resilient Computing – Courseware Availability 159
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? 158
MSc Curriculum in Resilient Computing 157
Data-flow Networks in the Design of Safety-critical Systems 155
Verfying the Design of Fault Tolerant Systems 150
Presentation of ReSIST – Resilience for Survivability in IST European Network of Excellence 149
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability 148
Model-based evaluation of the middleware services and protocols & architectural patterns 148
2004 International Conference on Dependable Systems and Networks (DSN 2004) 147
Teaching Resilient Computing: Proposal of an MSc Curriculum 146
Architectural Challenges for a Dependable Information Society 138
Towards a Discipline of System Engineering: Validation of Dependable Systems 137
Ambient Dependability: A Grand Challenge 136
Temporal Analysis of Data Flow Control Systems 133
Validating the Design of Dependable Systems 133
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking 131
AMSD: A Dependability Roadmap for the Information Society in Europe Part 2 - Appraisal of related IST Roadmaps 130
AMSD: A Dependability Roadmap for the Information Society in Europe 130
Atti del Convegno Nazionale su Informatica e Riservatezza 129
AMSD: A Dependability Roadmap for the Information Society in Europe Part 1 - An Insight into Future 127
AMSD: A Dependability Roadmap for the Information Society in Europe Part 3 - Towards a Dependability Roadmap 126
Resilient Computing: a multi-disciplinary MSc Curriculum 126
Deliverable D37 Resilient Computing Curriculum 124
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks 124
MSc Curriculum in Resilient Computing 123
Current and future needs for Distributed Computing Systems 122
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems 122
Technological and Educational Challenges of Resilient Computing 120
Architectural Challenges for Ambient Dependability 119
MSc Curriculum in Resilient Computing 117
Some Issues to be taken into account for a Dependable 2031 115
Towards a Discipline of System Engineering: Validation of Dependable System Architectures 110
Using Process Algebras for the Semantic Analysis of Data flow Networks 108
Grid Computing Evolution and Challenges for Resilience, Performance and Scalability 108
Deliverable D38 Resilient Computing Courseware 104
Is Technology (only) the Solution? 104
null 102
Deliverable D40 RKB and Courseware Legacy 100
MSc Curriculum in Resilient Computing 99
Integrated Validation of Dependable Systems 99
Design Validation of Embedded Dependable Systems 92
Trustworthiness Challenges 86
Modelling and Analysis of Dependability and Performance of GPRS Systems 73
Formally verifying fault tolerant system designs 37
Totale 6.867
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.237
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 16.237
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021194 0 0 0 0 0 10 48 36 18 22 14 46
2021/2022422 5 38 7 29 99 65 5 12 23 9 29 101
2022/2023589 57 71 46 34 101 98 3 58 96 3 18 4
2023/2024838 166 158 122 92 139 72 1 0 6 19 24 39
2024/20251.316 6 58 10 54 160 152 98 89 111 174 141 263
2025/2026763 88 223 138 76 95 143 0 0 0 0 0 0
Totale 6.867