CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019196 0 0 0 0 0 0 0 0 0 0 120 76
2019/20201.655 53 52 184 225 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/2024296 54 60 33 21 29 56 2 9 1 31 0 0
Totale 5.964