Segui
J Paul Gibson
J Paul Gibson
Computer science, Telecom Sud Paris, Institute Mines Telecom
Email verificata su telecom-sudparis.eu - Home page
Titolo
Citata da
Citata da
Anno
A Critical Analysis of the Council of Europe Recommendations on E-Voting.
M McGaley, JP Gibson
EVT 6, 1-13, 2006
235*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
1782016
RoboCode & problem-based learning: a non-prescriptive approach to teaching programming
J O'Kelly, JP Gibson
ACM SIGCSE Bulletin 38 (3), 217-221, 2006
1732006
Teaching graph algorithms to children of all ages
JP Gibson
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
1132012
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
962015
Feature Requirements Models: Understanding Interactions.
JP Gibson
Feature Interaction Workshop (FIW), 46-60, 1997
731997
E-voting: a safety critical system (NUIM-CS-TR2003-02)
M McGaley, JP Gibson
National University of Ireland, 2003
60*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
442005
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
422016
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
402007
Formal object oriented development of software systems using LOTOS
JP Gibson
University of Stirling, 1993
401993
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
352007
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
332003
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
322005
Mining moodle to understand student behaviour
K Casey, P Gibson
31*2010
Software reuse and plagiarism: a code of practice
JP Gibson
ACM SIGCSE Bulletin 41 (3), 55-59, 2009
312009
Automated assessment in CS1
D Traynor, S Bergin, JP Gibson
Australian Computer Society, Inc. 52, 223-228, 2006
312006
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
292014
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
262003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20