Songtao Xia, Ph.D. - Publications
Affiliations: | 2005 | Oregon Health and Science University, Portland, OR |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2004 | Xia S, Hook J. Certifying temporal properties for compiled C programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2937: 161-174. | 0.448 | |||
2003 | Xia S, Hook J. Experience with abstraction-carrying code Electronic Notes in Theoretical Computer Science. 89: 433-449. DOI: 10.1016/S1571-0661(05)80005-2 | 0.449 | |||
Show low-probability matches. |