MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Bor-Yuh Evan Chang – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Type-Based Verification of Assembly Language  
  • by Bor-Yuh Evan Chang, Bor-yuh Evan Chang — 2005
  • …���Type-Based Verification of Assembly Language by Bor-Yuh Evan Chang Research Project Submitted…
  • Add To MetaCart
  • PML: Toward a High-Level Formal Language for Biological Systems  
  • by Bor-Yuh Evan Chang, Manu Sridharan — 2003 — In Workshop on Concurrent Models in Molecular Biology, ENTCS. Elsevier, 2003. Duchier, C. Kuttler / Electronic Notes in Theoretical Computer Science 150 (2006) 31���49 49
  • …���PML: Toward a High-Level Formal Language for Biological Systems Bor-Yuh Evan Chang Manu Sridharan…
  • Cited by 2 (0 self) – Add To MetaCart
  • Human-Readable Machine-Veri able Proofs for Teaching Constructive Logic  
  • by Andreas Abel Bor-Yuh, Andreas Abel, Bor-yuh Evan Chang, Frank Pfenning — 2001 — IJCAR Workshop on Proof Transformations, Proof Presentations and Complexity of Proofs (PTP-01), http: //www.tcs.informatik.uni-muenchen.de/~abel/ptp01.ps.gz
  • …���Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic Andreas Abel 1��� , Bor-Yuh…
  • Add To MetaCart
  • Towards a Functional Library for Fault-Tolerant  
  • by Grid Computing Bor-Yuh, Bor-yuh Evan Chang, Margaret Delap, Jason Liszka, Tom Murphy Vii, Karl Crary, Robert Harper, Frank Pfenning — 2002
  • …���Towards a Functional Library for Fault-Tolerant Grid Computing ��� Bor-Yuh Evan Chang, Margaret De…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB