You are here Publications

Publications

Publications

Year Authors Title
  1995 Arthur Hughes and Alexis A. Donnelly An Algebraic Proof in the Irish School of the VDM , 967, pp114-133
  1997 Arthur Hughes and Claus Pahl A Generic Model for State-based Agent Systems 1st Irish Workshop on Formal Methods
  1997 Arthur Hughes and Alexis A. Donnelly Algebraic Advances for Aliasing 2nd BCS-FACS Norther Formal Methods Workshop
  1997 Mícheál Mac an Airchinnigh and Arthur Hughes The Geometry of Distributions in Formal Methods 2nd BCS-FACS Norther Formal Methods Workshop
  1998 Arthur Hughes Towards an Override in Topoi 2nd Irish Workshop on Formal Methods
  2000 Mfcheal Mac an Airchinnigh, Andrew Butterfield, and Arthur Hughes The Handbook of Mathematics
  2006 Micheal Mac an Airchinnigh and Arthur Hughes Grand Software Engineering Challenge: Sem Web Ontology for Humanities Proceedings of The Fourth International Conference on Information and The Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT), pp365-368
  2006 Malcolm Tyrrell, Andrew Butterfield, Joseph M. Morris, and Arthur Hughes Modelling Unbounded Demonic & Angelic Nondeterminacy for a Process Algebra Proceedings of The Fourth International Conference on Information and The Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT), pp412-415
  2007 Arthur Hughes and Paul Hughes Pólya and de Bono: A Comparative Study in Problem Solving Huristics. Proceedings of The Fifth International Conference on Creative Thinking, Designing Future Possibilities, pp156-164
  2008 Wendy Verbruggen, Edsko de Vries and Arthur Hughes Polytypic Programming in Coq WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming, pp49-60. DOI: http://dx.doi.org/10.1145/1411318.1411326
  2009 Wendy Verbruggen, Edsko de Vries and Arthur Hughes Polytypic Properties and Proofs in Coq WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming , pp1-12. DOI: http://dx.doi.org/10.1145/1596614.1596616
  2010 Maria F. O'Connor, Arthur Hughes, Chaoxin Zheng, Anthony Davies, Dermot Kelleher and Khurshid Ahmad Annotation and Retrieval of Cell Images Intelligent Data Engineering and Automated Learning - IDEAL 2010, pp218-225. DOI: http://dx.doi.org/10.1007/978-3-642-15381-5_27
  2010 Verbruggen, W, De Vries, E, Hughes, A Formal polytypic programs and proofs JOURNAL OF FUNCTIONAL PROGRAMMING, 20, pp213-270. DOI: http://dx.doi.org/10.1017/S0956796810000158
  2013 Michael Clear, Arthur Hughes and Hitesh Tewari Homomorphic Encryption with Access Policies: Characterization and New Constructions Progress in Cryptology - AFRICACRYPT 2013, 7918, pp61-87. DOI: http://dx.doi.org/10.1007/978-3-642-38553-7_4

Page: 1 of 1  Records: 14
Page 1