CINECA IRIS Institutional Research Information System

AMPARORE, Elvio Gilberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.142
EU - Europa 1.344
AS - Asia 481
AF - Africa 97
SA - Sud America 62
OC - Oceania 8
Totale 4.134
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.099
IT - Italia 387
DE - Germania 208
FR - Francia 180
CN - Cina 167
GB - Regno Unito 106
CZ - Repubblica Ceca 74
IN - India 57
NL - Olanda 52
VN - Vietnam 51
RU - Federazione Russa 49
BR - Brasile 48
PL - Polonia 39
CA - Canada 35
UA - Ucraina 35
FI - Finlandia 32
SG - Singapore 31
SE - Svezia 28
HK - Hong Kong 27
ES - Italia 26
JP - Giappone 26
IE - Irlanda 25
DZ - Algeria 23
CH - Svizzera 17
PK - Pakistan 16
HU - Ungheria 15
MA - Marocco 15
TW - Taiwan 14
MD - Moldavia 13
IR - Iran 11
NO - Norvegia 11
SK - Slovacchia (Repubblica Slovacca) 11
ZA - Sudafrica 11
ID - Indonesia 10
PH - Filippine 10
DK - Danimarca 9
ZM - Zambia 9
CL - Cile 8
SA - Arabia Saudita 8
TN - Tunisia 8
TR - Turchia 8
UG - Uganda 8
AU - Australia 7
RO - Romania 7
EG - Egitto 6
KR - Corea 6
NE - Niger 6
SN - Senegal 6
GR - Grecia 5
CY - Cipro 4
IL - Israele 4
MO - Macao, regione amministrativa speciale della Cina 4
PT - Portogallo 4
AR - Argentina 3
AT - Austria 3
IQ - Iraq 3
MK - Macedonia 3
MX - Messico 3
PR - Porto Rico 3
PS - Palestinian Territory 3
TH - Thailandia 3
BD - Bangladesh 2
CO - Colombia 2
KH - Cambogia 2
KZ - Kazakistan 2
MY - Malesia 2
OM - Oman 2
PA - Panama 2
SC - Seychelles 2
SY - Repubblica araba siriana 2
YE - Yemen 2
ZW - Zimbabwe 2
AZ - Azerbaigian 1
BE - Belgio 1
BG - Bulgaria 1
CM - Camerun 1
EE - Estonia 1
JO - Giordania 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
PE - Perù 1
QA - Qatar 1
Totale 4.134
Salva come PNG Salva come JPEG
Città #
Houston 272
Fairfield 218
Ashburn 208
Ann Arbor 191
Santa Cruz 116
Seattle 105
Buffalo 96
Woodbridge 81
Cambridge 63
Wilmington 61
Torino 49
Dong Ket 41
Turin 41
Beijing 36
Shanghai 31
Dublin 24
Pisa 24
Bengaluru 22
Chicago 22
Hangzhou 22
Helsinki 22
University Park 22
Warsaw 21
Las Vegas 18
Rome 17
Singapore 17
Atlanta 16
Frankfurt am Main 16
Paris 16
Los Angeles 15
Mountain View 15
Naples 15
El Segundo 13
Milan 13
San Diego 13
Ames 12
Toronto 12
Aachen 11
Boardman 11
Freiburg 11
Wuhan 11
Boulder 10
Central 10
Des Moines 10
Gothenburg 10
Grenoble 10
London 10
San Mauro Torinese 10
Lake Forest 9
Muizenberg 9
Nürnberg 9
Ottawa 9
Suri 9
The Dalles 9
Dallas 8
Guangzhou 8
Kampala 8
Norwalk 8
Phoenix 8
Redmond 8
San Jose 8
Tokyo 8
Berlin 7
Delft 7
Islamabad 7
Ottobrunn 7
Scranton 7
Tournebu 7
Chandler 6
Clearwater 6
Coventry 6
Dresden 6
Geneva 6
Jakarta 6
Lusaka 6
Lyon 6
Mainz 6
Nagoya 6
Saint-Genis-Pouilly 6
Santiago 6
Stuttgart 6
Taipei 6
Vannes-sur-Cosson 6
Changsha 5
Chisinau 5
Council Bluffs 5
Dearborn 5
Delhi 5
Florence 5
Hamburg 5
Hanoi 5
Košice 5
Laas 5
Leiden 5
Madrid 5
Santa Clara 5
Shenyang 5
Tornesch 5
Bologna 4
Central District 4
Totale 2.443
Salva come PNG Salva come JPEG
Nome #
30 Years of GreatSPN, file e27ce42b-17cc-2581-e053-d805fe0acbaa 618
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper, file e27ce430-ab05-2581-e053-d805fe0acbaa 334
GreatTeach: a tool for teaching (stochastic) Petri nets, file e27ce42c-94a2-2581-e053-d805fe0acbaa 287
A CTL* Model Checker for Petri Nets, file e27ce430-d940-2581-e053-d805fe0acbaa 279
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units, file e27ce42c-949d-2581-e053-d805fe0acbaa 261
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer, file e27ce42c-355a-2581-e053-d805fe0acbaa 260
Modelling and Evaluation of a Control Room Application, file e27ce42c-5023-2581-e053-d805fe0acbaa 236
Efficient Solution of Extended Multiple-Phased Systems, file e27ce42c-4c23-2581-e053-d805fe0acbaa 231
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions, file e27ce42c-5024-2581-e053-d805fe0acbaa 229
Variable order metrics for decision diagrams in system verification, file e27ce430-e2e3-2581-e053-d805fe0acbaa 229
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker, file e27ce42a-f722-2581-e053-d805fe0acbaa 227
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets, file e27ce430-c110-2581-e053-d805fe0acbaa 148
Forecast of Distributed Energy Generation and Consumption in a Partially Observable Electrical Grid: A Machine Learning Approach, file e27ce434-51df-2581-e053-d805fe0acbaa 127
Decision diagrams for Petri nets: which variable ordering?, file e27ce42c-502c-2581-e053-d805fe0acbaa 124
Presentation of the 9th Edition of the Model Checking Contest, file e27ce430-8d88-2581-e053-d805fe0acbaa 103
Heterogeneous Industrial Vehicle Usage Predictions: a Real Case, file e27ce430-ad15-2581-e053-d805fe0acbaa 85
Multiformalism modeling and simulation of immune system mechanisms, file e27ce434-44c5-2581-e053-d805fe0acbaa 72
To trust or not to trust an explanation: using LEAF to evaluate local linear XAI methods, file e27ce434-8040-2581-e053-d805fe0acbaa 69
Decision diagrams for Petri nets: a comparison of variable ordering algorithms, file e27ce42e-6f19-2581-e053-d805fe0acbaa 66
Challenges for Driver Action Recognition with Face Masks, file fc603dcd-d1a2-43fc-8e13-f9e676d05d3f 66
On Driver Behavior Recognition for Increased Safety: A Roadmap, file e27ce432-fc9a-2581-e053-d805fe0acbaa 56
Reengineering the Editor of the GreatSPN Framework., file e27ce42b-0597-2581-e053-d805fe0acbaa 45
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants, file e27ce430-af3c-2581-e053-d805fe0acbaa 42
starMC: an automata based CTL* model checker, file e27ce434-e973-2581-e053-d805fe0acbaa 34
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes, file e27ce42a-f3c6-2581-e053-d805fe0acbaa 24
Efficient model checking of the stochastic logic CSLTA, file e27ce432-4a03-2581-e053-d805fe0acbaa 14
The footprint form of a matrix: Definition, properties, and an application, file 4595f104-be66-4020-85a6-37ef86ff2b6b 9
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants, file e27ce434-05f4-2581-e053-d805fe0acbaa 9
The Ins and Outs of Petri Net Composition, file 08cbb608-353a-4f83-8e31-860449e8c399 7
Streamlining models with explanations in the learning loop, file 9c4ea70a-df70-455e-8dc2-d370fcd43a61 5
Stochastic Modelling and Evaluation Using GreatSPN, file 54e1b30b-8b8a-43ad-9243-83fac30e527c 4
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving, file e27ce428-0279-2581-e053-d805fe0acbaa 2
From compositional Petri Net modeling to macro and micro simulation by means of Stochastic Simulation and Agent-Based models, file 7156ed84-2b47-48d6-a8ff-bbe3219a3a9e 1
Decision diagrams for Petri nets: a comparison of variable ordering algorithms, file e27ce42e-b8fc-2581-e053-d805fe0acbaa 1
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer, file e27ce432-5766-2581-e053-d805fe0acbaa 1
Totale 4.305
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.941
article - articoli 0
book - libri 0
conference - conferenze 5.128
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.069
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019160 0 0 0 0 0 0 0 0 0 0 88 72
2019/2020508 56 37 38 78 44 45 41 42 45 21 36 25
2020/2021656 26 42 29 30 43 72 42 58 60 109 53 92
2021/20221.232 101 63 114 233 137 60 67 63 64 83 174 73
2022/2023917 49 78 144 141 67 117 81 36 49 49 73 33
2023/2024447 31 28 46 46 37 62 73 49 16 57 2 0
Totale 4.305