Items where Subject is "A General Works"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | E | G | H | I | J | K | L | M | P | R | S | T
Number of items at this level: 115.

A

Anderson, Graham (1995) Lucian, Works, Vol 1, General Introduction, Opuscula 1-10- French and Greek - Bompaire,J. Classical Review, 45 (1). pp. 24-26. ISSN 0009-840X. (The full text of this publication is not available from this repository)

Anderson, Graham (1994) A History to Books-5 of the Correspondence of Symmatchus, Q.AURELIUS - iNTRODUCCTION, Historical Commentary, Text, Translation,Indexes - Italian and Latin - Tiberga,PR. Classical Review, 44 (1). p. 214. ISSN 0009-840X. (The full text of this publication is not available from this repository)

Anderson, Graham (1994) Groningen Colloquiums on the Novel, Vol 4 - Hofmann,H. Classical Review, 44 (1). pp. 72-74. ISSN 0009-840X. (The full text of this publication is not available from this repository)

B

Baker, Patricia A (2007) Review of Health in Antiquity. Review of: Health in Antiquity by UNSPECIFIED. Journal of Hellenic Studies, 127 . pp. 197-198. ISSN 0075-4269. (The full text of this publication is not available from this repository)

Barrett, Edd and King, Andy (1992) Range Analysis of Binaries with Minimal Effort. In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (Full text available)
[img]
Preview

Baugh, Christopher (2000) English court theatre 1558-1642. Theatre Research International, 25 (1). pp. 87-88. ISSN 0307-8833. (The full text of this publication is not available from this repository)

Bauld, Linda and Chesterman, John and Judge, Ken F. (2000) Measuring satisfaction with social care amongst older service users: issues from the literature. Health & Social Care in the Community, 8 (5). pp. 316-324. ISSN 0966-0410. (The full text of this publication is not available from this repository)

Bell, Paul C. and Drameh, M. and Hanly, N. and Wallis, John D. (2000) Interaction between a dimethylamino group and an electron-deficient alkene in ethyl (E)-2-cyano-3-(8-dimethylamino-1-naphthyl)propenoate. Acta Crystallographica Section C-Crystal Structure Communications, 56 (6). pp. 670-671. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Benoy, Florence and King, Andy and Mesnard, Fred (2005) Computing Convex Hulls with a Linear Solver. Theory and Practice of Logic Programming, 5 (1-2). pp. 259-271. ISSN 1471-0684. (Full text available)
[img]
Preview

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures (proof appendix for conference submission). Technical report. University of Kent, School of Computing (Full text available)
[img]
Preview

Birmingham, David (1994) Angola to 2000 - Prospects for Recovery - Hoges,T. Journal of Southern African Studies, 20 (1). pp. 153-154. ISSN 0305-7070. (The full text of this publication is not available from this repository)

Bond, C.S. and Leonard, G.A. and Regan, A.C. and Hunter, W.N. and Andrews, J.F.P. (1994) A Chiral Tetrahydro-Gamma-Pyrannonecarboxylate Ester for Asymmetric Nazarov Cyclization. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 133-136. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Bourquin, Martial and King, Andy and Robbins, Ed (2013) BinSlayer: Accurate Comparison of Binary Executables. In: 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop, January 26, 2013, Rome, Italy. (Full text available)
[img]
Preview

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Kowalewski, Stefan and Roveri, Marco, eds. Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 6371 . Springer, pp. 82-98. ISBN 9783642158971. (Full text available)
[img]
Preview

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 9783642221095. (Full text available)
[img]
Preview

Burin, M.R.M.J. and Cook, Christopher C. H. (2000) Alcohol withdrawal and hypokalaemia: A case report. Alcohol and Alcoholism, 35 (2). pp. 188-189. ISSN 0735-0414. (The full text of this publication is not available from this repository)

C

Chakrabarti, Pratik (1999) Asiatic Society and its Vision of Science: Metropolitan Knowledge in a Colonial World. Calcutta Historical Journal, XXI-.X (1). (Full text available)
[img]
Preview

Chakrabarti, Pratik (2010) Science and Swadeshi: The Establishment and Growth of the Bengal Chemical and Pharmaceutical Works. In: Gupta, Uma Das, ed. Science and Modern India: an Institutional History c.1784-1947. History of science, philosophy, and culture in Indian civilization . Pearson Education, New Delhi. ISBN 9788131728185. (The full text of this publication is not available from this repository)

Chan, Stephen (1995) The changing of the guard: Armed forces and defence policy in a democratic South Africa - Nathan,L. Journal of Southern African Studies, 21 (4). pp. 685-686. ISSN 0305-7070. (The full text of this publication is not available from this repository)

Charles, Philip and King, Andy and Howe, Jacob M. (2009) Integer Polyhedra for Program Analysis. In: Goldberg, Andrew and Zhou, Yunhong, eds. Algorithmic Aspects in Information and Management,. Lecture Notes in Computer Science, 5564 . Springer, pp. 85-99. ISBN 9783642021572. (Full text available)
[img]
Preview

Chawdhary, Aziem and Robbins, Ed and King, Andy (2014) Simple and Efficient Algorithms for Octagons. In: Twelfth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 1-18. (In press) (Access to this publication is restricted)
[img]

D

Davies, Bleddyn P. and Chesterman, John (1995) How does case management improve efficiency? Effects of case management inputs on the impacts of home care service inputs. In: 5th Asia/Oceania Regional Congress of Gerontology - Total Care of the Elderly: A Multidisciplinary Approach, Hong Kong, Hong Kong. (The full text of this publication is not available from this repository)

De Schreye, Danny and Janssens, Gerda (2012) PPDP '12 Proceedings of the 14th symposium on Principles and practice of declarative programming. In: 14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming, September 19-21, 2012, Leuven, Belgium. (The full text of this publication is not available from this repository)

Di Falco, Salvatore Household characteristics and forest dependency: evidence from common property forest management in Nepal. Ecological Economics . ISSN 0921-8009. (The full text of this publication is not available from this repository)

Di Falco, Salvatore and Smlae, Melinda and Perrings, Charles (2008) The role of agricultural cooperatives in sustaining the wheat diversity and productivity: the case of southern Italy. Environmental and Resource Economics, 39 (2). pp. 161-174. ISSN 0924-6460. (The full text of this publication is not available from this repository)

Duckworth, C. (1995) Measuring Disability - the Role of the ICIDH. Disability and Rehabilitation, 17 (7). pp. 338-343. ISSN 0963-8288. (The full text of this publication is not available from this repository)

E

Ellen, Roy F. (1992) Growing Up Agreeably - Bonerate Childhood Observed - Broch,HB. Journal of Southeast Asian Studies, 23 (1). pp. 173-174. ISSN 0022-4634. (The full text of this publication is not available from this repository)

G

Genaim, Samir and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. In: Degano, Pierpaolo, ed. European Symposium on Programming. Lecture Notes in Computer Science . Springer, pp. 84-98. ISBN 9783540008866. (Full text available)
[img]
Preview

Genaim, Samir and King, Andy (2008) Inferring non-suspension conditions for logic programs with dynamic scheduling. ACM Transactions on Computational Logic, 9 (3). pp. 182-196. ISSN 1529-3785. (Full text available)
[img]
Preview

Glass, R. (1995) Fireside Tales of the Trveler Children - Willamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Things that said of them - Shaman Stories and Oral Histories of the Tikigaq people - Lowenstein,T. Folklore, 106 . p. 124. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Well at the Worlds end - Folk- Tales of Scotland - Montgomerie,N, Mongomerie,W. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Broonie, Silkies and Fairies - Williamson,D. Folklore, 106 . pp. 121-122. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) Hausa Folktales from the Nigwer - Glew,RS, Bablae,C. Folklore, 106 . p. 118. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The 'Maiden who Rose from the Sea' and Other Finish Foltales - Henderson,H. Folklore, 106 . pp. 117-118. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Glass, R. (1995) The Horssimen - Memories of a Traveler, 1928-58 - Willamson,D. Folklore, 106 . pp. 120-121. ISSN 0015-587X. (The full text of this publication is not available from this repository)

Griffiths, Richard A. (1995) Tons of Tadpoles. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

Gritsonie, P. and Pilkington, Melanie and Wallis, John D. and Povey, David C. (1994) Methyl DL-3-3Benzl-2,2-Dioxo-1,2,3-Oxathiazolidine-4-Carboxylate an Intermediate for Amino-Acid Synthesis. Acta Crystallographica Section C-Crystal Structure Communications, 50 . pp. 763-765. ISSN 0108-2701. (The full text of this publication is not available from this repository)

Gurnah, Abdulrazak S (1997) His promised land - The autobiography of John P. Parker, former slave and conductor on the underground railroad - Sprague,SS. Review of: His Promised Land: The Autobiography of John P.Parker, Former Slave and Conductor on the Underground Railroad by Parker, John P. and Sprague , Stuart . Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Gurnah, Abdulrazak S (1997) Shadrach Minkins, from fugitive slave to citizen - Collison,G. Review of: Shadrach Minkins: From Fugitive Slave to Citizen by Collison, Gary L.. Times Literary Supplement (4914). p. 14. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Gurnah, Abdulrazak S (1995) The 'Book of Secrets' - Vassanji,MG. Times Literary Supplement (4819). p. 22. ISSN 0307-661X. (The full text of this publication is not available from this repository)

H

Hann, Chris (1995) Subverting Strong States - the Dialectics of Social Engineering in Hungary and Turkey. Daedalus, 124 (2). pp. 133-153. ISSN 0011-5266. (The full text of this publication is not available from this repository)

Hann, Chris (1997) The nation-state, religion, and uncivil society: Two perspectives from the periphery. Daedalus, 126 (2). pp. 27-45. ISSN 0011-5266. (The full text of this publication is not available from this repository)

Hatton, Peter and Murray, Val and Pilling, Lynn (2009) Brown Fields Blue Skies. a) Brown Field Blue Skies - Residency & Performances b) Brown Field Blue Skies Exhibition, a) August 2007 - March 2008 b) March 4th to 12th June 2009 , a) Widnes Waterfront Development Site, Widnes, Cheshire b) ICIA (Institute of Contemporary Interdisciplinary Arts), University of Bath. Performance, Video, Website Intervention and Exhibition. (Full text available)
[img]
Preview
[img]
Preview

Heaton, Andrew and Abo-Zaed, Mohammad and King, Andy and Micheal, Codish (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066. (Full text available)
[img]
Preview

Heaton, Andrew and Hill, Pat and King, Andy (2000) Abstract Domains for Universal and Existential Properties. In: Smolka, Gert, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 9783540672623. (Full text available)
[img]
Preview

Hiley, N. (2000) Cartoons in Canterbury. Times Literary Supplement (5096). p. 19. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Hill, Pat and King, Andy (1997) Determinacy and Determinacy Analysis. Journal of Programming Languages, 5 (1). pp. 135-171. ISSN 0963-9306. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2003) Efficient Groundness Analysis in Prolog. Theory and Practice of Logic Programming, 3 (1). pp. 95-124. ISSN 1471-0684. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2000) Implementing Groundness Analysis with Definite Boolean Functions. In: Smolka, Gert, ed. European Symposium on Programming. Lecture Notes in Computer Science, 1782 . Springer, pp. 200-214. ISBN 9783540672623. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain. In: Zhiming, Lu and Anders, Ravn, eds. Automated Technology for Verification and Analysis. Lecture Notes in Computer Science, 5799 . Springer, pp. 306-320. ISBN 9783642047602. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy (2003) Three Optimisations for Sharing. Theory and Practice of Logic Programming, 3 (2). pp. 243-257. ISSN 1471-0684. (Full text available)
[img]
Preview

Howe, Jacob M. and King, Andy and Lu, Lunjin (2004) Analysing Logic Programs by Reasoning Backwards. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic. Lecture Notes in Computer Science, 3049 . Springer, pp. 152-188. ISBN 9783540221524. (Full text available)
[img]
Preview

I

Innes, C. Lyn (1994) Virgin Territories and Motherlands - Colonial and Natioanlist Representations of Africa and Ireland. Feminist Review (47). pp. 1-14. ISSN 0141-7789. (The full text of this publication is not available from this repository)

J

Jonathan, Martin and King, Andy (2006) Control Generation by Program Transformation. Fundamenta informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968. (Full text available)
[img]
Preview

K

Kettle, Neil and King, Andy (2008) An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE Press pp. 243-248. ISBN 0780394518. (Full text available)
[img]
Preview

Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants. In: Hermanns, Holger and Palsberg, Jens, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer, pp. 105-119. ISBN 9783540330561. (Full text available)
[img]
Preview

Khan, F. (1997) A legacy of violence (Partition in the Indian subcontinent). Index on Censorship, 26 (6). pp. 80-83. ISSN 0306-4220. (The full text of this publication is not available from this repository)

King, Andy (1994) High Precision Sharing Analysis. Journal of Programming Languages, 2 (1). pp. 149-191. ISSN 0963-9306. (The full text of this publication is not available from this repository)

King, Andy (2000) Pair-sharing over rational trees. Journal of Logic Programming, 46 (1-2). pp. 139-155. ISSN 0743-1066. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (4-5). pp. 517-547. ISSN 1471-0684. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs. In: Palamidessi, Catuscia, ed. Logic Programming. Lecture Notes in Computer Science, 2916 . Springer, pp. 315-330. ISBN 9783540206422. (Full text available)
[img]
Preview

King, Andy and Lu, Lunjin and Genaim, Samir (2006) Detecting Determinacy in Prolog Programs. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 132-147. ISBN 9783540366355. (Full text available)
[img]
Preview

King, Andy and Mycroft, Alan and Simon, Axel and Reps, Tom (2012) Analysis of Executables: Benefits and Challenges. In: Analysis of Executables: Benefits and Challenges, January 29 to February 3, 2012, Wadern, Germany. (Full text available)
[img]
Preview

King, Andy and Smaus, Jan-Georg and Hill, Pat (1999) Quotienting Share for Dependency Analysis. In: Swierstra, Doaitse, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1576 . Springer, pp. 59-73. ISBN 9783540656999. (Full text available)
[img]
Preview

King, Andy and Soper, Paul (1992) Ordering Optimizations for Concurrent Logic Programs. In: Nerode, Anil and Taitslin, Michael, eds. Logical Foundations of Computer Science. Lecture Notes in Computer Science, 620 . Springer, pp. 221-228. ISBN 9783540557074. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 9783642298219. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy (2014) Semantics for Prolog with Cut – Revisited. In: Sumii, Eijiro and Codish, Michael, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 8475 . Springer, pp. 270-284. ISBN 9783319071510. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York pp. 37-48. ISBN 9781450321549. (Full text available)
[img]
Preview

Kriener, Jael and King, Andy and Blazy, Sandrine (2014) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq (long version). Science of Computer Programming . ISSN 0167-6423. (Submitted) (Full text available)
[img]
Preview

L

Lam, Alice (2000) Tacit knowledge, organizational learning and societal institutions: An integrated framework. Organization Studies, 21 (3). pp. 487-513. ISSN 0170-8406. (The full text of this publication is not available from this repository)

Laurence, Ray (2013) Four Sisters in Ancient Rome. TED Animated Film. (Full text available)
[img]

Laurence, Ray (2012) A Glimpse of Teenage Life in Ancient Rome. TED Animated Film. (Full text available)
[img]

Lee, A. Robert (1998) Blank fictions - Consumerism, culture and the contemporary American novel. Review of: Blank Fictions: Consumerism, Culture and the Contemporary American Novel by Annesley, James. Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Lee, A. Robert (1998) Spectacular allegories - Postmodern American writing and the politics of seeing. Review of: Spectacular Allegories: Postmodern American Writing and the Politics of Seeing by Cohen, Josh . Times Literary Supplement (4994). p. 21. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer, pp. 148-162. ISBN 9783540366355. (Full text available)
[img]
Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer, pp. 177-191. ISBN 9783540334385. (Full text available)
[img]
Preview

Longman, A. (1997) Holy Microsoft. New Scientist, 154 (2081). p. 59. ISSN 0262-4079. (The full text of this publication is not available from this repository)

Lough, Frank (2000) The art and life of the narrative of Benjamin Jarnes. Insula-Revista De Letras Y Ciencias Humanas, 55 (646). pp. 19-21. ISSN 0020-4536. (The full text of this publication is not available from this repository)

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis. In: Kameyama, Yukiyoshi and Stuckey, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer, pp. 132-146. ISBN 9783540214021. (Full text available)
[img]
Preview

Lu, Lunjin and King, Andy (2005) Determinacy Inference for Logic Programs. In: Sagiv, Shmuel, ed. European Symposium on Programming. Lecture Notes in Computer Science, 3444 . Springer, pp. 108-123. ISBN 9783540254355. (Full text available)
[img]
Preview

Luckhurst, Tim (2013) "Excellent but Gullible People": The press and the People's Convention. Journalism Studies, 14 (1). pp. 62-77. ISSN 1469-9699. (Access to this publication is restricted)
[img]

M

Marsden, Ben (1998) Blowing hot and cold: Reports and retorts on the status of the air-engine as success or failure, 1830-1855. In: Session on Anglo-American Perspectives on the Historigraphical Construction of Technical Success and Failure, at the SHOT 96 Conference, Aug, 1996, London, England. (The full text of this publication is not available from this repository)

Martin, Jonthan C. and King, Andy (2004) On the Inference of Natural Level Mappings. In: Bruynooghe, Maurice and Lau, Kung-Kiu, eds. Program Development in Computational Logic,. Lecture Notes in Computer Science, 3049 . Springer, pp. 432-452. ISBN 9783540221524. (Full text available)
[img]
Preview

Massender, J. (1998) American literary realism and the failed promise of contract. Journal of American Studies, 32 . pp. 533-534. ISSN 0021-8758. (The full text of this publication is not available from this repository)

Massender, J. (1998) Ernest Hemingway: The Oak Park legacy. Review of: Ernest Hemingway: The Oak Park Legacy by Nagel, James . Journal of American Studies, 32 . pp. 161-162. ISSN 0021-8758. (The full text of this publication is not available from this repository)

McLellan, David (1998) Power and the sacred in revolutionary Russia. Religious activists in the village. Review of: Power and the Sacred in Revolutionary Russia: Religious Activists in the Village by Young, Glennys. Slavonic and East European Review, 76 (4). pp. 754-755. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Montefiore, Janet E. (1998) Oxford's poetry list (Oxford University Press). Times Literary Supplement (4991). p. 17. ISSN 0307-661X. (The full text of this publication is not available from this repository)

P

Pavis, Patrice (2012) Contemporary Mise en Scène: Staging Theatre Today. Routledge, 384 pp. ISBN 9780415553445. (The full text of this publication is not available from this repository)

Pavis, Patrice (2012) L'Analyse Des Spectacles. Armand Colin, France, 384 pp. ISBN 9782200259839. (The full text of this publication is not available from this repository)

Pavis, Patrice (2010) The director’s new tasks. In: Delgado, Maria M. and Rebellato, Dan, eds. Contemporary European Theatre Directors. Routledge, pp. 395-411. ISBN 9780415462501 . (The full text of this publication is not available from this repository)

R

Rieuwerts, S. (1994) The Genuine Ballads of the People - Child,F.J. and the Ballad Cause. Journal of Folklore Research, 31 (1-3). pp. 1-34. ISSN 0737-7037. (The full text of this publication is not available from this repository)

Robbins, Ed and Howe, Jacob M. and King, Andy (2014) Theory Propagation and Reification. Science of Computer Programming . ISSN 0167-6423. (In press) (Access to this publication is restricted)
[img]

S

Sakwa, Richard (1996) Gorbachev's failure in Lithuania - Senn,AE. Slavic Review, 55 (2). pp. 474-475. ISSN 0037-6779. (The full text of this publication is not available from this repository)

Sakwa, Richard (1996) The Gorbachev Encyclopedia - Gorbachev the Man and his Times - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Sakwa, Richard (1996) The Gorbachev Reader - Wieczynski, JL. Slavonic and East European Review, 74 (2). pp. 366-368. ISSN 0037-6795. (The full text of this publication is not available from this repository)

Sayers, Janet V. (1994) Psychoanalysing Patriarchy Ills. European Journal of Women's Studies, 1 (2). pp. 227-239. ISSN 1350-5068. (The full text of this publication is not available from this repository)

Sayers, Sean (1994) Philosophy and the Information Superhighway. Radical Philosophy (67). p. 63. ISSN 0300-211X. (Full text available)
[img]
Preview

Seller, A.P (1996) Between friends: The correspondence of Hannah Arendt and Mary McCarthy 1949-1975 - Brightman,C. European Journal of Women's Studies, 3 (2). pp. 185-187. ISSN 1350-5068. (The full text of this publication is not available from this repository)

Shaw, David J. (1996) Poets, Patrons and Printers: Crisis Of Authority in Late Medieval France. Review of: Poets, Patrons and Printers: Crisis Of Authority in Late Medieval France by Brown, Cynthia. Times Literary Supplement (4861). p. 26. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Shen, Kish and Santos Costa, Vitor and King, Andy (1999) Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, 1999 . pp. 1-23. ISSN 1080-5230. (Full text available)
[img]
Preview

Sheringham, M. (1996) Rousseau Legacy - Emergence and Eclipse of the Writer in France - Porter, D. Times Literary Supplement (4847). p. 31. ISSN 0307-661X. (The full text of this publication is not available from this repository)

Shilling, Chris (2006) Body. In: Scholte, Jan Aart and Robertson, Roland, eds. Encyclopedia of Globalization. Routledge, New York. ISBN 978-0415973144. (The full text of this publication is not available from this repository)

Simon, Axel and King, Andy (2004) Convex Hull for Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (3). pp. 259-271. ISSN 0020-7160. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis. In: Hankin, Chris and Siveroni, Igor, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 3672 . Springer, pp. 336-351. ISBN 9783540285847. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 4634 . Springer, pp. 182-196. ISBN 9783540740605. (Full text available)
[img]
Preview

Simon, Axel and King, Andy (2007) Widening Polyhedra with Landmarks. In: Kobayashi, Naoki, ed. Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 4279 . Springer, pp. 166-182. ISBN 9783540489375. (Full text available)
[img]
Preview

Singh, Ranjeet and King, Andy (2014) Partial Evaluation for Java Malware Detection. In: Proietti, Maurizio and Seki, Hirohisa, eds. Twenty fourth International Symposium on Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science . Springer. (In press) (Access to this publication is restricted)
[img]

Smaus, Jan-Georg and Hill, Pat and King, Andy (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684. (Full text available)
[img]
Preview

Smith, H. (1996) US-Sandinista diplomatic relations: Voice of intolerance - Ryan,D. Journal of Latin American Studies, 28 . pp. 720-721. ISSN 0022-216X. (The full text of this publication is not available from this repository)

Song, Miri (1996) Changing conceptualizations of lone parenthood in Britain - Lone parents or single mums? European Journal of Women's Studies, 3 (4). 377-&. ISSN 1350-5068. (The full text of this publication is not available from this repository)

Stirrup, David F. (2014) Bridging the Third Bank: Indigeneity and Installation Art at the Canada-US Border. In: Roberts, Gillian and Stirrup, David F., eds. Parallel Encounters: Culture at the Canada-US Border. Wilfrid Laurier University Press. (The full text of this publication is not available from this repository)

T

Todd, John F.J. (1991) Ion Trap Mass-Spectrometer - Past, Present, and Future. Mass Spectrometry Reviews, 10 (1). pp. 3-52. ISSN 0277-7037. (The full text of this publication is not available from this repository)

This list was generated on Wed Aug 27 14:35:24 2014 BST.