A Contradiction-Based Framework for Testing Gene Regulation Hypotheses. - Steve Racunas; Nigam Shah; Nina V. Fedoroff (CSB, 2003)

A Finite Model Theory for Biological Hypotheses. - Stephen A. Racunas; Christopher Griffin 001; Nigam Shah (CSB, 2004)

HyBrow: a prototype system for computer-aided hypothesis evaluation. - Stephen A. Racunas; N. H. Shah 001; István Albert; Nina V. Fedoroff (ISMB/ECCB (Supplement of Bioinformatics), 2004)

Learning Process Models with Missing Data. - Will Bridewell; Pat Langley; Steve Racunas; Stuart R. Borrett (ECML, 2006)

A case study in pathway knowledgebase verification. - Stephen A. Racunas; Nigam Shah; Nina V. Fedoroff (BMC Bioinform., 2006)

Verification of Secure Network Protocols in Uncertain Environments. - Sarah Damiani; Christopher Griffin 001; Shashi Phoha; Stephen A. Racunas; Christopher Rogan (Int. J. Wirel. Inf. Networks, 2006)

Mobile Network Analysis Using Probabilistic Connectivity Matrices. - Richard R. Brooks; Brijesh Pillai; Stephen A. Racunas; Suresh Rai (IEEE Trans. Syst. Man Cybern. Part C, 2007)

An Algorithm for Constructing and Searching Spaces of Alternative Hypotheses. - Christopher Griffin 001; Kelly M. Testa; Stephen A. Racunas (IEEE Trans. Syst. Man Cybern. Part B, 2011)