| 2014 | ISoLA | Track Introduction: Scientific Workflows. | Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft |
| 2009 | FMICS | A Rigorous Methodology for Composing Services. | Kenneth J. Turner, Koon Leai Larry Tan |
| 2009 | ICOST | An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. | Feng Wang, Kenneth J. Turner |
| 2005 | FORTE | Formalising Web Services. | Kenneth J. Turner |
| 2005 | IFM | Formalising Interactive Voice Services with SDL. | Kenneth J. Turner |
| 2003 | FORTE | Specifying and Realising Interactive Voice Services. | Kenneth J. Turner |
| 2002 | FORTE | Use of Logic to Describe Enhanced Communications Services. | Stephan Reiff-Marganiec, Kenneth J. Turner |
| 2002 | FORTE | Modelling SIP Services Using CRESS. | Kenneth J. Turner |
| 2002 | FORTE | Protocol Techniques for Testing Radiotherapy Accelerators. | Kenneth J. Turner, Qian Bing |
| 2000 | FORTE | Verifying and Testing Asynchronous Circuits using LOTOS. | Ji He, Kenneth J. Turner |
| 1999 | FORTE | Specification and Verification of Synchronous Hardware using LOTOS. | Ji He, Kenneth J. Turner |
| 1997 | FORTE | Modelling Digital Logic in SDL. | Gyula Csopaki, Kenneth J. Turner |
| 1997 | ICASSP | A Gaussian sum filtering approach for phase ambiguity resolution in GPS attitude determination. | Kenneth J. Turner, Farhan A. Faruqi |
| 1994 | FORTE | Visual animation of LOTOS using SOLVE. | Kenneth J. Turner, Ashley McClenaghan |
| 1993 | FORTE | DILL: Specifying Digital Logic in LOTOS. | Kenneth J. Turner, Richard O. Sinnott |
| 1989 | FORTE | A LOTOS-Based Development Strategy. | Kenneth J. Turner |