Publications

Dr Andrew A. Adams

2nd October 2009

Fully Refereed Journal and Conference Papers

In Computer Science, some major conferences operate full refereeing processes equivalent to journals on the complete papers submitted. The conference papers listed here were published following such procedures.

• The Open vs Closed Debate.
  To appear in Journal of the Japan Society for information and management.
  To appear 2010.
• The Japanese Sense of Information Privacy.
  pp. 327-341 of Vol 24(4) AI & Society (ISSN 0951-5666).
  Joint work with Mutata (Meiji) and Orito (Ehime).
  Published 2009.
• The Application of E-Government to Support Multi-Organisational Collaborative Groups.
  pp. 337-344 of the proceedings of the 9th European Conference on e-Government (ISBN 978-906638-34-4).
  Joint work with Harris and Sun (Reading).
  Published 2009.
• The ethical challenges of ubiquitous healthcare.
  pp. 53-60 of Vol 8 International Review of Information Ethics (Special Issue on Ethical Challenges of Ubiquitous Computing) (ISSN 1614-1687).
  Joint work with Brown (Oxford).
  Published 2007.
• Perspex Machine VIII: Axioms of Transreal Arithmetic.
  Proceedings of the SPIE-IS&T Vision Geometry XV, SPIE Vol. 6499 (ISBN 0-819-46612-9).
  Joint work with Anderson (Reading) and Volker (Essex).
  Published 2007.
• 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 (Reading).
  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 (Reading).
  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 (Bath).
  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 (NAG), Gottliebsen, Kelsey, Martin (St Andrews) and Owre (SRI).
  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 (St Andrews).
  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 (St Andrews).
  Published 1999.

Refereed Book Chapters

Virtual Sex with Child Avatars.
Chapter Four of Emerging Ethical Issues of Life in Virtual Worlds edited by Wankel and Malleck.
Information Age Publishing. To appear from Information Age Publishing in 2010.

Refereed Conference Papers

These are papers published in conference proceedings where an abstract or extended abstract was refereed, rather than the full paper. I have excluded conferences papers which led to fully refereed journal articles based on the same material.

• Online Privacy and Culture: Evidence from Japan.
  pp. 614-622 of Proceedings of Ethicomp 2008 (ISBN: 88-902869-9-7).
  Joint work with Orito (Ehime), Murata (Meiji), Fukuta (Ehime), McRobb (De Montfort).
  Published 2008.
• Regulating CCTV. (PDF, HTML)
  pp. 3-14 of Proceedings of Ethicomp 2007 (Vol 1) (ISBN: 978-4-9903558-0-7).
  Published 2007.
• Towards an Exploration of Crosscultural factors in Privacy Online.
  pp. 380-385 of Proceedings of Ethicomp 2007 (Vol 2) (ISBN: 978-4-9903558-1-4).
  Joint work with McRobb (De Montfort), Murata (Meiji) and Orito (Ehime).
  Published 2007.

Book

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

Recent Submissions

• No Pending Submissions.

Other Articles

• Keep Looking: The Answer to the Machine is Elsewhere.
  Computers and Law (magazine of the Society for Computers and Law) March 2009.
  Joint work with Brown (Oxford).
  Published 2009.
• Copyright and research: an archivangelist's perspective.
  pp. 285-290 of Vol 4(3) of SCRIPT-ed.
  Published 2007.
• 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).
  Published 2006.
  This was my editorial contribution to a Special Issue on DRM.
• Review: CyberEthics: Morality and Law in Cyberspace.
  pp.289-291 of Vol 13(2) of International Journal of Law and Information Technology.
  Published 2005.