default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKenneth J. Turner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1974
[b1]Kenneth J. Turner:
Computer perception of curved objects using a television camera. University of Edinburgh, UK, 1974
Journal Articles
- 2016
- [j28]Anna-Lena Lamprecht, Kenneth J. Turner:
Scientific workflows. Int. J. Softw. Tools Technol. Transf. 18(6): 575-580 (2016) - 2015
- [j27]Kenneth J. Turner, Paul S. Lambert
:
Workflows for quantitative data analysis in the social sciences. Int. J. Softw. Tools Technol. Transf. 17(3): 321-338 (2015) - 2014
- [j26]Kenneth J. Turner:
Managing home care with loose goals and policies. J. Ambient Intell. Smart Environ. 6(5): 489-506 (2014) - 2013
- [j25]Kenneth J. Turner, Evan H. Magill:
Special Issue on Feature interaction in communications and software systems. Comput. Networks 57(12): 2395-2398 (2013) - [j24]Claire Maternaghan, Kenneth J. Turner:
Policy conflicts in home automation. Comput. Networks 57(12): 2429-2441 (2013) - 2012
- [j23]Kenneth J. Turner, Koon Leai Larry Tan:
Rigorous development of composite grid services. J. Netw. Comput. Appl. 35(4): 1304-1316 (2012) - 2011
- [j22]Kenneth J. Turner:
Flexible management of smart homes. J. Ambient Intell. Smart Environ. 3(2): 83-109 (2011) - [j21]Kenneth J. Turner, Alex Gillespie, Lynne J. McMichael:
Rigorous development of prompting dialogues. J. Biomed. Informatics 44(5): 713-727 (2011) - 2009
- [j20]Kenneth J. Turner:
Abstraction and analysis of clinical guidance trees. J. Biomed. Informatics 42(2): 237-250 (2009) - 2007
- [j19]Kenneth J. Turner, Lynne Blair:
Policies and conflicts in call control. Comput. Networks 51(2): 496-514 (2007) - [j18]Kenneth J. Turner, Koon Leai Larry Tan:
A rigorous approach to orchestrating grid services. Comput. Networks 51(15): 4421-4441 (2007) - [j17]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): 73-91 (2007) - [j16]Kenneth J. Turner:
Representing and analysing composed web services using Cress. J. Netw. Comput. Appl. 30(2): 541-562 (2007) - 2006
- [j15]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): 635-649 (2006) - [j14]Kenneth J. Turner:
Validating feature-based specifications. Softw. Pract. Exp. 36(10): 999-1027 (2006) - 2005
- [j13]Tingxue Huang, Kenneth J. Turner:
Policy support for H.323 call handling. Comput. Stand. Interfaces 28(2): 204-217 (2005) - [j12]Kenneth J. Turner:
Test generation for radiotherapy accelerators. Int. J. Softw. Tools Technol. Transf. 7(4): 361-375 (2005) - 2004
- [j11]Stephan Reiff-Marganiec, Kenneth J. Turner:
Feature interaction in policies. Comput. Networks 45(5): 569-584 (2004) - [j10]Kenneth J. Turner:
Analysing interactive voice services. Comput. Networks 45(5): 665-685 (2004) - 2002
- [j9]Kenneth J. Turner:
Protocol animation. Comput. Networks 40(5): 595-598 (2002) - 2001
- [j8]Kenneth J. Turner, Iain A. Robin:
An interactive visual protocol simulator. Comput. Stand. Interfaces 23(4): 279-310 (2001) - 2000
- [j7]Farhan A. Faruqi, Kenneth J. Turner:
Extended Kalman filter synthesis for integrated global positioning/inertial navigation systems. Appl. Math. Comput. 115(2-3): 213-227 (2000) - 1998
- [j6]Kenneth J. Turner:
An Architectural Description of Intelligent Network Features and Their Interactions. Comput. Networks 30(15): 1389-1419 (1998) - 1997
- [j5]Kenneth J. Turner, Giuseppe Scollo:
Specification Architecture. Comput. Networks ISDN Syst. 29(4): 393-395 (1997) - [j4]Kenneth J. Turner:
Specification Architecture Illustrated in a Communications Context. Comput. Networks ISDN Syst. 29(4): 397-411 (1997) - [j3]Kenneth J. Turner:
Relating Architecture and Specification. Comput. Networks ISDN Syst. 29(4): 437-456 (1997) - [j2]Richard O. Sinnott, Kenneth J. Turner:
Applying the Architectural Semantics of ODP to Develop a Trader Specification. Comput. Networks ISDN Syst. 29(4): 457-471 (1997) - [j1]Kenneth J. Turner:
Incremental Requirements Specification with LOTOS. Requir. Eng. 2(3): 132-151 (1997)
Conference and Workshop Papers
- 2014
- [c48]Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft:
Track Introduction: Scientific Workflows. ISoLA (2) 2014: 404-406 - 2011
- [c47]Claire Maternaghan, Kenneth J. Turner:
A configurable telecare system. PETRA 2011: 14 - [c46]Claire Maternaghan, Kenneth J. Turner:
Programming home care. PervasiveHealth 2011: 485-491 - 2010
- [c45]Claire Maternaghan, Kenneth J. Turner:
A Component Framework for Telecare and Home Automation. CCNC 2010: 1-5 - [c44]Kenneth J. Turner:
Device Services for The Home. NOTERE 2010: 41-48 - 2009
- [c43]Kenneth J. Turner, Gavin A. Campbell:
Goals and Conflicts in Telephony. ICFI 2009: 3-18 - [c42]Kenneth J. Turner, Koon Leai Larry Tan:
A Rigorous Methodology for Composing Services. FMICS 2009: 165-180 - [c41]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 - [c40]Kenneth J. Turner, Liam S. Docherty, Feng Wang, Gavin A. Campbell:
Managing Home Care Networks. ICN 2009: 354-359 - [c39]Feng Wang, Kenneth J. Turner:
An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. ICOST 2009: 66-73 - 2008
- [c38]Feng Wang, Kenneth J. Turner:
Towards personalised home care systems. PETRA 2008: 44 - 2007
- [c37]Gemma A. Campbell, Kenneth J. Turner:
Ontologies to Support Call Control Policies. AICT 2007: 18 - [c36]Feng Wang, Kenneth J. Turner:
Policy Conflicts in Home Care Systems. ICFI 2007: 54-65 - [c35]Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner:
Conflict Detection in Call Control Using First-Order Logic Model Checking. ICFI 2007: 66-82 - [c34]Gavin A. Campbell, Kenneth J. Turner:
Policy Conflict Filtering for Call Control. ICFI 2007: 83-98 - 2006
- [c33]Feng Wang, Liam S. Docherty, Kenneth J. Turner, Mario Kolberg, Evan H. Magill:
Services and Policies for Care At Home. PervasiveHealth 2006: 1-10 - [c32]Kenneth J. Turner, Koon Leai Larry Tan:
Graphical Composition of Grid Services. RISE 2006: 1-17 - 2005
- [c31]Lynne Blair, Kenneth J. Turner:
Handling Policy Conflicts in Call Control. FIW 2005: 39-57 - [c30]Kenneth J. Turner:
Formalising Web Services. FORTE 2005: 473-488 - [c29]Kenneth J. Turner:
Formalising Interactive Voice Services with SDL. IFM 2005: 307-326 - 2004
- [c28]Kenneth J. Turner:
Formalising Graphical Behaviour Descriptions. AMAST 2004: 537-552 - 2003
- [c27]Kenneth J. Turner:
Representing New Voice Services and Their Features. FIW 2003: 123-140 - [c26]Stephan Reiff-Marganiec, Kenneth J. Turner:
A Policy Architecture for Enhancing and Controlling Features. FIW 2003: 239-246 - [c25]Kenneth J. Turner:
Specifying and Realising Interactive Voice Services. FORTE 2003: 15-30 - [c24]Kenneth J. Turner:
Formalizing Graphical Service Descriptions Using SDL. SDL Forum 2003: 183-202 - 2002
- [c23]Kenneth J. Turner, Qian Bing:
Protocol Techniques for Testing Radiotherapy Accelerators. FORTE 2002: 81-96 - [c22]Stephan Reiff-Marganiec, Kenneth J. Turner:
Use of Logic to Describe Enhanced Communications Services. FORTE 2002: 130-145 - [c21]Kenneth J. Turner:
Modelling SIP Services Using CRESS. FORTE 2002: 162-177 - 2001
- [c20]Kenneth J. Turner, Ji He:
Formally-Based Design Evaluation. CHARME 2001: 104-109 - [c19]Ji He, Kenneth J. Turner:
Specifying Hardware Timing with ET-L OTOS. CHARME 2001: 161-166 - 2000
- [c18]Kenneth J. Turner:
Structuring Telecommunications Features. FIREworks 2000: 1-9 - [c17]Kenneth J. Turner:
Formalising the Chisel Feature Notation. FIW 2000: 241-256 - [c16]Ji He, Kenneth J. Turner:
Verifying and Testing Asynchronous Circuits using LOTOS. FORTE 2000: 267-283 - [c15]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 - [c14]Kenneth J. Turner:
The N-Body Problem in LOTOS. FM-Everywhere@FORTE/PSTV 2000: 113-135 - 1999
- [c13]Ji He, Kenneth J. Turner:
Specification and Verification of Synchronous Hardware using LOTOS. FORTE 1999: 295-312 - [c12]Ji He, Kenneth J. Turner:
Protocol-Inspired Hardware Testing. IWTCS 1999: 131-148 - 1998
- [c11]Kenneth J. Turner:
Validating Architectural Feature Descriptions using LOTOS. FIW 1998: 247-261 - 1997
- [c10]Kenneth J. Turner:
An Architectural Foundation for Relating Features. FIW 1997: 226-241 - [c9]Gyula Csopaki, Kenneth J. Turner:
Modelling Digital Logic in SDL. FORTE 1997: 367-382 - [c8]Kenneth J. Turner, Farhan A. Faruqi:
A Gaussian sum filtering approach for phase ambiguity resolution in GPS attitude determination. ICASSP 1997: 4093-4096 - 1996
- [c7]Kenneth J. Turner, Farhan A. Faruqi:
Gps/ins Integrated Navigation Using a Gps Antenna Array. ISSPA 1996: 254-257 - [c6]Richard O. Sinnott, Kenneth J. Turner:
Specifying Multimedia Binding Objects in Z. TreDS 1996: 244-257 - 1994
- [c5]Kenneth J. Turner, Ashley McClenaghan:
Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285 - 1993
- [c4]Kenneth J. Turner, Richard O. Sinnott:
DILL: Specifying Digital Logic in LOTOS. FORTE 1993: 71-86 - [c3]Kenneth J. Turner:
An Engineering Approach to Formal Methods. PSTV 1993: 357-380 - 1989
- [c2]Kenneth J. Turner:
A LOTOS-Based Development Strategy. FORTE 1989: 117-132 - 1987
- [c1]Kenneth J. Turner:
An Architectural Semantics for LOTOS. PSTV 1987: 15-28
Editorship
- 1989
- [e1]Kenneth J. Turner:
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 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
