Publications
Dr Andrew A. Adams
16th May 2013
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 future of video analytics for surveillance and its ethical implications.(OA Version)
Security Journal (vol. etc. forthcoming) DOI:
10.1057/sj.2012.48
Joint work with Ferryman (Reading).
Published 2013.
-
The Impact and Reach of MOOCs: A Developing Countries’ Perspective.
eLearning Papers 33
Joint work with Liyanagunawardena and Williams (Reading).
Published 2013.
-
A
Non-Militarised Approach to Cyber-Security.
pp. 1-8 of Proceedings of the 11th European Conference on Information
Warfare and Security.
Joint work with Reich (Waseda) and Weinstein (Hertfordshire).
Published 2012.
-
Emerging
Social Norms in the UK and Japan on Privacy and Revelation in SNS.
pp. 18-26 of Vol 16 International
Review of Information
Ethics (Special Issue on the Ethics of Online Social Networks)
(ISSN 1614-1687).
Joint work with Murata (Meiji), Orito (Ehime) and Parslow (Reading).
Published 2011.
-
Extending higher educational opportunities through e-Learning: a case study from Sri Lanka.
pp. 291-302 of the proceedings of the 1st International
Australasian Conference on Enabling Access to Higher Education, 5-7
December 2011, Adelaide, Australia.
Joint work with Liyanagunawardena, Rassool and Williams (Reading).
Published 2011.
-
The Development of Japanese Data Protection.
Article 5, pp. 95-126 of Vol 2(2) Policy and Internet (ISSN: 1944-2866).
Joint work with Murata (Meiji) and Orito (Ehime).
Published 2010.
-
The Open vs Closed Debate. (OA Version)
pp. 30-47 of Vol 30(3)
Journal of Information and Management (日本情報経営学会誌)
(ISSN 1882-2614).
Published 2010.
-
The Japanese
Sense of Information Privacy.
pp. 327-341 of Vol 24(4)
AI
& Society (ISSN 0951-5666).
Joint work with Murata (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 (ISBN: 978-1-60752-377-2).
Information Age Publishing.
Published 2009.
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.
Book
Other Articles
These articles includes academic magazines, such as the Communications of the
ACM, or Computers and Law the magazine of the Society for Computers and Law,
editorial or opinion pieces in journals, and book reviews in journals.
Andrew A. Adams
2011-03-02