Search the dblp DataBase
Kenneth J. Turner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kenneth J. Turner Formalising Graphical Behaviour Descriptions. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:537-552 [Conf ] Ji He , Kenneth J. Turner Specifying Hardware Timing with ET-L OTOS. [Citation Graph (0, 0)][DBLP ] CHARME, 2001, pp:161-166 [Conf ] Kenneth J. Turner , Ji He Formally-Based Design Evaluation. [Citation Graph (0, 0)][DBLP ] CHARME, 2001, pp:104-109 [Conf ] Kenneth J. Turner Formalising the Chisel Feature Notation. [Citation Graph (0, 0)][DBLP ] FIW, 2000, pp:241-256 [Conf ] Kenneth J. Turner Representing New Voice Services and Their Features. [Citation Graph (0, 0)][DBLP ] FIW, 2003, pp:123-140 [Conf ] Lynne Blair , Kenneth J. Turner Handling Policy Conflicts in Call Control. [Citation Graph (0, 0)][DBLP ] FIW, 2005, pp:39-57 [Conf ] Kenneth J. Turner An Architectural Foundation for Relating Features. [Citation Graph (0, 0)][DBLP ] FIW, 1997, pp:226-241 [Conf ] Stephan Reiff-Marganiec , Kenneth J. Turner A Policy Architecture for Enhancing and Controlling Features. [Citation Graph (0, 0)][DBLP ] FIW, 2003, pp:239-246 [Conf ] Kenneth J. Turner Validating Architectural Feature Descriptions using LOTOS. [Citation Graph (0, 0)][DBLP ] FIW, 1998, pp:247-261 [Conf ] Ji He , Kenneth J. Turner Verifying and Testing Asynchronous Circuits using LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 2000, pp:267-283 [Conf ] Ji He , Kenneth J. Turner Specification and Verification of Synchronous Hardware using LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:295-312 [Conf ] Gyula Csopaki , Kenneth J. Turner Modelling Digital Logic in SDL. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:367-382 [Conf ] Stephan Reiff-Marganiec , Kenneth J. Turner Use of Logic to Describe Enhanced Communications Services. [Citation Graph (0, 0)][DBLP ] FORTE, 2002, pp:130-145 [Conf ] Kenneth J. Turner Modelling SIP Services Using CRESS. [Citation Graph (0, 0)][DBLP ] FORTE, 2002, pp:162-177 [Conf ] Kenneth J. Turner Specifying and Realising Interactive Voice Services. [Citation Graph (0, 0)][DBLP ] FORTE, 2003, pp:15-30 [Conf ] Kenneth J. Turner Formalising Web Services. [Citation Graph (0, 0)][DBLP ] FORTE, 2005, pp:473-488 [Conf ] Kenneth J. Turner A LOTOS-Based Development Strategy. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:117-132 [Conf ] Kenneth J. Turner , Qian Bing Protocol Techniques for Testing Radiotherapy Accelerators. [Citation Graph (0, 0)][DBLP ] FORTE, 2002, pp:81-96 [Conf ] Kenneth J. Turner , Ashley McClenaghan Visual animation of LOTOS using SOLVE. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:283-285 [Conf ] Kenneth J. Turner , Richard O. Sinnott DILL: Specifying Digital Logic in LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1993, pp:71-86 [Conf ] Kenneth J. Turner Formalising Interactive Voice Services with SDL. [Citation Graph (0, 0)][DBLP ] IFM, 2005, pp:307-326 [Conf ] Kenneth J. Turner , F. Javier Argul-Marin , Stephen D. Laing Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. [Citation Graph (0, 0)][DBLP ] IPDPS Workshops, 2000, pp:1001-1008 [Conf ] Kenneth J. Turner An Architectural Semantics for LOTOS. [Citation Graph (0, 0)][DBLP ] PSTV, 1987, pp:15-28 [Conf ] Kenneth J. Turner An Engineering Approach to Formal Methods. [Citation Graph (0, 0)][DBLP ] PSTV, 1993, pp:357-380 [Conf ] Ji He , Kenneth J. Turner Protocol-Inspired Hardware Testing. [Citation Graph (0, 0)][DBLP ] IWTCS, 1999, pp:131-148 [Conf ] Kenneth J. Turner Formalizing Graphical Service Descriptions Using SDL. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2003, pp:183-202 [Conf ] Richard O. Sinnott , Kenneth J. Turner Specifying Multimedia Binding Objects in Z. [Citation Graph (0, 0)][DBLP ] TreDS, 1996, pp:244-257 [Conf ] Stephan Reiff-Marganiec , Kenneth J. Turner Feature interaction in policies. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2004, v:45, n:5, pp:569-584 [Journal ] Richard O. Sinnott , Kenneth J. Turner Applying the Architectural Semantics of ODP to Develop a Trader Specification. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:457-471 [Journal ] Kenneth J. Turner Protocol animation. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2002, v:40, n:5, pp:595-598 [Journal ] Kenneth J. Turner Analysing interactive voice services. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2004, v:45, n:5, pp:665-685 [Journal ] Kenneth J. Turner Specification Architecture Illustrated in a Communications Context. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:397-411 [Journal ] Kenneth J. Turner Relating Architecture and Specification. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:437-456 [Journal ] Kenneth J. Turner An Architectural Description of Intelligent Network Features and Their Interactions. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:15, pp:1389-1419 [Journal ] Kenneth J. Turner , Giuseppe Scollo Specification Architecture. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:393-395 [Journal ] Kenneth J. Turner , Lynne Blair Policies and conflicts in call control. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2007, v:51, n:2, pp:496-514 [Journal ] Kenneth J. Turner The N-Body Problem in LOTOS. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal ] Kenneth J. Turner Incremental Requirements Specification with LOTOS. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 1997, v:2, n:3, pp:132-151 [Journal ] Kenneth J. Turner Validating feature-based specifications. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2006, v:36, n:10, pp:999-1027 [Journal ] Kenneth J. Turner Test generation for radiotherapy accelerators. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:4, pp:361-375 [Journal ] Kenneth J. Turner , Koon Leai Larry Tan Graphical Composition of Grid Services. [Citation Graph (0, 0)][DBLP ] RISE, 2006, pp:1-17 [Conf ] Kenneth J. Turner , Koon Leai Larry Tan A rigorous approach to orchestrating grid services. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2007, v:51, n:15, pp:4421-4441 [Journal ] Kenneth J. Turner Representing and analysing composed web services using Cress. [Citation Graph (0, 0)][DBLP ] J. Network and Computer Applications, 2007, v:30, n:2, pp:541-562 [Journal ] Ontologies to Support Call Control Policies. [Citation Graph (, )][DBLP ] Conflict Detection in Call Control Using First-Order Logic Model Checking. [Citation Graph (, )][DBLP ] Policy Conflicts in Home Care Systems. [Citation Graph (, )][DBLP ] Policy Conflict Filtering for Call Control. [Citation Graph (, )][DBLP ] Managing Home Care Networks. [Citation Graph (, )][DBLP ] Managing Data in E-Social Science. [Citation Graph (, )][DBLP ] An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. [Citation Graph (, )][DBLP ] A Rigorous Methodology for Composing Services. [Citation Graph (, )][DBLP ] Towards personalised home care systems. [Citation Graph (, )][DBLP ] Device Services for The Home. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.309secs