Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Susanna Donatelli

Optimizing a Massive Parallel Sequencing Workflow for Quantitative miRNA Expression Analysis

PLoS ONE
Multidisciplinary
2012English

Gradient-Based Variable Ordering of Decision Diagrams for Systems With Structural Units

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

I $$_\Mathrm {Rank}$$ : A Variable Order Metric for DEDS Subject to Linear Invariants

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Improving and Assessing the Efficiency of the Mc4cslta Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Efficient Solution of Extended Multiple-Phased Systems

2017English

CSL^TA: An Expressive Logic for Continuous-Time Markov Chains

2007English

From Time Petri Nets to Timed Automata: An Untimed Approach

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy