CINECA IRIS Institutional Research Information System

DOMENICI, ANDREA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.851
AS - Asia 3.111
EU - Europa 2.522
SA - Sud America 531
AF - Africa 230
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 13.258
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.657
CN - Cina 923
IT - Italia 920
SG - Singapore 858
HK - Hong Kong 536
BR - Brasile 443
SE - Svezia 442
VN - Vietnam 263
DE - Germania 236
BG - Bulgaria 196
CA - Canada 143
TR - Turchia 142
GB - Regno Unito 138
UA - Ucraina 117
FI - Finlandia 110
FR - Francia 109
KR - Corea 99
RU - Federazione Russa 87
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 25
MX - Messico 18
NL - Olanda 18
BE - Belgio 17
IQ - Iraq 17
PK - Pakistan 15
SA - Arabia Saudita 15
ID - Indonesia 14
AT - Austria 12
JM - Giamaica 12
MA - Marocco 12
CL - Cile 10
GR - Grecia 10
PE - Perù 9
UZ - Uzbekistan 9
AU - Australia 8
CO - Colombia 8
ES - Italia 8
RO - Romania 8
TN - Tunisia 8
TT - Trinidad e Tobago 8
ZA - Sudafrica 8
EC - Ecuador 7
KE - Kenya 7
PL - Polonia 7
UY - Uruguay 7
VE - Venezuela 7
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
CR - Costa Rica 3
DO - Repubblica Dominicana 3
LT - Lituania 3
PT - Portogallo 3
RS - Serbia 3
BJ - Benin 2
CG - Congo 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.255
Salva come PNG Salva come JPEG
Città #
Woodbridge 828
Ann Arbor 611
Ashburn 548
Hong Kong 533
Houston 501
Singapore 498
Fairfield 483
Santa Clara 437
Chandler 382
San Jose 224
Serra 212
Milan 201
Seattle 201
Sofia 196
Beijing 182
Cambridge 172
Shanghai 172
Wilmington 162
Dallas 148
Jacksonville 148
New York 141
Hefei 139
Boardman 138
Ottawa 117
Princeton 93
Seoul 93
Izmir 91
Lawrence 81
Abidjan 71
Los Angeles 70
Lauterbourg 67
Ho Chi Minh City 64
Medford 60
Council Bluffs 59
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
Chicago 32
Helsinki 31
Nanchang 31
San Diego 28
Dong Ket 27
Ogden 27
Redondo Beach 27
Rome 27
São Paulo 26
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
San Francisco 11
Hebei 10
Bremen 9
Cascina 9
Curitiba 9
Fort Worth 9
Guangzhou 9
Haiphong 9
Auburn Hills 8
Baghdad 8
Brooklyn 8
Düsseldorf 8
Guarulhos 8
Los Lunas 8
Nuremberg 8
Nürnberg 8
Porto Alegre 8
Tashkent 8
Tianjin 8
Amsterdam 7
Brasília 7
Campinas 7
Da Nang 7
Falkenstein 7
Kingston 7
Norwalk 7
Paris 7
Pune 7
Riyadh 7
Totale 9.459
Salva come PNG Salva come JPEG
Nome #
A protocol for resource locking and deadlock detection in a multi-user environment 269
A protocol for resource locking and deadlock detection in a multi-user environment 253
Introduzione alla programmazione ed elementi di strutture dati con il linguaggio C++ 240
Detecting elderly behavior shift via smart devices and stigmergic receptive fields 239
Introduction to Prolog computation model and its implementation 228
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 221
Formalization and co-simulation of attacks on cyber-physical systems 220
Extending a user interface prototyping tool with automatic MISRA~C code generation 219
HRT-UML: Taking HRT-HOOD onto UML 218
An abstract Prolog machine 214
A Model for the Storage Resource Manager 214
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 201
Static and Dynamic Data Models for the Storage Resource Manager v2.2 199
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems 198
Using smartwatch sensors to support the acquisition of sleep quality data for supervised machine learning 197
The DASE Tool: An Environment for the Development of Real-Time Applications 193
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems 193
Modeling and simulation of attacks on cyber-physical systems 191
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs 188
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 184
Failure Probability and Fault Observability of SRAM-FPGA Systems 183
Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks 181
Debugging PVS specifications of control logics via event-driven simulation 181
SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs 179
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies 178
Simulation and Test-Case Generation for PVS Specifications of Control Logics 174
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-ion Batteries 172
Replica Management in the European DataGrid Project 166
Unexcitability Analysis of SEUs Affecting the Routing Structure of SRAM-based FPGAs 166
Gondor: Goedel on Andorra 165
Logic-Based Formalization of System Requirements for Integrated Clinical Environments 164
A performance study on the synchronisation of heterogeneous grid databases using CONStanza 163
Formal approaches to SEUs testing in FPGAs 162
An abstract Prolog machine Vol. 11, No. 2, pp. 31-37 161
Compiling Prolog with a C compiler 161
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries 160
Towards a Formalization of System Requirements for an Integrated Clinical Environment 159
Application of Model Checking to Fault Tolerance Analysis 158
Debugging logic programs at the implementation level 157
Consistency of replicated datasets in Grid computing 153
Macchina Astratta di Warren e compilatore Prolog 149
Replica Consistency in a Data Grid 149
Petri nets in logic 145
A Prolog environment within the Unix operating system 143
Simulated Injection of Radiation-Induced Logic Faults in FPGAs 143
Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems 141
Next-Generation EU DataGrid Data Management Services 138
Event-driven simulation of control logics from logical specifications, Technical Report DIIEIT-2010-05-01 137
Strumenti per lo studio di reti di Petri basati sulla programmazione logica 133
A Synthetic trace generator for multiprocessor performance evaluation 131
Unificazione in Prolog: costi e valutazioni 130
Object-Oriented Thinking for the Internet 129
High availability using virtualization 129
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle 129
FACT: a Tool for Code Generation from Communicating Automata 122
A prototyping process for medical devices and systems 122
Extended matchmaking with availability metrics in the WLCG/EGEE production Grid 121
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 118
A logic theory pattern for linearized control systems 118
The DASE Design Environment for Distributed Real-Time Analysis 117
Grid architectures and the European DataGrid 117
A Tool for Signal Probability Analysis of FPGA-Based Systems 117
Block-Based Models and Theorem Proving in Model-Based Development 117
Experiences in testing a Grid service in a production environment 116
A general model for an Abstract Prolog Machine 116
Variables' lifetime, mode declarations and clause indexing in Prolog implementations 116
Formal verification and co-simulation in the design of a synchronous motor control algorithm 112
Co-simulation of bio-inspired multi-agent algorithms 112
Experiences in Grid Architectures 111
High availability using virtualization 111
Co-simulation of a Model Predictive Control System for Automotive Applications 107
Object-oriented techniques for distributed computation 105
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web 104
Identify Potential Attacks from Simulated Log Analysis 99
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors 99
null 96
null 96
GABES: a Genetic Algorithm Based Environment for SEU Testing in SRAM-FPGAs 89
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 88
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator 84
Do-it-Yourself FMU Generation 82
null 76
null 71
null 69
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System 65
null 55
null 48
Totale 13.477
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.764
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 36.764
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.734 124 405 274 269 353 255 367 121 154 235 105 72
2026/202729 29 0 0 0 0 0 0 0 0 0 0 0
Totale 13.477