Tie Hou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Tie Hou: On Transformations of Load-Store Maurer Instruction Set Architecture CoRR abs/0808.2584: (2008)

2006

1 EE Tie Hou: Coinductive Proofs for Basic Real Computation. CiE 2006: 221-230

2008
2	EE	Tie Hou: On Transformations of Load-Store Maurer Instruction Set Architecture CoRR abs/0808.2584: (2008)
2006
1	EE	Tie Hou: Coinductive Proofs for Basic Real Computation. CiE 2006: 221-230