No photo of Ka Lok Man

View Scopus Profile

Ka Lok Man

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20032025

Research activity per year

Filter
Conference Proceeding

Search results

  • 2007

    PAFESD: Process Algebras for Electronic System Designs

    Man, K. L., 2007, ASICON 2007 - 2007 7th International Conference on ASIC Proceeding. p. 110-113 4 p. 4415579. (ASICON 2007 - 2007 7th International Conference on ASIC Proceeding).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    1 Citation (Scopus)

  • Process algebraic approach to SystemVerilog

    Man, K. L., Boubekeur, M. & Schellekens, M. P., 2007, 2007 Canadian Conference on Electrical and Computer Engineering, CCECD. p. 86-89 4 p. 4232688. (Canadian Conference on Electrical and Computer Engineering).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    5 Citations (Scopus)

  • SC2SCFL: Automated SystemC to SystemC double-struck F signdouble-struck L sign translation

    Man, K. L., Fedeli, A., Mercaldi, M., Boubekeur, M. & Schellekens, M., 2007, Embedded Computer Systems: Architectures, Modeling, and Simulation - 7th International Workshop, SAMOS 2007, Proceedings. p. 34-45 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4599 LNCS).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    11 Citations (Scopus)
  • 2005

    An overview of systemCdouble-struck F signdouble-struck L sign

    Man, K. L., 2005, 2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference. p. 119-122 4 p. 1543024. (2005 PhD Research in Microelectronics and Electronics - Proceedingsof the Conference; vol. I).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

  • Formal communication semantics of SystemCdouble-struck F sign double-struck L sign

    Man, K. L., 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. 338-345 8 p. 1559823. (Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools; vol. 2005).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    3 Citations (Scopus)

  • SystemCdouble struck F sign double struck L sign: A formalism for hardware/software co-design

    Man, K. L., 2005, Proceedings of the 2005 European Conference on Circuit Theory and Design. p. 193-196 4 p. 1522943. (Proceedings of the 2005 European Conference on Circuit Theory and Design; vol. 1).

    Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

    Open Access
    4 Citations (Scopus)