Kenneth J. Turner

Kenneth J. Turner, Koon Leai Larry Tan: Rigorous development of composite grid services. J. Network and Computer Applications 35(4): 1304-1316 (2012)

Kenneth J. Turner: Flexible management of smart homes. JAISE 3(2): 83-109 (2011)

Kenneth J. Turner, Alex Gillespie, Lynne J. McMichael: Rigorous development of prompting dialogues. Journal of Biomedical Informatics 44(5): 713-727 (2011)

Claire Maternaghan, Kenneth J. Turner: A configurable telecare system. PETRA 2011: 14

Claire Maternaghan, Kenneth J. Turner: Programming home care. PervasiveHealth 2011: 485-491

Kenneth J. Turner: Device Services for The Home. NOTERE 2010: 41-48

Kenneth J. Turner: Abstraction and analysis of clinical guidance trees. Journal of Biomedical Informatics 42(2): 237-250 (2009)

Kenneth J. Turner, Gavin A. Campbell: Goals and Conflicts in Telephony. ICFI 2009: 3-18

Kenneth J. Turner, Koon Leai Larry Tan: A Rigorous Methodology for Composing Services. FMICS 2009: 165-180

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

Kenneth J. Turner, Liam S. Docherty, Feng Wang, Gavin A. Campbell: Managing Home Care Networks. ICN 2009: 354-359

Feng Wang, Kenneth J. Turner: An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. ICOST 2009: 66-73

Feng Wang, Kenneth J. Turner: Towards personalised home care systems. PETRA 2008: 44

Kenneth J. Turner, Lynne Blair: Policies and conflicts in call control. Computer Networks 51(2): 496-514 (2007)

Kenneth J. Turner, Koon Leai Larry Tan: A rigorous approach to orchestrating grid services. Computer Networks 51(15): 4421-4441 (2007)

Paul S. Lambert, Vernon Gayle, Koon Leai Larry Tan, Kenneth J. Turner, Richard O. Sinnott, Ken Prandy: Data Curation Standards and Social Science Occupational Information Resources. IJDC 2(1): 73-91 (2007)

Kenneth J. Turner: Representing and analysing composed web services using Cress. J. Network and Computer Applications 30(2): 541-562 (2007)

Gemma A. Campbell, Kenneth J. Turner: Ontologies to Support Call Control Policies. AICT 2007: 18

Feng Wang, Kenneth J. Turner: Policy Conflicts in Home Care Systems. ICFI 2007: 54-65

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

Gavin A. Campbell, Kenneth J. Turner: Policy Conflict Filtering for Call Control. ICFI 2007: 83-98

Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair, Jianxiong Pang, Tom Gray, Peter Perry, Joe Ireland: Policy support for call control. Computer Standards & Interfaces 28(6): 635-649 (2006)

Kenneth J. Turner: Validating feature-based specifications. Softw., Pract. Exper. 36(10): 999-1027 (2006)

Kenneth J. Turner, Koon Leai Larry Tan: Graphical Composition of Grid Services. RISE 2006: 1-17

Tingxue Huang, Kenneth J. Turner: Policy support for H.323 call handling. Computer Standards & Interfaces 28(2): 204-217 (2005)

Kenneth J. Turner: Test generation for radiotherapy accelerators. STTT 7(4): 361-375 (2005)

Lynne Blair, Kenneth J. Turner: Handling Policy Conflicts in Call Control. FIW 2005: 39-57

Kenneth J. Turner: Formalising Web Services. FORTE 2005: 473-488

Kenneth J. Turner: Formalising Interactive Voice Services with SDL. IFM 2005: 307-326

Stephan Reiff-Marganiec, Kenneth J. Turner: Feature interaction in policies. Computer Networks 45(5): 569-584 (2004)

Kenneth J. Turner: Analysing interactive voice services. Computer Networks 45(5): 665-685 (2004)

Kenneth J. Turner: Formalising Graphical Behaviour Descriptions. AMAST 2004: 537-552

Kenneth J. Turner: Representing New Voice Services and Their Features. FIW 2003: 123-140

Stephan Reiff-Marganiec, Kenneth J. Turner: A Policy Architecture for Enhancing and Controlling Features. FIW 2003: 239-246

Kenneth J. Turner: Specifying and Realising Interactive Voice Services. FORTE 2003: 15-30

Kenneth J. Turner: Formalizing Graphical Service Descriptions Using SDL. SDL Forum 2003: 183-202

Kenneth J. Turner: Protocol animation. Computer Networks 40(5): 595-598 (2002)

Kenneth J. Turner, Qian Bing: Protocol Techniques for Testing Radiotherapy Accelerators. FORTE 2002: 81-96

Stephan Reiff-Marganiec, Kenneth J. Turner: Use of Logic to Describe Enhanced Communications Services. FORTE 2002: 130-145

Kenneth J. Turner: Modelling SIP Services Using CRESS. FORTE 2002: 162-177

Kenneth J. Turner: The N-Body Problem in LOTOS. Electr. Notes Theor. Comput. Sci. 43: 113-135 (2001)

Kenneth J. Turner, Ji He: Formally-Based Design Evaluation. CHARME 2001: 104-109

Ji He, Kenneth J. Turner: Specifying Hardware Timing with ET-L OTOS. CHARME 2001: 161-166

Kenneth J. Turner: Formalising the Chisel Feature Notation. FIW 2000: 241-256

Ji He, Kenneth J. Turner: Verifying and Testing Asynchronous Circuits using LOTOS. FORTE 2000: 267-283

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

Ji He, Kenneth J. Turner: Specification and Verification of Synchronous Hardware using LOTOS. FORTE 1999: 295-312

Ji He, Kenneth J. Turner: Protocol-Inspired Hardware Testing. IWTCS 1999: 131-148

Kenneth J. Turner: An Architectural Description of Intelligent Network Features and Their Interactions. Computer Networks 30(15): 1389-1419 (1998)

Kenneth J. Turner: Validating Architectural Feature Descriptions using LOTOS. FIW 1998: 247-261

Kenneth J. Turner, Giuseppe Scollo: Specification Architecture. Computer Networks and ISDN Systems 29(4): 393-395 (1997)

Kenneth J. Turner: Specification Architecture Illustrated in a Communications Context. Computer Networks and ISDN Systems 29(4): 397-411 (1997)

Kenneth J. Turner: Relating Architecture and Specification. Computer Networks and ISDN Systems 29(4): 437-456 (1997)

Richard O. Sinnott, Kenneth J. Turner: Applying the Architectural Semantics of ODP to Develop a Trader Specification. Computer Networks and ISDN Systems 29(4): 457-471 (1997)

Kenneth J. Turner: Incremental Requirements Specification with LOTOS. Requir. Eng. 2(3): 132-151 (1997)

Kenneth J. Turner: An Architectural Foundation for Relating Features. FIW 1997: 226-241

Gyula Csopaki, Kenneth J. Turner: Modelling Digital Logic in SDL. FORTE 1997: 367-382

Richard O. Sinnott, Kenneth J. Turner: Specifying Multimedia Binding Objects in Z. TreDS 1996: 244-257

Kenneth J. Turner, Ashley McClenaghan: Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285

Kenneth J. Turner, Richard O. Sinnott: DILL: Specifying Digital Logic in LOTOS. FORTE 1993: 71-86

Kenneth J. Turner: An Engineering Approach to Formal Methods. PSTV 1993: 357-380

Kenneth J. Turner: A LOTOS-Based Development Strategy. FORTE 1989: 117-132

Kenneth J. Turner (Ed.): Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989, isbn 0-444-87126-8

Kenneth J. Turner: An Architectural Semantics for LOTOS. PSTV 1987: 15-28