No. Title Author Year
1 Cut Paths and Their Remainder Structure, with Applications Cairo, Massimo et al. 2023
2 Discovering Predictive Dependencies on Multi-Temporal Relations Amico, Beatrice et al. 2023
3 Width Helps and Hinders Splitting Flows Cáceres, Manuel et al. 2022
4 Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time Cairo, Massimo et al. 2021
5 Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions Zavatteri, Matteo et al. 2019
6 Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty Cairo, Massimo et al. 2018
7 Listing Subgraphs by Cartesian Decomposition Conte, Alessio et al. 2018
8 On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier Comin, Carlo et al. 2018
9 A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results Cairo, Massimo et al. 2017
10 Dynamic Controllability Made Simple Cairo, Massimo et al. 2017
11 Incorporating Decision Nodes into Conditional Simple Temporal Networks Cairo, Massimo et al. 2017
12 Optimal Omnitig Listing for Safe and Complete Contig Assembly Cairo, Massimo et al. 2017
Current Page :
Number of result pages: 1
Number of documents: 12

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