## Publications and Further Research Outputs

### Peer-Reviewed Publications

**Colm Bhandal, Formalising a Real-Time Coordination Model, The University of Dublin, Trinity College, 2015**

**Finn Lawler, Fibrations of Predicates and Bicategories of Relations, The University of Dublin, 2014**

**Michael Clear, Arthur Hughes and Hitesh Tewari, Homomorphic Encryption with Access Policies: Characterization and New Constructions, Lecture Notes in Computer Science, Progress in Cryptology - AFRICACRYPT 2013, Africa, Cairo, Egypt, June 22-24, 2013, edited by Amr Youssef, Abderrahmane Nitaj and Aboul Ella Hassanien , 7918, Springer Berlin Heidelberg, 2013, pp61 - 87**

**Michael Clear, Karl Reid, Desmond Ennis, Arthur Hughes and Hitesh Tewari, Collaboration-Preserving Authenticated Encryption for Operational Transformation Systems, Lecture Notes in Computer Science, Information Security Conference (ISC 2012), Passau, Germany, 19th Sep 2012, edited by Dieter Gollmann, Felix C. Freiling , 7483, Springer Berlin Heidelberg, 2012, pp204 - 223**

**Wilhelmina Johanna Verbruggen, Formal Polytypic Programs and Proof, The University of Dublin, Trinity College, 2011**

**Colm Bhandal, Mélanie Bouroche and Arthur Hughes, A Process Algebraic Description of a Temporal Wireless Network Protocol, Electronic Communications of the EASST, The Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011), edited by J. Bowen, S. Reeves, T. Margaria, J. Padberg, G. Taentzer , 45, 2011, pp1 - 17**

**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), October 2011, IEEE Computer Society, 2011, pp306 - 311**

**Verbruggen, W, De Vries, E, Hughes, A, Formal polytypic programs and proofs, JOURNAL OF FUNCTIONAL PROGRAMMING, 20, 2010, p213-270 **

**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, Paisley, UK, September 2010, edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin , LNCS 6283, Springer, 2010, pp218 - 225**

**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 , Edinburgh, Soctland, August 30, 2009, edited by Program Chair-Patrik Jansson and Program Chair-Sibylle Schupp , ACM, New York, NY, USA, 2009, pp1 - 12**

**Wendy Verbruggen, Edsko de Vries and Arthur Hughes, Polytypic Programming in Coq, WGP '08: Proceedings of the ACM SIGPLAN workshop on Generic programming, Victoria, BC, Canada, 20th of September 20, edited by Program Chair-Ralf Hinze and Program Chair-Don Syme , ACM, New York, NY, USA, 2008, pp49 - 60**

**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, University of Malta, Misda, MSD 06, Malta, June 2004, edited by Sandra Dingli , Malta University Press, 2007, pp156 - 164**

**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), edited by Lei Li, Fuji Ren, Ted Hurley, Vladimir Komendantsky, Mfcheal Mac an Airchinnigh, Michel Schellekens, Anthony Seda, Glenn Strong, and Damien Woods , University College Cork - National University of Ireland, Cork, 2006, pp365 - 368**

**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), edited by Lei Li, Fuji Ren, Ted Hurley, Vladimir Komendantsky, Mfcheal Mac an Airchinnigh, Michel Schellekens, Anthony Seda, Glenn Strong, and Damien Woods , niversity College Cork - National University of Ireland, Cork, 2006, pp412 - 415**

**Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield and Arthur Hughes, A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes, LNCS, Theoretical Aspects of Computing - ICTAC 2006, Tunis, Tunisia, 20-24th Nov. 2006, edited by Kamel Barkaoui, Ana Cavalcanti and Antonio Cerone , 4281, Springer, 2006, pp123 - 137**

**Arthur Hughes, Elements of an Operator Calculus, University of Dublin, Trinity College, Dublin, Ireland, July, 2001**

**Arthur Hughes, Towards an Override in Topoi, 2nd Irish Workshop on Formal Methods, edited by Andrew Butterfield and Sharon Flynn , British Computer Society, London, 1998**

**Mícheál Mac an Airchinnigh and Arthur Hughes, The Geometry of Distributions in Formal Methods, 2nd BCS-FACS Norther Formal Methods Workshop, IIkley 1997, edited by David Duke and Andy Evans , British Computer Society, London, 1997**

**Arthur Hughes and Alexis A. Donnelly, Algebraic Advances for Aliasing, 2nd BCS-FACS Norther Formal Methods Workshop, IIkley 1997, edited by David Duke and Andy Evans , British Computer Society, London, 1997**

**Arthur Hughes and Claus Pahl, A Generic Model for State-based Agent Systems, 1st Irish Workshop on Formal Methods, edited by Gerard O'Regan and Sharon Flynn , British Computer Society, London, 1997**

**Arthur Hughes and Alexis A. Donnelly, An Algebraic Proof in the Irish School of the VDM, ZUM'95: The Z Formal Specification Notation, edited by Jonathan Bowen and Michael Hinchey , 967, Springer-Verlag, Berlin, 1995, pp114 - 133**

### Non-Peer-Reviewed Publications

**Mícheál Mac an Airchinnigh and Arthur Hughes, Modelling for Formal Methods, Tutorials of the 10th International Symposium of Formal Methods Europe (FME'01), Humboldt-Universität, Berlin, Germany, March 2001, 2001**

**Mfcheal Mac an Airchinnigh, Andrew Butterfield, and Arthur Hughes, The Handbook of Mathematics, University of Dublin, Trinity College, Dublin, Ireland, Department of Computer Science, 2000**

**Arthur Hughes, The Monoid of Inverse Maps. Technical Report TCD-CS-97-02, Department of Computer Science, University of Dublin, Trinity College, Dublin, Ireland, January, 1997**

**Arthur Hughes, A Semi-group of Hashing Functions and Hash Tables. Technical Report TCD-CS-97-03, Department of Computer Science, University of Dublin, Trinity College, Dublin, Ireland, January, 1997**

**Alexis A. Donnelly, Arthur Hughes, and Dara Gallagher, On the Inheritance of Monoid Properties in Indexed Structures, A Tale of Three Proofs. Technical Report TCD-CS¬96-04, Department of Computer Science, University of Dublin, Trinity College, Dublin, Ireland, March, 1996**

## Research Expertise

### Description

Formal Specification & Design Notations: VDM, Z, RAISE, CSP, Circus, CCS, pi-calculus, FOCUS. Applications of Formal Specification & Design Notations: Hardware & Software Specification, Algorithm Derivation, Language Design & Meaning, Correctness, Safety Critical Systems. Mathematical Foundations of Formal Specification & Design Notations: Relational Calculus, Predicated Calculus, Order Theory, Category Theory, Topos Theory, Higher Order Logic, Type Theory, Allegories, Unifying Theories of Programming. Tool Support for Formal Specification & Design Notations: Alloy, RAISE, FDR, Theorem Provers, Functional Programming.## Recognition

### Memberships

**The Irish Formal Methods Special Interest Group **

**The Irish Mathematical Society**