CINECA IRIS Institutional Research Information System

AMPARORE, Elvio Gilberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.911
EU - Europa 2.569
AS - Asia 1.974
Continente sconosciuto - Info sul continente non disponibili 345
SA - Sud America 291
AF - Africa 43
OC - Oceania 4
Totale 10.137
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.726
SG - Singapore 785
IT - Italia 626
DK - Danimarca 617
CN - Cina 520
VN - Vietnam 296
SE - Svezia 238
BR - Brasile 232
DE - Germania 217
IE - Irlanda 182
GB - Regno Unito 166
FR - Francia 154
CA - Canada 139
FI - Finlandia 109
KR - Corea 73
UA - Ucraina 64
HK - Hong Kong 60
IN - India 55
PL - Polonia 39
ID - Indonesia 38
JP - Giappone 35
NL - Olanda 32
RU - Federazione Russa 31
AR - Argentina 22
ES - Italia 22
MX - Messico 20
BD - Bangladesh 18
IQ - Iraq 18
BE - Belgio 17
EC - Ecuador 12
AT - Austria 10
TR - Turchia 10
GR - Grecia 9
MA - Marocco 9
UZ - Uzbekistan 9
JM - Giamaica 8
AE - Emirati Arabi Uniti 6
CZ - Repubblica Ceca 6
DZ - Algeria 6
PH - Filippine 6
PK - Pakistan 6
PY - Paraguay 6
ZA - Sudafrica 6
CH - Svizzera 5
CL - Cile 5
IL - Israele 5
OM - Oman 5
TH - Thailandia 5
VE - Venezuela 5
AU - Australia 4
AZ - Azerbaigian 4
CO - Colombia 4
EU - Europa 4
KE - Kenya 4
NG - Nigeria 4
RS - Serbia 4
TW - Taiwan 4
CR - Costa Rica 3
EG - Egitto 3
IS - Islanda 3
LT - Lituania 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
AL - Albania 2
BG - Bulgaria 2
BM - Bermuda 2
GA - Gabon 2
IR - Iran 2
LB - Libano 2
MK - Macedonia 2
NO - Norvegia 2
RO - Romania 2
SI - Slovenia 2
SN - Senegal 2
SV - El Salvador 2
UY - Uruguay 2
AO - Angola 1
BB - Barbados 1
BH - Bahrain 1
BO - Bolivia 1
BT - Bhutan 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GF - Guiana Francese 1
GT - Guatemala 1
HN - Honduras 1
HT - Haiti 1
JO - Giordania 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
LK - Sri Lanka 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
MU - Mauritius 1
MY - Malesia 1
PA - Panama 1
PE - Perù 1
Totale 9.790
Salva come PNG Salva come JPEG
Città #
Ann Arbor 548
Singapore 465
San Jose 388
Chandler 329
Ashburn 278
Fairfield 275
Wilmington 258
Santa Clara 215
Dublin 182
Beijing 175
Guangzhou 151
Houston 150
Woodbridge 113
Munich 98
Torino 98
Seattle 97
Jacksonville 95
Dearborn 78
Ho Chi Minh City 76
Montréal 76
Cambridge 73
Mcallen 71
Nyköping 69
Milan 65
Villeurbanne 63
Dallas 59
Turin 57
Medford 55
Lauterbourg 53
Dong Ket 49
The Dalles 49
Columbus 48
Pisa 48
Hanoi 47
Princeton 47
Hong Kong 44
Los Angeles 44
Seoul 37
Hefei 35
Tokyo 35
Warsaw 35
Helsinki 34
Jakarta 29
Rome 27
Norwalk 26
Buffalo 24
Washington 24
Wayne 24
Fremont 22
Boardman 21
Council Bluffs 21
New York 21
Boston 20
Frankfurt am Main 20
São Paulo 19
Ottawa 18
Da Nang 16
Redondo Beach 16
Toronto 16
Brussels 15
Bengaluru 13
Redwood City 13
Lappeenranta 12
Nuremberg 12
Phoenix 12
Collegno 11
Naples 11
Padova 11
Chicago 10
Mexico City 10
San Mateo 10
Amsterdam 9
Athens 9
Atlanta 9
Baghdad 9
Delhi 9
Haiphong 9
Karlsruhe 9
London 9
Biên Hòa 8
Des Moines 8
Figino 8
Ivrea 8
San Francisco 8
San Mauro Torinese 8
Tashkent 8
Turku 8
Belo Horizonte 7
Catania 7
Curitiba 7
Ha Long 7
Stockholm 7
Arese 6
Brooklyn 6
Falkenstein 6
Montreal 6
Orem 6
Agliè 5
Bologna 5
Denver 5
Totale 5.982
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 510
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 445
30 Years of GreatSPN 410
Decision diagrams for Petri nets: which variable ordering? 362
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 349
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 346
Efficient Solution of Extended Multiple-Phased Systems 343
Efficient model checking of the stochastic logic CSLTA 343
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 340
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 327
Modelling and Evaluation of a Control Room Application 290
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 268
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 249
MCC’2017 – The Seventh Model Checking Contest 245
GreatTeach: a tool for teaching (stochastic) Petri nets 193
New GreatSPN Graphical Editor 170
ShapBPT in Perspective: A Consolidated Review and an eXplainable Anomaly Detection Case Study 166
The New GreatSPN Graphical User Interface. 165
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 148
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 148
A component-based solution for reducible Markov regenerative processes 147
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 145
Markov decision Petri nets with uncertainty 140
A CTL* Model Checker for Petri Nets 131
(Stochastic) Model Checking in GreatSPN 129
Forecast of Distributed Energy Generation and Consumption in a Partially Observable Electrical Grid: A Machine Learning Approach 127
Reengineering the Editor of the GreatSPN Framework. 125
Variable order metrics for decision diagrams in system verification 125
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking 120
Presentation of the 9th Edition of the Model Checking Contest 119
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 118
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 118
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 118
A Structured Solution Approach for Markov Regenerative Processes 112
Expressing and computing passage time measures of GSPN models with HASL 107
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023 105
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods 105
Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI 103
Hilbert Composition of Multilabelled Events 102
Multiformalism modeling and simulation of immune system mechanisms 102
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases 101
DSPN-Tool 98
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 98
Using Stratified Sampling to Improve LIME Image Explanations 96
On Driver Behavior Recognition for Increased Safety: A Roadmap 96
Streamlining models with explanations in the learning loop 95
Model checking CSLTA with Deterministic and Stochastic Petri Nets 95
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models 95
Challenges for Driver Action Recognition with Face Masks 93
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case 91
Extension of the GreatMod Modeling Framework to Simulate Non-Markovian Processes with General-Distributed Events 90
Revisiting the matrix‐free solution of Markov regenerative processes 89
The footprint form of a matrix: Definition, properties, and an application 84
MC4CSLTA 81
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 81
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 77
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation 73
States, actions and path properties in Markov chains 73
starMC: an automata based CTL* model checker 72
Probe Automata for Passage Time Specification 65
The Ins and Outs of Petri Net Composition 64
Stochastic Modelling and Evaluation Using GreatSPN 58
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees 39
Predictive and Diagnostic Inference for Power Systems Cybersecurity: Analysis of the Industroyer Cyber-Kill Chain 18
Totale 10.137
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.857
article - articoli 0
book - libri 0
conference - conferenze 19.067
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 45.924
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022539 0 25 26 46 24 22 35 44 41 34 121 121
2022/2023933 72 73 6 103 90 270 60 71 90 8 66 24
2023/2024360 54 60 33 21 29 56 2 9 1 31 18 46
2024/20251.087 9 61 48 98 250 42 31 81 108 70 96 193
2025/20262.625 196 121 139 270 276 126 319 101 212 339 162 364
2026/2027397 143 254 0 0 0 0 0 0 0 0 0 0
Totale 10.137