CINECA IRIS Institutional Research Information System

SIMONCINI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.867
AS - Asia 1.775
EU - Europa 1.521
SA - Sud America 173
AF - Africa 59
OC - Oceania 1
Totale 7.396
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.745
IT - Italia 641
CN - Cina 584
SG - Singapore 517
HK - Hong Kong 256
SE - Svezia 252
BR - Brasile 142
UA - Ucraina 134
BG - Bulgaria 126
VN - Vietnam 119
CA - Canada 107
KR - Corea 104
DE - Germania 74
TR - Turchia 70
CH - Svizzera 63
FI - Finlandia 62
RU - Federazione Russa 55
FR - Francia 52
GB - Regno Unito 35
JP - Giappone 30
IN - India 26
NG - Nigeria 23
BD - Bangladesh 16
IQ - Iraq 13
BE - Belgio 11
AR - Argentina 10
CI - Costa d'Avorio 10
PK - Pakistan 10
ZA - Sudafrica 7
EC - Ecuador 6
ES - Italia 6
SA - Arabia Saudita 6
UZ - Uzbekistan 6
MA - Marocco 5
MX - Messico 5
ID - Indonesia 4
KE - Kenya 4
BJ - Benin 3
CL - Cile 3
PE - Perù 3
PY - Paraguay 3
QA - Qatar 3
AT - Austria 2
CO - Colombia 2
EG - Egitto 2
GT - Guatemala 2
NL - Olanda 2
PA - Panama 2
PS - Palestinian Territory 2
RO - Romania 2
SN - Senegal 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
UY - Uruguay 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
GD - Grenada 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KN - Saint Kitts e Nevis 1
KZ - Kazakistan 1
LT - Lituania 1
NZ - Nuova Zelanda 1
OM - Oman 1
PR - Porto Rico 1
SO - Somalia 1
Totale 7.396
Salva come PNG Salva come JPEG
Città #
Woodbridge 636
Ann Arbor 423
Milan 390
Houston 284
Singapore 281
Ashburn 268
Santa Clara 260
Hong Kong 253
Chandler 217
Jacksonville 211
Fairfield 188
San Jose 124
Sofia 124
Beijing 116
Hefei 111
Ottawa 102
Seoul 102
Dallas 101
Shanghai 92
Cambridge 71
Nanjing 67
New York 67
Wilmington 64
Bern 63
Seattle 63
Boardman 62
Lawrence 51
Princeton 51
Los Angeles 49
Izmir 41
Lauterbourg 40
Rome 37
Jüchen 34
Des Moines 33
Dearborn 30
Ho Chi Minh City 30
Tokyo 30
Council Bluffs 26
Nanchang 26
Lagos 23
Buffalo 22
Dong Ket 20
Hanoi 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
Helsinki 10
San Diego 9
Shenyang 8
Redondo Beach 7
Changsha 6
Hangzhou 6
Jiaxing 6
Orange 6
Tashkent 6
Verona 6
Belo Horizonte 5
Da Nang 5
Falls Church 5
Guarulhos 5
Haiphong 5
Norwalk 5
Orem 5
Porto Alegre 5
Brooklyn 4
Düsseldorf 4
Guangzhou 4
Guayaquil 4
Johannesburg 4
Rio de Janeiro 4
The Dalles 4
Zhengzhou 4
Baghdad 3
Bắc Giang 3
Campinas 3
Caxias do Sul 3
Changchun 3
Chennai 3
Columbus 3
Cotonou 3
Curitiba 3
Dhaka 3
Doha 3
Frankfurt am Main 3
Jeddah 3
Jinan 3
Lahore 3
Lima 3
Nairobi 3
New Delhi 3
Nuremberg 3
Pune 3
Totale 5.653
Salva come PNG Salva come JPEG
Nome #
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 228
Data-flow Control Systems: An example of Safety Validation 219
Analysis of Temporal Properties of Data Flow Control Systems 213
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 193
Resilient Computing: an Engineering Discipline 184
A Simulator for Performability Analysis of Electrical Power Systems considering Interdependencies 181
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems considering Interdependencies 178
Activity on Education and Training in the ReSIST NoE 174
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? 174
MSc Curriculum in Resilient Computing – Courseware Availability 169
MSc Curriculum in Resilient Computing 167
Data-flow Networks in the Design of Safety-critical Systems 165
Presentation of ReSIST – Resilience for Survivability in IST European Network of Excellence 162
Teaching Resilient Computing: Proposal of an MSc Curriculum 161
Verfying the Design of Fault Tolerant Systems 159
2004 International Conference on Dependable Systems and Networks (DSN 2004) 159
Model-based evaluation of the middleware services and protocols & architectural patterns 158
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability 155
Towards a Discipline of System Engineering: Validation of Dependable Systems 150
Ambient Dependability: A Grand Challenge 149
Architectural Challenges for a Dependable Information Society 147
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking 143
Temporal Analysis of Data Flow Control Systems 143
Atti del Convegno Nazionale su Informatica e Riservatezza 141
Validating the Design of Dependable Systems 141
AMSD: A Dependability Roadmap for the Information Society in Europe Part 2 - Appraisal of related IST Roadmaps 139
Deliverable D37 Resilient Computing Curriculum 139
AMSD: A Dependability Roadmap for the Information Society in Europe 138
AMSD: A Dependability Roadmap for the Information Society in Europe Part 1 - An Insight into Future 135
MSc Curriculum in Resilient Computing 135
Resilient Computing: a multi-disciplinary MSc Curriculum 135
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems 135
AMSD: A Dependability Roadmap for the Information Society in Europe Part 3 - Towards a Dependability Roadmap 134
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks 133
Technological and Educational Challenges of Resilient Computing 131
Current and future needs for Distributed Computing Systems 130
MSc Curriculum in Resilient Computing 129
Architectural Challenges for Ambient Dependability 127
Using Process Algebras for the Semantic Analysis of Data flow Networks 123
Some Issues to be taken into account for a Dependable 2031 122
Deliverable D40 RKB and Courseware Legacy 119
Deliverable D38 Resilient Computing Courseware 119
Is Technology (only) the Solution? 117
Towards a Discipline of System Engineering: Validation of Dependable System Architectures 116
Grid Computing Evolution and Challenges for Resilience, Performance and Scalability 115
MSc Curriculum in Resilient Computing 114
Integrated Validation of Dependable Systems 107
null 102
Design Validation of Embedded Dependable Systems 95
Trustworthiness Challenges 93
Modelling and Analysis of Dependability and Performance of GPRS Systems 82
Formally verifying fault tolerant system designs 45
Totale 7.422
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.220
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 18.220
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20261.297 88 223 138 76 95 143 219 55 84 109 29 38
2026/202721 21 0 0 0 0 0 0 0 0 0 0 0
Totale 7.422