Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks 1-gen-2016 Cairo, Massimo; Comin, Carlo; Rizzi, Romeo
Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete 1-gen-2016 Cairo, Massimo; Rizzi, Romeo
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 1-gen-2017 Cairo, Massimo; Hunsberger, Luke; Posenato, Roberto; 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.
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
The Complexity of Simulation and Matrix Multiplication 1-gen-2017 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.
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.
Mostrati risultati da 1 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile