No. Title Author Year
1 Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time Cairo, Massimo et al. 2021
2 Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions Zavatteri, Matteo et al. 2019
3 Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty Cairo, Massimo et al. 2018
4 Listing Subgraphs by Cartesian Decomposition Conte, Alessio et al. 2018
5 On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier Comin, Carlo et al. 2018
6 A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results Cairo, Massimo et al. 2017
7 Dynamic Controllability Made Simple Cairo, Massimo et al. 2017
8 Incorporating Decision Nodes into Conditional Simple Temporal Networks Cairo, Massimo et al. 2017
9 Optimal Omnitig Listing for Safe and Complete Contig Assembly Cairo, Massimo et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI