CINECA IRIS Institutional Research Information System

SIMONCINI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.830
AS - Asia 1.775
EU - Europa 1.521
SA - Sud America 167
AF - Africa 59
OC - Oceania 1
Totale 7.353
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.711
IT - Italia 641
CN - Cina 584
SG - Singapore 517
HK - Hong Kong 256
SE - Svezia 252
BR - Brasile 140
UA - Ucraina 134
BG - Bulgaria 126
VN - Vietnam 119
CA - Canada 106
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
CI - Costa d'Avorio 10
PK - Pakistan 10
AR - Argentina 9
ZA - Sudafrica 7
ES - Italia 6
SA - Arabia Saudita 6
UZ - Uzbekistan 6
EC - Ecuador 5
MA - Marocco 5
MX - Messico 5
ID - Indonesia 4
KE - Kenya 4
BJ - Benin 3
PE - Perù 3
QA - Qatar 3
AT - Austria 2
CL - Cile 2
CO - Colombia 2
EG - Egitto 2
NL - Olanda 2
PA - Panama 2
PS - Palestinian Territory 2
PY - Paraguay 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
CZ - Repubblica Ceca 1
DK - Danimarca 1
GD - Grenada 1
GT - Guatemala 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.353
Salva come PNG Salva come JPEG
Città #
Woodbridge 636
Ann Arbor 423
Milan 390
Houston 284
Singapore 281
Ashburn 265
Santa Clara 259
Hong Kong 253
Chandler 217
Jacksonville 211
Fairfield 188
San Jose 124
Sofia 124
Beijing 116
Hefei 111
Ottawa 102
Seoul 102
Dallas 100
Shanghai 92
Cambridge 70
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
Nanchang 26
Lagos 23
Buffalo 22
Council Bluffs 20
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
Belo Horizonte 5
Da Nang 5
Falls Church 5
Guarulhos 5
Haiphong 5
Norwalk 5
Orem 5
Porto Alegre 5
Verona 5
Brooklyn 4
Düsseldorf 4
Guangzhou 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
Guayaquil 3
Jeddah 3
Jinan 3
Lahore 3
Lima 3
Nairobi 3
New Delhi 3
Nuremberg 3
Pune 3
Totale 5.639
Salva come PNG Salva come JPEG
Nome #
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 224
Data-flow Control Systems: An example of Safety Validation 216
Analysis of Temporal Properties of Data Flow Control Systems 211
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 193
Resilient Computing: an Engineering Discipline 183
A Simulator for Performability Analysis of Electrical Power Systems considering Interdependencies 180
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? 173
MSc Curriculum in Resilient Computing – Courseware Availability 168
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
2004 International Conference on Dependable Systems and Networks (DSN 2004) 159
Verfying the Design of Fault Tolerant Systems 158
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 147
Architectural Challenges for a Dependable Information Society 147
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking 143
Atti del Convegno Nazionale su Informatica e Riservatezza 140
Validating the Design of Dependable Systems 140
AMSD: A Dependability Roadmap for the Information Society in Europe Part 2 - Appraisal of related IST Roadmaps 139
Deliverable D37 Resilient Computing Curriculum 138
Temporal Analysis of Data Flow Control Systems 138
AMSD: A Dependability Roadmap for the Information Society in Europe 137
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems 135
AMSD: A Dependability Roadmap for the Information Society in Europe Part 1 - An Insight into Future 134
AMSD: A Dependability Roadmap for the Information Society in Europe Part 3 - Towards a Dependability Roadmap 134
MSc Curriculum in Resilient Computing 134
Resilient Computing: a multi-disciplinary MSc Curriculum 134
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks 132
Technological and Educational Challenges of Resilient Computing 131
Current and future needs for Distributed Computing Systems 129
MSc Curriculum in Resilient Computing 129
Architectural Challenges for Ambient Dependability 126
Using Process Algebras for the Semantic Analysis of Data flow Networks 121
Some Issues to be taken into account for a Dependable 2031 121
Deliverable D38 Resilient Computing Courseware 118
Deliverable D40 RKB and Courseware Legacy 117
Is Technology (only) the Solution? 116
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 113
Integrated Validation of Dependable Systems 106
null 102
Design Validation of Embedded Dependable Systems 94
Trustworthiness Challenges 92
Modelling and Analysis of Dependability and Performance of GPRS Systems 81
Formally verifying fault tolerant system designs 45
Totale 7.379
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.618
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 17.618
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202146 0 0 0 0 0 0 0 0 0 0 0 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/20261.275 88 223 138 76 95 143 219 55 84 109 29 16
Totale 7.379