CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018665 0000 00 00 33717511142
2018/2019974 84648117 17154 2094 2483224112
2019/20202778 86103293370 242347 257147 300205220208
2020/20211822 236139203165 129130 11976 201154120150
2021/2022916 33344947 2830 7643 4253208273
2022/20231461 17010718174 157477 123108 127000
Totale 9583