CINECA IRIS Institutional Research Information System

DONATELLI, Susanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.308
EU - Europa 3.649
AS - Asia 1.121
SA - Sud America 39
AF - Africa 27
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.156
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.172
DK - Danimarca 863
CN - Cina 536
IT - Italia 490
SE - Svezia 402
IE - Irlanda 355
DE - Germania 347
UA - Ucraina 254
GB - Regno Unito 226
FI - Finlandia 225
FR - Francia 215
SG - Singapore 202
KR - Corea 166
CA - Canada 132
PL - Polonia 119
VN - Vietnam 97
IN - India 34
RU - Federazione Russa 33
NL - Olanda 31
ID - Indonesia 28
BE - Belgio 23
DZ - Algeria 20
BR - Brasile 17
CZ - Repubblica Ceca 10
ES - Italia 10
GR - Grecia 10
CO - Colombia 8
HK - Hong Kong 8
IR - Iran 8
PK - Pakistan 8
TR - Turchia 8
CL - Cile 7
AU - Australia 6
SA - Arabia Saudita 6
BG - Bulgaria 5
CH - Svizzera 5
EU - Europa 5
HU - Ungheria 5
AE - Emirati Arabi Uniti 4
AT - Austria 4
IL - Israele 4
NO - Norvegia 4
PT - Portogallo 4
RO - Romania 4
TW - Taiwan 4
AR - Argentina 3
EC - Ecuador 3
JP - Giappone 3
SN - Senegal 3
JO - Giordania 2
MA - Marocco 2
MX - Messico 2
AL - Albania 1
BT - Bhutan 1
EG - Egitto 1
HR - Croazia 1
IQ - Iraq 1
KE - Kenya 1
LT - Lituania 1
MK - Macedonia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PR - Porto Rico 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 10.156
Salva come PNG Salva come JPEG
Città #
Ann Arbor 716
Chandler 576
Ashburn 364
Fairfield 357
Dublin 355
Wilmington 348
Beijing 280
Houston 261
Jacksonville 239
Woodbridge 171
Dearborn 166
Guangzhou 155
Singapore 134
Villeurbanne 132
Seattle 131
Princeton 122
Medford 116
Warsaw 111
Cambridge 107
Nyköping 105
Torino 99
Pisa 84
Montréal 76
Dong Ket 70
Mcallen 69
Munich 66
Boston 49
Washington 47
Milan 46
Boardman 39
Santa Clara 34
Fremont 32
Helsinki 31
Norwalk 31
Jakarta 28
Redwood City 26
San Mateo 26
Verona 24
Brussels 23
Toronto 23
Wayne 22
Turin 20
Padova 19
Ottawa 17
Phoenix 15
Hefei 14
Dallas 13
Karlsruhe 13
Lachine 13
Nanjing 13
Aachen 11
Düsseldorf 11
Falls Church 10
Athens 9
Naples 9
Piemonte 9
San Diego 9
San Mauro Torinese 9
Nanchang 8
Amsterdam 7
Santiago 7
Arese 6
Bologna 6
Delhi 6
Des Moines 5
Edinburgh 5
Ilmenau 5
Istanbul 5
Lake Forest 5
Mountain View 5
New York 5
Olomouc 5
Recife 5
Rome 5
San Jose 5
Shenyang 5
Sofia 5
Xian 5
Berlin 4
Budapest 4
Changsha 4
Florence 4
Hanover 4
Hebei 4
Kraków 4
Los Angeles 4
Paris 4
Stuttgart 4
Algiers 3
Bangalore 3
Bogotá 3
Catania 3
Coimbatore 3
Copenhagen 3
Fuzhou 3
Islamabad 3
Kunming 3
Madrid 3
Mumbai 3
Nuremberg 3
Totale 6.291
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 434
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 401
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis 374
Modelling with Generalized Stochastic Petri Nets 351
30 Years of GreatSPN 317
Efficient Solution of Extended Multiple-Phased Systems 296
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 291
Decision diagrams for Petri nets: which variable ordering? 268
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 267
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? 264
Chimera: a Bioconductor package for secondary analysis of fusion products. 263
Efficient model checking of the stochastic logic CSLTA 252
Modelling and Evaluation of a Control Room Application 250
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 250
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 249
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 219
State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity 209
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 175
The structure of state of art gene fusion-finder algorithms 173
Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis 146
GreatTeach: a tool for teaching (stochastic) Petri nets 131
Transactions on Petri Nets and Other Models of Concurrency V 130
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 116
Towards a methodological approach to specification and analysis of dependable automation systems 106
A class diagram framework for collecting dependability requirements in automation systems 106
Quantification of Dependencies between Electrical and Information Infrastructures 99
Large Disclosing the Nature of Computational Tools for the Analysis of Next Generation Sequencing Data 94
Markov decision Petri nets with uncertainty 93
CSL Model Checking for the GreatSPN Tool 89
The GreatSPN Tool: Recent Enhancements 86
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 85
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 85
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 80
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 79
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 78
A CTL* Model Checker for Petri Nets 78
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 77
Client-server programs analysis in the EPOCA environment 76
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 75
From Time Petri Nets to Timed Automata: an Untimed Approach 73
Backward Stochastic Bisimulation in CSL Model Checking 72
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 69
A Comparison of Structural Formalisms for Modeling Large Markov Models 68
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 68
Structured Solution of Asynchronously Communicating Stochastic Modules 67
A component-based solution for reducible Markov regenerative processes 67
Understanding Parallel Programs Behaviour through Petri Net Models 65
An Introduction to Generalized Stochastic Petri Nets 65
Extended SWN Solvers in GreatSPN 64
A new symbolic approach for network reliability analysis. 64
SeqMDD 64
(Stochastic) Model Checking in GreatSPN 64
CSL Model Checking for Generalized Stochastic Petri Nets 63
Building Petri net scenarios for dependable automation systems 61
A compositional semantics for UML State Machines aimed at performance evaluation 60
SeqMDD: efficient and exhaustive sequence mapping in color and nucleotide space exploiting symbolic data structures. 60
A Structured Solution Approach for Markov Regenerative Processes 60
Backward Bisimulation in Markov Chain Model Checking 59
Dissecting a massive parallel sequencing workflow for quantitative miRNA expression analysis 59
Use of GSPNs for concurrent software validation in EPOCA 58
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 58
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 57
Transactions on Petri Nets and Other Models of Concurrency, volume IV 57
Variable order metrics for decision diagrams in system verification 57
Validation and evaluation of a software solution for fault tolerant distributed synchronization 55
Stochastic Petri Nets and inheritance for dependability modelling. 55
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 55
Expressing and computing passage time measures of GSPN models with HASL 55
GreatSPN in the new Millenium 54
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 54
Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets 53
DSGen 53
DSPN-Tool 51
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation 49
From UML Sequence Diagrams and StateCharts to analysable Petri Net models 48
On the Product Form Solution for Stochastic Petri Nets 48
UML diagrams supporting domain specification inside the CRUTIAL project 48
Revisiting the matrix‐free solution of Markov regenerative processes 48
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 48
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models 46
Integrating Synchronization with Priority into a Kronecker Representation 45
Integrating Synchronization with Priority into a Kronecker Representation. 45
Dynamic polling orders in multiserver multiqueue systems 45
Model checking CSLTA with Deterministic and Stochastic Petri Nets 43
GSPN Models of Markovian Multiserver Multiqueue Systems 42
Critical Utiliy Infrastructural Resilience 42
Special Issue on "Quantitative Evaluation of Systems" 41
Model Checking Timed and Stochastic Properties with CSLTA 41
Quantitative Verification of Markov Chains 40
MC4CSLTA 39
DS-gen: a tool to generate SOLiD and ILLUMINA synthetic NGS datasets to test mapping tools behavio 37
GreatSPN solver based on MDD 37
Representing the CRUTIAL project domain by means of UML diagrams 36
Dependent Automata for the Modelling of Dependencies 36
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 36
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 36
starMC: an automata based CTL* model checker 35
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 34
Petri Nets in performance analysis, an introduction. 33
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs 33
Totale 10.387
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.246
article - articoli 0
book - libri 0
conference - conferenze 11.778
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 38.024
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.600 0 0 294 371 243 349 259 147 303 206 220 208
2020/20211.836 238 139 204 167 131 131 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/2025234 5 157 72 0 0 0 0 0 0 0 0 0
Totale 10.702