CINECA IRIS Institutional Research Information System

DONATELLI, Susanna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.879
EU - Europa 3.679
AS - Asia 1.275
SA - Sud America 39
AF - Africa 29
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.913
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.743
DK - Danimarca 863
CN - Cina 555
IT - Italia 495
SE - Svezia 402
DE - Germania 358
IE - Irlanda 355
SG - Singapore 331
UA - Ucraina 255
GB - Regno Unito 227
FI - Finlandia 226
FR - Francia 215
KR - Corea 166
CA - Canada 132
PL - Polonia 119
VN - Vietnam 97
RU - Federazione Russa 37
IN - India 34
NL - Olanda 33
ID - Indonesia 28
BE - Belgio 23
DZ - Algeria 20
BR - Brasile 17
ES - Italia 13
HK - Hong Kong 11
CZ - Repubblica Ceca 10
GR - Grecia 10
CO - Colombia 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
PT - Portogallo 5
AE - Emirati Arabi Uniti 4
AT - Austria 4
IL - Israele 4
JP - Giappone 4
NO - Norvegia 4
RO - Romania 4
TW - Taiwan 4
AR - Argentina 3
EC - Ecuador 3
JO - Giordania 3
MA - Marocco 3
SN - Senegal 3
LT - Lituania 2
MX - Messico 2
AL - Albania 1
BT - Bhutan 1
EG - Egitto 1
HR - Croazia 1
IQ - Iraq 1
KE - Kenya 1
LK - Sri Lanka 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
ZA - Sudafrica 1
Totale 10.913
Salva come PNG Salva come JPEG
Città #
Ann Arbor 716
Chandler 576
Ashburn 366
Santa Clara 363
Fairfield 357
Dublin 355
Wilmington 348
Beijing 280
Houston 261
Singapore 253
Jacksonville 239
Woodbridge 171
Dearborn 166
Guangzhou 156
Villeurbanne 132
Seattle 131
Princeton 122
Medford 116
Warsaw 111
Cambridge 107
Nyköping 105
Columbus 100
Torino 99
Pisa 84
Montréal 76
Munich 74
Dong Ket 70
Mcallen 69
Boston 50
Washington 47
Milan 46
Boardman 39
Fremont 32
Helsinki 32
Norwalk 31
Jakarta 28
Redwood City 26
San Mateo 26
Verona 24
Brussels 23
Toronto 23
Wayne 22
Turin 21
Padova 19
Ottawa 17
Phoenix 15
Hefei 14
Karlsruhe 14
Dallas 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
Amsterdam 8
Nanchang 8
Los Angeles 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
Hong Kong 4
Ivrea 4
Kraków 4
Paris 4
Stuttgart 4
Algiers 3
Bangalore 3
Bogotá 3
Catania 3
Coimbatore 3
Copenhagen 3
Fuzhou 3
Hangzhou 3
Islamabad 3
Totale 6.857
Salva come PNG Salva come JPEG
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 445
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving 407
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis 380
Modelling with Generalized Stochastic Petri Nets 358
30 Years of GreatSPN 322
Efficient Solution of Extended Multiple-Phased Systems 304
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 300
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? 279
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 278
Decision diagrams for Petri nets: which variable ordering? 277
Chimera: a Bioconductor package for secondary analysis of fusion products. 277
Efficient model checking of the stochastic logic CSLTA 260
Decision diagrams for Petri nets: a comparison of variable ordering algorithms 259
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 258
Modelling and Evaluation of a Control Room Application 254
State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity 224
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 224
The structure of state of art gene fusion-finder algorithms 184
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 180
Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis 151
GreatTeach: a tool for teaching (stochastic) Petri nets 135
Transactions on Petri Nets and Other Models of Concurrency V 134
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 120
Towards a methodological approach to specification and analysis of dependable automation systems 115
A class diagram framework for collecting dependability requirements in automation systems 115
Quantification of Dependencies between Electrical and Information Infrastructures 101
Large Disclosing the Nature of Computational Tools for the Analysis of Next Generation Sequencing Data 100
CSL Model Checking for the GreatSPN Tool 98
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 98
The GreatSPN Tool: Recent Enhancements 97
Markov decision Petri nets with uncertainty 97
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 96
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 90
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 87
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 86
From Time Petri Nets to Timed Automata: an Untimed Approach 84
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 83
Backward Stochastic Bisimulation in CSL Model Checking 82
Client-server programs analysis in the EPOCA environment 81
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 80
A CTL* Model Checker for Petri Nets 78
CSL Model Checking for Generalized Stochastic Petri Nets 77
A component-based solution for reducible Markov regenerative processes 76
An Introduction to Generalized Stochastic Petri Nets 76
Great-Nsolve: a Tool Integration for (Markov Regenerative) Stochastic Petri Nets 75
Extended SWN Solvers in GreatSPN 73
A new symbolic approach for network reliability analysis. 73
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 73
A Comparison of Structural Formalisms for Modeling Large Markov Models 72
Structured Solution of Asynchronously Communicating Stochastic Modules 71
A compositional semantics for UML State Machines aimed at performance evaluation 69
Building Petri net scenarios for dependable automation systems 69
A Structured Solution Approach for Markov Regenerative Processes 69
(Stochastic) Model Checking in GreatSPN 69
Understanding Parallel Programs Behaviour through Petri Net Models 69
SeqMDD 68
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 66
Backward Bisimulation in Markov Chain Model Checking 65
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 65
Variable order metrics for decision diagrams in system verification 64
Validation and evaluation of a software solution for fault tolerant distributed synchronization 63
Stochastic Petri Nets and inheritance for dependability modelling. 63
Use of GSPNs for concurrent software validation in EPOCA 63
GreatSPN in the new Millenium 63
SeqMDD: efficient and exhaustive sequence mapping in color and nucleotide space exploiting symbolic data structures. 63
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 62
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 62
Transactions on Petri Nets and Other Models of Concurrency, volume IV 61
Dissecting a massive parallel sequencing workflow for quantitative miRNA expression analysis 61
Expressing and computing passage time measures of GSPN models with HASL 61
Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets 60
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation 60
From UML Sequence Diagrams and StateCharts to analysable Petri Net models 59
UML diagrams supporting domain specification inside the CRUTIAL project 59
DSPN-Tool 58
DSGen 58
On the Product Form Solution for Stochastic Petri Nets 52
Revisiting the matrix‐free solution of Markov regenerative processes 52
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 52
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models 50
Dynamic polling orders in multiserver multiqueue systems 50
Integrating Synchronization with Priority into a Kronecker Representation 49
Integrating Synchronization with Priority into a Kronecker Representation. 49
Critical Utiliy Infrastructural Resilience 48
GSPN Models of Markovian Multiserver Multiqueue Systems 47
Model checking CSLTA with Deterministic and Stochastic Petri Nets 47
Special Issue on "Quantitative Evaluation of Systems" 47
Model Checking Timed and Stochastic Properties with CSLTA 47
Quantitative Verification of Markov Chains 46
MC4CSLTA 45
GreatSPN solver based on MDD 44
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 44
DS-gen: a tool to generate SOLiD and ILLUMINA synthetic NGS datasets to test mapping tools behavio 43
Representing the CRUTIAL project domain by means of UML diagrams 41
Dependent Automata for the Modelling of Dependencies 41
MC4CSLTA: An Efficient Model Checking Tool for CSLTA 41
starMC: an automata based CTL* model checker 40
Probe Automata for Passage Time Specification 39
Petri Nets in performance analysis, an introduction. 38
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs 38
Totale 11.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.944
article - articoli 0
book - libri 0
conference - conferenze 12.983
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 41.927
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.343 0 0 0 0 0 0 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/2025993 5 157 75 191 472 92 1 0 0 0 0 0
Totale 11.461