CINECA IRIS Institutional Research Information System

AMPARORE, Elvio Gilberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.797
EU - Europa 2.219
AS - Asia 1.351
SA - Sud America 211
AF - Africa 26
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 7.611
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.666
DK - Danimarca 617
SG - Singapore 570
IT - Italia 419
CN - Cina 410
SE - Svezia 232
DE - Germania 201
BR - Brasile 183
IE - Irlanda 181
GB - Regno Unito 152
VN - Vietnam 124
CA - Canada 112
FI - Finlandia 102
FR - Francia 90
KR - Corea 66
UA - Ucraina 59
IN - India 48
HK - Hong Kong 38
PL - Polonia 38
ID - Indonesia 32
RU - Federazione Russa 28
NL - Olanda 20
BE - Belgio 17
ES - Italia 16
MX - Messico 11
AR - Argentina 10
AT - Austria 9
GR - Grecia 9
TR - Turchia 9
JP - Giappone 8
BD - Bangladesh 7
EC - Ecuador 7
MA - Marocco 7
CZ - Repubblica Ceca 6
AE - Emirati Arabi Uniti 5
IQ - Iraq 5
CO - Colombia 4
EU - Europa 4
TW - Taiwan 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
AU - Australia 3
CH - Svizzera 3
EG - Egitto 3
IL - Israele 3
IS - Islanda 3
LT - Lituania 3
PH - Filippine 3
PK - Pakistan 3
PY - Paraguay 3
RS - Serbia 3
SA - Arabia Saudita 3
AL - Albania 2
AZ - Azerbaigian 2
BG - Bulgaria 2
DZ - Algeria 2
MK - Macedonia 2
NG - Nigeria 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
BB - Barbados 1
BO - Bolivia 1
BT - Bhutan 1
CI - Costa d'Avorio 1
ET - Etiopia 1
GA - Gabon 1
GF - Guiana Francese 1
HN - Honduras 1
HT - Haiti 1
IR - Iran 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
LK - Sri Lanka 1
MR - Mauritania 1
MU - Mauritius 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
PT - Portogallo 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
Totale 7.611
Salva come PNG Salva come JPEG
Città #
Ann Arbor 548
Chandler 329
Singapore 295
Fairfield 274
Wilmington 256
Ashburn 196
Dublin 181
Santa Clara 176
Beijing 157
Guangzhou 150
Houston 143
Woodbridge 112
Munich 98
Torino 98
Seattle 93
Jacksonville 92
Dearborn 78
Montréal 76
Cambridge 73
Mcallen 71
Nyköping 69
Villeurbanne 63
Dallas 54
Medford 54
Dong Ket 49
Pisa 48
Columbus 47
Princeton 47
Turin 42
Hefei 35
Los Angeles 35
Warsaw 35
Seoul 31
Helsinki 29
Jakarta 28
Hong Kong 25
Norwalk 25
Wayne 24
Fremont 22
Buffalo 21
Ho Chi Minh City 21
Boardman 19
Boston 19
Milan 19
Ottawa 18
Redondo Beach 16
Washington 16
Brussels 15
Hanoi 15
São Paulo 14
Bengaluru 13
Redwood City 13
Nuremberg 12
Toronto 12
Collegno 11
Padova 11
Lappeenranta 10
San Mateo 10
Athens 9
Delhi 9
Frankfurt am Main 9
Karlsruhe 9
New York 9
Ivrea 8
Phoenix 8
San Mauro Torinese 8
Tokyo 8
Turku 8
Curitiba 7
Da Nang 7
Des Moines 7
Amsterdam 6
Arese 6
Falkenstein 6
Naples 6
San Francisco 6
Agliè 5
Falls Church 5
London 5
Piemonte 5
Stockholm 5
Troisdorf 5
Vienna 5
Bonn 4
Catania 4
Central 4
Council Bluffs 4
Düsseldorf 4
Edinburgh 4
Ha Long 4
Mexico City 4
Nanchang 4
Poplar 4
Rio de Janeiro 4
Rome 4
San Diego 4
The Dalles 4
Baghdad 3
Caxias do Sul 3
Chennai 3
Totale 4.779
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 460
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 431
30 Years of GreatSPN 362
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 321
Efficient Solution of Extended Multiple-Phased Systems 319
Decision diagrams for Petri nets: which variable ordering? 305
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 300
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 299
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 286
Efficient model checking of the stochastic logic CSLTA 281
Modelling and Evaluation of a Control Room Application 265
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 239
MCC’2017 – The Seventh Model Checking Contest 224
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 199
GreatTeach: a tool for teaching (stochastic) Petri nets 154
New GreatSPN Graphical Editor 147
The New GreatSPN Graphical User Interface. 143
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 123
A component-based solution for reducible Markov regenerative processes 122
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 117
Markov decision Petri nets with uncertainty 115
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 106
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking 101
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 99
(Stochastic) Model Checking in GreatSPN 99
Presentation of the 9th Edition of the Model Checking Contest 99
A CTL* Model Checker for Petri Nets 99
Forecast of Distributed Energy Generation and Consumption in a Partially Observable Electrical Grid: A Machine Learning Approach 99
A Structured Solution Approach for Markov Regenerative Processes 91
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 90
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 89
Reengineering the Editor of the GreatSPN Framework. 87
Variable order metrics for decision diagrams in system verification 80
Expressing and computing passage time measures of GSPN models with HASL 80
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods 76
DSPN-Tool 71
Revisiting the matrix‐free solution of Markov regenerative processes 69
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 68
Multiformalism modeling and simulation of immune system mechanisms 68
Challenges for Driver Action Recognition with Face Masks 67
Model checking CSLTA with Deterministic and Stochastic Petri Nets 66
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case 64
The footprint form of a matrix: Definition, properties, and an application 62
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases 61
On Driver Behavior Recognition for Increased Safety: A Roadmap 59
Using Stratified Sampling to Improve LIME Image Explanations 58
Streamlining models with explanations in the learning loop 57
MC4CSLTA 57
States, actions and path properties in Markov chains 57
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 55
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models 54
Hilbert Composition of Multilabelled Events 50
Probe Automata for Passage Time Specification 49
starMC: an automata based CTL* model checker 48
Can I Trust My Anomaly Detection System? A Case Study Based on Explainable AI 47
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023 45
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 45
The Ins and Outs of Petri Net Composition 38
Extension of the GreatMod Modeling Framework to Simulate Non-Markovian Processes with General-Distributed Events 37
Stochastic Modelling and Evaluation Using GreatSPN 35
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation 34
Totale 7.928
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.424
article - articoli 0
book - libri 0
conference - conferenze 15.284
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 36.708
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021712 0 0 0 0 81 125 50 62 114 115 76 89
2021/2022579 40 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/2026813 196 121 139 270 87 0 0 0 0 0 0 0
Totale 7.928