The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kung-Kiu Lau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kung-Kiu Lau, Mario Ornaghi
    On the Relationship between Logic Programs and Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:433-444 [Conf]
  2. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Models for Logic Programs: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:443-456 [Conf]
  3. Shui Ming Ho, Kung-Kiu Lau
    On the Implementation of Catalysis Frameworks in COM. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:243-250 [Conf]
  4. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
    Formal specification of Catalysis frameworks. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:180-187 [Conf]
  5. Kung-Kiu Lau, Mario Ornaghi
    Logic for Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:347-373 [Conf]
  6. Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang
    Exogenous Connectors for Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2005, pp:90-106 [Conf]
  7. Kung-Kiu Lau, Faris M. Taweel
    Towards Encapsulating Data in Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:376-384 [Conf]
  8. Kung-Kiu Lau, Vladyslav Ukis
    Defining and Checking Deployment Contracts for Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:1-16 [Conf]
  9. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:223-238 [Conf]
  10. Kung-Kiu Lau, Xiang-Zhen Qiao
    FFT on a New Parallel Vector Processor. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1986, pp:84-94 [Conf]
  11. Shui Ming Ho, Kung-Kiu Lau
    On the Implementation of OOD Frameworks in COM. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2001, pp:40-47 [Conf]
  12. Kung-Kiu Lau, Zheng Wang
    A Taxonomy of Software Component Models. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2005, pp:88-95 [Conf]
  13. Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
    Formal Reasoning about Modules, Reuse and their Correctness. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:384-398 [Conf]
  14. Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
    A Software Component Model and Its Preliminary Formalisation. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:1-21 [Conf]
  15. Kung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills
    Interacting Frameworks in Catalysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:110-0 [Conf]
  16. Kung-Kiu Lau, Mario Ornaghi, Alan Wills
    Frameworks in Catalysis: Pictorial Notation and Formal Semantics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:213-0 [Conf]
  17. Kung-Kiu Lau
    Component-Based Software Development and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:103-108 [Conf]
  18. Kung-Kiu Lau, Michel Vanden Bossche
    Logic Programming for Software Engineering: A Second Chance. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:437-451 [Conf]
  19. Kung-Kiu Lau, Mario Ornaghi
    An Incompleteness Result for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:456-477 [Conf]
  20. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Models for Logic Programs: Some Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:611- [Conf]
  21. Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
    The Halting Problem for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:665-683 [Conf]
  22. Kung-Kiu Lau, Steven David Prestwich
    Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:667-684 [Conf]
  23. Kung-Kiu Lau, Geraint A. Wiggins
    A Tutorial on Synthesis of Logic Programs from Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:11-14 [Conf]
  24. Kung-Kiu Lau
    Software component models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1081-1082 [Conf]
  25. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    Correct-Schema-Guided Synthesis of Steadfast Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:153-0 [Conf]
  26. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
    On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:42-61 [Conf]
  27. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    On Correct Program Schemas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:128-147 [Conf]
  28. Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
    Constructive Specifications for Compositional Units. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:198-214 [Conf]
  29. Kung-Kiu Lau, Mario Ornaghi
    Correct Object-Oriented Systems in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:168-190 [Conf]
  30. Kung-Kiu Lau, Mario Ornaghi
    Towards Correct Object-Oriented Design Frameworks in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:260-261 [Conf]
  31. Kung-Kiu Lau, Mario Ornaghi
    Correct OO Systems in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:34-53 [Conf]
  32. Kung-Kiu Lau, Mario Ornaghi
    Specifying Compositional Units for Correct Program Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:1-29 [Conf]
  33. Kung-Kiu Lau, Mario Ornaghi
    A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:10-31 [Conf]
  34. Kung-Kiu Lau, Mario Ornaghi
    On Specification Frameworks and Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:104-121 [Conf]
  35. Kung-Kiu Lau, Mario Ornaghi
    Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:152-169 [Conf]
  36. Kung-Kiu Lau, Mario Ornaghi
    Forms of Logic Specifications: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:295-312 [Conf]
  37. Kung-Kiu Lau, Mario Ornaghi
    OOD Frameworks in Component-Based Software - Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:101-123 [Conf]
  38. Kung-Kiu Lau
    Active learning sheets for a beginner's course on reasoning about imperative programs. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2007, pp:198-202 [Conf]
  39. Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks
    Towards an introductory formal programming course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1994, pp:121-125 [Conf]
  40. Kung-Kiu Lau, Mario Ornaghi
    A Formal Approach to Deductive Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:543-557 [Conf]
  41. Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti
    Correctness of Logic Program Transformations Based on Existential Termination. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:480-494 [Conf]
  42. Kung-Kiu Lau, Steven David Prestwich
    Synthesis of a Family of Recursive Sorting Procedures. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:641-658 [Conf]
  43. Kung-Kiu Lau, Vladyslav Ukis
    Automatic Control Flow Generation from Software Architectures. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:323-338 [Conf]
  44. Kung-Kiu Lau
    A Beginner's Course on Reasoning About Imperative Programs. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:1-16 [Conf]
  45. Kung-Kiu Lau
    A Note on Synthesis and Classification of Sorting Algorithms. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:1, pp:73-80 [Journal]
  46. Stuart Allen, John Crossley, Kung-Kiu Lau, Iman Poernomo
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:1-2 [Journal]
  47. Kung-Kiu Lau, Vladyslav Ukis, Perla Velasco Elizondo, Zheng Wang
    A Component Model for Separation of Control Flow from Computation in Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:163, n:1, pp:57-69 [Journal]
  48. Yves Deville, Kung-Kiu Lau
    Logic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:321-350 [Journal]
  49. Kung-Kiu Lau, Mario Ornaghi
    The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:3, pp:239-257 [Journal]
  50. Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
    Steadfast Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:3, pp:259-294 [Journal]
  51. Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
    Foreword to the Special Issue on Schemas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:1-3 [Journal]
  52. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
    An Abstract Formalization of Correct Schemas for Program Synthesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:93-127 [Journal]
  53. Maurice Bruynooghe, Kung-Kiu Lau
    Special Issue on Program Development, Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:423-424 [Journal]
  54. Kung-Kiu Lau, Vladyslav Ukis
    A Study of Execution Environments for Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:107-123 [Conf]
  55. Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
    Towards Composing Software Components in Both Design and Deployment Phases. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:274-282 [Conf]
  56. Kung-Kiu Lau, Faris M. Taweel
    Data Encapsulation in Software Components. [Citation Graph (0, 0)][DBLP]
    CBSE, 2007, pp:1-16 [Conf]
  57. Kung-Kiu Lau, Ling Ling, Zheng Wang
    Composing Components in Design Phase using Exogenous Connectors. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:12-19 [Conf]
  58. Kung-Kiu Lau, Zheng Wang
    Software Component Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:10, pp:709-724 [Journal]

  59. Control Encapsulation: A Calculus for Exogenous Composition of Software Components. [Citation Graph (, )][DBLP]


  60. Domain-Specific Software Component Models. [Citation Graph (, )][DBLP]


  61. (Behavioural) Design Patterns as Composition Operators. [Citation Graph (, )][DBLP]


  62. Composite Web Services. [Citation Graph (, )][DBLP]


  63. Component-Based Construction of Concurrent Systems with Active Components. [Citation Graph (, )][DBLP]


  64. Using SPARK for a beginner's course on reasoning about imperative programs. [Citation Graph (, )][DBLP]


  65. Verified component-based software in SPARK: experimental results for a missile guidance system. [Citation Graph (, )][DBLP]


  66. Composite Connectors for Composing Software Components. [Citation Graph (, )][DBLP]


  67. A Compositional Approach to Active and Passive Components. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.039secs
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