A Critical Analysis of the Council of Europe Recommendations on E-Voting. M McGaley, JP Gibson EVT 6, 1-13, 2006 | 229* | 2006 |
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming J O'Kelly, JP Gibson ACM SIGCSE Bulletin 38 (3), 217-221, 2006 | 172 | 2006 |
A review of e-voting: the past, present and future JP Gibson, R Krimmer, V Teague, J Pomares Annals of Telecommunications 71, 279-286, 2016 | 161 | 2016 |
Teaching graph algorithms to children of all ages JP Gibson Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 106 | 2012 |
EEMC: Enabling energy-efficient mobile crowdsensing with anonymous participants H Xiong, D Zhang, L Wang, JP Gibson, J Zhu ACM Transactions on Intelligent Systems and Technology (TIST) 6 (3), 39, 2015 | 95 | 2015 |
Feature Requirements Models: Understanding Interactions. JP Gibson Feature Interaction Workshop (FIW), 46-60, 1997 | 73 | 1997 |
E-voting: a safety critical system (NUIM-CS-TR2003-02) M McGaley, JP Gibson National University of Ireland, 2003 | 59* | 2003 |
Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs D Traynor, JP Gibson ACM SIGCSE Bulletin 37 (1), 495-499, 2005 | 44 | 2005 |
ecoSense: Minimize participants’ total 3G data cost in mobile crowdsensing using opportunistic relays L Wang, D Zhang, H Xiong, JP Gibson, C Chen, B Xie IEEE Transactions on Systems, Man, and Cybernetics: Systems 47 (6), 965-978, 2016 | 41 | 2016 |
Refinement: A constructive approach to formal software design for a secure e-voting interface D Cansell, JP Gibson, D Méry Electronic Notes in Theoretical Computer Science 183, 39-55, 2007 | 40 | 2007 |
Formal object oriented development of software systems using LOTOS JP Gibson University of Stirling, 1993 | 40 | 1993 |
Formal verification of tamper-evident storage for e-voting D Cansell, JP Gibson, D Méry Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE …, 2007 | 34 | 2007 |
Using a taxonomy tool to identify changes in OO software P Clarke, B Malloy, JP Gibson Software Maintenance and Reengineering, 2003. Proceedings. Seventh European …, 2003 | 33 | 2003 |
Software engineering as a model of understanding for learning and problem solving JP Gibson, J O'Kelly Proceedings of the first international workshop on Computing education …, 2005 | 32 | 2005 |
Mining moodle to understand student behaviour K Casey, P Gibson | 31* | 2010 |
Automated assessment in CS1 D Traynor, S Bergin, JP Gibson Australian Computer Society, Inc. 52, 223-228, 2006 | 31 | 2006 |
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Y Ait-Ameur, JP Gibson, D Méry International Symposium On Leveraging Applications of Formal Methods …, 2014 | 29 | 2014 |
Software reuse and plagiarism: a code of practice JP Gibson ACM SIGCSE Bulletin 41 (3), 55-59, 2009 | 27 | 2009 |
Towards the development of a cognitive model of programming: a software engineering approach D Traynor, JP Gibson Proceedings of the 16th Workshop of Psychology of Programming Interest Group, 2004 | 27* | 2004 |
A noughts and crosses Java applet to teach programming to primary school children JP Gibson PPPJ 3, 85-88, 2003 | 26 | 2003 |