• XHM: A system for detection of potential cross hybridizations in DNA microarrays 

      Flikka, Kristian; Yadetie, Fekadu; Lægreid, Astrid; Jonassen, Inge (Peer reviewed; Journal article, 2004-08-27)
      Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be a source of error reducing the reliability ...
    • XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure 

      Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo; Jaffke, Lars; Lima, Paloma Thome de (Journal article; Peer reviewed, 2022)
      In this paper, we showcase the class XNLP as a natural place for many hard problems parameterized by linear width measures. This strengthens existing W[1]-hardness proofs for these problems, since XNLP-hardness implies ...
    • λ' is Confluent 

      Passeniouk, Yan (Master thesis, 2023-11-20)
      The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ...