CAIRO, Massimo

CAIRO, Massimo  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A Linear-Time Parameterized Algorithm for Computing the Width of a DAG 1-gen-2021 Cáceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 1-gen-2017 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo
Cut Paths and Their Remainder Structure, with Applications 1-gen-2023 Cairo, Massimo; Khan, Shahbaz; Rizzi, Romeo; Schmidt, Sebastian; Tomescu, Alexandru I.; Zirondelli, Elia C.
Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete 1-gen-2016 Cairo, Massimo; Rizzi, Romeo
Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty 1-gen-2018 Cairo, Massimo; Hunsberger, Luke; Rizzi, Romeo
Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time 1-gen-2021 Cairo, Massimo; Rizzi, Romeo; Tomescu, Alexandru I.; Zirondelli, Elia C.
Incorporating Decision Nodes into Conditional Simple Temporal Networks 1-gen-2017 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks 1-gen-2016 Cairo, Massimo; Comin, Carlo; Rizzi, Romeo
Optimal Omnitig Listing for Safe and Complete Contig Assembly 1-gen-2017 Cairo, Massimo; Medvedev, Paul; Obscura Acosta, Nidia; Rizzi, Romeo; Tomescu, Alexandru I.
Safety in Multi-Assembly via Paths Appearing in All Path Covers of a DAG 1-gen-2022 Caceres, Manuel; Mumey, Brendan; Husic, Edin; Rizzi, Romeo; Cairo, Massimo; Sahlin, Kristoffer; Tomescu, Alexandru I.
Sparsifying, Shrinking and Splicing for Minimum Path Cover in Parameterized Linear Time 1-gen-2022 Caceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.
The Complexity of Simulation and Matrix Multiplication 1-gen-2017 Cairo, Massimo; Rizzi, Romeo
Width Helps and Hinders Splitting Flows 1-gen-2022 Cáceres, Manuel; Cairo, Massimo; Grigorjew, Andreas; Khan, Shahbaz; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.; Williams, Lucia