Computer perception of curved objects using a television camera. - Kenneth J. Turner (1974)

An Architectural Semantics for LOTOS. - Kenneth J. Turner (PSTV, 1987)

A LOTOS-Based Development Strategy. - Kenneth J. Turner (FORTE, 1989)

DILL: Specifying Digital Logic in LOTOS. - Kenneth J. Turner; Richard O. Sinnott (FORTE, 1993)

An Engineering Approach to Formal Methods. - Kenneth J. Turner (PSTV, 1993)

Visual animation of LOTOS using SOLVE. - Kenneth J. Turner; Ashley McClenaghan (FORTE, 1994)

Gps/ins Integrated Navigation Using a Gps Antenna Array. - Kenneth J. Turner; Farhan A. Faruqi (ISSPA, 1996)

Specifying Multimedia Binding Objects in Z. - Richard O. Sinnott; Kenneth J. Turner (TreDS, 1996)

An Architectural Foundation for Relating Features. - Kenneth J. Turner (FIW, 1997)

Modelling Digital Logic in SDL. - Gyula Csopaki; Kenneth J. Turner (FORTE, 1997)

A Gaussian sum filtering approach for phase ambiguity resolution in GPS attitude determination. - Kenneth J. Turner; Farhan A. Faruqi (ICASSP, 1997)

Applying the Architectural Semantics of ODP to Develop a Trader Specification. - Richard O. Sinnott; Kenneth J. Turner (Comput. Networks ISDN Syst., 1997)

Specification Architecture Illustrated in a Communications Context. - Kenneth J. Turner (Comput. Networks ISDN Syst., 1997)

Relating Architecture and Specification. - Kenneth J. Turner (Comput. Networks ISDN Syst., 1997)

Specification Architecture. - Kenneth J. Turner; Giuseppe Scollo (Comput. Networks ISDN Syst., 1997)

Incremental Requirements Specification with LOTOS. - Kenneth J. Turner (Requir. Eng., 1997)

Validating Architectural Feature Descriptions using LOTOS. - Kenneth J. Turner (FIW, 1998)

An Architectural Description of Intelligent Network Features and Their Interactions. - Kenneth J. Turner (Comput. Networks, 1998)

Specification and Verification of Synchronous Hardware using LOTOS. - Ji He; Kenneth J. Turner (FORTE, 1999)

Protocol-Inspired Hardware Testing. - Ji He; Kenneth J. Turner (IWTCS, 1999)

Structuring Telecommunications Features. - Kenneth J. Turner (FIREworks, 2000)

Formalising the Chisel Feature Notation. - Kenneth J. Turner (FIW, 2000)

Verifying and Testing Asynchronous Circuits using LOTOS. - Ji He; Kenneth J. Turner (FORTE, 2000)

Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. - Kenneth J. Turner; F. Javier Argul-Marin; Stephen D. Laing (IPDPS Workshops, 2000)

Extended Kalman filter synthesis for integrated global positioning/inertial navigation systems. - Farhan A. Faruqi; Kenneth J. Turner (Appl. Math. Comput., 2000)

The N-Body Problem in LOTOS. - Kenneth J. Turner (FM-Everywhere@FORTE/PSTV, 2000)

Specifying Hardware Timing with ET-L OTOS. - Ji He; Kenneth J. Turner (CHARME, 2001)

Formally-Based Design Evaluation. - Kenneth J. Turner; Ji He (CHARME, 2001)

An interactive visual protocol simulator. - Kenneth J. Turner; Iain A. Robin (Comput. Stand. Interfaces, 2001)

Use of Logic to Describe Enhanced Communications Services. - Stephan Reiff-Marganiec; Kenneth J. Turner (FORTE, 2002)

Modelling SIP Services Using CRESS. - Kenneth J. Turner (FORTE, 2002)

Protocol Techniques for Testing Radiotherapy Accelerators. - Kenneth J. Turner; Qian Bing (FORTE, 2002)

Protocol animation. - Kenneth J. Turner (Comput. Networks, 2002)

A Policy Architecture for Enhancing and Controlling Features. - Stephan Reiff-Marganiec; Kenneth J. Turner (FIW, 2003)

Representing New Voice Services and Their Features. - Kenneth J. Turner (FIW, 2003)

Specifying and Realising Interactive Voice Services. - Kenneth J. Turner (FORTE, 2003)

Formalizing Graphical Service Descriptions Using SDL. - Kenneth J. Turner (SDL Forum, 2003)

Formalising Graphical Behaviour Descriptions. - Kenneth J. Turner (AMAST, 2004)

Feature interaction in policies. - Stephan Reiff-Marganiec; Kenneth J. Turner (Comput. Networks, 2004)

Analysing interactive voice services. - Kenneth J. Turner (Comput. Networks, 2004)

Handling Policy Conflicts in Call Control. - Lynne Blair; Kenneth J. Turner (FIW, 2005)

Formalising Web Services. - Kenneth J. Turner (FORTE, 2005)

Formalising Interactive Voice Services with SDL. - Kenneth J. Turner (IFM, 2005)

Policy support for H.323 call handling. - Tingxue Huang; Kenneth J. Turner (Comput. Stand. Interfaces, 2005)

Test generation for radiotherapy accelerators. - Kenneth J. Turner (Int. J. Softw. Tools Technol. Transf., 2005)

Services and Policies for Care At Home. - Feng Wang; Liam S. Docherty; Kenneth J. Turner; Mario Kolberg; Evan H. Magill (PervasiveHealth, 2006)

Graphical Composition of Grid Services. - Kenneth J. Turner; Koon Leai Larry Tan (RISE, 2006)

Policy support for call control. - Kenneth J. Turner; Stephan Reiff-Marganiec; Lynne Blair; Jianxiong Pang; Tom Gray; Peter Perry; Joe Ireland (Comput. Stand. Interfaces, 2006)

Validating feature-based specifications. - Kenneth J. Turner (Softw. Pract. Exp., 2006)

Ontologies to Support Call Control Policies. - Gemma A. Campbell; Kenneth J. Turner (AICT, 2007)

Policy Conflict Filtering for Call Control. - Gavin A. Campbell; Kenneth J. Turner (ICFI, 2007)

Conflict Detection in Call Control Using First-Order Logic Model Checking. - Ahmed F. Layouni; Luigi Logrippo; Kenneth J. Turner (ICFI, 2007)

Policy Conflicts in Home Care Systems. - Feng Wang; Kenneth J. Turner (ICFI, 2007)

Policies and conflicts in call control. - Kenneth J. Turner; Lynne Blair (Comput. Networks, 2007)

A rigorous approach to orchestrating grid services. - Kenneth J. Turner; Koon Leai Larry Tan (Comput. Networks, 2007)

Data Curation Standards and Social Science Occupational Information Resources. - Paul S. Lambert; Vernon Gayle; Koon Leai Larry Tan; Kenneth J. Turner; Richard O. Sinnott; Ken Prandy (Int. J. Digit. Curation, 2007)

Representing and analysing composed web services using Cress. - Kenneth J. Turner (J. Netw. Comput. Appl., 2007)

Towards personalised home care systems. - Feng Wang; Kenneth J. Turner (PETRA, 2008)

Goals and Conflicts in Telephony. - Kenneth J. Turner; Gavin A. Campbell (ICFI, 2009)

A Rigorous Methodology for Composing Services. - Kenneth J. Turner; Koon Leai Larry Tan (FMICS, 2009)

Managing Home Care Networks. - Kenneth J. Turner; Liam S. Docherty; Feng Wang; Gavin A. Campbell (ICN, 2009)

Managing Data in E-Social Science. - Kenneth J. Turner; Koon Leai Larry Tan; Jesse M. Blum; Guy C. Warner; Simon B. Jones; Paul S. Lambert (ICN, 2009)

An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. - Feng Wang; Kenneth J. Turner (ICOST, 2009)

Abstraction and analysis of clinical guidance trees. - Kenneth J. Turner (J. Biomed. Informatics, 2009)

A Component Framework for Telecare and Home Automation. - Claire Maternaghan; Kenneth J. Turner (CCNC, 2010)

Device Services for The Home. - Kenneth J. Turner (NOTERE, 2010)

A configurable telecare system. - Claire Maternaghan; Kenneth J. Turner (PETRA, 2011)

Programming home care. - Claire Maternaghan; Kenneth J. Turner (PervasiveHealth, 2011)

Flexible management of smart homes. - Kenneth J. Turner (J. Ambient Intell. Smart Environ., 2011)

Rigorous development of prompting dialogues. - Kenneth J. Turner; Alex Gillespie; Lynne J. McMichael (J. Biomed. Informatics, 2011)

Rigorous development of composite grid services. - Kenneth J. Turner; Koon Leai Larry Tan (J. Netw. Comput. Appl., 2012)

Policy conflicts in home automation. - Claire Maternaghan; Kenneth J. Turner (Comput. Networks, 2013)

Special Issue on Feature interaction in communications and software systems. - Kenneth J. Turner; Evan H. Magill (Comput. Networks, 2013)

Track Introduction: Scientific Workflows. - Joost N. Kok; Anna-Lena Lamprecht; Kenneth J. Turner; Katy Wolstencroft (ISoLA (2), 2014)

Managing home care with loose goals and policies. - Kenneth J. Turner (J. Ambient Intell. Smart Environ., 2014)

Workflows for quantitative data analysis in the social sciences. - Kenneth J. Turner; Paul S. Lambert (Int. J. Softw. Tools Technol. Transf., 2015)

Scientific workflows. - Anna-Lena Lamprecht; Kenneth J. Turner (Int. J. Softw. Tools Technol. Transf., 2016)