J Paul Gibson
J Paul Gibson
Computer science, Telecom Sud Paris, Institute Mines Telecom
Verified email at - Homepage
Cited by
Cited by
A Critical Analysis of the Council of Europe Recommendations on E-Voting.
M McGaley, JP Gibson
EVT 6, 1-13, 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
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
Teaching graph algorithms to children of all ages
JP Gibson
Proceedings of the 17th ACM annual conference on Innovation and technology …, 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
Feature Requirements Models: Understanding Interactions.
JP Gibson
Feature Interaction Workshop (FIW), 46-60, 1997
E-voting: a safety critical system (NUIM-CS-TR2003-02)
M McGaley, JP Gibson
National University of Ireland, 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
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
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
Formal object oriented development of software systems using LOTOS
JP Gibson
University of Stirling, 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
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
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
Mining moodle to understand student behaviour
K Casey, P Gibson
Automated assessment in CS1
D Traynor, S Bergin, JP Gibson
Australian Computer Society, Inc. 52, 223-228, 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
Software reuse and plagiarism: a code of practice
JP Gibson
ACM SIGCSE Bulletin 41 (3), 55-59, 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
A noughts and crosses Java applet to teach programming to primary school children
JP Gibson
Proceedings of the 2nd international Conference on Principles and Practice …, 2003
The system can't perform the operation now. Try again later.
Articles 1–20