Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Publications

Publications

Year Authors Title
  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
  2012 Michael Clear, Karl Reid, Desmond Ennis, Arthur Hughes and Hitesh Tewari Collaboration-Preserving Authenticated Encryption for Operational Transformation Systems Information Security Conference (ISC 2012), 7483, pp204-223. DOI: http://dx.doi.org/10.1007/978-3-642-33383-5_13
  2011 Colm Bhandal, Mélanie Bouroche and Arthur Hughes A Process Algebraic Description of a Temporal Wireless Network Protocol The Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011), 45, pp1-17
  2011 Colm Bhandal, Mélanie Bouroche and Arthur Hughes, An Abstract Model of a Coordination Protocol using the UPPAAL Model Checker 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing (EUC), pp306-311. DOI: http://dx.doi.org/10.1109/EUC.2011.14
  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
  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
  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
  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
  2006 Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield and Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes Theoretical Aspects of Computing - ICTAC 2006, 4281, pp123-137. DOI: http://dx.doi.org/10.1007/11921240_9
  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
  2000 Mfcheal Mac an Airchinnigh, Andrew Butterfield, and Arthur Hughes The Handbook of Mathematics
  1998 Arthur Hughes Towards an Override in Topoi 2nd Irish Workshop on Formal Methods
  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
  1995 Arthur Hughes and Alexis A. Donnelly An Algebraic Proof in the Irish School of the VDM , 967, pp114-133

Page: 1 of 1  Records: 18
Page 1