Arthur Hughes
Assistant Professor, Computer Science

Publications and Further Research Outputs

Peer-Reviewed Publications

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

Finn Lawler, Fibrations of Predicates and Bicategories of Relations, The University of Dublin, 2014 Thesis, 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 Conference Paper, 2013 DOI

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 Conference Paper, 2012 URL DOI TARA - Full Text

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 Conference Paper, 2011 TARA - Full Text

Wilhelmina Johanna Verbruggen, Formal Polytypic Programs and Proof, The University of Dublin, Trinity College, 2011 Thesis, 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), October 2011, IEEE Computer Society, 2011, pp306 - 311 Conference Paper, 2011 URL DOI

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 Conference Paper, 2010 DOI

Verbruggen, W, De Vries, E, Hughes, A, Formal polytypic programs and proofs, JOURNAL OF FUNCTIONAL PROGRAMMING, 20, 2010, p213-270 Journal Article, 2010 TARA - Full Text DOI

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 Conference Paper, 2009 URL DOI

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 Conference Paper, 2008 URL DOI

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 Conference Paper, 2007

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 Conference Paper, 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), 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 Conference Paper, 2006

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 Conference Paper, 2006 URL DOI

Arthur Hughes, Elements of an Operator Calculus, University of Dublin, Trinity College, Dublin, Ireland, July, 2001 Thesis, 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 Conference Paper, 1998 URL

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 Conference Paper, 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 Conference Paper, 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 Conference Paper, 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 Conference Paper, 1995

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 Invited Talk, 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 Book, 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 Report, 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 Report, 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 Report, 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.

Keywords

Algebra; Algorithms and complexity; Analysis & Functional Analysis; Automata; Calculus; Computational mathematics, discrete mathematics; Computer Programming Languages; Computer Science; Computer Science/Engineering; Computer Software; Dependable Systems; Discrete Mathematics; Formal Semantics; Foundations and methods; Logic; Mathematical Foundations; Mathematical logic, set theory, combinatorics, semantics; Mathematics; Mathematics of computing; Operator algebras; Philosophy of Mathematics; Pure mathematics; Set Theory; Software Engineering; Topology

Recognition

Memberships

The Irish Formal Methods Special Interest Group 1996 – present

The Irish Mathematical Society 1996 – present