| 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 |
