Amanote Research
Register
Sign In
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
Gradient-Based Variable Ordering of Decision Diagrams for Systems With Structural Units
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
I $$_\Mathrm {Rank}$$ : A Variable Order Metric for DEDS Subject to Linear Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving and Assessing the Efficiency of the Mc4cslta Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Solution of Extended Multiple-Phased Systems
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
From Time Petri Nets to Timed Automata: An Untimed Approach