The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kenneth J. Turner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kenneth J. Turner
    Formalising Graphical Behaviour Descriptions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:537-552 [Conf]
  2. Ji He, Kenneth J. Turner
    Specifying Hardware Timing with ET-L OTOS. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:161-166 [Conf]
  3. Kenneth J. Turner, Ji He
    Formally-Based Design Evaluation. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:104-109 [Conf]
  4. Kenneth J. Turner
    Formalising the Chisel Feature Notation. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:241-256 [Conf]
  5. Kenneth J. Turner
    Representing New Voice Services and Their Features. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:123-140 [Conf]
  6. Lynne Blair, Kenneth J. Turner
    Handling Policy Conflicts in Call Control. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:39-57 [Conf]
  7. Kenneth J. Turner
    An Architectural Foundation for Relating Features. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:226-241 [Conf]
  8. 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]
  9. Kenneth J. Turner
    Validating Architectural Feature Descriptions using LOTOS. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:247-261 [Conf]
  10. Ji He, Kenneth J. Turner
    Verifying and Testing Asynchronous Circuits using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:267-283 [Conf]
  11. Ji He, Kenneth J. Turner
    Specification and Verification of Synchronous Hardware using LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:295-312 [Conf]
  12. Gyula Csopaki, Kenneth J. Turner
    Modelling Digital Logic in SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:367-382 [Conf]
  13. 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]
  14. Kenneth J. Turner
    Modelling SIP Services Using CRESS. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:162-177 [Conf]
  15. Kenneth J. Turner
    Specifying and Realising Interactive Voice Services. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:15-30 [Conf]
  16. Kenneth J. Turner
    Formalising Web Services. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:473-488 [Conf]
  17. Kenneth J. Turner
    A LOTOS-Based Development Strategy. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:117-132 [Conf]
  18. Kenneth J. Turner, Qian Bing
    Protocol Techniques for Testing Radiotherapy Accelerators. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:81-96 [Conf]
  19. Kenneth J. Turner, Ashley McClenaghan
    Visual animation of LOTOS using SOLVE. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:283-285 [Conf]
  20. Kenneth J. Turner, Richard O. Sinnott
    DILL: Specifying Digital Logic in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:71-86 [Conf]
  21. Kenneth J. Turner
    Formalising Interactive Voice Services with SDL. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:307-326 [Conf]
  22. 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]
  23. Kenneth J. Turner
    An Architectural Semantics for LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:15-28 [Conf]
  24. Kenneth J. Turner
    An Engineering Approach to Formal Methods. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:357-380 [Conf]
  25. Ji He, Kenneth J. Turner
    Protocol-Inspired Hardware Testing. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:131-148 [Conf]
  26. Kenneth J. Turner
    Formalizing Graphical Service Descriptions Using SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:183-202 [Conf]
  27. Richard O. Sinnott, Kenneth J. Turner
    Specifying Multimedia Binding Objects in Z. [Citation Graph (0, 0)][DBLP]
    TreDS, 1996, pp:244-257 [Conf]
  28. 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]
  29. 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]
  30. Kenneth J. Turner
    Protocol animation. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2002, v:40, n:5, pp:595-598 [Journal]
  31. Kenneth J. Turner
    Analysing interactive voice services. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2004, v:45, n:5, pp:665-685 [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Kenneth J. Turner
    Incremental Requirements Specification with LOTOS. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 1997, v:2, n:3, pp:132-151 [Journal]
  39. Kenneth J. Turner
    Validating feature-based specifications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:10, pp:999-1027 [Journal]
  40. Kenneth J. Turner
    Test generation for radiotherapy accelerators. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:4, pp:361-375 [Journal]
  41. Kenneth J. Turner, Koon Leai Larry Tan
    Graphical Composition of Grid Services. [Citation Graph (0, 0)][DBLP]
    RISE, 2006, pp:1-17 [Conf]
  42. 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]
  43. 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]

  44. Ontologies to Support Call Control Policies. [Citation Graph (, )][DBLP]


  45. Conflict Detection in Call Control Using First-Order Logic Model Checking. [Citation Graph (, )][DBLP]


  46. Policy Conflicts in Home Care Systems. [Citation Graph (, )][DBLP]


  47. Policy Conflict Filtering for Call Control. [Citation Graph (, )][DBLP]


  48. Managing Home Care Networks. [Citation Graph (, )][DBLP]


  49. Managing Data in E-Social Science. [Citation Graph (, )][DBLP]


  50. An Ontology-Based Actuator Discovery and Invocation Framework in Home Care Systems. [Citation Graph (, )][DBLP]


  51. A Rigorous Methodology for Composing Services. [Citation Graph (, )][DBLP]


  52. Towards personalised home care systems. [Citation Graph (, )][DBLP]


  53. Device Services for The Home. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002