CINECA IRIS Institutional Research Information System

DONATELLI, Susanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.819
EU - Europa 4.513
AS - Asia 3.337
SA - Sud America 482
AF - Africa 83
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 7
Totale 16.249
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.581
SG - Singapore 1.410
IT - Italia 905
DK - Danimarca 863
CN - Cina 862
DE - Germania 485
SE - Svezia 408
BR - Brasile 373
VN - Vietnam 367
IE - Irlanda 355
FR - Francia 352
UA - Ucraina 265
GB - Regno Unito 261
FI - Finlandia 253
KR - Corea 214
CA - Canada 190
PL - Polonia 127
HK - Hong Kong 113
IN - India 81
RU - Federazione Russa 54
NL - Olanda 46
ID - Indonesia 42
JP - Giappone 39
DZ - Algeria 38
AR - Argentina 35
BD - Bangladesh 31
IQ - Iraq 27
ES - Italia 26
BE - Belgio 25
MX - Messico 23
TR - Turchia 21
CO - Colombia 19
PK - Pakistan 17
TW - Taiwan 16
CL - Cile 15
EC - Ecuador 15
AT - Austria 14
JM - Giamaica 11
JO - Giordania 11
CZ - Repubblica Ceca 10
GR - Grecia 10
MA - Marocco 10
SA - Arabia Saudita 10
ZA - Sudafrica 10
IR - Iran 9
IL - Israele 8
LT - Lituania 8
PY - Paraguay 8
AE - Emirati Arabi Uniti 7
AU - Australia 7
CH - Svizzera 7
VE - Venezuela 7
AZ - Azerbaigian 6
NO - Norvegia 6
OM - Oman 6
PH - Filippine 6
PT - Portogallo 6
BG - Bulgaria 5
EU - Europa 5
HU - Ungheria 5
KE - Kenya 5
MY - Malesia 5
TN - Tunisia 5
NP - Nepal 4
PE - Perù 4
RO - Romania 4
SN - Senegal 4
TH - Thailandia 4
UY - Uruguay 4
UZ - Uzbekistan 4
GT - Guatemala 3
IS - Islanda 3
PA - Panama 3
SY - Repubblica araba siriana 3
AL - Albania 2
AO - Angola 2
BO - Bolivia 2
CW - ???statistics.table.value.countryCode.CW??? 2
GA - Gabon 2
GE - Georgia 2
KZ - Kazakistan 2
LB - Libano 2
NG - Nigeria 2
PR - Porto Rico 2
PS - Palestinian Territory 2
RS - Serbia 2
BH - Bahrain 1
BN - Brunei Darussalam 1
BT - Bhutan 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
EG - Egitto 1
ET - Etiopia 1
GI - Gibilterra 1
GP - Guadalupe 1
HN - Honduras 1
HR - Croazia 1
HT - Haiti 1
LA - Repubblica Popolare Democratica del Laos 1
Totale 16.239
Salva come PNG Salva come JPEG
Città #
Singapore 800
Ann Arbor 716
San Jose 712
Chandler 577
Ashburn 525
Santa Clara 410
Beijing 388
Fairfield 357
Dublin 355
Wilmington 349
Houston 267
Jacksonville 242
Woodbridge 172
Dearborn 167
Guangzhou 160
Milan 136
Seattle 135
Villeurbanne 132
Princeton 122
The Dalles 122
Medford 117
Warsaw 116
Columbus 109
Munich 109
Cambridge 107
Nyköping 105
Lauterbourg 99
Torino 99
Ho Chi Minh City 96
Hong Kong 94
Los Angeles 92
Dallas 87
Pisa 86
Montréal 76
Dong Ket 70
Mcallen 69
Rome 65
Buffalo 64
Hanoi 63
Washington 55
Boston 53
Helsinki 43
Seoul 43
Boardman 42
Hefei 39
Turin 39
Tokyo 34
Toronto 34
New York 33
Fremont 32
Norwalk 32
Frankfurt am Main 29
Jakarta 28
Verona 27
Redwood City 26
San Mateo 26
São Paulo 26
Brussels 24
Naples 22
Wayne 22
Phoenix 20
Aachen 19
Chicago 19
Padova 19
Ottawa 18
Karlsruhe 17
Redondo Beach 16
Bengaluru 15
Bologna 15
Council Bluffs 15
Berlin 13
Lachine 13
Nanjing 13
Amsterdam 12
Baghdad 11
Da Nang 11
Düsseldorf 11
Nuremberg 11
Rio de Janeiro 11
Santiago 11
Turku 11
Brooklyn 10
Falls Church 10
Figino 10
Philadelphia 10
Amman 9
Athens 9
Atlanta 9
Catania 9
Delhi 9
Des Moines 9
Fortaleza 9
Istanbul 9
Kingston 9
Mexico City 9
Montreal 9
Piemonte 9
Recife 9
San Diego 9
San Mauro Torinese 9
Totale 9.752
Salva come PNG Salva come JPEG
Nome #
Modelling with Generalized Stochastic Petri Nets 580
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 507
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis 452
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 444
30 Years of GreatSPN 403
Decision diagrams for Petri nets: which variable ordering? 360
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 347
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 344
Efficient Solution of Extended Multiple-Phased Systems 343
Efficient model checking of the stochastic logic CSLTA 343
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 338
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? 334
Chimera: a Bioconductor package for secondary analysis of fusion products. 331
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 327
Modelling and Evaluation of a Control Room Application 289
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 268
State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity 264
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 247
The structure of state of art gene fusion-finder algorithms 227
Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis 213
GreatTeach: a tool for teaching (stochastic) Petri nets 193
Transactions on Petri Nets and Other Models of Concurrency V 185
CSL Model Checking for the GreatSPN Tool 178
A class diagram framework for collecting dependability requirements in automation systems 172
Towards a methodological approach to specification and analysis of dependable automation systems 168
From Time Petri Nets to Timed Automata: an Untimed Approach 156
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 156
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 147
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 146
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 146
A component-based solution for reducible Markov regenerative processes 145
The GreatSPN Tool: Recent Enhancements 144
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 140
An Introduction to Generalized Stochastic Petri Nets 140
Markov decision Petri nets with uncertainty 139
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 135
Large Disclosing the Nature of Computational Tools for the Analysis of Next Generation Sequencing Data 133
A CTL* Model Checker for Petri Nets 129
(Stochastic) Model Checking in GreatSPN 128
Backward Stochastic Bisimulation in CSL Model Checking 127
A compositional semantics for UML State Machines aimed at performance evaluation 126
Building Petri net scenarios for dependable automation systems 126
CSL Model Checking for Generalized Stochastic Petri Nets 124
Quantification of Dependencies between Electrical and Information Infrastructures 124
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 122
Variable order metrics for decision diagrams in system verification 120
Structured Solution of Asynchronously Communicating Stochastic Modules 119
A Comparison of Structural Formalisms for Modeling Large Markov Models 118
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 118
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 117
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 116
Client-server programs analysis in the EPOCA environment 115
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 114
Extended SWN Solvers in GreatSPN 112
A Structured Solution Approach for Markov Regenerative Processes 112
A new symbolic approach for network reliability analysis. 111
Integrating Synchronization with Priority into a Kronecker Representation. 110
Backward Bisimulation in Markov Chain Model Checking 110
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 108
Integrating Synchronization with Priority into a Kronecker Representation 107
Expressing and computing passage time measures of GSPN models with HASL 107
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation 106
SeqMDD 106
From UML Sequence Diagrams and StateCharts to analysable Petri Net models 105
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 105
Transactions on Petri Nets and Other Models of Concurrency, volume IV 102
Use of GSPNs for concurrent software validation in EPOCA 101
Dissecting a massive parallel sequencing workflow for quantitative miRNA expression analysis 100
SeqMDD: efficient and exhaustive sequence mapping in color and nucleotide space exploiting symbolic data structures. 99
Validation and evaluation of a software solution for fault tolerant distributed synchronization 98
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 98
Hilbert Composition of Multilabelled Events 97
UML diagrams supporting domain specification inside the CRUTIAL project 97
Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets 96
GreatSPN in the new Millenium 96
On the Product Form Solution for Stochastic Petri Nets 96
Co-Chairman della conferenza: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency,Turku, Finland, June 26-30, 2006 95
DSPN-Tool 95
DSGen 95
Stochastic Petri Nets and inheritance for dependability modelling. 94
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models 93
Understanding Parallel Programs Behaviour through Petri Net Models 92
Challenges for Driver Action Recognition with Face Masks 90
Model checking CSLTA with Deterministic and Stochastic Petri Nets 90
Revisiting the matrix‐free solution of Markov regenerative processes 87
Dynamic polling orders in multiserver multiqueue systems 86
GSPN Models of Markovian Multiserver Multiqueue Systems 82
Model Checking Timed and Stochastic Properties with CSLTA 80
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs 79
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 79
DS-gen: a tool to generate SOLiD and ILLUMINA synthetic NGS datasets to test mapping tools behavio 79
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 79
MC4CSLTA 78
GreatSPN solver based on MDD 78
Quantitative Verification of Markov Chains 76
iRank: A Variable Order Metric for DEDS Subject to Linear Invariants 76
Special Issue on "Quantitative Evaluation of Systems" 75
Critical Utiliy Infrastructural Resilience 74
GreatSPN Enhanced with Decision Diagram Data Structures 73
Representing the CRUTIAL project domain by means of UML diagrams 71
Totale 15.902
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.042
article - articoli 0
book - libri 0
conference - conferenze 20.299
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 66.341
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022924 33 35 50 47 29 30 76 45 42 53 210 274
2022/20231.589 171 107 19 174 158 480 108 106 132 12 100 22
2023/2024714 76 101 73 35 79 149 7 34 2 32 37 89
2024/20251.926 5 157 75 191 472 92 34 97 221 122 161 299
2025/20264.297 290 175 259 380 445 202 481 178 319 695 194 679
2026/2027146 146 0 0 0 0 0 0 0 0 0 0 0
Totale 16.837