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
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.
Andrew A. Adams
2005-01-25