CINECA IRIS Institutional Research Information System

DOMENICI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.670
AS - Asia 3.105
EU - Europa 2.516
SA - Sud America 525
AF - Africa 230
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 13.059
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.486
CN - Cina 920
IT - Italia 917
SG - Singapore 857
HK - Hong Kong 536
SE - Svezia 442
BR - Brasile 439
VN - Vietnam 263
DE - Germania 234
BG - Bulgaria 196
TR - Turchia 142
CA - Canada 140
GB - Regno Unito 138
UA - Ucraina 117
FI - Finlandia 110
FR - Francia 109
KR - Corea 99
RU - Federazione Russa 86
IN - India 76
CI - Costa d'Avorio 71
JP - Giappone 61
CH - Svizzera 58
SN - Senegal 53
NG - Nigeria 51
AR - Argentina 31
BD - Bangladesh 23
NL - Olanda 18
BE - Belgio 17
IQ - Iraq 17
MX - Messico 17
PK - Pakistan 15
SA - Arabia Saudita 15
ID - Indonesia 14
AT - Austria 12
MA - Marocco 12
CL - Cile 10
GR - Grecia 10
PE - Perù 9
UZ - Uzbekistan 9
AU - Australia 8
ES - Italia 8
JM - Giamaica 8
RO - Romania 8
TN - Tunisia 8
ZA - Sudafrica 8
EC - Ecuador 7
KE - Kenya 7
PL - Polonia 7
TT - Trinidad e Tobago 7
UY - Uruguay 7
VE - Venezuela 7
CO - Colombia 6
KZ - Kazakistan 6
PY - Paraguay 6
TW - Taiwan 6
AE - Emirati Arabi Uniti 5
EG - Egitto 5
IE - Irlanda 5
MY - Malesia 5
OM - Oman 5
TH - Thailandia 5
AZ - Azerbaigian 4
BB - Barbados 4
CZ - Repubblica Ceca 4
DZ - Algeria 4
EE - Estonia 4
LB - Libano 4
PH - Filippine 4
BY - Bielorussia 3
DO - Repubblica Dominicana 3
LT - Lituania 3
PT - Portogallo 3
RS - Serbia 3
BJ - Benin 2
CG - Congo 2
CR - Costa Rica 2
ET - Etiopia 2
EU - Europa 2
GY - Guiana 2
IR - Iran 2
JO - Giordania 2
KG - Kirghizistan 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PA - Panama 2
BN - Brunei Darussalam 1
BO - Bolivia 1
BW - Botswana 1
DK - Danimarca 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
IL - Israele 1
KH - Cambogia 1
LU - Lussemburgo 1
ML - Mali 1
NO - Norvegia 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
Totale 13.056
Salva come PNG Salva come JPEG
Città #
Woodbridge 828
Ann Arbor 611
Hong Kong 533
Ashburn 528
Houston 501
Singapore 498
Fairfield 483
Santa Clara 424
Chandler 382
Serra 212
Milan 201
Seattle 201
San Jose 197
Sofia 196
Beijing 181
Cambridge 172
Shanghai 172
Wilmington 162
Dallas 148
Jacksonville 148
Hefei 139
New York 138
Boardman 136
Ottawa 117
Princeton 93
Seoul 93
Izmir 91
Lawrence 81
Abidjan 71
Los Angeles 68
Lauterbourg 67
Ho Chi Minh City 64
Medford 60
Tokyo 58
Dakar 53
Nanjing 52
Lagos 51
Bern 49
Des Moines 47
Dearborn 43
San Vincenzo 43
Hanoi 40
London 40
Istanbul 38
Munich 36
Buffalo 35
Redwood City 35
Council Bluffs 33
Helsinki 31
Nanchang 31
Chicago 29
San Diego 28
Dong Ket 27
Ogden 27
Redondo Beach 27
Rome 26
São Paulo 25
Florence 22
Jüchen 22
Pisa 20
Changsha 18
The Dalles 18
Frankfurt am Main 17
Rio de Janeiro 17
Shenyang 16
Brussels 14
Orem 14
Boulder 13
Kunming 13
Columbus 12
Indiana 11
Hebei 10
Bremen 9
Cascina 9
Curitiba 9
Guangzhou 9
Haiphong 9
Auburn Hills 8
Baghdad 8
Düsseldorf 8
Fort Worth 8
Guarulhos 8
Los Lunas 8
Nuremberg 8
Nürnberg 8
Porto Alegre 8
San Francisco 8
Tashkent 8
Tianjin 8
Amsterdam 7
Brasília 7
Campinas 7
Da Nang 7
Falkenstein 7
Norwalk 7
Paris 7
Pune 7
Riyadh 7
Belo Horizonte 6
Changchun 6
Totale 9.353
Salva come PNG Salva come JPEG
Nome #
A protocol for resource locking and deadlock detection in a multi-user environment 268
A protocol for resource locking and deadlock detection in a multi-user environment 248
Introduzione alla programmazione ed elementi di strutture dati con il linguaggio C++ 240
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 230
Introduction to Prolog computation model and its implementation 226
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs 224
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System 220
Extending a user interface prototyping tool with automatic MISRA~C code generation 217
HRT-UML: Taking HRT-HOOD onto UML 216
Formalization and co-simulation of attacks on cyber-physical systems 212
A Model for the Storage Resource Manager 210
An abstract Prolog machine 209
Relaxed Data Consistency with CONStanza 208
Accurate Simulation of SEUs in the Configuration Memory of SRAM-based FPGAs 201
Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models 200
Static and Dynamic Data Models for the Storage Resource Manager v2.2 197
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 196
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 195
The DASE Tool: An Environment for the Development of Real-Time Applications 191
Modeling and simulation of attacks on cyber-physical systems 189
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 185
Failure Probability and Fault Observability of SRAM-FPGA Systems 182
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 181
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems 181
Debugging PVS specifications of control logics via event-driven simulation 180
Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks 177
SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs 177
Simulation and Test-Case Generation for PVS Specifications of Control Logics 173
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries 170
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies 169
Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs 164
Replica Management in the European DataGrid Project 163
An abstract Prolog machine Vol. 11, No. 2, pp. 31-37 161
Compiling Prolog with a C compiler 161
Formal approaches to SEUs testing in FPGAs 160
Logic-Based Formalization of System Requirements for Integrated Clinical Environments 160
Gondor: Goedel on Andorra 159
A performance study on the synchronisation of heterogeneous grid databases using CONStanza 159
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries 158
Application of Model Checking to Fault Tolerance Analysis 158
Towards a Formalization of System Requirements for an Integrated Clinical Environment 156
Debugging logic programs at the implementation level 155
Consistency of replicated datasets in Grid computing 152
Macchina Astratta di Warren e compilatore Prolog 146
Replica Consistency in a Data Grid 144
Petri nets in logic 143
A Prolog environment within the Unix operating system 143
Simulated Injection of Radiation-Induced Logic Faults in FPGAs 142
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 140
Next-Generation EU DataGrid Data Management Services 138
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 136
Strumenti per lo studio di reti di Petri basati sulla programmazione logica 133
Unificazione in Prolog: costi e valutazioni 130
High availability using virtualization 129
Object-Oriented Thinking for the Internet 127
A Synthetic trace generator for multiprocessor performance evaluation 127
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle 124
FACT: a Tool for Code Generation from Communicating Automata 121
Extended matchmaking with availability metrics in the WLCG/EGEE production Grid 119
A logic theory pattern for linearized control systems 117
Grid architectures and the European DataGrid 116
A Tool for Signal Probability Analysis of FPGA-Based Systems 116
Experiences in testing a Grid service in a production environment 115
Variables' lifetime, mode declarations and clause indexing in Prolog implementations 115
Block-Based Models and Theorem Proving in Model-Based Development 115
A prototyping process for medical devices and systems 115
The DASE Design Environment for Distributed Real-Time Analysis 114
A general model for an Abstract Prolog Machine 114
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 113
Formal verification and co-simulation in the design of a synchronous motor control algorithm 111
Experiences in Grid Architectures 110
High availability using virtualization 110
Co-simulation of bio-inspired multi-agent algorithms 109
Co-simulation of a Model Predictive Control System for Automotive Applications 104
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web 103
Object-oriented techniques for distributed computation 102
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors 98
null 96
null 96
Identify Potential Attacks from Simulated Log Analysis 96
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 87
GABES: a Genetic Algorithm Based Environment for SEU Testing in SRAM-FPGAs 84
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator 81
Do-it-Yourself FMU Generation 79
null 76
null 71
null 69
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System 63
null 55
null 48
Totale 13.278
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.174
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 35.174
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021177 0 0 0 0 0 0 0 0 0 0 63 114
2021/2022890 17 67 40 65 149 141 20 42 36 12 71 230
2022/20231.168 143 138 96 88 149 149 14 83 239 4 56 9
2023/2024876 129 102 126 53 113 137 29 17 22 21 35 92
2024/20252.540 16 99 36 129 274 272 225 155 211 318 295 510
2025/20262.564 124 405 274 269 353 255 367 121 154 235 7 0
Totale 13.278