Items where Subject is "A General Works > AC Collections. Series. Collected 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
Number of items at this level: 10.

Article

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

Calnan, M.W. and Silvester, S. and Manley, G. and Taylor-Gooby, P.F. (2000) Doing business in the NHS: exploring dentists' decisions to practise in the public and private sectors. Sociology of Health & Illness, 22 (6). pp. 742-764. ISSN 0141-9889. (The full text of this publication is not available from this repository)

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

Book section

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 3-540-00886-1. (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 3-540-22152-2. (Full text available)
[img]
Preview

King, Andy and Sondergaard, Harald (2008) Inferring Congruence Equations using SAT. In: Gupta, Aarti and Malik, Sharad, eds. Computer-Aided Verification. Lecture Notes in Computer Science . Springer, pp. 281-293. ISBN 978-3-540-70543-7. (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 3-540-55707-5. (Full text available)
[img]
Preview

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 3-540-22152-2. (Full text available)
[img]
Preview

Conference or workshop item

Bourquin, Martial and King, Andy and Robbins, Ed (2013) BinSlayer: Accurate Comparison of Binary Executables. In: UNSPECIFIED, Program Protection and Reverse Engineering Workshop. (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. (Full text available)
[img]
Preview

This list was generated on Fri Apr 18 21:59:00 2014 BST.