Kenneth J. Turner

Publication Activity (10 Years)

Years Active: 1987-2016
Publications (10 Years): 2

Top Venues

Int. J. Softw. Tools Technol. Transf.

Comput. Networks

J. Ambient Intell. Smart Environ.

ISoLA (2)

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Anna-Lena Lamprecht, Kenneth J. Turner
Scientific workflows. Int. J. Softw. Tools Technol. Transf. 18 (6) (2016)
Kenneth J. Turner, Paul S. Lambert
Workflows for quantitative data analysis in the social sciences. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
Kenneth J. Turner
Managing home care with loose goals and policies. J. Ambient Intell. Smart Environ. 6 (5) (2014)
Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft
Track Introduction: Scientific Workflows. ISoLA (2) (2014)
Kenneth J. Turner, Evan H. Magill
Special Issue on Feature interaction in communications and software systems. Comput. Networks 57 (12) (2013)
Claire Maternaghan, Kenneth J. Turner
Policy conflicts in home automation. Comput. Networks 57 (12) (2013)
Kenneth J. Turner, Koon Leai Larry Tan
Rigorous development of composite grid services. J. Netw. Comput. Appl. 35 (4) (2012)
Claire Maternaghan, Kenneth J. Turner
Programming home care. PervasiveHealth (2011)
Claire Maternaghan, Kenneth J. Turner
A configurable telecare system. PETRA (2011)
Kenneth J. Turner, Alex Gillespie, Lynne J. McMichael
Rigorous development of prompting dialogues. J. Biomed. Informatics 44 (5) (2011)
Kenneth J. Turner
Flexible management of smart homes. J. Ambient Intell. Smart Environ. 3 (2) (2011)
Kenneth J. Turner
Device Services for The Home. NOTERE (2010)
Claire Maternaghan, Kenneth J. Turner
A Component Framework for Telecare and Home Automation. CCNC (2010)
Kenneth J. Turner, Gavin A. Campbell
Goals and Conflicts in Telephony. ICFI (2009)
Feng Wang, Kenneth J. Turner
An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. ICOST (2009)
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)
Kenneth J. Turner, Koon Leai Larry Tan
A Rigorous Methodology for Composing Services. FMICS (2009)
Kenneth J. Turner
Abstraction and analysis of clinical guidance trees. J. Biomed. Informatics 42 (2) (2009)
Kenneth J. Turner, Liam S. Docherty, Feng Wang, Gavin A. Campbell
Managing Home Care Networks. ICN (2009)
Feng Wang, Kenneth J. Turner
Towards personalised home care systems. PETRA (2008)
Feng Wang, Kenneth J. Turner
Policy Conflicts in Home Care Systems. ICFI (2007)
Kenneth J. Turner
Representing and analysing composed web services using Cress. J. Netw. Comput. Appl. 30 (2) (2007)
Kenneth J. Turner, Lynne Blair
Policies and conflicts in call control. Comput. Networks 51 (2) (2007)
Gemma A. Campbell, Kenneth J. Turner
Ontologies to Support Call Control Policies. AICT (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. Int. J. Digit. Curation 2 (1) (2007)
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner
Conflict Detection in Call Control Using First-Order Logic Model Checking. ICFI (2007)
Kenneth J. Turner, Koon Leai Larry Tan
A rigorous approach to orchestrating grid services. Comput. Networks 51 (15) (2007)
Gavin A. Campbell, Kenneth J. Turner
Policy Conflict Filtering for Call Control. ICFI (2007)
Kenneth J. Turner, Koon Leai Larry Tan
Graphical Composition of Grid Services. RISE (2006)
Kenneth J. Turner, Stephan Reiff-Marganiec, Lynne Blair, Jianxiong Pang, Tom Gray, Peter Perry, Joe Ireland
Policy support for call control. Comput. Stand. Interfaces 28 (6) (2006)
Kenneth J. Turner
Validating feature-based specifications. Softw. Pract. Exp. 36 (10) (2006)
Feng Wang, Liam S. Docherty, Kenneth J. Turner, Mario Kolberg, Evan H. Magill
Services and Policies for Care At Home. PervasiveHealth (2006)
Lynne Blair, Kenneth J. Turner
Handling Policy Conflicts in Call Control. FIW (2005)
Tingxue Huang, Kenneth J. Turner
Policy support for H.323 call handling. Comput. Stand. Interfaces 28 (2) (2005)
Kenneth J. Turner
Formalising Web Services. FORTE (2005)
Kenneth J. Turner
Test generation for radiotherapy accelerators. Int. J. Softw. Tools Technol. Transf. 7 (4) (2005)
Kenneth J. Turner
Formalising Interactive Voice Services with SDL. IFM (2005)
Stephan Reiff-Marganiec, Kenneth J. Turner
Feature interaction in policies. Comput. Networks 45 (5) (2004)
Kenneth J. Turner
Formalising Graphical Behaviour Descriptions. AMAST (2004)
Kenneth J. Turner
Analysing interactive voice services. Comput. Networks 45 (5) (2004)
Kenneth J. Turner
Formalizing Graphical Service Descriptions Using SDL. SDL Forum (2003)
Kenneth J. Turner
Representing New Voice Services and Their Features. FIW (2003)
Kenneth J. Turner
Specifying and Realising Interactive Voice Services. FORTE (2003)
Stephan Reiff-Marganiec, Kenneth J. Turner
A Policy Architecture for Enhancing and Controlling Features. FIW (2003)
Stephan Reiff-Marganiec, Kenneth J. Turner
Use of Logic to Describe Enhanced Communications Services. FORTE (2002)
Kenneth J. Turner, Qian Bing
Protocol Techniques for Testing Radiotherapy Accelerators. FORTE (2002)
Kenneth J. Turner
Protocol animation. Comput. Networks 40 (5) (2002)
Kenneth J. Turner
Modelling SIP Services Using CRESS. FORTE (2002)
Kenneth J. Turner
The N-Body Problem in LOTOS. Electron. Notes Theor. Comput. Sci. 43 (2001)
Kenneth J. Turner, Ji He
Formally-Based Design Evaluation. CHARME (2001)
Ji He, Kenneth J. Turner
Specifying Hardware Timing with ET-L OTOS. CHARME (2001)
Kenneth J. Turner, Iain A. Robin
An interactive visual protocol simulator. Comput. Stand. Interfaces 23 (4) (2001)
Farhan A. Faruqi, Kenneth J. Turner
Extended Kalman filter synthesis for integrated global positioning/inertial navigation systems. Appl. Math. Comput. 115 (2-3) (2000)
Kenneth J. Turner
Structuring Telecommunications Features. FIREworks (2000)
Kenneth J. Turner
Formalising the Chisel Feature Notation. FIW (2000)
Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. IPDPS Workshops (2000)
Ji He, Kenneth J. Turner
Verifying and Testing Asynchronous Circuits using LOTOS. FORTE (2000)
Ji He, Kenneth J. Turner
Protocol-Inspired Hardware Testing. IWTCS (1999)
Ji He, Kenneth J. Turner
Specification and Verification of Synchronous Hardware using LOTOS. FORTE (1999)
Kenneth J. Turner
An Architectural Description of Intelligent Network Features and Their Interactions. Comput. Networks 30 (15) (1998)
Kenneth J. Turner
Validating Architectural Feature Descriptions using LOTOS. FIW (1998)
Kenneth J. Turner
Relating Architecture and Specification. Comput. Networks ISDN Syst. 29 (4) (1997)
Kenneth J. Turner, Giuseppe Scollo
Specification Architecture. Comput. Networks ISDN Syst. 29 (4) (1997)
Gyula Csopaki, Kenneth J. Turner
Modelling Digital Logic in SDL. FORTE (1997)
Kenneth J. Turner
An Architectural Foundation for Relating Features. FIW (1997)
Kenneth J. Turner
Specification Architecture Illustrated in a Communications Context. Comput. Networks ISDN Syst. 29 (4) (1997)
Kenneth J. Turner, Farhan A. Faruqi
A Gaussian sum filtering approach for phase ambiguity resolution in GPS attitude determination. ICASSP (1997)
Richard O. Sinnott, Kenneth J. Turner
Applying the Architectural Semantics of ODP to Develop a Trader Specification. Comput. Networks ISDN Syst. 29 (4) (1997)
Kenneth J. Turner
Incremental Requirements Specification with LOTOS. Requir. Eng. 2 (3) (1997)
Richard O. Sinnott, Kenneth J. Turner
Specifying Multimedia Binding Objects in Z. TreDS (1996)
Kenneth J. Turner, Farhan A. Faruqi
Gps/ins Integrated Navigation Using a Gps Antenna Array. ISSPA (1996)
Kenneth J. Turner, Ashley McClenaghan
Visual animation of LOTOS using SOLVE. FORTE (1994)
Kenneth J. Turner, Richard O. Sinnott
DILL: Specifying Digital Logic in LOTOS. FORTE (1993)
Kenneth J. Turner
An Engineering Approach to Formal Methods. PSTV (1993)
Kenneth J. Turner
A LOTOS-Based Development Strategy. FORTE (1989)
Kenneth J. Turner
An Architectural Semantics for LOTOS. PSTV (1987)

Kenneth J. Turner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kenneth J. Turner