Publications
Integrated Analysis and Reconstruction of Microbial Transcriptional Gene Regulatory Networks Using CoryneRegNet.
Nature Protocols. 4(6), 992-1005.
(2009). 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).
(2012).
(2009).
(2011).
(2013). A Multi-DSP Ring Array for Connectionist Simulations.
Proceedings of 23rd Asilomar Conference on Signals, Systems & Computers.
(1989).
(1990).
(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). 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).
(2012). On the power of randomization in on-line algorithms.
Algorithmica. 11(1), 2-14.
(1994).
(1989).
(1990).