Fully Refereed Publications

Dr Andrew A. Adams

23rd October 2006

Published

• Regulating CCTV
  pp. 3-14 of Proceedings of Ethicomp 2007 (Vol 1) (ISBN: 978-4-9903558-0-7).
  Published 2007
• Perspex Machine VIII: Axioms of Transreal Arithmetic
  in Vision Geometry XV, Proceedings of the SPIE-IS&T Electronic Imaging, SPIE Vol. 6499 (ISBN 0-819-46612-9).
  Joint work with Anderson and Voelker.
  Published 2007.
  Article CID: 649902
• Valid Protection or Abusive Control? DRM, Law and Technology
  pp. 233-237 of Vol 20(3) International Review of Law, Computers and Technology (ISSN: 1360-0869/1364-6885)
  Published 2006.
• Customer-Driven Development for Rapid Production of Assessment Learning Objects
  pp. 1-6 of Vol 4(1) Electronic Journal of e-Learning (ISSN 1479-4403)
  Joint work with Williams.
  Published 2006.
• The Effectiveness of Assessment Learning Objects Produced Using Pair Programming
  pp. 247-256 of Vol 2(2) Electronic Journal of e-Learning (ISSN 1479-4403)
  Joint work with Lubega, Walmsley and Williams.
  Published 2004.
• Copyright Issues for MKM
  pp. 1-16 of Mathematical Knowledge Management (proceedings of 2004 International Conference) (ISBN 3-540-23029-7).
  Joint work with Davenport.
  Published 2004.
• Digitisation, Representation and Formalisation: Digital Libraries of Mathematics.
  pp. 1-16 of Mathematical Knowledge Management (proceedings of 2003 International Conference) (ISBN 3-540-00568-4).
  Published 2003.
• Computer Algebra meets Automated Theorem Proving: Integrating Maple and PVS.
  pp. 27-42 of Theorem Proving in Higher Order Logics -- 14th International Conference, TPHOLs 2001 (ISBN 3-540-42525-X).
  Joint work with Dunstan, Gottliebsen, Kelsey, Martin and Owre.
  Published 2001.
• Definite Integration of Parametric Rational Functions: Applying a DITLU.
  pp. 1-17 of Symbolic Computation and Automated Reasoning (ISBN 1-56881-145-4).
  Published 2001.
• A Formalisation of Weak Normalisation (with respect to Permutations) of Sequent Calculus Proofs.
  pp. 1-26 of Vol 3 of London Mathematical Society Journal of Computation and Mathematics (ISSN 1461-1570).
  Published 2000.
• VSDITLU: a verified symbolic definite integral table look-up.
  pp. 112-126 of Automated Deduction -- CADE-16 16th International Conference on Automated Deduction (ISBN 3-540-66222-7).
  Joint work with Gottliebsen, Linton and Martin.
  Published 1999.
• Automated theorem proving in support of computer algebra: symbolic definite integration as a case study.
  pp. 253-260 of Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISBN 1-58113-073-2).
  Joint work with Gottliebsen, Linton and Martin.
  Published 1999.

In Press

• Pandora's Box: Social and Professional Issues of the Information Age.
  (ISBN: 0-470-06553-2). Due for publication by Wiley, October 2007.
  Joint work with McCrindle.

Submitted

• A Decade of Copyright Myths: The WIPO Copyright Treaty Ten Years On
  Submitted to the Communications of the ACM.
  Joint work with Brown.
• The ethical challenges of ubiquitous healthcare
  Extended Abstract of 1500 words (for a 3000 word paper) submitted to a special issue of the International Review of Information Ethics on Ethical Challenges of Ubiquitous Computing.
  Joint work with Brown.