Skip to content

Huiquan Zhu

    • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
    • 12CitationsNumber of citations received by Huiquan's publications. Updated daily.

    Publications (5)

    • From verified model to executable program: the PAT approach

      • Zhu H
      • Sun J
      • Dong J
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • Constructing goal agenda and macro actions using proposition relation graphs in planning

      • Jiang Z
      • Rao D
      • Jiang Y
      • et al.
      N/AReaders
      1Citations
      Get full text
    • Model Checking C# Code: A Translation Approach

      • Zhu H
      N/AReaders
      N/ACitations
      Get full text
    • Further research on observation reduction in non-deterministic planning

      • Rao D
      • Jiang Z
      • Jiang Y
      • et al.
      N/AReaders
      5Citations
      Get full text
    • A note on max-leaves spanning tree problem in Halin graphs

      • Lou D
      • Zhu H
      N/AReaders
      N/ACitations