Publications
On the Power and Limits of Evolutionary Conservation -- Unraveling Bacterial Gene Regulatory Networks.
Nucleic Acids Research. 38(22), 7877-7884.
(2010). The Efficiency of Resolution and Davis-Putnamn Procedures.
31(4), 1048-1075.
(2002).
(1989). On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas.
Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing. 561-571.
(1998).
(2010).
(2009).
(2012).
(2011).
(2013).
(1990). A Multi-DSP Ring Array for Connectionist Simulations.
Proceedings of 23rd Asilomar Conference on Signals, Systems & Computers.
(1989).
(1994).
(1994). Using DNA Pools for Genotyping Trios.
Nucleic Acids Research. 34(19),
(2006).
(1990).
(2017).
(1993).
(1992). Quantification in-the-wild: data-sets and baselines.
CoRR. abs/1510.04811,
(2015).
(1988).
(2012). Forms of English Function Words - Effects of Disfluencies, Turn Position, Age and Sex, and Predictability.
Proceedings of the International Congress of Phonetic Sciences. 1, 395-398.
(1999).
(1989).
(1989).
(1990).