91Ö±²¥

Books

• Clark JA, Paige RF, Polack FAC & Brooke PJ (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
• Wright J, Stepney S, Clark JA & Jacob JL (2005) Formalizing anonymity: A review. Department of Computer Science, University of York.
• Srivratanakul T, Clark JA & Polack F (2004) Writing Effective Security Abuse Cases. Department of Computer Science, University of York.
• Srivratanakul T, Clark JA & Polack F (2004) Security Zonal Analysis. Department of Computer Science, University of York.
• Zhan Y & Clark JA (2004) Automatic test-data generation for testing simulink models. Department of Computer Science, University of York.
• Stepney S, Clark JA & Chivers H (2004) Breaking the Model: finalisation and a taxonomy of security attack. Department of Computer Science, University of York.
• Hao C, Clark JA & Jacob JL (2004) A search-based approach to the automated design of security protocols.
• Smith A, Clark JA & Burke EK (1997) Four methods for maintenance scheduling. Citeseer.
• Clark JA & Jacob JL (1997) A survey of authentication protocol literature: Version 1.0. Citeseer.

Journal articles

• Patel C, Pasikhani A, Gope P & Clark J (2024) . Computers & Security, 140, 103793-103793.
• Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2024) AIDPS: Adaptive Intrusion Detection and Prevention System for Underwater Acoustic Sensor Networks.. IEEE/ACM Trans. Netw., 32, 1080-1095.
• Pasikhan AM, Clark JA & Gope P (2023) . Computers & Security, 135, 103447-103447.
• Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2023) . IEEE/ACM Transactions on Networking, 1-16.
• ALGorain FT & Clark JA (2023) . Eng, 4(1), 543-554.
• Alromih A, Clark JA & Gope P (2023) A Privacy-Preserving Energy Theft Detection Model for Effective Demand-Response Management in Smart Grids.. CoRR, abs/2303.13204.
• Pasikhani AM, Clark JA & Gope P (2022) . IEEE Transactions on Information Forensics and Security, 1-1.
• ALGorain FT & Clark JA (2022) . Electronics, 11(10).
• Pasikhani AM, Clark JA, Gope P & Alshahrani A (2021) . IEEE Sensors Journal, 1-1.
• Delgado-Perez P, Habli I, Gregory S, Alexander R, Clark J & Medina-Bulo I (2018) . IEEE Transactions on Reliability, 67(4), 1406-1419.
• Patrick M, Alexander R, Oriol M & Clark JA (2015) . Journal of Systems and Software, 103, 328-342.
• Poulding S, Alexander R, Clark JA & Hadley MJ (2015) . Journal of Systems and Software, 103, 296-310.
• Pérez MG, Tapiador JE, Clark JA, Pérez GM & Gómez AFS (2014) . Computer Networks, 58, 70-86.
• Chivers H, Clark J, Nobles P, Shaikh S & Chen H (2013) . Information Systems Frontiers, 15(1), 17-34.
• Bechmann M, Clark J & Sebald A (2013) . Journal of Magnetic Resonance, 228, 66-75.
• Anand S, Burke EK, Chen TY, Clark J, Cohen MB, Grieskamp W, Harman M, Harrold MJ, McMinn P, Bertolino A , Jenny Li J et al (2013) . Journal of Systems and Software, 86(8), 1978-2001.
• Briand L & Clark J (2013) . Information and Software Technology, 55(1), 111-111.
• Tapiador JE & Clark JA (2013) . Computers & Electrical Engineering, 39(7), 2306-2317.
• Sen S & Clark JA (2011) . Computer Networks, 55(15), 3441-3457.
• White DR, Arcuri A & Clark JA (2011) . IEEE Transactions on Evolutionary Computation, 15(4), 515-538.
• Tapiador JE & Clark JA (2011) . Computers & Security, 30(5), 297-310.
• Tapiador JE, Hernandez-Castro JC, Peris-Lopez P & Clark JA (2011) Cryptanalysis of Song’s advanced smart card based password authentication protocol. Arxiv preprint arXiv:1111.2744.
• Dong X, Clark JA & Jacob JL (2010) . Telecommunication Systems, 45(2-3), 215-226.
• Feldt R, Cohen M, Arcuri A, Baresel A & Clark JA (2010) SBST: 3rd International Workshop on Search-Based Software Testing. computer.org.
• Poulding S & Clark JA (2010) . IEEE Transactions on Software Engineering, 36(6), 763-777.
• Chivers H, Clark JA & Cheng P-C (2009) . Computers & Security, 28(7), 521-535.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2009) . Network Security, 2009(6), 12-16.
• Sen S & Clark JA (2009) Security Threats in Mobile Ad Hoc Networks. www-users.cs.york.ac.uk.
• Åžen S & Clark JA (2009) , 427-454.
• Tapiador JE, Hernandez-Castro JC, Clark JA & Stepney S (2009) . Journal of Physics A: Mathematical and Theoretical, 42(41), 415301-415301.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(12), 11-15.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(11), 12-16.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(10), 8-11.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2008) . Network Security, 2008(9), 10-12.
• Stepney S & Clark JA (2008) . Journal of Computational and Theoretical Nanoscience, 5(5), 942-969.
• Zhan Y & Clark JA (2008) . Journal of Systems and Software, 81(2), 262-285.
• Stepney S & Clark JA (2008) Searching for quantum programs and quantum protocols: a review. Journal of Computational and Theoretical Nanoscience, 5, 942-969.
• Dong X, Clark JA & Jacob JL (2008) A user-phishing interaction model. Conference on Human System Interaction.
• Woodcock J, Stepney S, Cooper D, Clark J & Jacob J (2008) . Formal Aspects of Computing, 20(1), 5-19.
• Stepney S, Braunstein SL, Clark JA, Tyrrell A, Adamatzky A, Smith RE, Addis T, Johnson C, Timmis J, Welch P , Milner R et al (2006) . International Journal of Parallel, Emergent and Distributed Systems, 21(2), 97-125.
• Massey P, Clark JA & Stepney S (2006) Human-competitive evolution of quantum computing artefacts by genetic programming. Evolutionary Computation, 14, 21-40.
• Clark JA, Jacob JL & Stepney S (2005) . New Generation Computing, 23(3), 219-231.
• Clark JA, Jacob JL & Stepney S (2005) . New Generation Computing, 23, 219-231.
• Srivratanakul T, Clark JA & Polack FAC (2005) Stressing Security Requirements: exploiting the Flaw Hypothesis Method with Deviational Techniques. Symposium on Requirements Engineering for Information Security (SREIS 2005).
• Chivers H & Clark JA (2004) . Computer Networks, 46(5), 723-740.
• Clark J, Harman M & Hierons R (2004) . Software Testing, Verification and Reliability, 14(3), 165-166.
• Hao C, Clark JA & Jacob JL (2004) . Computational Intelligence, 20(3), 503-516.
• Clark JA, Jacob JL, Maitra S & Stanica P (2004) . Computational Intelligence, 20(3), 450-462.
• Stephenson Z, Zhan Y & Clark JA (2004) Test Data Generation for Product Lines–A Mutation Testing Approach. SPLiT International Workshop on Software Product Line Testing.
• Chivers H, Clark JA & Stepney S (2004) , 39-52.
• Stănică P, Maitra S & Clark JA (2004) , 161-177.
• Zhan Y & Clark J (2004) , 1413-1424.
• Massey P, Clark JA & Stepney S (2004) , 569-580.
• Brooke PJ, Paige RF, Clark JA & Stepney S (2004) . ACM SIGCAS Computers and Society, 34(2), 3-3.
• Clark JA, Dolado JJ, Harman M, Hierons RM, Jones BF, Lumkin M, Mitchell BS, Mancoridis S, Rees K, Roper M & Shepperd MJ (2003) Formulating software engineering as a search problem. IEE Proceedings - Software, 150, 161-175.
• Clark JA, Jacob JL & Stepney S (2003) , 2022-2033.
• Russell M, Clark JA & Stepney S (2003) , 146-147.
• Stepney S, Clark JA, Johnson CG, Partridge D & Smith RE (2003) , 204-216.
• Clarke J, Dolado JJ, Harman M, Hierons R, Jones B, Lumkin M, Mitchell B, Mancoridis S, Rees K, Roper M & Shepperd M (2003) . IEE Proceedings - Software, 150(3), 161-161.
• Clark JA & Jacob JL (2002) , 181-196.
• Clark JA & Jacob JL (2001) . Information and Software Technology, 43(14), 891-904.
• Kim S-W, Clark JA & McDermid JA (2001) . Software Testing, Verification and Reliability, 11(4), 207-225.
• Burton S, Clark J & McDermid JA (2000) Abstract Testing, Proof and Automation: An Integrated Approach. Citeseer.
• Tracey N, Clark J, Mander K & McDermid J (2000) . Software: Practice and Experience, 30(1), 61-79.
• Tracey N, Mander K, Clark JA & McDermid JA (1999) Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems. Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society..
• Buttle DL, Clark JA, McDermid JA, Stephenson A & Tracey NJ (1999) CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software, 146, 130-136.
• Clark JA (1998) . Software: Practice and Experience, 28(15), 1637-1637.
• Tracey N, Clark J & Mander K (1998) . ACM SIGSOFT Software Engineering Notes, 23(2), 73-81.
• Tracey N, Clark JA & Mander K (1998) The way forward for unifying dynamic test-case generation: The optimisation-based approach. Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA)..
• Clark JA & Jacob JL (1996) Attacking authentication protocols. High Integrity Systems.
• Clark J & Jacob J (1995) . Information Processing Letters, 56(3), 151-155.
• Rowland L & Clark JA (1995) Automated intrusion detection: theory and practice. High integrity systems, 1(3), 313-322.
• Tindell K & Clark JA (1994) Satisfaction of PLC timing constraints. HIGH INTEGR SYST.
• Clark JA & Moffett J (1994) An introduction to security in distributed systems. High Integrity Systems.
• Tindell K & Clark J (1994) . Microprocessing and Microprogramming, 40(2-3), 117-134.
• Clark JA, McDermid JA & Burns A (1994) . Computing & Control Engineering Journal, 5(1), 18-23.
• Czekster RM, Morisset C, Clark JA, Soudjani S, Patsios C & Davison P () . Security and Privacy.

Chapters

• Alshahrani A & Clark JA (2023) , Proceedings of the Future Technologies Conference (FTC) 2022, Volume 2 (pp. 514-535). Springer International Publishing
• Albatati HA, Clark JA & Abulkhair MF (2023) , HCI for Cybersecurity, Privacy and Trust (pp. 247-261). Springer Nature Switzerland
• Alromih A, Clark JA & Gope P (2022) , Information and Communications Security (pp. 281-300). Springer International Publishing
• Gleirscher M, Johnson N, Karachristou P, Calinescu R, Law J & Clark J (2022) , The 21st Century Industrial Robot: When Tools Become Collaborators (pp. 191-214). Springer International Publishing
• Czekster RM, Morisset C, Moorsel AV, Mace JC, Bassage WA & Clark JA (2021) , Active Building Energy Systems (pp. 219-249).
• Almohamade SS, Clark JA & Law J (2021) , Innovative Security Solutions for Information Technology and Communications (pp. 185-197). Springer International Publishing
• Almohamade SS, Clark JA & Law J (2021) , Lecture Notes in Computer Science (pp. 111-126). Springer International Publishing
• (2016) , Security of Self-Organizing Networks (pp. 145-164). Auerbach Publications
• El-Din RS, Cairns P & Clark J (2015) , New Threats and Countermeasures in Digital Crime and Cyber Terrorism (pp. 53-65). IGI Global
• Patrick M, Alexander R, Oriol M & Clark JA (2013) IEEE
• Clark JA, Tapiador JE, McDermid JA, Cheng P-C, Agrawal D, Ivanic N & Slogget D (2010) Risk Based Access Control with Uncertain and Time-dependent Sensitivity In Katsikas S & Samarati P (Ed.), Proceedings of the 2010 International Conference on Security and Cryptography (pp. 1-9). SciTePress
• Hernandez-Castro JC, Tapiador JE, Peris-Lopez P, Clark JA & Talbi E-G (2009) Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol, 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009 (pp. 1-5). IEEE
• Sen S, Clark JA, Tapiador JE, Zheng J, Mao S, Midkiff SF & Zhu H (2009) Power-Aware Intrusion Detection in Mobile Ad Hoc Networks, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers (pp. 224-239). Springer
• Dong X, Clark JA & Jacob JL (2008) User Behaviour Based Phishing Websites Detection In Ganzha M, Paprzycki M & PelechPilichowski T (Ed.), 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2 (pp. 728-735). IEEE
• Dong X, Clark JA & Jacob J (2008) Modelling User-Phishing Interaction, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2 (pp. 633-638). IEEE
• Sen S & Clark JA (2008) Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks In Ho TB & Zhou ZH (Ed.), PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE (pp. 1053-1058). SPRINGER-VERLAG BERLIN
• Bechmann MW, Clark JA, Sebald AA-M & Stepney S (2007) Unentangling nuclear magnetic resonance computing, Unconventional Computing 2007 (pp. 1-18). Luniver Press
• Srivatanakul T, Clark JA, Stepney S & Polack F (2003) (pp. 340-350).
• Clark JA (2003) Invited paper. Nature-inspired cryptography: Past, present and future, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS (pp. 1647-1654). IEEE
• Buttle DL, Clark JA, McDermid JA, Stephenson ZR & Henderson P (2002) CONVERSE: A Family Oriented Software Development Process for Engine Controllers, Systems Engineering for Business Process Change (pp. 38-73). Springer-verlag
• Clark JA, Jacob JL, Stepney S, Maitra S & Millan W (2002) , Progress in Cryptology — INDOCRYPT 2002 (pp. 246-259). Springer Berlin Heidelberg
• Tracey NJ, Clark JA, McDermid JA, Mander KC & Henderson P (2002) A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems, Systems Engineering for Business Process Change (pp. 174-213). Springer-verlag
• Kim S, Clark JA & McDermid JA (2001) , Mutation Testing for the New Century (pp. 4-4). Springer US
• Burton S, Clark JA, Galloway A & McDermid JA (2000) Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach, Proceedings of the NASA Langley Formal Methods Workshop
• Clark JA & Jacob JL () IEEE Comput. Soc
• Tracey N, Clark J, McDermid J & Mander K () Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification, Proceedings of 17th International System Safety Conference (pp. 128-137).
• ()

Conference proceedings papers

• Albatati HA, Abulkhair MF & Clark JA (2023) . 2023 1st International Conference on Advanced Innovations in Smart Cities (ICAISC), 23 January 2023 - 25 January 2023.
• Alqahtani AH & Clark JA (2022) . 2022 IEEE 4th International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications (TPS-ISA), 14 December 2022 - 17 December 2022.
• Alshahrani A & Clark JA (2022) . 2022 IEEE 25th International Conference on Computational Science and Engineering (CSE), 9 December 2022 - 11 December 2022.
• Alshahrani A & Clark JA (2022) . 2022 International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI), 17 October 2022 - 19 October 2022.
• Alromih A, Clark JA & Gope P (2021) . 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm), 25 October 2021 - 28 October 2021.
• Pasikhani AM, Clark JA & Gope P (2021) . 2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 20 October 2021 - 22 October 2021.
• Almohamade S, Clark J & Law J (2021) (pp 1-9)
• Alyasiri H, Clark JA, Malik A & Frein RD (2021) . 2021 International Conference on Computer Communications and Networks (ICCCN), 19 July 2021 - 22 July 2021.
• O'Brien G & Clark JA (2021) . 2021 IEEE/ACM International Workshop on Genetic Improvement (GI), 30 May 2021 - 30 May 2021.
• Jones BDM, White DR, O’Brien GO, Clark JA & Campbell ET (2019) . GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference (pp 1223-1231). Prague, Czech Republic, 13 July 2019 - 13 July 2019.
• Hatas V, Sen S & Clark JA (2019) . 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 22 July 2019 - 26 July 2019.
• Alyasiri H, Clark JA & Kudenko D (2019) (pp 170-184)
• Alyasiri H, Clark J & Kudenko D (2018) . Proceedings of the 10th International Joint Conference on Computational Intelligence, 18 September 2018 - 20 September 2018.
• Sen S, Aysan AI & Clark JA (2018) (pp 255-270)
• Srivisut K, Clark JA & Paige RF (2018) (pp 794-809)
• Neumann G, Swan J, Harman M & Clark JA (2014) . Proceedings of the 2014 conference companion on Genetic and evolutionary computation companion - GECCO Comp '14, 12 July 2014 - 16 July 2014.
• Huang Z, Alexander R & Clark JA (2014) . EMAS 2014. Lecture Notes in Computer Science, Vol. 8758 (pp 309-327). Cham, Switzerland, 5 May 2015 - 6 May 2014.
• (2014)
• Patrick M, Alexander R, Oriol M & Clark JA (2014) . 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, 31 March 2014 - 4 April 2014.
• Clark JA, Dan H & Hierons RM (2013) . Science of Computer Programming, Vol. 78(4) (pp 345-363)
• Harman M, Clark J & Cinneidez MO (2013) . 2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM), 21 May 2013 - 21 May 2013.
• McLaughlin J & Clark JA (2013) (pp 120-140)
• Clark JA (2013) . 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), 25 May 2013 - 26 May 2013.
• Patrick M, Alexander R, Oriol M & Clark JA (2013) (pp 251-256)
• Poulding S, Alexander R, Clark JA & Hadley MJ (2013) . Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference - GECCO '13, 6 July 2013 - 10 July 2013.
• Patrick M, Alexander R, Oriol M & Clark JA (2013) . 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, 18 March 2013 - 22 March 2013.
• HERNANDEZ-CASTRO JC, ESTEVEZ-TAPIADOR JM, PERIS-LOPEZ P, CLARK JA & TALBI E-G (2012) . International Journal of Foundations of Computer Science, Vol. 23(02) (pp 543-553)
• Harman M, Langdon WB, Jia Y, White DR, Arcuri A & Clark JA (2012) . Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, 3 September 2012 - 7 September 2012.
• Clark JA, Tapiador JE, McDermid J, Cheng P-C, Agrawal D, Ivanic N & Slogget D (2012) (pp 158-171)
• Millard AG, White DR & Clark JA (2012) (pp 183-197)
• Patrick M, Oriol M & Clark JA (2012) . 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 17 April 2012 - 21 April 2012.
• Harman M, Burke E, Clark J & Yao X (2012) . Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '12, 19 September 2012 - 20 September 2012.
• Ratcliff S, White DR & Clark JA (2011) . Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11, 12 July 2011 - 16 July 2011.
• Gilliam T, Wilson RC & Clark JA (2011) . 2011 International Conference on Document Analysis and Recognition, 18 September 2011 - 21 September 2011.
• Tapiador JE, Srivatsa M, Clark JA & McDermid JA (2011) (pp 207-218)
• Blythe M, Petrie H & Clark JA (2011) . Proceedings of the 2011 annual conference on Human factors in computing systems - CHI '11, 7 May 2011 - 12 May 2011.
• Staunton J & Clark JA (2011) . Proceedings of the 13th annual conference on Genetic and evolutionary computation - GECCO '11, 12 July 2011 - 16 July 2011.
• Poulding S, Clark JA & Waeselynck H (2011) . 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 21 March 2011 - 25 March 2011.
• Staunton J & Clark JA (2011) (pp 97-111)
• Åžen S, Clark JA & Tapiador JE (2010) (pp 224-239)
• Clark JA, Dan H & Hierons RM (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 6 April 2010 - 10 April 2010.
• (2010) . 2nd International Symposium on Search Based Software Engineering, 7 September 2010 - 9 September 2010.
• Clark JA, Tapiador JE, McDermid J, Cheng PC, Agrawal D, Ivanic N & Slogget D (2010) Risk based access control with uncertain and time-dependent sensitivity. SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography (pp 5-13)
• Chen H, Clark JA, Shaikh SA, Chivers H & Nobles P (2010) . 2010 International Conference on Availability, Reliability and Security, 15 February 2010 - 18 February 2010.
• Staunton J & Clark JA (2010) . 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 6 April 2010 - 10 April 2010.
• White DR, Tapiador JME, Hernandez-Castro JC & Clark JA (2010) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6021 LNCS (pp 325-336)
• Tapiador JE & Clark JA (2010) . 2010 10th IEEE International Conference on Computer and Information Technology, 29 June 2010 - 1 July 2010.
• Tapiador JE & Clark JA (2010) . 2010 Fourth International Conference on Network and System Security, 1 September 2010 - 3 September 2010.
• Gilliam T, Wilson RC & Clark JA (2010) . 2010 20th International Conference on Pattern Recognition, 23 August 2010 - 26 August 2010.
• Harman M, Li Z, McMinn P, Offutt J & Clark J (2009) . Journal of Systems and Software, Vol. 82(11) (pp 1753-1754)
• Hernandez-Castro JC, Tapiador JE, Peris-Lopez P, Clark JA & Talbi E-G (2009) . 2009 IEEE International Symposium on Parallel & Distributed Processing (pp 363-374)
• Ghani K, Clark JA & Zhan Y (2009) Comparing algorithms for search-based test data generation of Matlab (pp 2940-2947)
• Chivers H, Nobles P, Shaikh SA, Clark JA & Chen H (2009) Accumulating evidence of insider attacks. CEUR Workshop Proceedings, Vol. 469 (pp 34-50)
• Chen H, Clark JA, Tapiador JE, Shaikh SA, Chivers H & Nobles P (2009) (pp 101-108)
• Lim YT, Cheng P-C, Rohatgi P & Clark JA (2009) . Proceedings of the first ACM workshop on Information security governance - WISG '09, 13 November 2009 - 13 November 2009.
• Rhys SL, Poulding S & Clark JA (2009) . Proceedings of the 11th Annual conference on Genetic and evolutionary computation - GECCO '09, 8 July 2009 - 12 July 2009.
• Ghani K & Clark JA (2009) . 2009 1st International Symposium on Search Based Software Engineering, 13 May 2009 - 15 May 2009.
• Ghani K & Clark JA (2009) . 2009 Fourth International Conference on Software Engineering Advances, 20 September 2009 - 25 September 2009.
• Ghani K, Clark JA & Zhan Y (2009) . 2009 IEEE Congress on Evolutionary Computation, 18 May 2009 - 21 May 2009.
• Shaikh SA, Chivers H, Nobles P, Clark JA & Chen H (2009) (pp 250-259)
• Åžen S & Clark JA (2009) . Proceedings of the second ACM conference on Wireless network security - WiSec '09, 16 March 2009 - 19 March 2009.
• Hernandez-Castro JC, Tapiador JE, Peris-Lopez P, Clark JA & Talbi E-G (2009) Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5 (pp 2265-+)
• Rabaiotti JR, Chivers H & Clark JA (2008) Reputation Attacks in Mediated and Automated Systems
• Lim YT, Cheng PC & Clark JA (2008) Policy evolution with genetic programming
• Xun Dong , Clark JA & Jacob J (2008) . 2008 Conference on Human System Interactions, 25 May 2008 - 27 May 2008.
• Dong X, Clark JA & Jacob JL (2008) . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5308 LNCS (pp 49-64)
• Xun Dong , Clark JA & Jacob JL (2008) . 2008 International Multiconference on Computer Science and Information Technology, 20 October 2008 - 22 October 2008.
• Ghani K & Clark JA (2008) . 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 9 April 2008 - 11 April 2008.
• Yow Tzu Lim , Pau Chen Cheng , Clark JA & Rohatgi P (2008) . 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence), 1 June 2008 - 6 June 2008.
• Lim YT, Cheng PC, Clark JA & Rohatgi P (2008) (pp 71-80)
• White DR, Clark J, Jacob J & Poulding SM (2008) . Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08, 12 July 2008 - 16 July 2008.
• Lim YT, Cheng PC, Rohatgi P & Clark JA (2008) . Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08, 12 July 2008 - 16 July 2008.
• Arcuri A, White DR, Clark J & Yao X (2008) (pp 61-70)
• Åžen S & Clark JA (2008) (pp 1053-1058)
• Clark JA, Murdoch J, McDermid JA, Sen S, Chivers HR, Worthington O & Rohatgi P (2007) Threat Modelling for Mobile ad hoc and Sensor Networks
• Murdoch J, Clark JA, McDermid JA, Chivers HR & Worthington O (2007) Aggregation of Information leaked by a MANET
• Tapiador JME, Hernandez-Castro JC & Clark JA (2007) . 2007 IEEE Congress on Evolutionary Computation, 25 September 2007 - 28 September 2007.
• Poulding S, Emberson P, Bate I & Clark J (2007) . Proceedings of IEEE International Symposium on High Assurance Systems Engineering (pp 53-62)
• Clark JA, Paige RF, Polack F & Brooke PJ (2006) Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings
• Polack F, Srivatanakul T, Kelly T & Clark J (2006) Deviational analyses for validating regulations on real systems. CEUR Workshop Proceedings, Vol. 241 (pp 813-817)
• Zhan Y & Clark JA (2006) . Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06, 8 July 2006 - 12 July 2006.
• Massey P, Clark JA & Stepney S (2006) . Evolutionary Computation, Vol. 14(1) (pp 21-40)
• Chen H, Clark J & Jacob J (2006) . Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06, 8 July 2006 - 12 July 2006.
• Clark JA, Stepney S & Chivers H (2005) . Electronic Notes in Theoretical Computer Science, Vol. 137(2) (pp 225-242)
• Hao C, Clark JA & Jacob JL (2005) . Electronic Notes in Theoretical Computer Science, Vol. 125(1) (pp 25-41)
• Stepney S, Braunstein SL, Clark JA, Tyrrell A, Adamatzky A, Smith RE, Addis T, Johnson C, Timmis J, Welch P , Milner R et al (2005) . International Journal of Parallel, Emergent and Distributed Systems, Vol. 20(1) (pp 5-19)
• Liu Y, Clark JA & Stepney S (2005) (pp 31-45)
• Massey P, Clark JA & Stepney S (2005) . Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05, 25 June 2005 - 29 June 2005.
• Zhan Y & Clark JA (2005) . Proceedings of the 2005 conference on Genetic and evolutionary computation - GECCO '05, 25 June 2005 - 29 June 2005.
• Clark JA, Jacob JL & Stepney S (2004) The design of S-boxes by simulated annealing (pp 1533–1537-1533–1537)
• Woody C, Hall A & Clark JA (2004) Can Secure Systems be Built Using Today’s Development Processes?
• Harman M & Clark JA (2004) Metrics Are Fitness Functions Too (pp 58-69)
• Caves L, Clark JA & Stepney S (2004) Acquiring a Debt Worth Repaying: why Evolutionary Computation should gain yet further inspiration from Biology
• Srivatanakul T, Clark JA & Polack F (2004) (pp 416-427)
• Chivers H, Clark JA, Stepney S, Hutter D, Müller G, Stephan W & Ullmann M (2003) Smart Devices and Software Agents: The Basics of Good Behaviour (pp 39-52)
• Burton S, Clark JA & McDermid JA (2001) Automatic generation of tests from Statechart specifications
• Clark JA & Jacob JL (2000) (pp 242-254)
• Kim S-W, Clark JA & McDermid JA (2000) Investigating the Applicability of Traditional Test Adequacy Criteria for Object-Oriented Programs
• Kim S-W, Clark JA & McDermid JA (2000) Class Mutation: Mutation Testing for Object-Oriented Programs
• Kim S-W, Clark JA & McDermid JA (1999) The Rigorous Generation of Java Mutation Operators using HAZOP
• Kim S, Clark JA & McDermid JA (1999) Assessing Test Set Adequacy for Object-Oriented Programs using Class Mutation (pp 72-83)
• Tracey N, Stephenson A, Clark JA & McDermid JA (1999) A Safety Change Oriented Process for Safety-Critical Systems
• Tracey N, Clark J & Mander K (1998) . Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98, 2 March 1998 - 4 March 1998.
• Tapiador JME, Clark JA & Hernandez-Castro JC () (pp 99-117)
• Clark JA & Stepney S () . 2006 IEEE International Conference on Evolutionary Computation
• Clark JA, Jacob JL & Stepney S () . Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753)
• Clark JA, Jacob JL & Stepney S () . Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753)
• Harman M & Clark J () . 10th International Symposium on Software Metrics, 2004. Proceedings.
• Srivatanakul T, Clark JA, Stepney S & Polack F () . Tenth Asia-Pacific Software Engineering Conference, 2003.
• Russell MD, Clark JA & Stepney S () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03.
• Clark JA () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03.
• Clark JA, Jacob JL, Maitra S & Stanica P () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03.
• Han Chen , Clark JA & Jacob JL () . The 2003 Congress on Evolutionary Computation, 2003. CEC '03.
• Bowen JP, Bogdanov K, Clark JA, Harman M, Hierons RM & Krause P () . Proceedings 26th Annual International Computer Software and Applications
• McDermid J, Galloway A, Burton S, Clark J, Toyn I, Tracey N & Valentine S () . Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241)
• Tracey N, Clark J, Mander K & McDermid J () . Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)
• Srivisut K, Clark J & Paige R () Dependent Input Sampling Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes. Proceedings of the 20th annual conference on Genetic and evolutionary computation
• Clark JA & Blythe M () The Phish in the Pond: scam emails as literature
• Swan J, Adriaensen S, Bishr M, Burke EK, Clark JA, De Causmaecker P, Durillo J, Hammond K, Hart E, Johnson CG , Kocsis ZA et al () A Research Agenda for Metaheuristic Standardization (pp 1-3)

Theses / Dissertations

• Clark JA (2002) Metaheuristic Search as a Cryptological Tool.

Other

• Chen H, Fuller R & Clark JA () Demonstration software for IDS Sensor Placement.

Preprints

• Parry O, Clark J & McMinn P (2024) Improving the Reliability of Quantum Circuits by Evolving Heterogeneous Ensembles, arXiv.
• Das S, Pasikhani AM, Gope P, Clark JA, Patel C & Sikdar B (2023) , arXiv.
• Alromih A, Clark JA & Gope P (2023) , arXiv.
• Pasikhani AM, Clark JA & Gope P (2022) Adaptive Hybrid Heterogeneous IDS for 6LoWPAN, arXiv.
• Gleirscher M, Johnson N, Karachristou P, Calinescu R, Law J & Clark J (2020) Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots, arXiv.
• Bechmann M, Clark J & Sebald A (2013) Genetic algorithms and solid state NMR pulse sequences, arXiv.
• Tapiador JE, Hernandez-Castro JC, Peris-Lopez P & Clark JA (2011) Cryptanalysis of Song's advanced smart card based password authentication protocol, arXiv.
• Tapiador JE, Hernandez-Castro JC, Clark JA & Stepney S (2009) Highly entangled multi-qubit states with simple algebraic structure, arXiv.