| |
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 |
| |
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 |
| |
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 |
| |
1995 |
Arthur Hughes and Alexis A. Donnelly |
An Algebraic Proof in the Irish School of the VDM , 967, pp114-133 |
| |
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 |
| |
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 |
| |
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 |
| |
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 |
| |
1997 |
Mícheál Mac an Airchinnigh and Arthur Hughes |
The Geometry of Distributions in Formal Methods 2nd BCS-FACS Norther Formal Methods Workshop |
| |
2000 |
Mfcheal Mac an Airchinnigh, Andrew Butterfield, and Arthur Hughes |
The Handbook of Mathematics |
