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
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
Teaching graph algorithms to children of all ages
JP Gibson
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
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
Mining moodle to understand student behaviour
K Casey, P Gibson
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
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
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: Version to Read
Y Ait-Ameur, JP Gibson, D Méry
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
Software reuse and plagiarism: a code of practice
JP Gibson
ACM SIGCSE Bulletin 41 (3), 55-59, 2009
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
Teaching formal methods: lessons to learn
P Gibson, D Méry
2nd Irish Workshop on Formal Methods 2, 1-13, 1998
The system can't perform the operation now. Try again later.
Articles 1–20