CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019420 0 0 0 0 0 0 0 0 0 84 224 112
2019/20202.789 86 103 294 371 243 349 259 147 303 206 220 208
2020/20211.812 238 139 204 167 131 121 119 76 196 150 122 149
2021/2022913 29 35 50 47 28 29 76 45 38 53 210 273
2022/20231.582 170 106 19 173 158 477 107 106 132 12 100 22
2023/2024575 75 101 73 35 79 149 7 34 2 20 0 0
Totale 10.287