8 citations · 54 across the 39 of their papers we have counts for
Showing 2016 · cs.CCShow all
3 papers · 2 filters
cs.CC2016★ 5 cited
Hardness of Covering Alignment: Phase Transition in Post-Sequence Genomics
Romeo Rizzi, Massimo Cairo, Veli Mäkinen +2
Covering alignment problems arise from recent developments in genomics; so called pan-genome graphs are replacing reference genomes, and advances in haplotyping enable full content…
cs.CC2016
The Complexity of Simulation and Matrix Multiplication
Massimo Cairo, Romeo Rizzi
Computing the simulation preorder of a given Kripke structure (i.e., a directed graph with labeled vertices) has crucial applications in model checking of temporal logic. It am…
cs.CC2016
Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)
Carlo Comin, Romeo Rizzi
In this work we introduce the \emph{Conditional Hyper Temporal Network (CHyTN)} model, which is a natural extension and generalization of both the \CSTN and the \HTN model. Our con…