• Login
• Admin

A

Abu-Madi, Marwan A., Behnke, Jerzy M., Lewis, John W. and Gilbert, Francis (2000) Seasonal and site specific variation in the component community structure of intestinal helminths in Apodemus sylvaticus from three contrasting habitats in south-east England. Journal of Helminthology, 74 . pp. 7-16. ISSN 0022-149X

Aickelin, Uwe (2000) A New Genetic Algorithm for Set Covering Problems. In: Annual Operational Research Conference 42 (OR 42), Swansea, UK.

Aickelin, Uwe and Dowsland, Kathryn (2000) 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'. Journal of Scheduling, 3 (3) . pp. 139-153.

B

Barrett, John W. (2000) State sum models for quantum gravity.

Barrett, John W. (2000) Unlinked Embedded Graphs.

Barrett, John W. and Crane, Louis (2000) A Lorentzian Signature Model for Quantum General Relativity. Class.Quant.Grav., 17 . pp. 3101-3118.

Bartlett, Peter (2000) Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study. International Journal of Law and Psychiatry, 23 (1). pp. 1-13. ISSN 0160-2527

Bayraktutan, Ulvi, Blayney, Lynda and Shah, Ajay (2000) Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells. Arteriosclerosis thrombosis and vascular biology, 20 . pp. 1903-1911.

Behnke, Jerzy M., Barnard, Christopher J., Mason, N., Harris, Philip D., Sherif, Nour E., Zalat, Samy and Gilbert, Francis (2000) Intestinal helminths of spiny mice (Acomys cahirinus dimidiatus) from St Katherine's Protectorate in the Sinai, Egypt. Journal of Helminthology, 74 . pp. 31-44. ISSN 0022-149X

Blake, Holly and Lincoln, Nadina (2000) Factors associated with strain in co-resident spouses of patients following stroke. Clinical Rehabilitation, 14 (3). pp. 307-314. ISSN 1477-0873

Burke, Edmund, MacCarthy, Bart L., Petrovic, Sanja and Qu, Rong (2000) Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems. Knowledge-Based Systems, 13 (2-3). pp. 159-165.

C

Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.

D

Deines, Roland (2000) Pharisäer und Pietisten - ein Vergleich zwischen zwei Frömmigkeitsbewegungen. Jahrbuch für evangelikale Theologie, 14 . pp. 113-133. ISSN 0933-3835

Dennis, Louise Abigail, Bundy, Alan and Green, Ian (2000) The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29 (1-4). pp. 99-138.

Dennis, Louise Abigail, Collins, Graham, Norrish, Michael, Boulton, Richard, Slind, Konrad, Robinson, Graham, Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin.

Derclaye, Estelle (2000) Software copyright protection: can Europe learn from American case law. Parts 1 and 2. European Intellectual Property Review, 22 (1, 2). 7-16 56. ISSN 0142-0461

G

Grainge, Paul (2000) Nostalgia and style in retro America: moods, modes and media recycling. Journal of American Culture, 23 (1). pp. 27-34. ISSN 1542-734X

H

Hall, Ian P. (2000) Interleukin-4 receptor alpha gene variants and allergic disease. Respiratory Research, 1 (1). pp. 6-8.

M

Matthews, P. and Cox, Stephen M. (2000) Pattern formation with a conservation law. Nonlinearity, 13 . pp. 1293-1320.

Middleton, Hugh and Shaw, Ian (2000) Distinguishing Mental Illness in Primary Care. We Need to Separate Proper Syndromes from Generalised Distress. British Medical Journal, 320 . pp. 1420-1421.

Murphy, Thérèse and Whitty, Noel (2000) Crowning glory: public law, power and the monarchy. Social & Legal Studies, 9 (1). pp. 7-27. ISSN 0964-6639

P

Pavey, Paul, Probets, Steve and Brailsford, David F. (2000) The Development of an On-line Submission and Peer Review System. In: Electronic Publishing in the Third Millennium, 17-19 August 2000, Kaliningrad, Russia.

Pinfield, Stephen (2000) Being analog: creating tomorrow's libraries / Walt Crawford (Book review). Program, 34 (4). pp. 442-443.

Pinfield, Stephen (2000) Information seeking in the online age: principles and practice / Andrew Large, Lucy A. Tedd and R.J. Hartley (Book review). Program, 34 (1). pp. 128-129.

S

Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.

Stockwell, Peter (2000) Futuretalk: one small step towards a Chronolinguistics. Nottingham Linguistic Circular, 15 . pp. 55-68.

Stockwell, Peter (2000) The art of being alternative, with style, in context. QCA Papers in English .

Stockwell, Peter (2000) Towards a critical cognitive poetics. In: Discourses of War and Conflict. Potchefstroom University Press.

T

Thompson, Graham (2000) "And that paint is a thing that will bear looking into": the business of sexuality in the rise of Silas Lapham. American Literary Realism, 33 (1). pp. 1-20. ISSN 1940-5103

Thompson, Graham (2000) 'Dead letters! … Dead men?': the rhetoric of the office in Melville’s ‘Bartleby, the scrivener’. Journal of American Studies, 34 (3). pp. 395-411. ISSN 1469-5154