CINECA IRIS Institutional Research Information System

AMPARORE, Elvio Gilberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.408
EU - Europa 2.007
AS - Asia 614
SA - Sud America 11
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 3
Totale 6.053
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.301
DK - Danimarca 617
IT - Italia 346
CN - Cina 286
SE - Svezia 228
IE - Irlanda 181
DE - Germania 151
GB - Regno Unito 140
SG - Singapore 136
CA - Canada 106
FR - Francia 88
FI - Finlandia 79
VN - Vietnam 60
UA - Ucraina 57
KR - Corea 36
PL - Polonia 34
ID - Indonesia 28
IN - India 25
RU - Federazione Russa 21
NL - Olanda 16
HK - Hong Kong 15
BE - Belgio 13
ES - Italia 9
GR - Grecia 9
CZ - Repubblica Ceca 6
TR - Turchia 5
AE - Emirati Arabi Uniti 4
BR - Brasile 4
CO - Colombia 4
EU - Europa 4
JP - Giappone 4
AR - Argentina 3
AU - Australia 3
CH - Svizzera 3
IL - Israele 3
PH - Filippine 3
TW - Taiwan 3
BG - Bulgaria 2
EG - Egitto 2
NG - Nigeria 2
SA - Arabia Saudita 2
AL - Albania 1
AT - Austria 1
AZ - Azerbaigian 1
BT - Bhutan 1
DZ - Algeria 1
IR - Iran 1
MK - Macedonia 1
NO - Norvegia 1
PA - Panama 1
RO - Romania 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
Totale 6.053
Salva come PNG Salva come JPEG
Città #
Ann Arbor 548
Chandler 328
Fairfield 274
Wilmington 256
Dublin 181
Ashburn 163
Guangzhou 150
Houston 143
Woodbridge 112
Singapore 108
Torino 98
Jacksonville 92
Seattle 92
Beijing 90
Dearborn 78
Montréal 76
Munich 75
Cambridge 73
Mcallen 71
Nyköping 69
Villeurbanne 63
Medford 54
Dong Ket 49
Pisa 48
Princeton 47
Columbus 46
Santa Clara 35
Warsaw 32
Jakarta 28
Norwalk 25
Helsinki 24
Turin 24
Wayne 24
Fremont 22
Boardman 19
Boston 19
Ottawa 18
Washington 16
Dallas 15
Redwood City 13
Brussels 12
Padova 11
San Mateo 10
Athens 9
Toronto 9
Delhi 8
Karlsruhe 8
Phoenix 8
San Mauro Torinese 8
Arese 6
Hefei 6
Milan 6
Naples 6
Falls Church 5
New York 5
Piemonte 5
Troisdorf 5
Amsterdam 4
Bonn 4
Central 4
Des Moines 4
Düsseldorf 4
Edinburgh 4
Nanchang 4
San Diego 4
Tokyo 4
Catania 3
Copenhagen 3
Florence 3
Hamburg 3
Hebei 3
Henderson 3
Kunming 3
Las Pinas 3
Mountain View 3
Nanjing 3
Olomouc 3
Paris 3
Rome 3
Wolfsburg 3
Xian 3
Abuja 2
Asti 2
Avigliano 2
Bogotá 2
Cartagena 2
Central District 2
Changchun 2
Chennai 2
Chicago 2
Coimbatore 2
Dresden 2
Fuenlabrada 2
Fuzhou 2
Glashagen 2
Hangzhou 2
Hong Kong 2
Hubli 2
Kolkata 2
London 2
Totale 3.944
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 439
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 405
30 Years of GreatSPN 321
Efficient Solution of Extended Multiple-Phased Systems 300
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 294
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 274
Decision diagrams for Petri nets: which variable ordering? 272
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 257
Efficient model checking of the stochastic logic CSLTA 254
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 254
Modelling and Evaluation of a Control Room Application 252
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 222
MCC’2017 – The Seventh Model Checking Contest 199
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 178
GreatTeach: a tool for teaching (stochastic) Petri nets 133
New GreatSPN Graphical Editor 131
The New GreatSPN Graphical User Interface. 127
Markov decision Petri nets with uncertainty 95
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 92
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 91
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 84
Presentation of the 9th Edition of the Model Checking Contest 83
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 80
A CTL* Model Checker for Petri Nets 78
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 76
A component-based solution for reducible Markov regenerative processes 73
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking 73
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 71
(Stochastic) Model Checking in GreatSPN 68
Reengineering the Editor of the GreatSPN Framework. 68
A Structured Solution Approach for Markov Regenerative Processes 65
Variable order metrics for decision diagrams in system verification 62
Forecast of Distributed Energy Generation and Consumption in a Partially Observable Electrical Grid: A Machine Learning Approach 60
Expressing and computing passage time measures of GSPN models with HASL 57
DSPN-Tool 54
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods 51
Multiformalism modeling and simulation of immune system mechanisms 51
Revisiting the matrix‐free solution of Markov regenerative processes 50
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 50
Model checking CSLTA with Deterministic and Stochastic Petri Nets 45
States, actions and path properties in Markov chains 43
MC4CSLTA 42
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case 40
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 39
On Driver Behavior Recognition for Increased Safety: A Roadmap 38
starMC: an automata based CTL* model checker 38
Probe Automata for Passage Time Specification 34
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 33
Challenges for Driver Action Recognition with Face Masks 30
An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases 27
The footprint form of a matrix: Definition, properties, and an application 27
Streamlining models with explanations in the learning loop 23
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models 18
Stochastic Modelling and Evaluation Using GreatSPN 18
The Ins and Outs of Petri Net Composition 9
Totale 6.348
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.096
article - articoli 0
book - libri 0
conference - conferenze 10.703
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 25.799
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.141 0 0 0 0 120 176 140 100 196 108 152 149
2020/20211.178 156 96 109 105 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/2025320 9 61 48 98 104 0 0 0 0 0 0 0
Totale 6.348