J Paul Gibson

Cited by

	All	Since 2019
Citations	1912	606
h-index	23	11
i10-index	41	13

160

120

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 16 28 40 39 29 22 28 23 51 42 59 99 70 67 58 71 53 81 61 106 83 131 110 118 146 105 107 20

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dominique MéryProfessor of Computer Science, University of LorraineVerified email at univ-lorraine.fr
Damian GordonLecturer @ Technological University DublinVerified email at tudublin.ie
Dympna O'SullivanTechnological University DublinVerified email at tudublin.ie
Damien WoodsProfessor at the Hamilton Institute, Maynooth UniversityVerified email at mu.ie
Damien Mac NamaraTechnical University of the ShannonVerified email at lit.ie
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityVerified email at anu.edu.au
Julia PomaresExecutive Director, CIPPECVerified email at cippec.org
Robert KrimmerDigital Transformation Expert and Entrepreneur, former Professor of e-GovernanceVerified email at krimmer.ee
Daqing Zhang, IEEE FellowChair Professor, Telecom SudParis/Peking UniversityVerified email at telecom-sudparis.eu
Leye WangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Anna BecevelResearch Manager, TU DublinVerified email at tudublin.ie
Geoffrey HamiltonAssociate Professor, Dublin City UniversityVerified email at dcu.ie
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
Kevin CaseyMaynooth UniversityVerified email at nuim.ie
James F. PowerLecturer, Computer Science, Maynooth UniversityVerified email at cs.nuim.ie
Peter J. ClarkeFlorida International UniversityVerified email at cis.fiu.edu
David SinclairSchool of Computing, Lero, Dublin City UniversityVerified email at computing.dcu.ie

J Paul Gibson

Computer science, Telecom Sud Paris, Institute Mines Telecom

Verified email at telecom-sudparis.eu - Homepage

Formal methods software engineering computer science education digital ethics electronic voting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A Critical Analysis of the Council of Europe Recommendations on E-Voting. M McGaley, JP Gibson EVT 6, 1-13, 2006	234*	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	173	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	157	2016
Teaching graph algorithms to children of all ages JP Gibson Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012	103	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	61*	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	41	2007
Formal object oriented development of software systems using LOTOS JP Gibson University of Stirling, 1993	39	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	35	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	33	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	33	2003
Mining moodle to understand student behaviour K Casey, P Gibson	32	2010
Automated assessment in CS1 D Traynor, S Bergin, JP Gibson Australian Computer Society, Inc. 52, 223-228, 2006	30	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 Proceedings of the 2nd international Conference on Principles and Practice …, 2003	26	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors