Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
  2. Research Outputs

Browsing by Author Chih-Duo Hong


Jump to:
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)RelationscopusWOSFulltext/Archive link
2017An Executable Sequential Specification for Spark AggregationYu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang
2015Commutativity of ReducersYu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang
2010Constrained Monotonic Abstraction: a CEGAR for Parameterized VerificationParosh Abdulla; Yu-Fang Chen; Giorgio Delzanno; Frederic Haziza; Chih-Duo Hong; Ahmed Rezine
2015Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange InterpolationYu-Fang Chen; Chih-Duo Hong; Bow-Yaw Wang; Lijun Zhang
2017Learning to prove safety over parameterised concurrent systemsYu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin
Showing results 1 to 5 of 5
Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback