CINECA IRIS Institutional Research Information System

DONATELLI, Susanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.537
EU - Europa 3.973
AS - Asia 2.755
SA - Sud America 425
AF - Africa 66
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 13.768
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.355
SG - Singapore 1.216
DK - Danimarca 863
CN - Cina 770
IT - Italia 556
DE - Germania 442
SE - Svezia 408
IE - Irlanda 355
BR - Brasile 337
UA - Ucraina 262
FI - Finlandia 249
GB - Regno Unito 248
FR - Francia 246
VN - Vietnam 224
KR - Corea 206
CA - Canada 148
PL - Polonia 125
HK - Hong Kong 94
IN - India 62
RU - Federazione Russa 52
ID - Indonesia 41
NL - Olanda 41
DZ - Algeria 33
AR - Argentina 31
BE - Belgio 25
ES - Italia 20
MX - Messico 19
BD - Bangladesh 18
CO - Colombia 18
TR - Turchia 18
IQ - Iraq 17
AT - Austria 14
PK - Pakistan 13
EC - Ecuador 12
CL - Cile 11
CZ - Repubblica Ceca 10
GR - Grecia 10
JP - Giappone 10
IR - Iran 9
ZA - Sudafrica 9
IL - Israele 8
JO - Giordania 8
SA - Arabia Saudita 8
MA - Marocco 7
AE - Emirati Arabi Uniti 6
AU - Australia 6
LT - Lituania 6
PT - Portogallo 6
PY - Paraguay 6
BG - Bulgaria 5
CH - Svizzera 5
EU - Europa 5
HU - Ungheria 5
TW - Taiwan 5
KE - Kenya 4
NO - Norvegia 4
PE - Perù 4
RO - Romania 4
AZ - Azerbaigian 3
GT - Guatemala 3
IS - Islanda 3
JM - Giamaica 3
PA - Panama 3
SN - Senegal 3
VE - Venezuela 3
AL - Albania 2
GA - Gabon 2
LB - Libano 2
NP - Nepal 2
OM - Oman 2
RS - Serbia 2
TH - Thailandia 2
TN - Tunisia 2
UY - Uruguay 2
UZ - Uzbekistan 2
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BT - Bhutan 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
EG - Egitto 1
ET - Etiopia 1
GI - Gibilterra 1
HN - Honduras 1
HR - Croazia 1
HT - Haiti 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
MK - Macedonia 1
MR - Mauritania 1
MU - Mauritius 1
MY - Malesia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
PS - Palestinian Territory 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
Totale 13.765
Salva come PNG Salva come JPEG
Città #
Ann Arbor 716
Singapore 657
Chandler 577
Ashburn 431
Beijing 378
Santa Clara 374
Fairfield 357
Dublin 355
Wilmington 348
Houston 264
Jacksonville 240
Woodbridge 171
Dearborn 166
Guangzhou 157
Seattle 132
Villeurbanne 132
Princeton 122
Medford 116
Warsaw 115
Munich 109
Columbus 108
Cambridge 107
Nyköping 105
Torino 99
Dallas 85
Los Angeles 85
Pisa 84
San Jose 80
Hong Kong 79
Montréal 76
The Dalles 75
Dong Ket 70
Mcallen 69
Buffalo 61
Milan 57
Boston 52
Washington 48
Ho Chi Minh City 44
Seoul 40
Boardman 39
Hefei 39
Helsinki 39
Turin 33
Fremont 32
Norwalk 31
Toronto 30
Hanoi 28
Jakarta 28
Redwood City 26
San Mateo 26
Brussels 24
São Paulo 24
Verona 24
Wayne 22
Frankfurt am Main 21
Padova 19
Ottawa 18
Phoenix 18
New York 16
Redondo Beach 16
Aachen 15
Bengaluru 15
Lauterbourg 15
Karlsruhe 14
Lachine 13
Nanjing 13
Düsseldorf 11
Turku 11
Amsterdam 10
Falls Church 10
Naples 10
Rio de Janeiro 10
Athens 9
Delhi 9
Nuremberg 9
Piemonte 9
San Diego 9
San Mauro Torinese 9
Santiago 9
Vienna 9
Collegno 8
Des Moines 8
Falkenstein 8
Fortaleza 8
Istanbul 8
Nanchang 8
Recife 8
San Francisco 8
Amman 7
Baghdad 7
Bologna 7
Chicago 7
Curitiba 7
Da Nang 7
Haiphong 7
Stockholm 7
Tokyo 7
Arese 6
Berlin 6
Bogotá 6
Totale 8.258
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 472
Modelling with Generalized Stochastic Petri Nets 465
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 435
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis 427
30 Years of GreatSPN 375
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 325
Efficient Solution of Extended Multiple-Phased Systems 324
Decision diagrams for Petri nets: which variable ordering? 322
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 318
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 311
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? 310
Chimera: a Bioconductor package for secondary analysis of fusion products. 307
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 295
Efficient model checking of the stochastic logic CSLTA 290
Modelling and Evaluation of a Control Room Application 269
State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity 249
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 243
The structure of state of art gene fusion-finder algorithms 214
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 207
Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis 175
GreatTeach: a tool for teaching (stochastic) Petri nets 161
Transactions on Petri Nets and Other Models of Concurrency V 154
A class diagram framework for collecting dependability requirements in automation systems 149
CSL Model Checking for the GreatSPN Tool 144
Towards a methodological approach to specification and analysis of dependable automation systems 143
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 138
A component-based solution for reducible Markov regenerative processes 130
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 129
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 129
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 126
The GreatSPN Tool: Recent Enhancements 123
An Introduction to Generalized Stochastic Petri Nets 120
Large Disclosing the Nature of Computational Tools for the Analysis of Next Generation Sequencing Data 119
Markov decision Petri nets with uncertainty 119
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 116
From Time Petri Nets to Timed Automata: an Untimed Approach 115
Quantification of Dependencies between Electrical and Information Infrastructures 114
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 113
A compositional semantics for UML State Machines aimed at performance evaluation 108
Backward Stochastic Bisimulation in CSL Model Checking 108
CSL Model Checking for Generalized Stochastic Petri Nets 106
(Stochastic) Model Checking in GreatSPN 106
A CTL* Model Checker for Petri Nets 106
A Comparison of Structural Formalisms for Modeling Large Markov Models 104
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 104
Building Petri net scenarios for dependable automation systems 102
Structured Solution of Asynchronously Communicating Stochastic Modules 99
A Structured Solution Approach for Markov Regenerative Processes 98
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 98
Client-server programs analysis in the EPOCA environment 96
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 96
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 95
A new symbolic approach for network reliability analysis. 95
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 94
Extended SWN Solvers in GreatSPN 91
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 90
Backward Bisimulation in Markov Chain Model Checking 87
Expressing and computing passage time measures of GSPN models with HASL 87
UML diagrams supporting domain specification inside the CRUTIAL project 86
From UML Sequence Diagrams and StateCharts to analysable Petri Net models 85
GreatSPN in the new Millenium 85
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 85
Integrating Synchronization with Priority into a Kronecker Representation 84
SeqMDD 84
Variable order metrics for decision diagrams in system verification 83
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation 82
Understanding Parallel Programs Behaviour through Petri Net Models 80
Dissecting a massive parallel sequencing workflow for quantitative miRNA expression analysis 79
SeqMDD: efficient and exhaustive sequence mapping in color and nucleotide space exploiting symbolic data structures. 79
DSPN-Tool 78
Transactions on Petri Nets and Other Models of Concurrency, volume IV 77
Challenges for Driver Action Recognition with Face Masks 76
Integrating Synchronization with Priority into a Kronecker Representation. 76
Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets 76
Validation and evaluation of a software solution for fault tolerant distributed synchronization 75
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 75
Use of GSPNs for concurrent software validation in EPOCA 74
Stochastic Petri Nets and inheritance for dependability modelling. 73
On the Product Form Solution for Stochastic Petri Nets 72
DSGen 72
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 71
Revisiting the matrix‐free solution of Markov regenerative processes 71
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models 70
Model checking CSLTA with Deterministic and Stochastic Petri Nets 70
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 69
GSPN Models of Markovian Multiserver Multiqueue Systems 67
Dynamic polling orders in multiserver multiqueue systems 66
Quantitative Verification of Markov Chains 63
Model Checking Timed and Stochastic Properties with CSLTA 63
Critical Utiliy Infrastructural Resilience 62
Hilbert Composition of Multilabelled Events 61
Special Issue on "Quantitative Evaluation of Systems" 59
GreatSPN solver based on MDD 59
MC4CSLTA 58
Representing the CRUTIAL project domain by means of UML diagrams 57
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 57
DS-gen: a tool to generate SOLiD and ILLUMINA synthetic NGS datasets to test mapping tools behavio 56
Modelling and analysis of distributed software using GSPNs. 55
starMC: an automata based CTL* model checker 55
Petri Nets and dependability 54
Totale 13.624
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.695
article - articoli 0
book - libri 0
conference - conferenze 17.688
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 57.383
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021826 0 0 0 0 0 0 119 77 203 154 122 151
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/20261.926 290 175 259 380 445 202 175 0 0 0 0 0
Totale 14.320