Three cars parked in a car park, two are grey and one is white

Publications

Search our publications to read more about our work in more depth.

Research outputs

A formal characterisation of Hamblin's action-state semantics
Chris Reed & Timothy J. Norman, 2007, Journal of Philosophical Logic, 36(4), 415-448
DOI: 10.1007/s10992-006-9041-z
Type: article
Subjective logic and arguing with evidence
Nir Oren, Timothy J. Norman & Alun Preece, 2007, Artificial Intelligence, 171(10-15), 838-854
DOI: 10.1016/j.artint.2007.04.006
Type: article
Parsing nucleic acid pseudoknotted secondary structure: algorithm and applications
Baharak Rastegari & Anne Condon, 2007, Journal of Computational Biology, 14(1), 16-32
DOI: 10.1089/cmb.2006.0108
Type: article
Semi-analytical model of interference in CDMA-TDD using random time slot hopping
Ellina Foutekova, Christine Evers & Harald Haas, 2006
DOI: 10.1109/VTCF.2006.219
Type: conference
HotKnots: heuristic prediction of RNA secondary structures including pseudoknots
Jihong Ren, Baharak Rastegari, Anne Condon & Holger H. Hoos, 2005, RNA, 11(10), 1494-1504
DOI: 10.1261/rna.7284905
Type: article
Linear time algorithm for parsing RNA secondary structure
Baharak Rastegari & Anne Condon, 2005
DOI: 10.1007/11557067_28
Type: report
Classifying RNA pseudoknotted structures
Anne Condon, Beth Davy, Baharak Rastegari, Shelly Zhao & Finbarr Tarrant, 2004, Theoretical Computer Science, 320(1), 35-50
DOI: 10.1016/j.tcs.2004.03.042
Type: article