Skip to content

Yan Chen

    • 5PublicationsNumber of items in Yan's My Publications folder on Mendeley.
    • 1Followers

    Followers (1)

    Following (1)

    Publications (5)

    • CEAL : A C-Based Language for Self-Adjusting Computation

      • Hammer M
      • Acar U
      • Chen Y
      N/AReaders
      N/ACitations
    • Combining Theorem Proving and Model Checking for Certification of Behavioral Synthesis Flows

      • Ray S
      • Chen Y
      • Xie F
      • et al.
      N/AReaders
      N/ACitations
    • Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

      • Chen Y
      • Xie F
      • Yang J
      N/AReaders
      N/ACitations
      Get full text
    • Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation

      • Chen Y
      • He Y
      • Xie F
      • et al.
      N/AReaders
      N/ACitations
      Get full text
    • An efficient search algorithm for partially ordered sets

      • Chen Y
      N/AReaders
      N/ACitations