CAIRO, Massimo
CAIRO, Massimo
A Linear-Time Parameterized Algorithm for Computing the Width of a DAG
2021-01-01 Cáceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results
2017-01-01 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo
Cut Paths and Their Remainder Structure, with Applications
2023-01-01 Cairo, Massimo; Khan, Shahbaz; Rizzi, Romeo; Schmidt, Sebastian; Tomescu, Alexandru I.; Zirondelli, Elia C.
Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete
2016-01-01 Cairo, Massimo; Rizzi, Romeo
Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty
2018-01-01 Cairo, Massimo; Hunsberger, Luke; Rizzi, Romeo
Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time
2021-01-01 Cairo, Massimo; Rizzi, Romeo; Tomescu, Alexandru I.; Zirondelli, Elia C.
Incorporating Decision Nodes into Conditional Simple Temporal Networks
2017-01-01 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
2016-01-01 Cairo, Massimo; Comin, Carlo; Rizzi, Romeo
Optimal Omnitig Listing for Safe and Complete Contig Assembly
2017-01-01 Cairo, Massimo; Medvedev, Paul; Obscura Acosta, Nidia; Rizzi, Romeo; Tomescu, Alexandru I.
Sparsifying, Shrinking and Splicing for Minimum Path Cover in Parameterized Linear Time
2022-01-01 Caceres, Manuel; Cairo, Massimo; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.
The Complexity of Simulation and Matrix Multiplication
2017-01-01 Cairo, Massimo; Rizzi, Romeo
Width Helps and Hinders Splitting Flows
2022-01-01 Cáceres, Manuel; Cairo, Massimo; Grigorjew, Andreas; Khan, Shahbaz; Mumey, Brendan; Rizzi, Romeo; Tomescu, Alexandru I.; Williams, Lucia
| 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. | |
| 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 |