IRIS
FRANCESCHINIS, Giuliana Annamaria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.061
NA - Nord America 2.865
AS - Asia 1.902
SA - Sud America 391
AF - Africa 58
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 8
Totale 8.297
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.803
IE - Irlanda 762
SG - Singapore 719
DE - Germania 445
SE - Svezia 442
IT - Italia 430
CN - Cina 404
UA - Ucraina 326
BR - Brasile 318
HK - Hong Kong 301
RU - Federazione Russa 234
FI - Finlandia 203
VN - Vietnam 183
IN - India 112
GB - Regno Unito 67
FR - Francia 61
KR - Corea 42
AR - Argentina 36
CA - Canada 35
ID - Indonesia 28
ZA - Sudafrica 24
TR - Turchia 23
BJ - Benin 19
BD - Bangladesh 17
BE - Belgio 17
MX - Messico 17
ES - Italia 13
JP - Giappone 13
IR - Iran 12
EC - Ecuador 11
EU - Europa 11
IQ - Iraq 10
PL - Polonia 10
AT - Austria 9
NL - Olanda 9
PK - Pakistan 9
RO - Romania 8
VE - Venezuela 7
AU - Australia 6
CL - Cile 6
LT - Lituania 6
CO - Colombia 4
GR - Grecia 4
MA - Marocco 4
PY - Paraguay 4
SA - Arabia Saudita 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
DK - Danimarca 3
EG - Egitto 3
IL - Israele 3
TT - Trinidad e Tobago 3
AM - Armenia 2
CR - Costa Rica 2
DZ - Algeria 2
LU - Lussemburgo 2
MV - Maldive 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PE - Perù 2
SI - Slovenia 2
TH - Thailandia 2
TN - Tunisia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GF - Guiana Francese 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
JO - Giordania 1
KE - Kenya 1
KZ - Kazakistan 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
MY - Malesia 1
NI - Nicaragua 1
OM - Oman 1
PT - Portogallo 1
QA - Qatar 1
SN - Senegal 1
UY - Uruguay 1
Totale 8.297
Salva come PNG Salva come JPEG
Città #
Dublin 762
Jacksonville 540
Hong Kong 300
Dearborn 288
Wilmington 235
Singapore 187
Beijing 179
Ashburn 143
Chandler 137
Ann Arbor 136
Lawrence 106
Princeton 106
Moscow 100
Andover 83
San Mateo 81
Los Angeles 77
Ho Chi Minh City 72
Bremen 63
Piemonte 60
Buffalo 59
Munich 47
Novara 40
Seoul 38
Turin 36
São Paulo 32
Hanoi 27
Milan 26
Boardman 23
Helsinki 23
New York 23
Cotonou 19
Redondo Beach 19
Hefei 18
Brussels 17
Kunming 17
Woodbridge 17
Dong Ket 16
Frankfurt am Main 15
Houston 15
Nanjing 15
Santa Clara 15
Toronto 15
Atlanta 14
Carmagnola 14
Fairfield 14
Jakarta 14
Baldissero Torinese 13
Brooklyn 13
Chennai 13
Grafing 13
Johannesburg 13
Kocaeli 13
Tokyo 13
Poplar 12
Rio de Janeiro 12
Vercelli 12
Dallas 11
Denver 11
Montreal 11
Stockholm 11
Belo Horizonte 10
Chicago 10
Turku 10
Da Nang 9
London 9
Orem 9
Warsaw 9
Haiphong 8
Horia 8
Norwalk 8
College Park 7
Collegno 7
Fullerton 7
Guarulhos 7
Rivoli 7
Strasbourg 7
Thái Bình 7
Bologna 6
Guangzhou 6
Hebei 6
Morgantown 6
Nanchang 6
Philadelphia 6
Seattle 6
Torino 6
Amsterdam 5
Ankara 5
Anzio 5
Biên Hòa 5
Boston 5
Cape Town 5
Falkenstein 5
Fuzhou 5
Jinan 5
Noicattaro 5
Novi Ligure 5
Ottawa 5
Querétaro 5
Rome 5
San Francisco 5
Totale 4.716
Salva come PNG Salva come JPEG
Nome #
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems 182
Analysis and Detection of Cyber Attack Processes targeting Smart Grids 149
30 years of greatSPN 139
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures 125
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding 119
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid 116
A Symbolic Reachability Graph for Coloured Petri Nets 115
Efficient lumpability check in partially symmetric systems 115
E-learning e alta formazione in medicina dei disastri: l’esperienza dello European Master in Disaster Medicine 110
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources 110
Markov Decision Petri Nets with Uncertainty 108
Computing Structural Properties of Symmetric Nets 106
Clarifying the Priority Specification of GSPN: Detached Priorities 104
A low – cost virtual reality framework for building cooperative and collaborative exercises 103
Advances in the GINSENG project 102
Collaborative virtual environments as research and teaching instruments in the field of emergency and disaster medicine 101
A Hierarchical Approach for Designing Dependable Systems 100
A new symbolic approach for network reliability analysis 99
A Modular Infrastructure for the Validation of Cyberattack Detection Systems 98
A framework to design and solve Markov Decision Well-formed Net models 93
A High Level Language for Structural Relations in Stochastic Well-formed Nets 89
Non deterministic Repairable Fault Trees for computing optimal repair strategy 89
Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller 89
Multiple sclerosis disease: A computational approach for investigating its drug interactions 89
List of requirements on formalisms and selection of appropriate tools 88
Understanding Parallel Programs Behaviour through Petri Net Models 85
SNexpression: A Symbolic Calculator for Symmetric Net Expressions 85
A tool for the automatic derivation of symbolic ode from symmetric net models 84
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets 83
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools 82
Computing first passage time distributions in Stochastic Well-Formed Nets 81
Collaborative virtual environments as research and teaching instruments in the field of disaster medicine: The "e-DISTRICT CiPro" simulator 81
A new symbolic approach for network reliability analysis 81
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di controllo energetico 80
Parametric Stochastic Well-Formed Nets and Compositional Modelling 79
Probe Automata for Passage Time Specification 78
Expressing and Computing Passage Time Measures of GSPN Models with HASL 78
Towards Performance Analysis with Partially Symmetrical SWN 76
Methodologies synthesis 76
An introduction to generalized stochastic Petri nets 76
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations 76
Performance Prediction of a Reconfigurable High Voltage Substation Simulator: A Case Study Using SWN 75
Sequential application of heterogeneous models for the safety analysis of a control system: a case study 75
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets 75
Modelling with Generalized Stochastic Petri Nets 75
An application example of symbolic calculus for SWN structural relations 74
RRE, a tool for retrieval of annotated non-coding regions from sequenced eukariotic genomes 74
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras 72
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models 71
Non deterministic Repairable Fault Trees for computing optimal repair strategy 71
Modeling clinical guidelines through Petri Nets 71
Multi-path continuous media streaming: what are the benefits? 71
Modelling and Analysis of Distributed Software using GSPNs 70
Stochastic Colored Petri Net Models for Rainbow Optical Networks 70
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis 70
Multiformalism modeling and simulation of immune system mechanisms 70
The GreatSPN tool: recent enhancements 69
Lumping Partially Symmetrical Stochastic Models 69
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets 69
Generalized stochastic Petri nets for the performance evaluation of FMS 69
From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models 68
First Passage Time Computation in Tagged GSPN with Queue Places 68
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems 68
The PSR methodology: integrating hardware and software models 67
Stochastic Well-Formed coloured nets and multiprocessor modelling applications 67
Towards a Second Generation of Computer Interpretable Guidelines 67
SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems 66
From Symmetric Nets to Differential Equations exploiting Model Symmetries 66
Multi-level dependability modeling of interdependencies between the electricity and information infrastructures 65
SWN models of a contact center: a case study 64
Colored GSPN models and automatic symmetry detection 64
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities 63
MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets 63
Tagged Generalized Stochastic Petri Nets 63
SWN Client-server composition operators in the OsMoSys framework 62
Efficient Analysis Algorithms for Parametric Fault Trees 62
Methods of Incresing Modeling Power for Safety Analysis, Applied to a Turbin Digital Control System 62
System Level Dependability Analysis 61
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics 61
Simple O(m logn) Time Markov Chain Lumping 60
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets 60
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 59
Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications 59
Multiple abstraction levels in performance analysis of WSN monitoring systems 58
Defining formalisms and models in the Draw-Net Modeling System 57
Parametric NdRFT for the derivation of optimal repair strategies 57
Modeling and Verification of Distributed Systems Using Markov Decision Processes 56
Proceedings 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency 55
Efficient Simulation of Stochastic Well-formed Nets Through Symmetry Exploitation 55
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets 55
Compositional modeling of complex systems: contact center scenarios in OsMoSys 54
Special Issue with selected papers from the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 54
Dependability assessment of an industrial programmable logic controller via parametric fault-tree and high level Petri net 53
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 53
Repairable Fault Tree for the automatic evaluation of repair policies 52
Quantification of dependencies in electrical and information infrastructures: The crutial approach 52
Modelli e tecnologie della formazione in rete 51
Transactions on Petri Nets and Other Models of Concurrency VI 51
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets 50
New solvers for asymmetric systems in GreatSPN 50
Totale 7.757
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.698
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 46.698
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021501 0 0 0 0 0 27 109 32 155 27 115 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/20261.730 173 143 352 652 380 30 0 0 0 0 0 0
Totale 8.395