J Paul Gibson

Cited by

	All	Since 2018
Citations	1830	654
h-index	23	12
i10-index	39	13

160

120

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 16 28 37 45 30 21 29 24 49 41 62 99 72 66 58 68 54 78 58 110 84 123 111 123 145 108 44

Public access

View all

3 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
Damien WoodsProfessor at the Hamilton Institute, Maynooth UniversityVerified email at mu.ie
Damian GordonLecturer @ Technological University DublinVerified email at tudublin.ie
Damien Mac NamaraTechnical University of the ShannonVerified email at lit.ie
Dympna O'SullivanTechnological University DublinVerified email at tudublin.ie
Daqing Zhang, IEEE FellowChair Professor, Telecom SudParis/Peking UniversityVerified email at telecom-sudparis.eu
Leye WangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
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
Geoffrey HamiltonAssociate Professor, Dublin City UniversityVerified email at dcu.ie
Anna BecevelResearch Manager, TU DublinVerified email at tudublin.ie
Kevin CaseyMaynooth UniversityVerified email at nuim.ie
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
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	223*	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	168	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	126	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	92	2015
Teaching graph algorithms to children of all ages JP Gibson Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012	89	2012
Feature Requirements Models: Understanding Interactions. JP Gibson Feature Interaction Workshop (FIW), 46-60, 1997	74	1997
E-voting: a safety critical system (NUIM-CS-TR2003-02) M McGaley, JP Gibson National University of Ireland, 2003	57*	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	42	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	40	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	35	2007
Mining moodle to understand student behaviour K Casey, P Gibson	33*	2010
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	31	2005
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: Version to Read Y Ait-Ameur, JP Gibson, D Méry Leveraging Applications of Formal Methods, Verification and Validation …, 2014	29	2014
Software reuse and plagiarism: a code of practice JP Gibson ACM SIGCSE Bulletin 41 (3), 55-59, 2009	27	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	27	2003
Teaching formal methods: lessons to learn P Gibson, D Méry 2nd Irish Workshop on Formal Methods 2, 1-13, 1998	27	1998

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