Kenneth J. Turner

78 papers B 1C 14Misc 1Journal 28Unranked 33

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