DONATELLI, Susanna
 Distribuzione geografica
Continente #
NA - Nord America 5.208
EU - Europa 3.635
AS - Asia 937
SA - Sud America 39
AF - Africa 27
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 9.857
Nazione #
US - Stati Uniti d'America 5.072
DK - Danimarca 863
CN - Cina 531
IT - Italia 483
SE - Svezia 402
IE - Irlanda 355
DE - Germania 347
UA - Ucraina 254
GB - Regno Unito 226
FI - Finlandia 224
FR - Francia 215
KR - Corea 166
CA - Canada 132
PL - Polonia 118
VN - Vietnam 97
SG - Singapore 50
IN - India 34
NL - Olanda 31
RU - Federazione Russa 29
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
SA - Arabia Saudita 6
AU - Australia 5
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
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.857
Città #
Ann Arbor 716
Chandler 576
Ashburn 361
Fairfield 357
Dublin 355
Wilmington 348
Beijing 280
Houston 261
Jacksonville 239
Woodbridge 171
Dearborn 166
Guangzhou 153
Villeurbanne 132
Seattle 131
Princeton 122
Medford 116
Warsaw 110
Cambridge 107
Nyköping 105
Torino 99
Pisa 84
Montréal 76
Dong Ket 70
Mcallen 69
Munich 66
Boston 49
Washington 47
Milan 44
Boardman 39
Fremont 32
Norwalk 31
Helsinki 30
Redwood City 26
San Mateo 26
Singapore 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
Aachen 11
Düsseldorf 11
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
Olomouc 5
Recife 5
Rome 5
San Jose 5
Santa Clara 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
Parma 3
Totale 6.115
Nome #
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer 432
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 368
Modelling with Generalized Stochastic Petri Nets 346
30 Years of GreatSPN 313
Efficient Solution of Extended Multiple-Phased Systems 294
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units 289
Decision diagrams for Petri nets: which variable ordering? 267
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 266
Chimera: a Bioconductor package for secondary analysis of fusion products. 257
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? 256
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 248
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes 217
State-of-the-Art Fusion-Finder Algorithms Sensitivity and Specificity 207
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 171
The structure of state of art gene fusion-finder algorithms 170
Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis 143
Transactions on Petri Nets and Other Models of Concurrency V 128
GreatTeach: a tool for teaching (stochastic) Petri nets 125
Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid 110
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 92
CSL Model Checking for the GreatSPN Tool 89
The GreatSPN Tool: Recent Enhancements 85
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN 83
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 80
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 79
A CTL* Model Checker for Petri Nets 78
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 76
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 75
Client-server programs analysis in the EPOCA environment 73
Stochastic Path Properties Of Distributed Systems: The CSLTA Approach 73
Simulation-based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets 72
From Time Petri Nets to Timed Automata: an Untimed Approach 70
A Comparison of Structural Formalisms for Modeling Large Markov Models 68
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 64
(Stochastic) Model Checking in GreatSPN 63
On the Product Form Solution of a Class of Multiple Bus Multiprocessor System Models 63
CSL Model Checking for Generalized Stochastic Petri Nets 61
A compositional semantics for UML State Machines aimed at performance evaluation 60
SeqMDD 60
Understanding Parallel Programs Behaviour through Petri Net Models 60
Extended SWN Solvers in GreatSPN 59
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
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
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 57
A new symbolic approach for network reliability analysis. 57
Transactions on Petri Nets and Other Models of Concurrency, volume IV 56
Variable order metrics for decision diagrams in system verification 56
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
DSGen 53
Validation and evaluation of a software solution for fault tolerant distributed synchronization 52
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 51
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 51
UML diagrams supporting domain specification inside the CRUTIAL project 48
DSPN-Tool 48
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
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper 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
From UML Sequence Diagrams and StateCharts to analysable Petri Net models 43
Dynamic polling orders in multiserver multiqueue systems 43
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
GSPN Models of Markovian Multiserver Multiqueue Systems 36
Model checking CSLTA with Deterministic and Stochastic Petri Nets 36
Quantification of Dependencies in Electrical and Information Infrastructures: the CRUTIAL approach 36
Model Checking Timed and Stochastic Properties with CSLTA 36
Critical Utiliy Infrastructural Resilience 35
Dependent Automata for the Modelling of Dependencies 35
MC4CSLTA 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
Totale 10.117
Categoria #
all - tutte 24.231
article - articoli 0
book - libri 0
conference - conferenze 10.878
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 35.109


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019112 0 0 0 0 0 0 0 0 0 0 0 112
2019/20202.789 86 103 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/2024649 76 101 73 35 79 149 7 34 2 32 37 24
Totale 10.403