Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search


Trinity College Dublin By using this website you consent to the use of cookies in accordance with the Trinity cookie policy. For more information on cookies see our cookie policy.

      
Profile Photo

Dr. Arthur Hughes

Assistant Professor (Computer Science)


  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
Details Date From Date To
The Irish Formal Methods Special Interest Group 1996 -
The Irish Mathematical Society 1996 -
Colm Bhandal, Formalising a Real-Time Coordination Model, The University of Dublin, Trinity College, 2015, Thesis, PUBLISHED
Finn Lawler, Fibrations of Predicates and Bicategories of Relations, The University of Dublin, 2014, Notes: [Co-Supervised with Dr Hugh Gibbons. External Examiners Prof Martin Hyland (King's College Cambridge) and Dr John Power (Reader in CS University of Bath). ], Thesis, PUBLISHED
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, PUBLISHED  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, Notes: [http://link.springer.com/chapter/10.1007%2F978-3-642-33383-5_13], Conference Paper, PUBLISHED  TARA - Full Text  DOI  URL
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, PUBLISHED  TARA - Full Text
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, PUBLISHED  DOI  URL
Wilhelmina Johanna Verbruggen, Formal Polytypic Programs and Proof, The University of Dublin, Trinity College, 2011, Thesis, PUBLISHED
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, PUBLISHED  DOI
Verbruggen, W, De Vries, E, Hughes, A, Formal polytypic programs and proofs, JOURNAL OF FUNCTIONAL PROGRAMMING, 20, 2010, p213-270 , Journal Article, PUBLISHED  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, PUBLISHED  DOI  URL
  

Page 1 of 3
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, PRESENTED
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, Notes: [Notes: [Used in the B.A. (Mod.) Info. & Comm. Tech. degree examinations since its inception in the academic year 1997 also used in the B.A. (Mod.) Computer Science degree examinations.]], Book, PUBLISHED
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, PUBLISHED
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, PUBLISHED
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, PUBLISHED

  

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.