Recent Submissions

  • Mutations in Global Regulators Lead to Metabolic Selection during Adaptation to Complex Environments 

    Saxer, Gerda; Krepps, Michael D.; Merkley, Eric D.; Ansong, Charles; Deatherage Kaiser, Brooke L.; Valovska, Marie-Thérèse; Ristic, Nikola; Yeh, Ping T.; Prakash, Vittal P.; Leiser, Owen P.; Nakhleh, Luay; Gibbons, Henry S.; Kreuzer, Helen W.; Shamoo, You (2014)
    Adaptation to ecologically complex environments can provide insights into the evolutionary dynamics and functional constraints encountered by organisms during natural selection. Adaptation to a new environment with abundant ...
  • Computational approaches to species phylogeny inference and gene tree reconciliation 

    Nakhleh, Luay (2013)
    An intricate relationship exists between gene trees and species phylogenies, due to evolutionary processes that act on the genes within and across the branches of the species phylogeny. From an analytical perspective, gene ...
  • Linear Temporal Logic and Linear Dynamic Logic on Finite Traces 

    De Giacomo, Giuseppe; Vardi, Moshe Y. (2013)
    In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at ...
  • Once and For All 

    Kupferman, Orna; Pnueli, Amir; Vardi, Moshe Y. (2012)
    It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding ...
  • Regular Real Analysis 

    Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. (2013)
    We initiate the study of regular real analysis, or the analysis of real functions that can be encoded by automata on infinite words. It is known that ω-automata can be used to represent {relations} between real ...