IRIS
FRANCESCHINIS, Giuliana Annamaria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.056
NA - Nord America 3.862
AS - Asia 2.558
SA - Sud America 452
AF - Africa 84
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 9
Totale 11.033
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.778
RU - Federazione Russa 1.018
SG - Singapore 878
IE - Irlanda 762
CN - Cina 616
IT - Italia 473
DE - Germania 458
SE - Svezia 445
BR - Brasile 355
VN - Vietnam 347
UA - Ucraina 329
HK - Hong Kong 317
FI - Finlandia 203
FR - Francia 174
IN - India 134
GB - Regno Unito 84
KR - Corea 46
CA - Canada 44
AR - Argentina 43
BD - Bangladesh 37
ZA - Sudafrica 33
ID - Indonesia 30
TR - Turchia 28
MX - Messico 26
IQ - Iraq 23
JP - Giappone 20
BJ - Benin 19
BE - Belgio 17
EC - Ecuador 16
ES - Italia 16
NL - Olanda 16
PL - Polonia 14
IR - Iran 12
PK - Pakistan 12
EU - Europa 11
CL - Cile 10
SA - Arabia Saudita 10
VE - Venezuela 10
AT - Austria 9
RO - Romania 8
AU - Australia 7
LT - Lituania 7
MA - Marocco 7
CO - Colombia 6
UZ - Uzbekistan 6
EG - Egitto 5
PH - Filippine 5
DZ - Algeria 4
GR - Grecia 4
KE - Kenya 4
MY - Malesia 4
PY - Paraguay 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
AL - Albania 3
CH - Svizzera 3
DK - Danimarca 3
ET - Etiopia 3
IL - Israele 3
OM - Oman 3
PE - Perù 3
QA - Qatar 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AM - Armenia 2
AZ - Azerbaigian 2
CR - Costa Rica 2
CY - Cipro 2
LU - Lussemburgo 2
MV - Maldive 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
SI - Slovenia 2
SN - Senegal 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BF - Burkina Faso 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
GF - Guiana Francese 1
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
ML - Mali 1
MN - Mongolia 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PR - Porto Rico 1
Totale 11.030
Salva come PNG Salva come JPEG
Città #
Dublin 762
San Jose 622
Jacksonville 541
Hong Kong 313
Singapore 303
Dearborn 288
Wilmington 235
Ashburn 210
Beijing 188
Moscow 141
Chandler 137
Ann Arbor 136
Ho Chi Minh City 124
Lawrence 106
Princeton 106
Lauterbourg 104
Council Bluffs 103
Andover 83
Los Angeles 83
San Mateo 81
Hanoi 65
Bremen 63
Buffalo 61
Piemonte 60
Munich 47
Novara 44
Turin 43
New York 40
Seoul 38
Santa Clara 34
São Paulo 34
Orem 32
Milan 27
Boardman 23
Helsinki 23
Chennai 21
Frankfurt am Main 21
Cotonou 19
Hefei 19
Redondo Beach 19
Nanjing 18
Toronto 18
Brussels 17
Dallas 17
Haiphong 17
Houston 17
Kunming 17
Woodbridge 17
Dong Ket 16
Johannesburg 16
Atlanta 15
Montreal 15
Tokyo 15
Carmagnola 14
Denver 14
Fairfield 14
Jakarta 14
Rio de Janeiro 14
Stockholm 14
Baldissero Torinese 13
Brooklyn 13
Grafing 13
Kocaeli 13
Poplar 13
Vercelli 13
Warsaw 13
Da Nang 12
Amsterdam 11
Hangzhou 11
Tianjin 11
Belo Horizonte 10
Chicago 10
Guangzhou 10
London 10
Turku 10
Baghdad 9
Rome 9
Horia 8
Norwalk 8
St Louis 8
Biên Hòa 7
Bologna 7
Boston 7
Cape Town 7
College Park 7
Collegno 7
Falkenstein 7
Fullerton 7
Guarulhos 7
Philadelphia 7
Quito 7
Rivoli 7
San Francisco 7
Strasbourg 7
Thái Bình 7
Wenzhou 7
Columbus 6
Hebei 6
Karachi 6
Manchester 6
Totale 6.062
Salva come PNG Salva come JPEG
Nome #
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 226
Analysis and Detection of Cyber Attack Processes targeting Smart Grids 194
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures 174
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid 166
A Modular Infrastructure for the Validation of Cyberattack Detection Systems 161
30 years of greatSPN 159
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources 149
A Symbolic Reachability Graph for Coloured Petri Nets 148
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 142
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 139
Efficient lumpability check in partially symmetric systems 135
Advances in the GINSENG project 132
A new symbolic approach for network reliability analysis 131
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico 129
Non deterministic Repairable Fault Trees for computing optimal repair strategy 128
Computing Structural Properties of Symmetric Nets 128
Markov Decision Petri Nets with Uncertainty 126
A low – cost virtual reality framework for building cooperative and collaborative exercises 125
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 125
Clarifying the Priority Specification of GSPN: Detached Priorities 124
A Hierarchical Approach for Designing Dependable Systems 121
A framework to design and solve Markov Decision Well-formed Net models 120
Multiple sclerosis disease: A computational approach for investigating its drug interactions 119
List of requirements on formalisms and selection of appropriate tools 117
A High Level Language for Structural Relations in Stochastic Well-formed Nets 114
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 112
Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study Using SWN 111
Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller 110
SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems 109
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations 109
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models 108
Parametric Stochastic Well-Formed Nets and Compositional Modelling 107
Computing first passage time distributions in Stochastic Well-Formed Nets 106
An application example of symbolic calculus for SWN structural relations 106
A tool for the automatic derivation of symbolic ode from symmetric net models 104
Understanding Parallel Programs Behaviour through Petri Net Models 103
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets 103
An introduction to generalized stochastic Petri nets 103
Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator 102
Expressing and Computing Passage Time Measures of GSPN Models with HASL 98
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras 97
Towards Performance Analysis with Partially Symmetrical SWN 97
First Passage Time Computation in Tagged GSPN with Queue Places 97
RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes 97
A new symbolic approach for network reliability analysis 96
From Symmetric Nets to Differential Equations exploiting Model Symmetries 94
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 94
Multiformalism modeling and simulation of immune system mechanisms 94
Probe Automata for Passage Time Specification 93
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models 93
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets 93
Colored GSPN models and automatic symmetry detection 92
Sequential application of heterogeneous models for the safety analysis of a control system: a case study 91
Modelling with Generalized Stochastic Petri Nets 91
Lumping Partially Symmetrical Stochastic Models 90
The PSR methodology: integrating hardware and software models 89
Simple O(m logn) Time Markov Chain Lumping 89
Methodologies synthesis 89
Modeling clinical guidelines through Petri Nets 89
Towards a Second Generation of Computer Interpretable Guidelines 89
Multi-level dependability modeling of interdependencies between the electricity and information infrastructures 88
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis 87
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets 87
Generalized stochastic Petri nets for the performance evaluation of FMS 86
Evaluation of Cyberattack Detection Models in Power Grids: Automated Generation of Attack Processes 85
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities 85
Non deterministic Repairable Fault Trees for computing optimal repair strategy 85
Multi-path continuous media streaming: what are the benefits? 85
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 85
Risk Assessment Models in Hydroelectric Plants 85
Modelling and Analysis of Distributed Software using GSPNs 84
Stochastic Colored Petri Net Models for Rainbow Optical Networks 84
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems 84
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics 84
SWN Client-server composition operators in the OsMoSys framework 81
The GreatSPN tool: recent enhancements 81
Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System 81
Modeling and Verification of Distributed Systems Using Markov Decision Processes 81
Modelli e tecnologie della formazione in rete 80
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 80
MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets 79
Multiple abstraction levels in performance analysis of WSN monitoring systems 79
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets 79
Stochastic Well-Formed coloured nets and multiprocessor modelling applications 78
SWN models of a contact center: a case study 78
Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 78
Tagged Generalized Stochastic Petri Nets 78
Efficient Analysis Algorithms for Parametric Fault Trees 77
Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications 75
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 74
Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net 73
Defining formalisms and models in the Draw-Net Modeling System 72
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 72
Quantification of Dependencies between Electrical and Information Infrastructures 72
I primi passi di un TLC: l'esperienza dell'Università del Piemonte Orientale 71
System Level Dependability Analysis 71
Parametric NdRFT for the derivation of optimal repair strategies 71
Transactions on Petri Nets and Other Models of Concurrency VI 71
Repairable Fault Tree for the automatic evaluation of repair policies 69
Exploiting Petri Nets to support Fault Tree based dependability analysis 69
Totale 10.141
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.128
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 54.128
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202136 0 0 0 0 0 0 0 0 0 0 0 36
2021/2022715 20 4 119 71 42 5 98 11 46 30 113 156
2022/20231.571 121 69 97 47 130 120 24 105 766 11 48 33
2023/2024525 43 42 49 18 87 0 131 21 13 10 40 71
2024/20251.357 30 41 111 46 33 129 95 68 340 175 60 229
2025/20264.472 173 143 352 652 380 264 765 705 294 302 259 183
Totale 11.137